| java.lang.Object de.uka.ilkd.key.java.Context
Context | class Context (Code) | | this class stores recoder related contextinformation used to parse
in program parts in which non-declared variables are used
|
PARSING_CONTEXT_CLASS_NAME | final public static String PARSING_CONTEXT_CLASS_NAME(Code) | | |
Context | public Context(KeYCrossReferenceServiceConfiguration servConf, recoder.java.CompilationUnit compilationUnitContext, ClassDeclaration classContext)(Code) | | creates a new context object
Parameters: compilationUnitContext - arecoder.java.CompilationUnit Parameters: classContext - a recoder.java.declaration.ClassDeclaration |
Context | public Context(KeYCrossReferenceServiceConfiguration servConf, recoder.java.CompilationUnit compilationUnitContext)(Code) | | creates a new context object
Parameters: compilationUnitContext - arecoder.java.declaration.CompilationUnit |
getClassContext | public ClassDeclaration getClassContext()(Code) | | returns the compilation context
|
getCompilationUnitContext | public recoder.java.CompilationUnit getCompilationUnitContext()(Code) | | returns the compilation context
|
inList | public static TypeDeclarationMutableList inList(TypeDeclaration td)(Code) | | |
|
|