SVF::DOTGraphTraits< const SlicedPAGView * > Struct Reference

Inheritance diagram for SVF::DOTGraphTraits< const SlicedPAGView * >:

Public Member Functions
	DOTGraphTraits (bool isSimple=false)
std::string	getNodeLabel (SlicedPAGNodeRef n, const SlicedPAGView *)
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 (const SlicedPAGView *)
static const void *	getNodeIdentifier (SlicedPAGNodeRef n)
static std::string	getNodeAttributes (SlicedPAGNodeRef, const SlicedPAGView *)
template<class EdgeIter >
static std::string	getEdgeAttributes (SlicedPAGNodeRef, EdgeIter EI, const SlicedPAGView *)
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 151 of file SlicedGraphs.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 153 of file SlicedGraphs.cpp.

                                          : DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

static std::string SVF::DOTGraphTraits< const SlicedPAGView * >::getEdgeAttributes ( SlicedPAGNodeRef  , EdgeIter  EI, const SlicedPAGView *    )

inlinestatic

Definition at line 178 of file SlicedGraphs.cpp.

    {
        const SVFStmt* s = EI.currentEdge().underlying;
        if (SVFUtil::isa<LoadStmt>(s))
            return "color=blue";
        if (SVFUtil::isa<StoreStmt>(s))
            return "color=red";
        if (SVFUtil::isa<GepStmt>(s))
            return "color=purple";
        if (SVFUtil::isa<AddrStmt>(s))
            return "color=green";
        if (SVFUtil::isa<CallPE>(s))
            return "color=orange";
        if (SVFUtil::isa<RetPE>(s))
            return "color=cyan";
        return "color=black";
    }

getGraphName()

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

inlinestatic

Definition at line 157 of file SlicedGraphs.cpp.

    {
        return "SlicedPAG";
    }

getNodeAttributes()

static std::string SVF::DOTGraphTraits< const SlicedPAGView * >::getNodeAttributes ( SlicedPAGNodeRef  , const SlicedPAGView *    )

inlinestatic

Definition at line 172 of file SlicedGraphs.cpp.

    {
        return "shape=record,color=black";
    }

getNodeIdentifier()

static const void * SVF::DOTGraphTraits< const SlicedPAGView * >::getNodeIdentifier ( SlicedPAGNodeRef  n )

inlinestatic

Definition at line 162 of file SlicedGraphs.cpp.

    {
        return n.raw;
    }

getNodeLabel()

std::string SVF::DOTGraphTraits< const SlicedPAGView * >::getNodeLabel ( SlicedPAGNodeRef  n, const SlicedPAGView *    )

inline

Definition at line 167 of file SlicedGraphs.cpp.

    {
        return n.raw != nullptr ? n.raw->toString() : "";
    }

---

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

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