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 |
---|---|
protected ImmutableList<Field> |
CreateArrayMethodBuilder.filterField(FieldDeclaration field)
extracts all fields out of fielddeclaration
|
protected ImmutableList<Field> |
CreateArrayMethodBuilder.filterField(ImmutableArray<MemberDeclaration> list)
extracts all field specifications out of the given list.
|
protected ImmutableList<Field> |
CreateArrayMethodBuilder.filterImplicitFields(ImmutableList<Field> list)
extracts all implicit field specifications out of the given list
|
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.
|
ImmutableList<Field> |
KeYProgModelInfo.getAllFieldsLocallyDeclaredIn(KeYJavaType ct)
returns the fields defined within the given class type.
|
ImmutableList<Field> |
KeYProgModelInfo.getAllVisibleFields(KeYJavaType ct)
returns all in ct visible fields
declared in ct or one of its supertypes
in topological order starting with the fields of
the given type
If the type is represented in source code, the returned list
matches the syntactic order.
|
ImmutableList<Field> |
JavaInfo.getImplicitFields(ClassDeclaration cl)
retrieves all implicit attributes locally declared in the given class
The returned list is in source code order.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.List<Statement> |
CreateArrayMethodBuilder.createArray(ImmutableList<Field> fields)
creates the statements which take the next object out of the list of
available objects
|
protected ImmutableList<Field> |
CreateArrayMethodBuilder.filterImplicitFields(ImmutableList<Field> list)
extracts all implicit field specifications out of the given list
|
protected ProgramVariable |
CreateArrayMethodBuilder.find(java.lang.String name,
ImmutableList<Field> fields)
retrieves a field with the given name out of the list
|
protected StatementBlock |
CreateArrayMethodBuilder.getCreateArrayHelperBody(ProgramVariable length,
ImmutableList<Field> fields,
boolean createTransient,
ProgramVariable transientType)
creates the body of method
<createArrayHelper(int
paramLength)>
therefore it first adds the statements responsible to take the correct
one out of the list, then the arrays length attribute is set followed by
a call to <prepare>() setting the arrays fields on
their default value. |
IProgramMethod |
CreateArrayMethodBuilder.getCreateArrayHelperMethod(TypeReference arrayTypeReference,
ProgramVariable length,
ImmutableList<Field> fields)
create the method declaration of the
<createArrayHelper> method |
IProgramMethod |
CreateArrayMethodBuilder.getCreateArrayMethod(TypeReference arrayTypeReference,
IProgramMethod prepare,
ImmutableList<Field> fields)
creates the implicit method
<createArray> it
fulfills a similar purpose as <createObject> in
addition it sets the arrays length and calls the prepare method |
IProgramMethod |
CreateArrayMethodBuilder.getPrepareArrayMethod(TypeRef arrayRef,
ProgramVariable length,
Expression defaultValue,
ImmutableList<Field> fields)
returns the prepare method for arrays initialising all array fields with
their default value
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Field> |
NullType.getAllFields(Services services)
Returns all visible fields that are defined in this class type
or any of its supertypes.
|
ImmutableList<Field> |
ClassType.getAllFields(Services services)
Returns all visible fields that are defined in this class type
or any of its supertypes.
|
ImmutableList<Field> |
NullType.getFields(Services services)
Returns the fields locally defined within this class type.
|
ImmutableList<Field> |
ClassType.getFields(Services services)
Returns the fields locally defined within this class type.
|
Modifier and Type | Class and Description |
---|---|
class |
FieldSpecification |
class |
ImplicitFieldSpecification |
Modifier and Type | Method and Description |
---|---|
ImmutableList<Field> |
TypeDeclaration.getAllFields(Services services)
[dlohner] The given parameter is obsolete with this implementation.
|
ImmutableList<Field> |
TypeDeclaration.getFields(Services services)
TO BE IMPLEMENTED
|
Copyright © 2003-2019 The KeY-Project.