public class CcatchContinueLabelParameterDeclaration extends CcatchNonstandardParameterDeclaration
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
CcatchContinueLabelParameterDeclaration() |
CcatchContinueLabelParameterDeclaration(Identifier label) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
CcatchContinueLabelParameterDeclaration |
deepClone() |
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.
|
int |
getChildPositionCode(ProgramElement child) |
Identifier |
getLabel() |
boolean |
replaceChild(ProgramElement p,
ProgramElement q)
Replace a single child in the current node.
|
void |
setLabel(Identifier label) |
getASTParent, getParameterContainer, setParameterContainer
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, makeParentRoleValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public CcatchContinueLabelParameterDeclaration()
public CcatchContinueLabelParameterDeclaration(Identifier label)
public Identifier getLabel()
public void setLabel(Identifier label)
public int getChildCount()
public ProgramElement getChildAt(int index)
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out of boundspublic int getChildPositionCode(ProgramElement child)
public boolean replaceChild(ProgramElement p, ProgramElement q)
p
- the old child.p
- the new child.java.lang.ClassCastException
- if the new child cannot take over the role of the old one.public void accept(SourceVisitor v)
public CcatchContinueLabelParameterDeclaration deepClone()
deepClone
in interface SourceElement
deepClone
in class CcatchNonstandardParameterDeclaration
Copyright © 2003-2019 The KeY-Project.