#include <PAGNode.h>

Inheritance diagram for SVF::DummyValPN:

Public Member Functions
	DummyValPN (NodeID i)
	Constructor. More...

const std::string	getValueName () const
	Return name of this node. More...

virtual const std::string	toString () const

Public Member Functions inherited from SVF::ValPN
	ValPN (const Value *val, NodeID i, PNODEK ty=ValNode)
	Constructor. More...

Public Member Functions inherited from SVF::PAGNode
	PAGNode (const Value *val, NodeID i, PNODEK k)
	address-taken pointer More...

virtual	~PAGNode ()
	Destructor. More...

const Value *	getValue () const
	Get/has methods of the components. More...

virtual const Type *	getType () const
	Return type of the value. More...

bool	hasValue () const

virtual bool	isPointer () const
	Whether it is a pointer. More...

bool	isTopLevelPtr () const
	Whether it is a top-level pointer. More...

bool	isAddressTakenPtr () const
	Whether it is an address-taken pointer. More...

bool	isConstantData () const

bool	isIsolatedNode () const
	Whether this is an isoloated node on the PAG graph. More...

virtual const Function *	getFunction () const
	Return the function that this PAGNode resides in. Return nullptr if it is a global or constantexpr node. More...

PAGEdge::PAGEdgeSetTy &	getIncomingEdges (PAGEdge::PEDGEK kind)
	Get incoming PAG edges. More...

PAGEdge::PAGEdgeSetTy &	getOutgoingEdges (PAGEdge::PEDGEK kind)
	Get outgoing PAG edges. More...

bool	hasIncomingEdges (PAGEdge::PEDGEK kind) const
	Has incoming PAG edges. More...

bool	hasIncomingVariantGepEdge () const
	Has incoming VariantGepEdges. More...

PAGEdge::PAGEdgeSetTy::iterator	getIncomingEdgesBegin (PAGEdge::PEDGEK kind) const
	Get incoming PAGEdge iterator. More...

PAGEdge::PAGEdgeSetTy::iterator	getIncomingEdgesEnd (PAGEdge::PEDGEK kind) const
	Get incoming PAGEdge iterator. More...

bool	hasOutgoingEdges (PAGEdge::PEDGEK kind) const
	Has outgoing PAG edges. More...

PAGEdge::PAGEdgeSetTy::iterator	getOutgoingEdgesBegin (PAGEdge::PEDGEK kind) const
	Get outgoing PAGEdge iterator. More...

PAGEdge::PAGEdgeSetTy::iterator	getOutgoingEdgesEnd (PAGEdge::PEDGEK kind) const
	Get outgoing PAGEdge iterator. More...

void	addInEdge (PAGEdge *inEdge)
	add methods of the components More...

void	addOutEdge (PAGEdge *outEdge)

virtual const std::string	getNodeAttrForDotDisplay () const
	Get shape and/or color of node for .dot display. More...

void	dump () const
	Dump to console for debugging. More...

Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
	GenericNode (NodeID i, GNodeK k)
	Constructor. More...

virtual	~GenericNode ()
	Destructor. More...

NodeID	getId () const
	Get ID. More...

GNodeK	getNodeKind () const
	Get node kind. More...

const GEdgeSetTy &	getOutEdges () const

const GEdgeSetTy &	getInEdges () const

bool	hasIncomingEdge () const
	Has incoming/outgoing edge set. More...

bool	hasOutgoingEdge () const

iterator	OutEdgeBegin ()
	iterators More...

iterator	OutEdgeEnd ()

iterator	InEdgeBegin ()

iterator	InEdgeEnd ()

const_iterator	OutEdgeBegin () const

const_iterator	OutEdgeEnd () const

const_iterator	InEdgeBegin () const

const_iterator	InEdgeEnd () const

virtual iterator	directOutEdgeBegin ()
	Iterators used for SCC detection, overwrite it in child class if necessory. More...

virtual iterator	directOutEdgeEnd ()

virtual iterator	directInEdgeBegin ()

virtual iterator	directInEdgeEnd ()

virtual const_iterator	directOutEdgeBegin () const

virtual const_iterator	directOutEdgeEnd () const

virtual const_iterator	directInEdgeBegin () const

virtual const_iterator	directInEdgeEnd () const

bool	addIncomingEdge (EdgeType *inEdge)
	Add incoming and outgoing edges. More...

bool	addOutgoingEdge (EdgeType *outEdge)

Size_t	removeIncomingEdge (EdgeType *edge)

Size_t	removeOutgoingEdge (EdgeType *edge)

EdgeType *	hasIncomingEdge (EdgeType *edge) const
	Find incoming and outgoing edges. More...

EdgeType *	hasOutgoingEdge (EdgeType *edge) const

Static Public Member Functions

static bool	classof (const DummyValPN *)

static bool	classof (const PAGNode *node)

static bool	classof (const GenericPAGNodeTy *node)

Static Public Member Functions inherited from SVF::ValPN
static bool	classof (const ValPN *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const PAGNode *node)

static bool	classof (const GenericPAGNodeTy *node)

Additional Inherited Members
Public Types inherited from SVF::PAGNode
enum	PNODEK { ValNode, ObjNode, RetNode, VarargNode, GepValNode, GepObjNode, FIObjNode, DummyValNode, DummyObjNode, CloneGepObjNode, CloneFIObjNode, CloneDummyObjNode }

Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy	NodeType

typedef EdgeTy	EdgeType

typedef s32_t	GNodeK
	Edge kind. More...

typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge >	GEdgeSetTy

typedef GEdgeSetTy::iterator	iterator

typedef GEdgeSetTy::const_iterator	const_iterator

Protected Attributes inherited from SVF::PAGNode
const Value *	value
	value of this PAG node More...

PAGEdge::PAGKindToEdgeSetMapTy	InEdgeKindToSetMap

PAGEdge::PAGKindToEdgeSetMapTy	OutEdgeKindToSetMap

bool	isTLPointer

bool	isATPointer
	top-level pointer More...

Detailed Description

Definition at line 656 of file PAGNode.h.

Constructor & Destructor Documentation

◆ DummyValPN()

SVF::DummyValPN::DummyValPN ( NodeID i )

inline

Constructor.

Definition at line 677 of file PAGNode.h.

                          : ValPN(nullptr, i, DummyValNode)
     {
     }

Member Function Documentation

◆ classof() [1/3]

static bool SVF::DummyValPN::classof ( const DummyValPN * )

inlinestatic

Definition at line 662 of file PAGNode.h.

     {
         return true;
     }

◆ classof() [2/3]

static bool SVF::DummyValPN::classof ( const PAGNode * node )

inlinestatic

Definition at line 666 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::DummyValNode;
     }

◆ classof() [3/3]

static bool SVF::DummyValPN::classof ( const GenericPAGNodeTy * node )

inlinestatic

Definition at line 670 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::DummyValNode;
     }

◆ getValueName()

const std::string SVF::DummyValPN::getValueName ( ) const

inlinevirtual

Return name of this node.

Reimplemented from SVF::ValPN.

Definition at line 683 of file PAGNode.h.

     {
         return "dummyVal";
     }

◆ toString()

const std::string DummyValPN::toString ( ) const

virtual

Reimplemented from SVF::ValPN.

Definition at line 165 of file PAG.cpp.

                                            {
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << "DummyValPN ID: " << getId();
     return rawstr.str();
 }

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

/home/runner/work/SVF-1/SVF-1/include/Graphs/PAGNode.h
/home/runner/work/SVF-1/SVF-1/lib/Graphs/PAG.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ DummyValPN()

Member Function Documentation

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ getValueName()

◆ toString()