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 | Method and Description |
---|---|
Package |
Package.getPackage()
Returns the enclosing package.
|
Package |
NullType.getPackage() |
Package |
DefaultConstructor.getPackage()
Deprecated.
TO BE IMPLEMENTED
Returns the package this element is defined in.
|
Modifier and Type | Method and Description |
---|---|
Package |
TypeDeclaration.getPackage(Services s)
TO BE IMPLEMENTED
|
Copyright © 2003-2019 The KeY-Project.