| java.lang.Object
 de.uka.ilkd.key.ocl.gf.GfAstNode
| GfAstNode | | class GfAstNode (Code) | |
author:
daniels
author:
This Class represents a parsed node in the GF AST.
author:
It knows about types, bound variables, funs.
author:
But nothing about printnames. That's what AstNodeData is for. |
| Constructor Summary | |
| protected | GfAstNode(String line)
feed this constructor the line that appears in the GF AST and
it will get chopped at the right points. |
| boundNames | | final protected String[] boundNames(Code) | | contains the names of the bound variables in the order of their occurence
|
| boundTypes | | final protected String[] boundTypes(Code) | | contains the types of the bound variables in the order of their occurence
|
| constraint | | final public String constraint(Code) | | The constraint attached to this node
|
| GfAstNode | | protected GfAstNode(String line)(Code) | | feed this constructor the line that appears in the GF AST and
it will get chopped at the right points.
Parameters:
line - The line from GF without the * in the beginning. |
| getFun | | protected String getFun()(Code) | | the fun represented in this AST node.Can be a metavariable like "?1" |
| getLine | | protected String getLine()(Code) | | the line that was used to build this node |
| getType | | protected String getType()(Code) | | The type of this AST node |
| isMeta | | protected boolean isMeta()(Code) | | true iff the node is a metavariable, i.e. open and notyet refined. |
|
|