+ return mapToScene(QPointF(width/2, 0));
+ }
+
+ std::array<QPointF, 3> getExits() const {
+ return { { mapToScene(QPointF( width/3, height)),
+ mapToScene(QPointF( width/2, height)),
+ mapToScene(QPointF(2*width/3, height)) } };
+ }
+
+ void paint(QPainter *painter, const QStyleOptionGraphicsItem *option,
+ QWidget *widget) {
+ painter->fillRect(0, 0, width, height, QColor(0xcc, 0xcc, 0xff, 0xff));
+ 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) {
+ previous.push_back(widget);
+ }
+
+ void addNext(BasicBlockWidget * left, BasicBlockWidget * right) {
+ next[0] = left;
+ next[1] = right;
+ }
+
+ BasicBlockWidget ** getNext() {
+ return next;