| de.uka.ilkd.key.visualdebugger.executiontree |
|
| Java Source File Name | Type | Comment |
| ETLeafNode.java | Class | |
| ETMethodInvocationNode.java | Class | An instance of this specialised node class is used if a node in an execution
tree refers to an invocation of a method. |
| ETMethodReturnNode.java | Class | This execution tree node is used to represent a node referring to a return
step of a method. |
| ETNode.java | Class | A node of an execution tree representing the control flow of a program.
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. |
| ETStatementNode.java | Class | 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. |
| ExecutionTree.java | Class | |
| ITNode.java | Class | |