PandA-2024.02
|
The info associated with an edge of operation graph. More...
#include <op_graph.hpp>
Public Member Functions | |
OpEdgeInfo () | |
Constructor. More... | |
~OpEdgeInfo () override | |
Destructor. More... | |
bool | FlgEdgeT () const |
Function returning true when the edge is a then flow edge. More... | |
bool | FlgEdgeF () const |
Function returning true when the edge is an else flow edge. More... | |
Public Member Functions inherited from CdfgEdgeInfo | |
CdfgEdgeInfo ()=default | |
Constructor. More... | |
bool | CdgEdgeT () const |
Function returning true when the edge is a then control dependence edge. More... | |
bool | CdgEdgeF () const |
Function returning true when the edge is an else control dependence edge. More... | |
bool | CfgEdgeT () const |
Function returning true when the edge is a then control flow edge. More... | |
bool | CfgEdgeF () const |
Function returning true when the edge is an else control flow edge. More... | |
bool | Switch () const |
Return true if it is an edge associated with a switch. More... | |
void | add_nodeID (unsigned int nodeID, const int type) |
Add a nodeID of type type to this edge_info. More... | |
const CustomOrderedSet< unsigned int > & | get_nodeID (const int selector) const |
Return the nodeID of type type associated with this edge information. More... | |
const std::string | PrintLabels (const int selector, const BehavioralHelperConstRef BH) const |
Return the string of the labels associated with the edge. More... | |
Public Member Functions inherited from EdgeInfo | |
EdgeInfo ()=default | |
Constructor. More... | |
virtual | ~EdgeInfo ()=default |
Destructor. More... | |
Additional Inherited Members | |
Protected Attributes inherited from CdfgEdgeInfo | |
std::map< int, CustomOrderedSet< unsigned int > > | labels |
edge labels; key is the selector More... | |
The info associated with an edge of operation graph.
Definition at line 526 of file op_graph.hpp.
|
default |
Constructor.
Utility include.
|
overridedefault |
Destructor.
bool OpEdgeInfo::FlgEdgeF | ( | ) | const |
Function returning true when the edge is an else flow edge.
Definition at line 73 of file op_graph.cpp.
References F_COND, FLG_SELECTOR, and CdfgEdgeInfo::labels.
bool OpEdgeInfo::FlgEdgeT | ( | ) | const |
Function returning true when the edge is a then flow edge.
Definition at line 64 of file op_graph.cpp.
References FLG_SELECTOR, CdfgEdgeInfo::labels, and T_COND.