de.uka.ilkd.key.java.declaration

Interface TypeDeclarationContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Implementing Classes:

ArrayDeclaration, ClassDeclaration, CompilationUnit, ContextStatementBlock, EnumClassDeclaration, InterfaceDeclaration, New, StatementBlock, SuperArrayDeclaration, TypeDeclaration

public interface TypeDeclarationContainer
extends NonTerminalProgramElement

Type declaration container. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
TypeDeclaration	getTypeDeclarationAt(int index)
int	getTypeDeclarationCount() Get the number of type declarations 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

getTypeDeclarationCount

int getTypeDeclarationCount()

Get the number of type declarations in this container.

Returns:

the number of type declarations.

getTypeDeclarationAt

TypeDeclaration getTypeDeclarationAt(int index)