de.uka.ilkd.key.java.recoderext

Class ExecutionContext

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.recoderext.ExecutionContext

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ExpressionContainer, NonTerminalProgramElement, ProgramElement, Reference, TypeReferenceContainer, SourceElement, ModelElement

Direct Known Subclasses:

ExecCtxtSVWrapper

public class ExecutionContext
extends JavaNonTerminalProgramElement
implements Reference, TypeReferenceContainer, ExpressionContainer

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private NonTerminalProgramElement	astParent the ast parent
private TypeReference	classContext the class context
private MethodSignature	methodContext the method signature of the currently active method
private ReferencePrefix	runtimeInstance the reference to the active object
private static long	serialVersionUID

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExecutionContext()
	ExecutionContext(TypeReference classContext, MethodSignature methodContext, ReferencePrefix runtimeInstance) creates an execution context reference

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor visitor)
ExecutionContext	deepClone()
NonTerminalProgramElement	getASTParent()
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.
int	getChildPositionCode(ProgramElement child) Returns the positional code of the given child
Expression	getExpressionAt(int index)
int	getExpressionCount()
MethodSignature	getMethodContext() returns the method signature of the currently active method
ReferencePrefix	getRuntimeInstance() returns the runtime instance object
TypeReference	getTypeReference() returns the type reference to the next enclosing class
TypeReference	getTypeReferenceAt(int index)
int	getTypeReferenceCount()
void	makeParentRoleValid() Ensures that each child has "this" as syntactical parent.
void	prettyPrint(PrettyPrinter p)
boolean	replaceChild(ProgramElement child, ProgramElement newChild)
void	setParent(NonTerminalProgramElement parent)

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

astParent

private NonTerminalProgramElement astParent

the ast parent

classContext

private TypeReference classContext

the class context

methodContext

private MethodSignature methodContext

the method signature of the currently active method

runtimeInstance

private ReferencePrefix runtimeInstance

the reference to the active object

Constructor Detail

ExecutionContext

protected ExecutionContext()

ExecutionContext

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

creates an execution context reference

Parameters:

classContext - the TypeReference referring to the next enclosing class

methodContext - the method signature representing the currently active method

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

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

getChildPositionCode

public int getChildPositionCode(ProgramElement child)

Returns the positional code of the given child

Specified by:

getChildPositionCode in interface NonTerminalProgramElement

Parameters:

child - the exact child to look for.

Returns:

the positional code of the given child, or -1.

accept

public void accept(SourceVisitor visitor)

Specified by:

accept in interface SourceElement

deepClone

public ExecutionContext deepClone()

Specified by:

deepClone in interface SourceElement

getASTParent

public NonTerminalProgramElement getASTParent()

Specified by:

getASTParent in interface ProgramElement

setParent

public void setParent(NonTerminalProgramElement parent)

replaceChild

public boolean replaceChild(ProgramElement child,
                            ProgramElement newChild)

Specified by:

replaceChild in interface NonTerminalProgramElement

makeParentRoleValid

public void makeParentRoleValid()

Ensures that each child has "this" as syntactical parent.

Specified by:

makeParentRoleValid in interface NonTerminalProgramElement

Overrides:

makeParentRoleValid in class JavaNonTerminalProgramElement

getTypeReferenceAt

public TypeReference getTypeReferenceAt(int index)

Specified by:

getTypeReferenceAt in interface TypeReferenceContainer

getTypeReferenceCount

public int getTypeReferenceCount()

Specified by:

getTypeReferenceCount in interface TypeReferenceContainer

getExpressionAt

public Expression getExpressionAt(int index)

Specified by:

getExpressionAt in interface ExpressionContainer

getExpressionCount

public int getExpressionCount()

Specified by:

getExpressionCount in interface ExpressionContainer

getTypeReference

public TypeReference getTypeReference()

returns the type reference to the next enclosing class

Returns:

the type reference to the next enclosing class

getMethodContext

public MethodSignature getMethodContext()

returns the method signature of the currently active method

Returns:

the method signature of the currently active method

getRuntimeInstance

public ReferencePrefix getRuntimeInstance()

returns the runtime instance object

Returns:

the runtime instance object

prettyPrint

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

Throws:

java.io.IOException