|
| |
|
| de.uka.ilkd.key.java.recoderext.RKeYMetaConstruct
| RKeYMetaConstruct | | public class RKeYMetaConstruct extends JavaStatement implements StatementContainer,KeYRecoderExtension(Code) | | |
| child | | protected Statement child(Code) | | Child
|
| RKeYMetaConstruct | | protected RKeYMetaConstruct(RKeYMetaConstruct proto)(Code) | | Loop statement.
Parameters:
proto - a loop statement. |
| RKeYMetaConstruct | | public RKeYMetaConstruct()(Code) | | |
| accept | | public void accept(SourceVisitor v)(Code) | | |
| getChild | | public Statement getChild()(Code) | | Get child.
the statement. |
| 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) | | |
| getFirstSV | | public SVWrapper getFirstSV()(Code) | | first schemavariable needed by the metaconstruct
first schemavariable needed by the metaconstruct |
| getName | | public String getName()(Code) | | returns a String name of this meta construct.
|
| 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. |
| setChild | | public void setChild(Statement statement)(Code) | | Set child.
Parameters:
statement - a statement. |
| setName | | public void setName(String s)(Code) | | sets a String name of this meta construct like 'unwind-loop'
Parameters:
s - the String |
| setSV | | public void setSV(SVWrapper sv)(Code) | | first schemavariable needed by the metaconstruct
Parameters:
sv - an SVWrapper containing the first Schemavariable |
|
|
|