public class SuperArrayDeclaration extends TypeDeclaration
fullName, isLibrary, members, name, parentIsInterfaceDeclaration
modArray
Constructor and Description |
---|
SuperArrayDeclaration(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
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 VisitorCopyright © 2003-2019 The KeY-Project.