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 |
---|---|
ImmutableList<Method> |
JavaInfo.getAllMethods(KeYJavaType kjt)
returns all methods from the given Type
|
ImmutableList<Method> |
KeYProgModelInfo.getAllMethods(KeYJavaType kjt)
Returns all visible methods that are defined in this
class type or any of its supertypes.
|
ImmutableList<Method> |
JavaInfo.getMethods(KeYJavaType kjt)
returns all locally declared methods from the given Type
|
ImmutableList<Method> |
KeYProgModelInfo.getMethods(KeYJavaType ct)
Returns the methods locally defined within the given
class type.
|
ImmutableList<Method> |
KeYProgModelInfo.getMethods(KeYJavaType ct,
java.lang.String m,
ImmutableList<Type> signature,
KeYJavaType context)
Returns the list of most specific methods with the given
name that are defined in the given type or in a supertype
where they are visible for the given type, and have a signature
that is compatible to the given one.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Constructor
A program model element representing constructors.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultConstructor
Deprecated.
is actually never used
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Method> |
NullType.getAllMethods(Services services)
Returns all visible methods that are defined in this class type
or any of its supertypes.
|
ImmutableList<Method> |
ClassType.getAllMethods(Services services)
Returns all visible methods that are defined in this class type
or any of its supertypes.
|
ImmutableList<Method> |
NullType.getMethods(Services services)
Returns the methods locally defined within this class type.
|
ImmutableList<Method> |
ClassType.getMethods(Services services)
Returns the methods 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.
|
class |
MethodDeclaration
Method declaration.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Method> |
TypeDeclaration.getAllMethods(Services services)
TO BE IMPLEMENTED
|
ImmutableList<Method> |
TypeDeclaration.getMethods(Services services)
TO BE IMPLEMENTED
|
Copyright © 2003-2019 The KeY-Project.