|
| |
|
| de.uka.ilkd.key.java.declaration.JavaDeclaration
 de.uka.ilkd.key.java.declaration.TypeDeclaration
de.uka.ilkd.key.java.declaration.ArrayDeclaration
| ArrayDeclaration | | public class ArrayDeclaration extends TypeDeclaration implements ArrayType(Code) | | KeY used to model arrays using only the
de.uka.ilkd.key.java.abstraction.ArrayType . As the only attribute of
an array has been the length attribute, it has been handled in a
different way than members of usual classes. As we need some implicit
fields for array creation and initialisation, the special handling of
arrays is not any longer practicable.
So, this class introduce a 'virtual' declaration for array types
containing all required members. Please not the array fields accessed
by an index are not included, so arrays of different lengths with same base
type belong to the same array declaration.
Attention: In contrast to the other type declaration, array
declarations may be added at runtime.
|
| ArrayDeclaration | | public ArrayDeclaration(ExtList children, TypeReference baseType, KeYJavaType superType)(Code) | | ArrayDeclaration
Parameters:
children - an ExtList with the basetype and memberdeclarations of this type |
| getAlternativeNameRepresentation | | public String getAlternativeNameRepresentation()(Code) | | |
| getBaseType | | public TypeReference getBaseType()(Code) | | Get the element/base type.
refernce to the base type . |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getDefaultValue | | public Literal getDefaultValue()(Code) | | returns the default value of the given type
according to JLS Sect. 4.5.5
the default value of the given type according to JLS Sect. 4.5.5 |
| getDimension | | public int getDimension()(Code) | | return the dimension of this array
|
| getSupertypes | | public ListOfKeYJavaType getSupertypes()(Code) | | returns the local declared supertypes
|
| isInterface | | public boolean isInterface()(Code) | | Arrays are never interfaces (but may have interface types as
element types)
|
| isStrictFp | | public boolean isStrictFp()(Code) | | Arrays are never strictfp.
|
| isTransient | | public boolean isTransient()(Code) | | Arrays are never transient.
|
| isVolatile | | public boolean isVolatile()(Code) | | Arrays are never volatile.
|
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
| Fields inherited from de.uka.ilkd.key.java.declaration.JavaDeclaration | final protected ArrayOfModifier modArray(Code)(Java Doc)
|
|
|
|