| java.lang.Object de.uka.ilkd.key.visualdebugger.executiontree.ETNode de.uka.ilkd.key.visualdebugger.executiontree.ETMethodReturnNode
ETMethodReturnNode | public class ETMethodReturnNode extends ETNode (Code) | | This execution tree node is used to represent a node referring to a return
step of a method. 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.
|
ETMethodReturnNode | public ETMethodReturnNode(ListOfTerm bc, LinkedList itNodes, Term result, ETNode parent)(Code) | | creates an instance of the ETNode
Parameters: bc - Parameters: itNodes - Parameters: result - Parameters: parent - |
ETMethodReturnNode | public ETMethodReturnNode(ListOfTerm bc, Term result, ETNode parent)(Code) | | |
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
|
getResult | public Term getResult()(Code) | | the symbolic value of the method result
the symbolic value of the method result |
|
|