de.uka.ilkd.key.java.reference

Interface TypeReferenceContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

ProgramConstruct, TypeReference

All Known Implementing Classes:

AnnotationUseSpecification, ArrayLength, ArrayPostDecl, ArrayReference, ConstructorCall, ConstructorDeclaration, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExactInstanceof, ExpandMethodBody, Extends, FieldDeclaration, FieldReference, ForToWhile, Implements, Import, InheritanceSpecification, InitArray, InitArrayCreation, Instanceof, IsStatic, LocalVariableDeclaration, MetaClassReference, MethodCall, MethodDeclaration, MethodReference, MultipleVarDecl, New, NewArray, ParameterDeclaration, PostWork, ProgramSV, ProgramTransformer, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SuperReference, SwitchToIf, ThisReference, Throws, TypeCast, TypeOf, TypeOperator, TypeRef, TypeReferenceImp, Unpack, UnwindLoop, VariableDeclaration

public interface TypeReferenceContainer
extends NonTerminalProgramElement

Type reference container.

Method Summary

Modifier and Type	Method and Description
TypeReference	getTypeReferenceAt(int index)
int	getTypeReferenceCount() Get the number of type references in this container.

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

getChildAt, getChildCount

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, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Method Detail

getTypeReferenceCount

int getTypeReferenceCount()

Get the number of type references in this container.

Returns:

the number of type references.

getTypeReferenceAt

TypeReference getTypeReferenceAt(int index)