public class SuperArrayDeclaration extends TypeDeclaration
Modifier and Type | Field and Description |
---|---|
private FieldDeclaration |
length |
fullName, isLibrary, members, name, parentIsInterfaceDeclaration
modArray
Modifier | Constructor and Description |
---|---|
|
SuperArrayDeclaration(FieldDeclaration length) |
private |
SuperArrayDeclaration(ProgramElementName name,
FieldDeclaration length) |
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
|
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
getModifiers, getStateCount, getVisibilityModifier, isGhost, isModel, isNative, isSynchronized, isTransient, isVolatile
compatibleBlockSize, computeHashCode, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature
getEndPosition, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getModifiers
getComments, match
equalsModRenaming, getEndPosition, getFirstElementIncludingBlocks, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint
private FieldDeclaration length
private SuperArrayDeclaration(ProgramElementName name, FieldDeclaration length)
public SuperArrayDeclaration(FieldDeclaration length)
public int getChildCount()
NonTerminalProgramElement
public boolean isInterface()
ClassType
true
if this object represents an interface,
false
if it is an ordinary class.public FieldDeclaration length()
public ImmutableList<KeYJavaType> getSupertypes()
getSupertypes
in interface ClassType
getSupertypes
in class TypeDeclaration
public ProgramElement getChildAt(int i)
NonTerminalProgramElement
i
- an index into this node's "virtual" child arraypublic void visit(Visitor v)
v
- the Visitor