class Context
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ClassDeclaration |
classContext |
private CompilationUnit |
compilationUnitContext |
static java.lang.String |
PARSING_CONTEXT_CLASS_NAME |
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
|
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) |
private CompilationUnit compilationUnitContext
private ClassDeclaration classContext
public static final java.lang.String PARSING_CONTEXT_CLASS_NAME
public Context(KeYCrossReferenceServiceConfiguration servConf, CompilationUnit compilationUnitContext, ClassDeclaration classContext)
compilationUnitContext
- a
recoder.java.CompilationUnitclassContext
- a recoder.java.declaration.ClassDeclarationpublic Context(KeYCrossReferenceServiceConfiguration servConf, CompilationUnit compilationUnitContext)
compilationUnitContext
- a
recoder.java.declaration.CompilationUnitpublic Context(KeYCrossReferenceServiceConfiguration servConf, ClassDeclaration classContext)
classContext
- a recoder.java.declaration.ClassDeclarationprivate static CompilationUnit createCompUnit(ClassDeclaration classContext)
public static ASTList<TypeDeclaration> inList(TypeDeclaration td)
public CompilationUnit getCompilationUnitContext()
public ClassDeclaration getClassContext()
private static ClassDeclaration createClassDecl(KeYCrossReferenceServiceConfiguration servConf)