Package | Description |
---|---|
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 | Class and Description |
---|---|
class |
DefaultConstructor
Deprecated.
is actually never used
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Constructor> |
NullType.getConstructors(Services services)
Returns the constructors locally defined within this class type.
|
ImmutableList<Constructor> |
ClassType.getConstructors(Services services)
Returns the constructors locally defined within this class type.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstructorDeclaration
The getTypeReference method returns null - constructors do not have
explicite return types.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Constructor> |
TypeDeclaration.getConstructors(Services services)
TO BE IMPLEMENTED
|
Copyright © 2003-2019 The KeY-Project.