| de.uka.ilkd.key.java.JavaNonTerminalProgramElement
 de.uka.ilkd.key.java.reference.ExecutionContext
| ExecutionContext | | public ExecutionContext(TypeReference classContext, ReferencePrefix runtimeInstance)(Code) | | creates an execution context reference
Parameters:
classContext - the TypeReference refering to the next enclosingclass
Parameters:
runtimeInstance - a ReferencePrefix to the object thatis currently active/executed |
| ExecutionContext | | public ExecutionContext(ExtList children)(Code) | | creates an execution context reference
Parameters:
children - an ExtList with the required children of the executioncontext |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array.
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getRuntimeInstance | | public ReferencePrefix getRuntimeInstance()(Code) | | returns the runtime instance object
the runtime instance object |
| getTypeReference | | public TypeReference getTypeReference()(Code) | | returns the type reference to the next enclosing class
the type reference to the next enclosing class |
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
|
|