}
std::array<QPointF, 3> getExits() const {
- return { { mapToScene(QPointF( width/3, height)),
- mapToScene(QPointF( width/2, height)),
- mapToScene(QPointF(2*width/3, height)) } };
+ return { { mapToScene(QPointF( width/3, height)),
+ mapToScene(QPointF( width/2, height)),
+ mapToScene(QPointF(2*width/3, height)) } };
}
void paint(QPainter *painter, const QStyleOptionGraphicsItem *option,
painter->setPen(QColor(0x00, 0x00, 0xff, 0xff));
painter->drawRect(0, 0, width, height);
painter->drawText(5, 15, name);
- if (_widget.text() != "")
- _widget.render(painter, QPoint(5, 20));
}
void addPrevious(BasicBlockWidget * widget) {
private:
uint32_t width, height;
+ QGraphicsProxyWidget _proxy;
QLabel _widget;
QString name;
BasicBlock * block;