| de.uka.ilkd.key.java.recoderext.CatchAllStatement
| CatchAllStatement | | public class CatchAllStatement extends JavaStatement implements StatementContainer,ParameterContainer(Code) | | A shortcut-statement for a method body.
|
| Field Summary | |
| protected StatementBlock | body
| | protected ParameterDeclaration | paramdecl
|
| Constructor Summary | |
| public | CatchAllStatement(ParameterDeclaration r, StatementBlock body)
|
| body | | protected StatementBlock body(Code) | | |
| paramdecl | | protected ParameterDeclaration paramdecl(Code) | | |
| CatchAllStatement | | public CatchAllStatement(ParameterDeclaration r, StatementBlock body)(Code) | | Construct a method body shortcut
Parameters:
r - the ParameterDeclaration of the catch clause
Parameters:
body - the StatementBlock representing the catch clause's body |
| accept | | public void accept(SourceVisitor v)(Code) | | |
| getASTParent | | public NonTerminalProgramElement getASTParent()(Code) | | |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getChildPositionCode | | public int getChildPositionCode(ProgramElement child)(Code) | | |
| getFirstElement | | public SourceElement getFirstElement()(Code) | | Finds the source element that occurs first in the source.
the last source element in the syntactical representation ofthis element, may be equals to this element. |
| getLastElement | | public SourceElement getLastElement()(Code) | | Finds the source element that occurs last in the source.
the last source element in the syntactical representation ofthis element, may be equals to this element. |
| getParameterDeclarationAt | | public ParameterDeclaration getParameterDeclarationAt(int i)(Code) | | |
| getParameterDeclarationCount | | public int getParameterDeclarationCount()(Code) | | |
| getStatementAt | | public Statement getStatementAt(int i)(Code) | | |
| getStatementContainer | | public StatementContainer getStatementContainer()(Code) | | |
| getStatementCount | | public int getStatementCount()(Code) | | |
| makeParentRoleValid | | public void makeParentRoleValid()(Code) | | Ensures that each child has "this" as syntactical parent.
|
| replaceChild | | public boolean replaceChild(ProgramElement p, ProgramElement q)(Code) | | Replace a single child in the current node.
The child to replace is matched by identity and hence must be known
exactly. The replacement element can be null - in that case, the child
is effectively removed.
The parent role of the new child is validated, while the
parent link of the replaced child is left untouched.
Parameters:
p - the old child.
Parameters:
q - the new child. true if a replacement has occured, false otherwise.
exception:
ClassCastException - if the new child cannot take overthe role of the old one. |
| setStatementContainer | | public void setStatementContainer(StatementContainer parent)(Code) | | |
|
|