SVF::DOTGraphTraits< CHGraph * > Struct Reference

Inheritance diagram for SVF::DOTGraphTraits< CHGraph * >:

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 NodeT , typename GraphType >
std::string	getNodeLabel (NodeT, 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 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

Write value flow graph into dot file for debugging

Definition at line 261 of file CHG.cpp.

Member Typedef Documentation

NodeType

typedef CHNode SVF::DOTGraphTraits< CHGraph * >::NodeType

Definition at line 264 of file CHG.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 265 of file CHG.cpp.

                                          :
        DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

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

inlinestatic

Definition at line 292 of file CHG.cpp.

    {
 
        CHEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (edge->getEdgeType() == CHEdge::INHERITANCE)
        {
            return "style=solid";
        }
        else
        {
            return "style=dashed";
        }
    }

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 271 of file CHG.cpp.

    {
        return "Class Hierarchy Graph";
    }

getNodeAttributes()

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

inlinestatic

Definition at line 281 of file CHG.cpp.

    {
        if (node->isPureAbstract())
        {
            return "shape=tab";
        }
        else
            return "shape=box";
    }

getNodeLabel()

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

inlinestatic

Return function name;.

Definition at line 276 of file CHG.cpp.

    {
        return node->getName();
    }

---

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

• /home/runner/work/SVF/SVF/svf/lib/Graphs/CHG.cpp