Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::DOTGraphTraits< SparseObjGraph * > Struct Reference
Inheritance diagram for SVF::DOTGraphTraits< SparseObjGraph * >:
SVF::DefaultDOTGraphTraits SVF::DefaultDOTGraphTraits

Public Member Functions

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

Static Public Member Functions

static std::string getGraphName (SparseObjGraph *)
static std::string getNodeLabel (SparseObjNode *node, SparseObjGraph *)
static std::string getNodeAttributes (SparseObjNode *node, SparseObjGraph *)
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 NodeT>
static const void * getNodeIdentifier (NodeT N)
template<typename NodeT, typename GraphType>
static bool isNodeHidden (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string getNodeIdentifierLabel (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string getNodeDescription (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string getNodeAttributes (NodeT, const GraphType &)
template<typename NodeT, typename EdgeIter, typename GraphType>
static std::string getEdgeAttributes (NodeT, EdgeIter, const GraphType &)
template<typename NodeT, typename EdgeIter>
static std::string getEdgeSourceLabel (NodeT, EdgeIter)
template<typename NodeT, typename EdgeIter>
static bool edgeTargetsEdgeSource (NodeT, EdgeIter)
template<typename NodeT, typename EdgeIter>
static EdgeIter getEdgeTarget (NodeT, EdgeIter I)
static bool hasEdgeDestLabels ()
template<typename NodeT>
static unsigned numEdgeDestLabels (NodeT)
template<typename NodeT>
static std::string getEdgeDestLabel (NodeT, 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

Definition at line 357 of file SparseObjGraph.cpp.

Constructor & Destructor Documentation

◆ DOTGraphTraits()

SVF::DOTGraphTraits< SparseObjGraph * >::DOTGraphTraits ( bool simple = false)
inline

Definition at line 359 of file SparseObjGraph.cpp.

Member Function Documentation

◆ getGraphName()

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

Definition at line 361 of file SparseObjGraph.cpp.

362 {
363 return "Sparse object routes";
364 }

◆ getNodeAttributes()

std::string SVF::DOTGraphTraits< SparseObjGraph * >::getNodeAttributes ( SparseObjNode * node,
SparseObjGraph *  )
inlinestatic

Definition at line 371 of file SparseObjGraph.cpp.

372 {
373 return node->branch ? "shape=diamond,style=filled,fillcolor=\"#ffedd5\""
374 : "shape=box,style=filled,fillcolor=\"#dbeafe\"";
375 }

◆ getNodeLabel()

std::string SVF::DOTGraphTraits< SparseObjGraph * >::getNodeLabel ( SparseObjNode * node,
SparseObjGraph *  )
inlinestatic

Definition at line 366 of file SparseObjGraph.cpp.

367 {
368 return node->toString();
369 }

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