| java.lang.Object
 de.uka.ilkd.key.ocl.gf.GFCommand
All known Subclasses: de.uka.ilkd.key.ocl.gf.RealCommand, de.uka.ilkd.key.ocl.gf.InputCommand, de.uka.ilkd.key.ocl.gf.LinkCommand,
| GFCommand | | abstract class GFCommand implements Comparable(Code) | |
author:
daniels
author:
A class that represents a GF command together with its printname.
author:
It also gives easy access to all the abuses of the printname like
author:
the subcategory, the tooltip, it knows about wrapping and so on.
author:
The static stuff could produce problems if the editor is started
author:
several times without closing it first. It probably should be moved
author:
into a manager class.
author:
Or the instances that get generated during one run all share the same
author:
"pseudo-static" Hashtables. This is probably better. |
| argument | | protected int argument(Code) | | for wrap, the number of the argument the current node should become
|
| command | | protected String command(Code) | | the actual command that this object should represent
|
| commandType | | protected String commandType(Code) | | the type of the command, r,w,ch,d,ac,...
|
| funName | | protected String funName(Code) | | the name of the fun that is used in this command
|
| newSubcat | | protected boolean newSubcat(Code) | | if this is the first occurence of the current subcat
|
| printname | | protected Printname printname(Code) | | the Printname corresponding to the GF fun of this command
|
| compareTo | | public int compareTo(Object o)(Code) | | Compares two GFCommands.
LinkCommands are the least. Then the InputCommand (more than one
does not happen). If that does not decide, the display name as a String does.
Parameters:
o - the other command. see above. |
| getCommand | | public String getCommand()(Code) | | the actual command that this object should represent
|
| getCommandType | | public String getCommandType()(Code) | | the type of the command, r,w,ch,d,ac,...
|
| getDisplayText | | abstract public String getDisplayText()(Code) | | the text that is to be displayed in the refinement lists
|
| getPrintname | | public Printname getPrintname()(Code) | | the Printname corresponding to the GF fun of this command
|
| getSubcat | | abstract public String getSubcat()(Code) | | the subcategory of this command
|
| getTooltipText | | abstract public String getTooltipText()(Code) | | the text that is to be displayed as the tooltip
|
| isNewSubcat | | public boolean isNewSubcat()(Code) | | if this is the first occurence of the current subcat
|
|
|