de.uka.ilkd.key.java.reference

Interface IExecutionContext

All Superinterfaces:

ModelElement, ProgramElement, Reference, SourceElement, SVSubstitute

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

ExecutionContext, ProgramSV

public interface IExecutionContext
extends Reference

extracted interface to allow schema variabes to stand for an execution context

Method Summary

Modifier and Type	Method and Description
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

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, prettyPrint, visit

Method Detail

getTypeReference

TypeReference getTypeReference()

returns the type reference to the next enclosing class

Returns:

the type reference to the next enclosing class

getMethodContext

IProgramMethod getMethodContext()

returns the program method which is currently active

Returns:

the currently active method

getRuntimeInstance

ReferencePrefix getRuntimeInstance()

returns the runtime instance object

Returns:

the runtime instance object