| java.lang.Object
 de.uka.ilkd.key.ocl.gf.AstNodeData
de.uka.ilkd.key.ocl.gf.RefinedAstNodeData
| RefinedAstNodeData | | class RefinedAstNodeData extends AstNodeData (Code) | |
author:
daniels
author:
An object of this class represents a line in the GF abstract syntax tree
author:
in the graphical form. Well, not really, but how this line appears there
author:
and what its tooltip is is stored here.
author:
RefinedAstNodeData has its tooltip from the function it represents, not
author:
from its parent node. |
| RefinedAstNodeData | | public RefinedAstNodeData(Printname pname, GfAstNode node, String pos, boolean selected, String constraint)(Code) | | all we have to know about an already refined node is its Printname
and the GF line representing it
Parameters:
pname - the suiting Printname, may be null if the line could not be parsed
Parameters:
node - the GfAstNode for the current line
Parameters:
pos - The position in the GF AST of this node in Haskell notation
Parameters:
selected - if this is the selected node in the GF AST
Parameters:
constraint - A constraint from a parent node, that alsoapplies for this node. |
| getParamTooltip | | public String getParamTooltip()(Code) | | displays the tooltip of the registered Printname,which may be null |
| getPrintname | | public Printname getPrintname()(Code) | | the printname associated with this object |
|
|