- CFGScene(QWidget * parent = 0)
- : QGraphicsScene(parent) {}
-
- // Take special care when adding a BasicBlock to the scene as we
- // need to draw arrows for it later on
- void addItem(BasicBlockWidget* block) {
- widgets.push_back(block);
- QGraphicsScene::addItem(block);
- }
-
- virtual void drawBackground(QPainter* painter, const QRectF & rect);
+ CFGScene(QWidget * parent = 0)
+ : QGraphicsScene(parent), highlightedBlock(NULL) {}
+
+ // Take special care when adding a BasicBlock to the scene as we
+ // need to draw arrows for it later on
+ void addItem(BasicBlockWidget* block) {
+ widgets.push_back(block);
+ QGraphicsScene::addItem(block);
+ }
+
+ virtual void drawBackground(QPainter* painter, const QRectF & rect);
+ void highlightBlock(BasicBlockWidget* block);