hal::SolveFsmInteraction Class Reference

#include </home/runner/work/hal/hal/plugins/dot_viewer/include/dot_viewer/interaction/solve_fsm_interaction.h>

Inheritance diagram for hal::SolveFsmInteraction:

Collaboration diagram for hal::SolveFsmInteraction:

Public Member Functions
	SolveFsmInteraction (QGVScene *parent)
	~SolveFsmInteraction ()
void	registerNode (QGVNode *node) override
void	registerEdge (QGVEdge *edge) override

Detailed Description

Adds the FSM solver actions to the context menu of the nodes and edges of a displayed DOT graph.

Definition at line 40 of file solve_fsm_interaction.h.

Constructor & Destructor Documentation

SolveFsmInteraction()

hal::SolveFsmInteraction::SolveFsmInteraction

(

QGVScene *

parent

)

Construct the interaction for the given scene.

Parameters

[in]

parent

- The scene that holds the displayed graph.

Definition at line 26 of file solve_fsm_interaction.cpp.

References QGraphicsScene::changed(), hal::gSelectionRelay, QGraphicsScene::selectionChanged(), and hal::SelectionRelay::selectionChanged().

~SolveFsmInteraction()

hal::SolveFsmInteraction::~SolveFsmInteraction

(

)

Definition at line 35 of file solve_fsm_interaction.cpp.

Member Function Documentation

registerEdge()

void hal::SolveFsmInteraction::registerEdge ( QGVEdge *  edge )

override

Attach the interaction to an edge of the graph, which makes the transition it represents selectable.

Parameters

[in]

edge

- The edge to attach to.

Definition at line 53 of file solve_fsm_interaction.cpp.

References QRegularExpressionMatch::captured(), hal::Netlist::get_net_by_id(), QRegularExpression::globalMatch(), hal::gNetlist, QRegularExpressionMatchIterator::hasNext(), QMultiHash::insert(), QRectF::isNull(), QRegularExpressionMatchIterator::next(), QString::toUInt(), and QRectF::united().

registerNode()

void hal::SolveFsmInteraction::registerNode ( QGVNode *  node )

override

Attach the interaction to a node of the graph, which makes the state it represents selectable.

Parameters

[in]

node

- The node to attach to.

Definition at line 73 of file solve_fsm_interaction.cpp.

References QRectF::isNull(), and QRectF::united().

---

The documentation for this class was generated from the following files:

• plugins/dot_viewer/include/dot_viewer/interaction/solve_fsm_interaction.h
• plugins/dot_viewer/src/interaction/solve_fsm_interaction.cpp