Uses of Interface
dev.civl.abc.analysis.pointsTo.IF.InvocationGraphNode

Packages that use InvocationGraphNode

Package	Description
dev.civl.abc.analysis.pointsTo.IF

Uses of InvocationGraphNode in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return InvocationGraphNode

Modifier and Type	Method	Description
InvocationGraphNode	InvocationGraphNode.getRecursive()
InvocationGraphNode	InvocationGraphNodeFactory.newNode(Function function, InvocationGraphNode parent, AssignExprIF returnTo, AssignExprIF... actualParams)	creates a new invocation graph node
InvocationGraphNode	InvocationGraphNode.parent()

Methods in dev.civl.abc.analysis.pointsTo.IF that return types with arguments of type InvocationGraphNode

Modifier and Type	Method	Description
Iterable<InvocationGraphNode>	InvocationGraphNode.children()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type InvocationGraphNode

Modifier and Type	Method	Description
void	InvocationGraphNode.addChild(InvocationGraphNode child)	Add a child to this node
InsensitiveFlow	InsensitiveFlowFactory.InsensitiveFlow(Function function, InvocationGraphNode igNode)	Creates a new InsensitiveFlow of the function body for a call instance of a function.
InvocationGraphNode	InvocationGraphNodeFactory.newNode(Function function, InvocationGraphNode parent, AssignExprIF returnTo, AssignExprIF... actualParams)	creates a new invocation graph node
void	InvocationGraphNode.share(InvocationGraphNode node)	Share formal parameters, global accesses and returning values with the given node, which must represents a call to the same function as this instance.