| java.lang.Object
 de.uka.ilkd.key.ocl.gf.AstNodeData
All known Subclasses: de.uka.ilkd.key.ocl.gf.RefinedAstNodeData, de.uka.ilkd.key.ocl.gf.UnrefinedAstNodeData,
| AstNodeData | | abstract class AstNodeData (Code) | |
author:
hdaniels
author:
An object of this type knows how it self should be rendered,
author:
via Printname how its children should be rendered.
author:
This means the tooltip information it got from there.
author:
Knows nothing directly of the type of the node, which an object of this class
author:
represents. That's whats GfAstNode is for. |
| childNum | | public int childNum(Code) | | keeps track of the number of children of this node.
It has to be increased whenever a new child of this node is
added.
|
| constraint | | final public String constraint(Code) | | The constraint, that is valid on this node.
If this node introduced a node itself and did not just inherit
one, they are just concatenated.
Until now, only the presence of a non-empty string here is used,
so that is not important yet.
|
| node | | final public GfAstNode node(Code) | | the GF node connected to this NodeData, not the JTree node
|
| position | | final public String position(Code) | | The position String in the GF AST for this node
in Haskell notation.
|
| selected | | final public boolean selected(Code) | | if this is the active, selected, focused node
|
| showInstead | | public int showInstead(Code) | | some nodes like coerce should, if possible, be covered from the
users eyes. If this variable is greater than -1, the child
with that number is shown instead of this node.
This node will not appear in the tree.
|
| subtypingStatus | | public boolean subtypingStatus(Code) | | If a subtyping witness is missing, then this flag is false
|
| AstNodeData | | protected AstNodeData(GfAstNode node, String pos, boolean selected, String constraint)(Code) | | A simple setter constructor, that sets the fields of this class (except showInstead)
Parameters:
node - the GF node connected to this NodeData, not the JTree node
Parameters:
pos - The position String in the GF AST for this nodein Haskell notation.
Parameters:
selected - if this is the active, selected, focused node
Parameters:
constraint - The GF constraint introduced in this node |
| getParamTooltip | | abstract public String getParamTooltip()(Code) | | the parameter tooltip that this node has as a childof its parent (who gave it to it depending on its position) |
| getPrintname | | abstract public Printname getPrintname()(Code) | | the printname associated with this object |
|
|