Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<TypeDeclaration> |
CompilationUnit.typeDeclarations
Type declarations.
|
Modifier and Type | Method and Description |
---|---|
TypeDeclaration |
CompilationUnit.getPrimaryTypeDeclaration()
Gets the primary type declaration of the compilation unit.
|
TypeDeclaration |
JavaInfo.getTypeDeclaration(java.lang.String fullName)
returns a type declaration with the full name of the given String fullName
|
TypeDeclaration |
ContextStatementBlock.getTypeDeclarationAt(int index) |
TypeDeclaration |
StatementBlock.getTypeDeclarationAt(int index) |
TypeDeclaration |
CompilationUnit.getTypeDeclarationAt(int index) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<TypeDeclaration> |
CompilationUnit.getDeclarations()
Get declarations.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Field> |
JavaInfo.getAllFields(TypeDeclaration classDecl)
retrieves all attributes locally declared in class cl
(inclusive the implicit attributes)
The returned list is in source code order.
|
JavaBlock |
JavaInfo.readJavaBlock(java.lang.String java,
TypeDeclaration asIn)
reads a Java block given as a string java as it was in the given
TypeDeclaration asIn.
|
Constructor and Description |
---|
CompilationUnit(PackageSpecification packageSpec,
Import[] imports,
TypeDeclaration[] typeDeclarations)
creates a compilation unit
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayDeclaration
KeY used to model arrays using only the
ArrayType . |
class |
ClassDeclaration
There are several types of class declarations:
package-less outer classes
getClassContainer() == null
getStatementContainer() == null
getName() != null
ordinary outer classes
getClassContainer() instanceof Package
getStatementContainer() == null
getName() != null
member classes
getClassContainer() instanceof ClassDeclaration
getStatementContainer() == null
getName() != null
local class
getClassContainer() == null
getStatementContainer() != null
getName() != null
local anonymous class
getClassContainer() == null
getStatementContainer() instanceof expression.New
getName() == null
Anonymous local classes have exactly one supertype and no
subtypes.
|
class |
EnumClassDeclaration
This class is used for wrapping an enum into a standard class type.
|
class |
InterfaceDeclaration
Interface declaration.
|
class |
SuperArrayDeclaration
At the moment the mere purpose of this Class is to provide an encapsulation
for the length attribute.
|
Modifier and Type | Method and Description |
---|---|
TypeDeclaration |
TypeDeclarationContainer.getTypeDeclarationAt(int index) |
TypeDeclaration |
TypeDeclaration.getTypeDeclarationAt(int index) |
Modifier and Type | Method and Description |
---|---|
TypeDeclaration |
New.getTypeDeclarationAt(int index) |
Copyright © 2003-2019 The KeY-Project.