SVF::GenericGraphTraits< const SlicedICFGView * > Struct Reference

#include <SlicedGraphs.h>

Public Types
using	NodeRef = SlicedICFGNodeRef
using	EdgeRef = SlicedICFGEdgeRef
using	nodes_iterator = SlicedICFGNodeIter
using	ChildIteratorType = SlicedICFGChildIterImpl<true>
using	ChildEdgeIteratorType = SlicedICFGEdgeIterImpl<true>

Static Public Member Functions
static const ICFGNode *	getRawNode (NodeRef n)
static const ICFGNode *	getFunEntry (const SlicedICFGView *g, const FunObjVar *fun)
static const ICFGNode *	getFunExit (const SlicedICFGView *g, const FunObjVar *fun)
static void	getFunICFGNodes (const SlicedICFGView *g, const FunObjVar *fun, std::vector< const ICFGNode * > &out)
static void	getSuccNodes (const SlicedICFGView *g, const ICFGNode *n, std::vector< const ICFGNode * > &out)
static void	getPredNodes (const SlicedICFGView *g, const ICFGNode *n, std::vector< const ICFGNode * > &out)
static bool	containsNode (const SlicedICFGView *g, const ICFGNode *n)
static NodeRef	getEntryNode (const SlicedICFGView *)
static nodes_iterator	nodes_begin (const SlicedICFGView *v)
static nodes_iterator	nodes_end (const SlicedICFGView *v)
static ChildIteratorType	child_begin (NodeRef n)
static ChildIteratorType	child_end (NodeRef n)
static ChildIteratorType	direct_child_begin (NodeRef n)
static ChildIteratorType	direct_child_end (NodeRef n)
static ChildEdgeIteratorType	child_edge_begin (NodeRef n)
static ChildEdgeIteratorType	child_edge_end (NodeRef n)
static NodeRef	edge_dest (const EdgeRef &e)
static unsigned	graphSize (const SlicedICFGView *v)
static unsigned	getNodeID (NodeRef n)
static NodeRef	getNode (const SlicedICFGView *v, NodeID id)

Detailed Description

Definition at line 1272 of file SlicedGraphs.h.

Member Typedef Documentation

ChildEdgeIteratorType

using SVF::GenericGraphTraits< const SlicedICFGView * >::ChildEdgeIteratorType = SlicedICFGEdgeIterImpl<true>

Definition at line 1278 of file SlicedGraphs.h.

ChildIteratorType

using SVF::GenericGraphTraits< const SlicedICFGView * >::ChildIteratorType = SlicedICFGChildIterImpl<true>

Definition at line 1277 of file SlicedGraphs.h.

EdgeRef

using SVF::GenericGraphTraits< const SlicedICFGView * >::EdgeRef = SlicedICFGEdgeRef

Definition at line 1275 of file SlicedGraphs.h.

NodeRef

using SVF::GenericGraphTraits< const SlicedICFGView * >::NodeRef = SlicedICFGNodeRef

Definition at line 1274 of file SlicedGraphs.h.

nodes_iterator

using SVF::GenericGraphTraits< const SlicedICFGView * >::nodes_iterator = SlicedICFGNodeIter

Definition at line 1276 of file SlicedGraphs.h.

Member Function Documentation

child_begin()

ChildIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::child_begin ( NodeRef n )

inlinestatic

Definition at line 1333 of file SlicedGraphs.h.

    {
        return ChildIteratorType(ChildEdgeIteratorType::begin(n.view, n.raw));
    }

child_edge_begin()

ChildEdgeIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::child_edge_begin ( NodeRef n )

inlinestatic

Definition at line 1350 of file SlicedGraphs.h.

    {
        return ChildEdgeIteratorType::begin(n.view, n.raw);
    }

child_edge_end()

ChildEdgeIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::child_edge_end ( NodeRef n )

inlinestatic

Definition at line 1354 of file SlicedGraphs.h.

    {
        return ChildEdgeIteratorType::end(n.view, n.raw);
    }

child_end()

ChildIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::child_end ( NodeRef n )

inlinestatic

Definition at line 1337 of file SlicedGraphs.h.

    {
        return ChildIteratorType(ChildEdgeIteratorType::end(n.view, n.raw));
    }

containsNode()

bool SVF::GenericGraphTraits< const SlicedICFGView * >::containsNode ( const SlicedICFGView * g, const ICFGNode * n )

inlinestatic

Definition at line 1313 of file SlicedGraphs.h.

    {
        return g->isKeptNode(n);
    }

direct_child_begin()

ChildIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::direct_child_begin ( NodeRef n )

inlinestatic

Definition at line 1341 of file SlicedGraphs.h.

    {
        return child_begin(n);
    }

direct_child_end()

ChildIteratorType SVF::GenericGraphTraits< const SlicedICFGView * >::direct_child_end ( NodeRef n )

inlinestatic

Definition at line 1345 of file SlicedGraphs.h.

    {
        return child_end(n);
    }

edge_dest()

NodeRef SVF::GenericGraphTraits< const SlicedICFGView * >::edge_dest ( const EdgeRef & e )

inlinestatic

Definition at line 1359 of file SlicedGraphs.h.

    {
        return e.dst;
    }

getEntryNode()

NodeRef SVF::GenericGraphTraits< const SlicedICFGView * >::getEntryNode ( const SlicedICFGView * )

inlinestatic

Definition at line 1319 of file SlicedGraphs.h.

    {
        return NodeRef{};
    }

getFunEntry()

const ICFGNode * SVF::GenericGraphTraits< const SlicedICFGView * >::getFunEntry ( const SlicedICFGView * g, const FunObjVar * fun )

inlinestatic

Definition at line 1290 of file SlicedGraphs.h.

    {
        return g->getFunEntry(fun);
    }

getFunExit()

const ICFGNode * SVF::GenericGraphTraits< const SlicedICFGView * >::getFunExit ( const SlicedICFGView * g, const FunObjVar * fun )

inlinestatic

Definition at line 1294 of file SlicedGraphs.h.

    {
        return g->getFunExit(fun);
    }

getFunICFGNodes()

void SVF::GenericGraphTraits< const SlicedICFGView * >::getFunICFGNodes ( const SlicedICFGView * g, const FunObjVar * fun, std::vector< const ICFGNode * > & out )

inlinestatic

Definition at line 1298 of file SlicedGraphs.h.

    {
        g->getFunICFGNodes(fun, out);
    }

getNode()

NodeRef SVF::GenericGraphTraits< const SlicedICFGView * >::getNode ( const SlicedICFGView * v, NodeID id )

inlinestatic

Definition at line 1372 of file SlicedGraphs.h.

    {
        const ICFGNode* raw = v->getOriginalICFG()->getGNode(id);
        return NodeRef{v, (raw != nullptr && v->isKeptNode(raw)) ? raw : nullptr};
    }

getNodeID()

unsigned SVF::GenericGraphTraits< const SlicedICFGView * >::getNodeID ( NodeRef n )

inlinestatic

Definition at line 1368 of file SlicedGraphs.h.

    {
        return n.raw->getId();
    }

getPredNodes()

void SVF::GenericGraphTraits< const SlicedICFGView * >::getPredNodes ( const SlicedICFGView * g, const ICFGNode * n, std::vector< const ICFGNode * > & out )

inlinestatic

Definition at line 1308 of file SlicedGraphs.h.

    {
        g->getPredNodes(n, out);
    }

getRawNode()

const ICFGNode * SVF::GenericGraphTraits< const SlicedICFGView * >::getRawNode ( NodeRef n )

inlinestatic

Definition at line 1282 of file SlicedGraphs.h.

    {
        return n.raw;
    }

getSuccNodes()

void SVF::GenericGraphTraits< const SlicedICFGView * >::getSuccNodes ( const SlicedICFGView * g, const ICFGNode * n, std::vector< const ICFGNode * > & out )

inlinestatic

Definition at line 1303 of file SlicedGraphs.h.

    {
        g->getSuccNodes(n, out);
    }

graphSize()

unsigned SVF::GenericGraphTraits< const SlicedICFGView * >::graphSize ( const SlicedICFGView * v )

inlinestatic

Definition at line 1364 of file SlicedGraphs.h.

    {
        return static_cast<unsigned>(v->getKeptNodes().size());
    }

nodes_begin()

nodes_iterator SVF::GenericGraphTraits< const SlicedICFGView * >::nodes_begin ( const SlicedICFGView * v )

inlinestatic

Definition at line 1324 of file SlicedGraphs.h.

    {
        return SlicedICFGNodeIter(v, v->getKeptNodes().begin());
    }

nodes_end()

nodes_iterator SVF::GenericGraphTraits< const SlicedICFGView * >::nodes_end ( const SlicedICFGView * v )

inlinestatic

Definition at line 1328 of file SlicedGraphs.h.

    {
        return SlicedICFGNodeIter(v, v->getKeptNodes().end());
    }

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SlicedGraphs.h