Description
template<typename _Filter>
class StaticCFG::CustomFilteredCFG< _Filter >
class StaticCFG::CustomFilteredCFG< _Filter >
A CFG implementation with Custom filters.
Definition at line 17 of file customFilteredCFG.h.
#include <virtualCFG/customFilteredCFG.h>
Inheritance diagram for StaticCFG::CustomFilteredCFG< _Filter >:
Collaboration diagram for StaticCFG::CustomFilteredCFG< _Filter >:
Public Member Functions | |
| CustomFilteredCFG (SgNode *node) | |
| virtual void | buildFilteredCFG () |
| Build filtered CFG which only contains interesting nodes. | |
 Public Member Functions inherited from StaticCFG::CFG | |
| CFGNode | toCFGNode (SgGraphNode *node) |
| Turn a graph node into a CFGNode which is defined in VirtualCFG namespace. | |
| SgGraphNode * | toGraphNode (CFGNode &n) |
| Turn a CFG node into a GraphNode which is defined in VirtualCFG namespace. | |
| CFG (SgNode *node, bool is_filtered=false) | |
| The constructor building the CFG. | |
| SgIncidenceDirectedGraph * | getGraph () const |
| Get the pointer pointing to the graph used by static CFG. | |
| void | setStart (SgNode *node) |
| Set the start node for graph building. | |
| SgGraphNode * | getEntry () const |
| Get the entry node of the CFG. | |
| SgGraphNode * | getExit () const |
| Get the exit node of the CFG. | |
| bool | isFilteredCFG () const |
| void | setFiltered (bool flag) |
| virtual void | buildCFG () |
| Build CFG according to the 'is_filtered_' flag. | |
| virtual void | buildFullCFG () |
| Build CFG for debugging. | |
| std::vector< SgDirectedGraphEdge * > | getOutEdges (SgGraphNode *node) |
| std::vector< SgDirectedGraphEdge * > | getInEdges (SgGraphNode *node) |
| SgGraphNode * | cfgForBeginning (SgNode *node) |
| SgGraphNode * | cfgForEnd (SgNode *node) |
| void | cfgToDot (SgNode *node, const std::string &file_name) |
| Output the graph to a DOT file. | |
Protected Member Functions | |
| virtual void | printEdge (std::ostream &o, SgDirectedGraphEdge *edge, bool isInEdge) |
| Virtual function Overloaded to print the Custom Filtered CFG Edges. | |
| Protected Member Functions inherited from StaticCFG::CFG | |
| template<class NodeT , class EdgeT > | |
| void | buildCFG (NodeT n, std::map< NodeT, SgGraphNode * > &all_nodes, std::set< NodeT > &explored) |
| void | clearNodesAndEdges () |
| Delete all nodes and edges in the graph and release memories. | |
| virtual void | processNodes (std::ostream &o, SgGraphNode *n, std::set< SgGraphNode * > &explored) |
| virtual void | printNodePlusEdges (std::ostream &o, SgGraphNode *node) |
| virtual void | printNode (std::ostream &o, SgGraphNode *node) |
Additional Inherited Members | |
| Static Public Member Functions inherited from StaticCFG::CFG | |
| static int | getIndex (SgGraphNode *node) |
| Get the index of a CFG node. | |
| Protected Attributes inherited from StaticCFG::CFG | |
| SgIncidenceDirectedGraph * | graph_ |
| The graph data structure holding the CFG. | |
| std::map< CFGNode, SgGraphNode * > | all_nodes_ |
| A map from CFGNode in virtualCFG to node from staticCFG. | |
| SgNode * | start_ |
| The start node to begin CFG build. | |
| SgGraphNode * | entry_ |
| The entry node. | |
| SgGraphNode * | exit_ |
| The exit node. | |
| bool | is_filtered_ |
| A flag shows whether this CFG is filtered or not. | |
Constructor & Destructor Documentation
◆ CustomFilteredCFG()
template<typename _Filter >
|
inline |
Definition at line 20 of file customFilteredCFG.h.
◆ ~CustomFilteredCFG()
template<typename _Filter >
|
inline |
Definition at line 22 of file customFilteredCFG.h.
Member Function Documentation
◆ buildFilteredCFG()
template<typename _Filter >
|
virtual |
Build filtered CFG which only contains interesting nodes.
Reimplemented from StaticCFG::CFG.
◆ printEdge()
template<typename _Filter >
|
inlineprotectedvirtual |
Virtual function Overloaded to print the Custom Filtered CFG Edges.
Reimplemented from StaticCFG::CFG.
Definition at line 29 of file customFilteredCFG.h.
References SgGraphEdge::getAttribute().
The documentation for this class was generated from the following file:
