Static Value-Flow Analysis
Public Types | Public Member Functions | Static Public Member Functions | List of all members
SVF::DOTGraphTraits< CHGraph * > Struct Reference
Inheritance diagram for SVF::DOTGraphTraits< CHGraph * >:
SVF::DefaultDOTGraphTraits

Public Types

typedef CHNode NodeType
 

Public Member Functions

 DOTGraphTraits (bool isSimple=false)
 
- Public Member Functions inherited from SVF::DefaultDOTGraphTraits
 DefaultDOTGraphTraits (bool simple=false)
 
template<typename GraphType >
std::string getNodeLabel (const void *, const GraphType &)
 

Static Public Member Functions

static std::string getGraphName (CHGraph *)
 Return name of the graph. More...
 
static std::string getNodeLabel (CHNode *node, CHGraph *)
 Return function name;. More...
 
static std::string getNodeAttributes (CHNode *node, CHGraph *)
 
template<class EdgeIter >
static std::string getEdgeAttributes (CHNode *, EdgeIter EI, CHGraph *)
 
- Static Public Member Functions inherited from SVF::DefaultDOTGraphTraits
template<typename GraphType >
static std::string getGraphName (const GraphType &)
 
template<typename GraphType >
static std::string getGraphProperties (const GraphType &)
 
static bool renderGraphFromBottomUp ()
 
template<typename GraphType >
static bool isNodeHidden (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeIdentifierLabel (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeDescription (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeAttributes (const void *, const GraphType &)
 
template<typename EdgeIter , typename GraphType >
static std::string getEdgeAttributes (const void *, EdgeIter, const GraphType &)
 
template<typename EdgeIter >
static std::string getEdgeSourceLabel (const void *, EdgeIter)
 
template<typename EdgeIter >
static bool edgeTargetsEdgeSource (const void *, EdgeIter)
 
template<typename EdgeIter >
static EdgeIter getEdgeTarget (const void *, EdgeIter I)
 
static bool hasEdgeDestLabels ()
 
static unsigned numEdgeDestLabels (const void *)
 
static std::string getEdgeDestLabel (const void *, unsigned)
 
template<typename GraphType , typename GraphWriter >
static void addCustomGraphFeatures (const GraphType &, GraphWriter &)
 

Additional Inherited Members

- Protected Member Functions inherited from SVF::DefaultDOTGraphTraits
bool isSimple ()
 

Detailed Description

Write value flow graph into dot file for debugging

Definition at line 260 of file CHG.cpp.

Member Typedef Documentation

◆ NodeType

Definition at line 263 of file CHG.cpp.

Constructor & Destructor Documentation

◆ DOTGraphTraits()

SVF::DOTGraphTraits< CHGraph * >::DOTGraphTraits ( bool  isSimple = false)
inline

Definition at line 264 of file CHG.cpp.

264  :
266  {
267  }
DefaultDOTGraphTraits(bool simple=false)

Member Function Documentation

◆ getEdgeAttributes()

template<class EdgeIter >
static std::string SVF::DOTGraphTraits< CHGraph * >::getEdgeAttributes ( CHNode ,
EdgeIter  EI,
CHGraph  
)
inlinestatic

Definition at line 291 of file CHG.cpp.

292  {
293 
294  CHEdge* edge = *(EI.getCurrent());
295  assert(edge && "No edge found!!");
296  if (edge->getEdgeType() == CHEdge::INHERITANCE)
297  {
298  return "style=solid";
299  }
300  else
301  {
302  return "style=dashed";
303  }
304  }
@ INHERITANCE
Definition: CHG.h:86
CHEDGETYPE getEdgeType() const
Definition: CHG.h:98

◆ getGraphName()

static std::string SVF::DOTGraphTraits< CHGraph * >::getGraphName ( CHGraph )
inlinestatic

Return name of the graph.

Definition at line 270 of file CHG.cpp.

271  {
272  return "Class Hierarchy Graph";
273  }

◆ getNodeAttributes()

static std::string SVF::DOTGraphTraits< CHGraph * >::getNodeAttributes ( CHNode node,
CHGraph  
)
inlinestatic

Definition at line 280 of file CHG.cpp.

281  {
282  if (node->isPureAbstract())
283  {
284  return "shape=tab";
285  }
286  else
287  return "shape=box";
288  }
bool isPureAbstract() const
Definition: CHG.h:160

◆ getNodeLabel()

static std::string SVF::DOTGraphTraits< CHGraph * >::getNodeLabel ( CHNode node,
CHGraph  
)
inlinestatic

Return function name;.

Definition at line 275 of file CHG.cpp.

276  {
277  return node->getName();
278  }
std::string getName() const
Definition: CHG.h:130

The documentation for this struct was generated from the following file: