Static Value-Flow Analysis
Loading...
Searching...
No Matches
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.
 
static std::string getNodeLabel (CHNode *node, CHGraph *)
 Return function name;.
 
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()

Definition at line 264 of file CHG.cpp.

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
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ 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: