| java.lang.Object
 de.uka.ilkd.key.visualdebugger.executiontree.ETNode
de.uka.ilkd.key.visualdebugger.executiontree.ETMethodInvocationNode
| ETMethodInvocationNode | | public class ETMethodInvocationNode extends ETNode (Code) | | An instance of this specialised node class is used if a node in an execution
tree refers to an invocation of a method. In these cases it is useful to
extract and cache additional information for later inspection like
- the invoked method (after dynamic dispatch)
- parameter names and their values
FIXME: the copy method creates insane trees (I do currently no understand
what ITNodes are, but most probably the copy method brings ETNodes and
ITNodes out of sync), up to now I am not sure which behaviour of copy has
been wanted. This bug applies to all subclasses as well.
|
| Constructor Summary | |
| public | ETMethodInvocationNode(ListOfTerm bc, LinkedList itNodes, ProgramMethod method, Term methodReference, ListOfProgramVariable parameters, ListOfTerm values, ETNode parent)
| | public | ETMethodInvocationNode(ListOfTerm bc, ProgramMethod method, Term methodReference, ListOfProgramVariable parameters, ListOfTerm values, ETNode parent)
|
| ETMethodInvocationNode | | public ETMethodInvocationNode(ListOfTerm bc, LinkedList itNodes, ProgramMethod method, Term methodReference, ListOfProgramVariable parameters, ListOfTerm values, ETNode parent)(Code) | | creates an execution tree node referring to a method invocation
Parameters:
bc - TODO ???
Parameters:
itNodes - TODO ???
Parameters:
method - the ProgramMethod which is invoked
Parameters:
methodReference - TODO ????
Parameters:
parameters - ListOfProgramVariable enumerating the method parameters
Parameters:
values - ListOfTerm enumerating the values of the paramters at thetime when the method invocation occurred
Parameters:
parent - the direct ancestor node of this node |
| ETMethodInvocationNode | | public ETMethodInvocationNode(ListOfTerm bc, ProgramMethod method, Term methodReference, ListOfProgramVariable parameters, ListOfTerm values, ETNode parent)(Code) | | creates an execution tree node referring to a method invocation
Parameters:
bc - TODO ???
Parameters:
method - the ProgramMethod which is invoked
Parameters:
methodReference - TODO ????
Parameters:
parameters - ListOfProgramVariable enumerating the method parameters
Parameters:
values - ListOfTerm enumerating the values of the paramters at thetime when the method invocation occurred
Parameters:
parent - the direct ancestor node of this node |
| copy | | public ETNode copy(ETNode p)(Code) | | creates a shallow copy of this node and attaches it to node p
FIXME: FIX this method as it creates not well linked trees Problems: 1)
the children of this node are not linked to their new parent -->
malformed tree 2) the children are not copied themselves and linking
would destroy the old tree
|
| getMethod | | public ProgramMethod getMethod()(Code) | | returns the invoked method
the ProgramMethod representing the invoked method |
| getMethodReference | | public Term getMethodReference()(Code) | | |
| getParameters | | public ListOfProgramVariable getParameters()(Code) | | the program variables representing the method parameters
the program variables representing the method parameters |
| getValues | | public ListOfTerm getValues()(Code) | | the symbolic values of the method paramters
the symbolic values of the method parameters |
|
|