Interface InvocationGraphNodeFactory

public interface InvocationGraphNodeFactory
creating invocation graph nodes
  • Method Details

    • newNode

      InvocationGraphNode newNode(Function function, InvocationGraphNode parent, AssignExprIF returnTo, AssignExprIF... actualParams)
      creates a new invocation graph node
      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
      call - the FunctionCallNode representing the lexical call that is associated with this node
      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