Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.abstraction |
This package contains the meta model abstractions as used by the
semantical services.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TypeConverter.isNarrowing(ClassType from,
ClassType to) |
boolean |
TypeConverter.isWidening(ClassType from,
ClassType to) |
Modifier and Type | Class and Description |
---|---|
class |
NullType
A program model element representing the null type.
|
Modifier and Type | Method and Description |
---|---|
ClassType[] |
DefaultConstructor.getExceptions()
Deprecated.
Returns the (empty) exception list of this constructor.
|
ClassType[] |
DefaultConstructor.getTypes()
Deprecated.
TO BE IMPLEMENTED
Returns the (empty) list of class types locally defined within this
container.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<ClassType> |
NullType.getAllSupertypes(Services services)
Returns the array of all supertypes of this class type,
in topological order, including the class type isself as first element.
|
ImmutableList<ClassType> |
ClassType.getAllSupertypes(Services services)
Returns the array of all supertypes of this class type,
in topological order, including the class type isself as first element.
|
ImmutableList<ClassType> |
NullType.getAllTypes(Services services)
Returns all class types that are inner types of this class type,
including visible inherited types.
|
ImmutableList<ClassType> |
ClassType.getAllTypes(Services services)
Returns all class types that are inner types of this class type,
including visible inherited types.
|
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.
|
class |
TypeDeclaration
Type declaration.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<ClassType> |
TypeDeclaration.getAllSupertypes(Services services)
TO BE IMPLEMENTED
|
ImmutableList<ClassType> |
TypeDeclaration.getAllTypes(Services services)
TO BE IMPLEMENTED
|
ImmutableList<ClassType> |
TypeDeclaration.getTypes(Services services)
TO BE IMPLEMENTED
|
Copyright © 2003-2019 The KeY-Project.