SVF::CFLGraph Class Reference

#include <CFLGraph.h>

Inheritance diagram for SVF::CFLGraph:

Public Types
typedef CFGrammar::Symbol	Symbol
typedef CFGrammar::Kind	Kind
typedef GenericNode< CFLNode, CFLEdge >::GEdgeSetTy	CFLEdgeSet
Public Types inherited from SVF::GenericGraph< NodeTy, EdgeTy >
typedef NodeTy	NodeType
typedef EdgeTy	EdgeType
typedef OrderedMap< NodeID, NodeType * >	IDToNodeMapTy
	NodeID to GenericNode map. More...
typedef IDToNodeMapTy::iterator	iterator
	Node Iterators. More...
typedef IDToNodeMapTy::const_iterator	const_iterator

Public Member Functions
	CFLGraph (Kind kind)
	~CFLGraph () override=default
Kind	getStartKind () const
virtual void	addCFLNode (NodeID id, CFLNode *node)
virtual const CFLEdge *	addCFLEdge (CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)
virtual const CFLEdge *	hasEdge (CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)
void	dump (const std::string &filename)
void	view ()
const CFLEdgeSet &	getCFLEdges () const
Public Member Functions inherited from SVF::GenericGraph< NodeTy, EdgeTy >
	GenericGraph ()
	Constructor. More...
virtual	~GenericGraph ()
	Destructor. More...
void	destroy ()
	Release memory. More...
iterator	begin ()
	Iterators. More...
iterator	end ()
const_iterator	begin () const
const_iterator	end () const
void	addGNode (NodeID id, NodeType *node)
	Add a Node. More...
NodeType *	getGNode (NodeID id) const
	Get a node. More...
bool	hasGNode (NodeID id) const
	Has a node. More...
void	removeGNode (NodeType *node)
	Delete a node. More...
u32_t	getTotalNodeNum () const
	Get total number of node/edge. More...
u32_t	getTotalEdgeNum () const
void	incNodeNum ()
	Increase number of node/edge. More...
void	incEdgeNum ()

Public Attributes
Kind	startKind
Public Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy >
u32_t	edgeNum
	total num of node More...
u32_t	nodeNum
	total num of edge More...

Private Attributes
CFLEdgeSet	cflEdgeSet

Additional Inherited Members
Protected Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy >
IDToNodeMapTy	IDToNodeMap
	node map More...

Detailed Description

Definition at line 173 of file CFLGraph.h.

Member Typedef Documentation

CFLEdgeSet

typedef GenericNode<CFLNode,CFLEdge>::GEdgeSetTy SVF::CFLGraph::CFLEdgeSet

Definition at line 178 of file CFLGraph.h.

Kind

typedef CFGrammar::Kind SVF::CFLGraph::Kind

Definition at line 177 of file CFLGraph.h.

Symbol

typedef CFGrammar::Symbol SVF::CFLGraph::Symbol

Definition at line 176 of file CFLGraph.h.

Constructor & Destructor Documentation

CFLGraph()

SVF::CFLGraph::CFLGraph ( Kind  kind )

inline

Definition at line 181 of file CFLGraph.h.

    {
        startKind = kind;
    }

~CFLGraph()

SVF::CFLGraph::~CFLGraph ( )

overridedefault

Member Function Documentation

addCFLEdge()

const CFLEdge * CFLGraph::addCFLEdge ( CFLNode *  src, CFLNode *  dst, CFLEdge::GEdgeFlag  label  )

virtual

Definition at line 47 of file CFLGraph.cpp.

{
    CFLEdge* edge = new CFLEdge(src,dst,label);
    if(cflEdgeSet.insert(edge).second)
    {
        src->addOutgoingEdge(edge);
        dst->addIngoingEdge(edge);
        return edge;
    }
    else
    {
        delete edge;
        return nullptr;
    }
}

addCFLNode()

void CFLGraph::addCFLNode ( NodeID  id, CFLNode *  node  )

virtual

Definition at line 42 of file CFLGraph.cpp.

{
    addGNode(id, node);
}

dump()

void CFLGraph::dump

(

const std::string &

filename

)

Definition at line 73 of file CFLGraph.cpp.

{
    GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
}

getCFLEdges()

const CFLEdgeSet& SVF::CFLGraph::getCFLEdges ( ) const

inline

Definition at line 199 of file CFLGraph.h.

    {
        return cflEdgeSet;
    }

getStartKind()

CFLGraph::Kind CFLGraph::getStartKind

(

)

const

Definition at line 37 of file CFLGraph.cpp.

{
    return this->startKind;
}

hasEdge()

const CFLEdge * CFLGraph::hasEdge ( CFLNode *  src, CFLNode *  dst, CFLEdge::GEdgeFlag  label  )

virtual

Definition at line 63 of file CFLGraph.cpp.

{
    CFLEdge edge(src,dst,label);
    auto it = cflEdgeSet.find(&edge);
    if(it !=cflEdgeSet.end())
        return *it;
    else
        return nullptr;
}

view()

void CFLGraph::view

(

)

Definition at line 78 of file CFLGraph.cpp.

{
    SVF::ViewGraph(this, "CFL Graph");
}

Member Data Documentation

cflEdgeSet

CFLEdgeSet SVF::CFLGraph::cflEdgeSet

private

Definition at line 205 of file CFLGraph.h.

startKind

Kind SVF::CFLGraph::startKind

Definition at line 179 of file CFLGraph.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/SVF/SVF/svf/include/Graphs/CFLGraph.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/CFLGraph.cpp