| |
|
| de.uka.ilkd.key.java.StatementBlock de.uka.ilkd.key.java.ContextStatementBlock
ContextStatementBlock | public class ContextStatementBlock extends StatementBlock (Code) | | In the DL-formulae description of Taclets the program part can have
the following form < pi alpha;...; omega > Phi where pi is a prefix
consisting of open brackets, try's and so on and omega is the rest
of the program. Between the prefix pi and the postfix omega there
can stand an arbitrary program. This pattern is realized using this
class.
|
ContextStatementBlock | public ContextStatementBlock(ExtList children)(Code) | | creates a ContextStatementBlock
Parameters: children - the body of the context term |
ContextStatementBlock | public ContextStatementBlock(ExtList children, IExecutionContext executionContext)(Code) | | creates a ContextStatementBlock
Parameters: children - the body of the context term Parameters: executionContext - the required execution context |
compatibleBlockSize | public boolean compatibleBlockSize(int pos, int max)(Code) | | overrides the check of the superclass as unmatched elements will disappear in
the suffix of this ContextStatementBlock
|
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 |
getTypeDeclarationCount | public int getTypeDeclarationCount()(Code) | | |
requiresExplicitExecutionContextMatch | public boolean requiresExplicitExecutionContextMatch()(Code) | | |
visit | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters: v - the Visitor |
|
|
|