public class CcatchContinueWildcardParameterDeclaration extends CcatchNonstandardParameterDeclaration
Constructor and Description |
---|
CcatchContinueWildcardParameterDeclaration(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.
|
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, match, 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
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public CcatchContinueWildcardParameterDeclaration(ExtList children)
public int getChildCount()
NonTerminalProgramElement
public ProgramElement getChildAt(int index)
NonTerminalProgramElement
index
- an index into this node's "virtual" child arraypublic void visit(Visitor v)
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.Copyright © 2003-2019 The KeY-Project.