+#ifndef INCLUDE__BasicBlockWidget_hxx
+#define INCLUDE__BasicBlockWidget_hxx
+
#include "gui/qt.hxx"
+#include "disassembler/BasicBlock.hxx"
+#include <vector>
+#include <cassert>
+#include <tuple>
+#include <array>
class BasicBlockWidget : public QGraphicsItem
{
public:
- BasicBlockWidget(const QString& name)
- : x(-5), y(-20)
- , dx(270), dy(45)
- , name(name) {
- _widget.setMinimumWidth(_widget.sizeHintForColumn(0) + 10);
- _widget.setMaximumHeight(20);
- dx = _widget.sizeHintForColumn(0) + 20;
- if (dx < 270) dx = 270;
- }
-
- void addItem(const QString& line) {
- _widget.addItem(line);
- _widget.updateGeometry();
- _widget.setMinimumWidth(_widget.sizeHintForColumn(0) + 10);
- _widget.setMinimumHeight(_widget.sizeHintForRow(0) * (1 + _widget.count()));
- _widget.setMaximumHeight(_widget.sizeHintForRow(0) * (1 + _widget.count()));
- dy = _widget.sizeHintForRow(0) * (1 + _widget.count()) + 25;
- dx = _widget.sizeHintForColumn(0) + 20;
- if (dx < 270) dx = 270;
- }
-
- QRectF boundingRect() const
- {
- qreal penWidth = 1;
- return QRectF(x - penWidth / 2, y - penWidth / 2,
- dx + penWidth, dy + penWidth);
- }
-
- void paint(QPainter *painter, const QStyleOptionGraphicsItem *option,
- QWidget *widget)
- {
- painter->fillRect(x, y, dx, dy, QColor(0xcc, 0xcc, 0xff, 0xff));
- painter->setPen(QColor(0x00, 0x00, 0xff, 0xff));
- painter->drawRect(x, y, dx, dy);
- painter->drawText(0, -5, name);
- _widget.render(painter);
- }
+ BasicBlockWidget(const QString& name, BasicBlock * block);
+
+ void addItem(uint8_t* bytes, size_t num_bytes, const QString& line);
+
+ QRectF boundingRect() const {
+ qreal penWidth = 1;
+ QRectF result(- penWidth / 2, - penWidth / 2,
+ width + penWidth, height + penWidth);
+ return result;
+ }
+
+ void mouseMoveEvent(QGraphicsSceneMouseEvent * event) {
+ QGraphicsItem::mouseMoveEvent(event);
+ scene()->update();
+ }
+
+ QPointF getEntry() const {
+ 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;
+ }
+
private:
- int x, y, dx, dy;
- QListWidget _widget;
+ uint32_t width, height;
+ QLabel _widget;
QString name;
+ BasicBlock * block;
+ std::vector<BasicBlockWidget*> previous;
+ BasicBlockWidget* next[2];
};
+
+#endif