de.uka.ilkd.key.java

Interface StatementContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

Branch, ParameterContainer, ProgramConstruct

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, BranchImp, Case, Catch, CatchAllStatement, ClassInitializer, ConstructorCall, ConstructorDeclaration, ContextStatementBlock, CreateObject, Default, Do, DoBreak, Else, EnhancedFor, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, Finally, For, ForInitUnfoldTransformer, ForToWhile, InitArray, InitArrayCreation, IsStatic, LabeledStatement, LoopInit, LoopScopeBlock, LoopStatement, MethodCall, MethodDeclaration, MethodFrame, MultipleVarDecl, PostWork, ProgramSV, ProgramTransformer, SpecialConstructorCall, StatementBlock, StaticInitialisation, SwitchToIf, SynchronizedBlock, Then, Try, TypeOf, Unpack, UnwindLoop, While

public interface StatementContainer
extends NonTerminalProgramElement

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

Method Summary

Modifier and Type	Method and Description
Statement	getStatementAt(int index)
int	getStatementCount() Get the number of statements 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

getStatementCount

int getStatementCount()

Get the number of statements in this container.

Returns:

the number of statements.

getStatementAt

Statement getStatementAt(int index)