| java.lang.Object
 de.uka.ilkd.key.logic.op.TermSymbol
de.uka.ilkd.key.logic.op.SchemaVariableAdapter
de.uka.ilkd.key.logic.op.SortedSchemaVariable
de.uka.ilkd.key.logic.op.ProgramSV
| ProgramSV | | ProgramSV(Name name, ProgramSVSort s, boolean listSV)(Code) | | creates a new SchemaVariable used as a placeholder for program
constructs
Parameters:
name - the Name of the SchemaVariable
Parameters:
listSV - a boolean which is true iff the schemavariable isallowed to match a list of program constructs |
| getAnnotationCount | | public int getAnnotationCount()(Code) | | |
| getChildCount | | public int getChildCount()(Code) | | |
| getComments | | public Comment[] getComments()(Code) | | comments if the schemavariable stands for programmconstruct and has comments attached to it (not supported yet) |
| getDimensions | | public int getDimensions()(Code) | | |
| getEndPosition | | public Position getEndPosition()(Code) | | Returns the end position of the primary token of this element.
To get the end position of the syntactical first token,
call the corresponding method of getLastElement().
the end position of the primary token. |
| getExpressionCount | | public int getExpressionCount()(Code) | | |
| getInits | | public ArrayOfLoopInitializer getInits()(Code) | | |
| getRelativePosition | | public Position getRelativePosition()(Code) | | Returns the relative position (number of blank heading lines and
columns) of the primary token of this element.
To get the relative position of the syntactical first token,
call the corresponding method of getFirstElement().
the relative position of the primary token. |
| getStartPosition | | public Position getStartPosition()(Code) | | Returns the start position of the primary token of this element.
To get the start position of the syntactical first token,
call the corresponding method of getFirstElement().
the start position of the primary token. |
| getStatementCount | | public int getStatementCount()(Code) | | |
| getTypeReferenceCount | | public int getTypeReferenceCount()(Code) | | |
| getUpdates | | public ArrayOfExpression getUpdates()(Code) | | |
| isProgramSV | | public boolean isProgramSV()(Code) | | returns true iff this SchemaVariable is used to match
part of a program
true iff this SchemaVariable is used to matchpart of a program |
| prettyPrint | | public void prettyPrint(PrettyPrinter w) throws IOException(Code) | | this pretty printer method is for the program pretty printer
and needs not to be overwritten by ProgramSV but at the moment
it is not
|
| 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 |
|
|