de.uka.ilkd.key.java

Interface ParameterContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, StatementContainer, SVSubstitute

All Known Implementing Classes:

Catch, ConstructorDeclaration, MethodDeclaration

public interface ParameterContainer
extends StatementContainer

Describes program elements that contain ParameterDeclarations. taken from RECODER and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
ParameterDeclaration	getParameterDeclarationAt(int index) Return the parameter declaration at the specified index in this node's "virtual" parameter declaration array.
int	getParameterDeclarationCount() Get the number of parameters in this container.

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

getStatementAt, getStatementCount

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

getParameterDeclarationCount

int getParameterDeclarationCount()

Get the number of parameters in this container.

Returns:

the number of parameters.

getParameterDeclarationAt

ParameterDeclaration getParameterDeclarationAt(int index)

Return the parameter declaration at the specified index in this node's "virtual" parameter declaration array.

Parameters:

index - an index for a parameter declaration.

Returns:

the parameter declaration with the given index.

Throws:

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