| de.uka.ilkd.key.java.recoderext.StatementSVWrapper
| StatementSVWrapper | | public StatementSVWrapper()(Code) | | |
| accept | | public void accept(SourceVisitor v)(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 child0)(Code) | | |
| getStatementAt | | public Statement getStatementAt(int index)(Code) | | |
| getStatementCount | | public int getStatementCount()(Code) | | Get the number of statements in this container.
the number of statements. |
| makeParentRoleValid | | public void makeParentRoleValid()(Code) | | Make parent role valid.
|
| 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. |
| setSV | | public void setSV(SchemaVariable sv)(Code) | | sets the schema variable of sort statement
Parameters:
sv - the SchemaVariable |
|
|