Highlight jumptargets

[frida/frida.git] / src / gui / widgets / CFGScene.hxx

diff --git a/src/gui/widgets/CFGScene.hxx b/src/gui/widgets/CFGScene.hxx
index fb395f71f579669b06a87e7662fac322802749f8..094233c0e11ccb4b17c95fb2d76193cfcc8a6eb3 100644 (file)
--- a/src/gui/widgets/CFGScene.hxx
+++ b/src/gui/widgets/CFGScene.hxx
@@ -8,23 +8,26 @@
 
 class CFGScene : public QGraphicsScene {
 public:
-    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);
 private:
-    std::vector<BasicBlockWidget*> widgets;
+       std::vector<BasicBlockWidget*> widgets;
+
+       void drawLine(QPainter* painter, BasicBlockWidget * from, BasicBlockWidget * to, int8_t side = 0);
 
-    void drawLine(QPainter* painter, BasicBlockWidget * from, BasicBlockWidget * to, int8_t side = 0);
+       void spaceWidgets();
 
-    void spaceWidgets();
+       BasicBlockWidget* highlightedBlock;
 };
 
 #endif