de.uka.ilkd.key.java.declaration

Class InheritanceSpecification

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.InheritanceSpecification

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, TypeReferenceContainer, SourceElement, SVSubstitute

Direct Known Subclasses:

Extends, Implements

public abstract class InheritanceSpecification
extends JavaNonTerminalProgramElement
implements TypeReferenceContainer

Inheritance specification.

Author:

AutoDoc

Field Summary

Fields

Modifier and Type	Field and Description
protected ImmutableArray<TypeReference>	supertypes Supertypes.

Constructor Summary

Constructors

Modifier	Constructor and Description
	InheritanceSpecification() Inheritance specification.
protected	InheritanceSpecification(ExtList children) Inheritance specification.
	InheritanceSpecification(TypeReference supertype) Inheritance specification.
	InheritanceSpecification(TypeReference[] supertypes) Inheritance specification.

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
SourceElement	getLastElement() Finds the source element that occurs last in the source.
ImmutableArray<TypeReference>	getSupertypes() Get supertypes.
TypeReference	getTypeReferenceAt(int index)
int	getTypeReferenceCount() Get the number of type references in this container.

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

compatibleBlockSize, computeHashCode, equals, 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, getFirstElement, 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.ProgramElement

getComments, match

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

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

Field Detail

supertypes

protected final ImmutableArray<TypeReference> supertypes

Supertypes.

Constructor Detail

InheritanceSpecification

public InheritanceSpecification()

Inheritance specification.

InheritanceSpecification

public InheritanceSpecification(TypeReference supertype)

Inheritance specification.

Parameters:

supertype - a type reference.

InheritanceSpecification

public InheritanceSpecification(TypeReference[] supertypes)

Inheritance specification.

Parameters:

supertypes - a type reference mutable list.

InheritanceSpecification

protected InheritanceSpecification(ExtList children)

Inheritance specification.

Parameters:

children - the ExtList may include: a Comment several TypeReference (as references to the supertypes) a Comment

Method Detail

getLastElement

public SourceElement getLastElement()

Description copied from class: JavaSourceElement

Finds the source element that occurs last in the source. The default implementation returns this element, which is correct for all terminal program elements, and many non terminals such as statements and prefixed operators.

Specified by:

getLastElement in interface SourceElement

Overrides:

getLastElement in class JavaSourceElement

Returns:

the last source element in the syntactical representation of this element, may be equals to this element.

See Also:

JavaSourceElement.toSource(), JavaSourceElement.getEndPosition()

getChildCount

public int getChildCount()

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

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

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

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

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds

getSupertypes

public ImmutableArray<TypeReference> getSupertypes()

Get supertypes.

Returns:

the type reference array wrapper.

getTypeReferenceCount

public int getTypeReferenceCount()

Get the number of type references in this container.

Specified by:

getTypeReferenceCount in interface TypeReferenceContainer

Returns:

the number of type references.

getTypeReferenceAt

public TypeReference getTypeReferenceAt(int index)

Specified by:

getTypeReferenceAt in interface TypeReferenceContainer