public class CcatchReturnValParameterDeclaration extends CcatchNonstandardParameterDeclaration implements ParameterContainer
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
CcatchReturnValParameterDeclaration() |
protected |
CcatchReturnValParameterDeclaration(CcatchReturnValParameterDeclaration proto)
Parameter declaration.
|
|
CcatchReturnValParameterDeclaration(ParameterDeclaration delegate) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
CcatchReturnValParameterDeclaration |
deepClone() |
ParameterContainer |
getASTParent()
Get AST parent.
|
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) |
ParameterDeclaration |
getDelegate() |
ParameterContainer |
getParameterContainer()
Get parameter container.
|
ParameterDeclaration |
getParameterDeclarationAt(int idx) |
int |
getParameterDeclarationCount() |
Statement |
getStatementAt(int arg0) |
int |
getStatementCount() |
void |
makeParentRoleValid()
Make parent role valid.
|
boolean |
replaceChild(ProgramElement p,
ProgramElement q)
Replace a single child in the current node.
|
void |
setDelegate(ParameterDeclaration delegate) |
void |
setParameterContainer(ParameterContainer c)
Set parameter container.
|
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, 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
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public CcatchReturnValParameterDeclaration()
public CcatchReturnValParameterDeclaration(ParameterDeclaration delegate)
protected CcatchReturnValParameterDeclaration(CcatchReturnValParameterDeclaration proto)
proto
- a parameter declaration.public ParameterDeclaration getDelegate()
public void setDelegate(ParameterDeclaration delegate)
public void makeParentRoleValid()
makeParentRoleValid
in interface NonTerminalProgramElement
makeParentRoleValid
in class JavaNonTerminalProgramElement
public ParameterContainer getASTParent()
getASTParent
in interface ProgramElement
getASTParent
in class CcatchNonstandardParameterDeclaration
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 int getChildPositionCode(ProgramElement child)
getChildPositionCode
in interface NonTerminalProgramElement
public boolean replaceChild(ProgramElement p, ProgramElement q)
replaceChild
in interface NonTerminalProgramElement
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 ParameterContainer getParameterContainer()
getParameterContainer
in class CcatchNonstandardParameterDeclaration
public void setParameterContainer(ParameterContainer c)
setParameterContainer
in class CcatchNonstandardParameterDeclaration
c
- a parameter container.public CcatchReturnValParameterDeclaration deepClone()
deepClone
in interface SourceElement
deepClone
in class CcatchNonstandardParameterDeclaration
public void accept(SourceVisitor v)
accept
in interface SourceElement
public Statement getStatementAt(int arg0)
getStatementAt
in interface StatementContainer
public int getStatementCount()
getStatementCount
in interface StatementContainer
public ParameterDeclaration getParameterDeclarationAt(int idx)
getParameterDeclarationAt
in interface ParameterContainer
public int getParameterDeclarationCount()
getParameterDeclarationCount
in interface ParameterContainer
Copyright © 2003-2019 The KeY-Project.