public class CcatchReturnValParameterDeclaration extends CcatchNonstandardParameterDeclaration implements ParameterContainer
Constructor and Description |
---|
CcatchReturnValParameterDeclaration(ExtList children) |
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.
|
ParameterDeclaration |
getDelegate() |
ParameterDeclaration |
getParameterDeclarationAt(int idx)
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.
|
Statement |
getStatementAt(int index) |
int |
getStatementCount()
Get the number of statements in this container.
|
ImmutableArray<VariableSpecification> |
getVariables() |
VariableSpecification |
getVariableSpecification() |
MatchConditions |
match(SourceData source,
MatchConditions matchCond)
matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object.
|
void |
prettyPrint(PrettyPrinter w)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public CcatchReturnValParameterDeclaration(ExtList children)
public ParameterDeclaration getDelegate()
public VariableSpecification getVariableSpecification()
public ImmutableArray<VariableSpecification> getVariables()
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out of boundspublic void visit(Visitor v)
SourceElement
visit
in interface SourceElement
v
- the Visitorpublic void prettyPrint(PrettyPrinter w) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
w
- a pretty printer.java.io.IOException
- occasionally thrown.public int getStatementCount()
StatementContainer
getStatementCount
in interface StatementContainer
public Statement getStatementAt(int index)
getStatementAt
in interface StatementContainer
public int getParameterDeclarationCount()
ParameterContainer
getParameterDeclarationCount
in interface ParameterContainer
public ParameterDeclaration getParameterDeclarationAt(int idx)
ParameterContainer
getParameterDeclarationAt
in interface ParameterContainer
idx
- an index for a parameter declaration.public MatchConditions match(SourceData source, MatchConditions matchCond)
ProgramElement
MatchConditions
with
the found instantiations of the schemavariables. If the match
failed, null is returned instead.match
in interface ProgramElement
match
in class JavaNonTerminalProgramElement
source
- the SourceData with the program element to matchmatchCond
- the MatchConditions found up to this pointCopyright © 2003-2019 The KeY-Project.