de.uka.ilkd.key.java

Class Context

java.lang.Object

de.uka.ilkd.key.java.Context

class Context
extends java.lang.Object

this class stores recoder related contextinformation used to parse in program parts in which non-declared variables are used

Field Summary

Fields

Modifier and Type	Field and Description
private ClassDeclaration	classContext
private CompilationUnit	compilationUnitContext
static java.lang.String	PARSING_CONTEXT_CLASS_NAME

Constructor Summary

Constructors

Constructor and Description
Context(KeYCrossReferenceServiceConfiguration servConf, ClassDeclaration classContext) creates a new context object
Context(KeYCrossReferenceServiceConfiguration servConf, CompilationUnit compilationUnitContext) creates a new context object
Context(KeYCrossReferenceServiceConfiguration servConf, CompilationUnit compilationUnitContext, ClassDeclaration classContext) creates a new context object

Method Summary

Modifier and Type	Method and Description
private static ClassDeclaration	createClassDecl(KeYCrossReferenceServiceConfiguration servConf)
private static CompilationUnit	createCompUnit(ClassDeclaration classContext)
ClassDeclaration	getClassContext() returns the compilation context
CompilationUnit	getCompilationUnitContext() returns the compilation context
static ASTList<TypeDeclaration>	inList(TypeDeclaration td)

Methods inherited from class java.lang.Object

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

Field Detail

compilationUnitContext

private CompilationUnit compilationUnitContext

classContext

private ClassDeclaration classContext

PARSING_CONTEXT_CLASS_NAME

public static final java.lang.String PARSING_CONTEXT_CLASS_NAME

See Also:

Constant Field Values

Constructor Detail

Context

public Context(KeYCrossReferenceServiceConfiguration servConf,
               CompilationUnit compilationUnitContext,
               ClassDeclaration classContext)

creates a new context object

Parameters:

compilationUnitContext - a recoder.java.CompilationUnit

classContext - a recoder.java.declaration.ClassDeclaration

Context

public Context(KeYCrossReferenceServiceConfiguration servConf,
               CompilationUnit compilationUnitContext)

creates a new context object

Parameters:

compilationUnitContext - a recoder.java.declaration.CompilationUnit

Context

public Context(KeYCrossReferenceServiceConfiguration servConf,
               ClassDeclaration classContext)

creates a new context object

Parameters:

classContext - a recoder.java.declaration.ClassDeclaration

Method Detail

createCompUnit

private static CompilationUnit createCompUnit(ClassDeclaration classContext)

inList

public static ASTList<TypeDeclaration> inList(TypeDeclaration td)

getCompilationUnitContext

public CompilationUnit getCompilationUnitContext()

returns the compilation context

getClassContext

public ClassDeclaration getClassContext()

returns the compilation context

createClassDecl

private static ClassDeclaration createClassDecl(KeYCrossReferenceServiceConfiguration servConf)