de.uka.ilkd.key.java.declaration

Class SuperArrayDeclaration

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.declaration.JavaDeclaration

de.uka.ilkd.key.java.declaration.TypeDeclaration

de.uka.ilkd.key.java.declaration.SuperArrayDeclaration

All Implemented Interfaces:

ClassType, ClassTypeContainer, Member, ProgramModelElement, Type, Declaration, MemberDeclaration, TypeDeclarationContainer, ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, ScopeDefiningElement, SourceElement, TypeScope, VariableScope, SVSubstitute

public class SuperArrayDeclaration
extends TypeDeclaration

At the moment the mere purpose of this Class is to provide an encapsulation for the length attribute.

Field Summary

Fields

Modifier and Type	Field and Description
private FieldDeclaration	length

Fields inherited from class de.uka.ilkd.key.java.declaration.TypeDeclaration

fullName, isLibrary, members, name, parentIsInterfaceDeclaration

Fields inherited from class de.uka.ilkd.key.java.declaration.JavaDeclaration

modArray

Constructor Summary

Constructors

Modifier	Constructor and Description
	SuperArrayDeclaration(FieldDeclaration length)
private	SuperArrayDeclaration(ProgramElementName name, FieldDeclaration length)

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int i) Returns the child at the specified index in this node's "virtual" child array.
int	getChildCount() Returns the number of children of this node.
ImmutableList<KeYJavaType>	getSupertypes() returns the local declared supertypes
boolean	isInterface() Checks if this class type denotes an interface.
FieldDeclaration	length()
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.declaration.TypeDeclaration

equals, getAllFields, getAllMethods, getAllSupertypes, getAllTypes, getConstructors, getDefaultValue, getFields, getFirstElement, getFullName, getLastElement, getMembers, getMethods, getName, getPackage, getProgramElementName, getTypeDeclarationAt, getTypeDeclarationCount, getTypes, isAbstract, isFinal, isLibraryClass, isPrivate, isProtected, isPublic, isStatic, isStrictFp

Methods inherited from class de.uka.ilkd.key.java.declaration.JavaDeclaration

getModifiers, getStateCount, getVisibilityModifier, isGhost, isModel, isNative, isSynchronized, isTransient, isVolatile

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, equalsModRenaming, getArrayPos, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.Declaration

getModifiers

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElementIncludingBlocks, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint

Field Detail

length

private FieldDeclaration length

Constructor Detail

SuperArrayDeclaration

private SuperArrayDeclaration(ProgramElementName name,
                              FieldDeclaration length)

SuperArrayDeclaration

public SuperArrayDeclaration(FieldDeclaration length)

Method Detail

getChildCount

public int getChildCount()

Description copied from interface: NonTerminalProgramElement

Returns the number of children of this node.

Returns:

an int giving the number of children of this node

isInterface

public boolean isInterface()

Description copied from interface: ClassType

Checks if this class type denotes an interface.

Returns:

true if this object represents an interface, false if it is an ordinary class.

length

public FieldDeclaration length()

getSupertypes

public ImmutableList<KeYJavaType> getSupertypes()

returns the local declared supertypes

Specified by:

getSupertypes in interface ClassType

Specified by:

getSupertypes in class TypeDeclaration

Returns:

the array of locally defined supertypes of this type.

getChildAt

public ProgramElement getChildAt(int i)

Description copied from interface: NonTerminalProgramElement

Returns the child at the specified index in this node's "virtual" child array.

Parameters:

i - an index into this node's "virtual" child array

Returns:

the program element at the given position

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Parameters:

v - the Visitor