de.uka.ilkd.key.java.reference

Class ExecutionContext

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.reference.ExecutionContext

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, Reference, IExecutionContext, SourceElement, SVSubstitute

public class ExecutionContext
extends JavaNonTerminalProgramElement
implements IExecutionContext, Reference

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeReference	classContext the class context
private IProgramMethod	methodContext the currently active method
protected ReferencePrefix	runtimeInstance the reference to the active object

Constructor Summary

Constructors

Constructor and Description
ExecutionContext(ExtList children) creates an execution context reference
ExecutionContext(TypeReference classContext, IProgramMethod methodContext, ReferencePrefix runtimeInstance) creates an execution context reference

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array.
int	getChildCount() Returns the number of children of this node.
IProgramMethod	getMethodContext() returns the program method which is currently active
ReferencePrefix	getRuntimeInstance() returns the runtime instance object
TypeReference	getTypeReference() returns the type reference to the next enclosing class
void	prettyPrint(PrettyPrinter p) Pretty printing the source element.
java.lang.String	toString() toString
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition

Field Detail

classContext

protected final TypeReference classContext

the class context

runtimeInstance

protected final ReferencePrefix runtimeInstance

the reference to the active object

methodContext

private IProgramMethod methodContext

the currently active method

Constructor Detail

ExecutionContext

public ExecutionContext(TypeReference classContext,
                        IProgramMethod methodContext,
                        ReferencePrefix runtimeInstance)

creates an execution context reference

Parameters:

classContext - the TypeReference referring to the next enclosing class

methodContext - the IProgramMethod referring to the currently active method

runtimeInstance - a ReferencePrefix to the object that is currently active/executed

ExecutionContext

public ExecutionContext(ExtList children)

creates an execution context reference

Parameters:

children - an ExtList with the required children of the execution context

Method Detail

getChildCount

public int getChildCount()

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array.

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds

getTypeReference

public TypeReference getTypeReference()

returns the type reference to the next enclosing class

Specified by:

getTypeReference in interface IExecutionContext

Returns:

the type reference to the next enclosing class

getMethodContext

public IProgramMethod getMethodContext()

returns the program method which is currently active

Specified by:

getMethodContext in interface IExecutionContext

Returns:

the currently active method

getRuntimeInstance

public ReferencePrefix getRuntimeInstance()

returns the runtime instance object

Specified by:

getRuntimeInstance in interface IExecutionContext

Returns:

the runtime instance object

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Specified by:

visit in interface SourceElement

Parameters:

v - the Visitor

prettyPrint

public void prettyPrint(PrettyPrinter p)
                 throws java.io.IOException

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Overrides:

prettyPrint in class JavaProgramElement

Parameters:

p - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.

toString

public java.lang.String toString()

Description copied from class: JavaSourceElement

toString

Overrides:

toString in class JavaSourceElement