Module dev.civl.abc

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

Interface InvocationGraphNodeFactory

public interface InvocationGraphNodeFactory

creating invocation graph nodes

Method Summary

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

Method Details

newNode

InvocationGraphNode newNode(Function function,
 InvocationGraphNode parent,
 AssignExprIF returnTo,
 AssignExprIF... actualParams)

creates a new invocation graph node

Parameters:

function - the Function that is associated with the node

parent - the parent node of the generated node, null if this node is associated with the "main" function

returnTo - the expression abstraction that will take the returned value after returning from the associated function call

actualParams - the sequence (as a java array) of actual parameter abstractions

call - the FunctionCallNode representing the lexical call that is associated with this node

Returns: