| java.lang.Object
 de.uka.ilkd.key.ocl.gf.StringTuple
de.uka.ilkd.key.ocl.gf.ChainCommandTuple
| ChainCommandTuple | | class ChainCommandTuple extends StringTuple (Code) | |
author:
hdaniels
author:
For chain commands, it is not just enough, to save the command sent to GF
author:
and the respective show text.
author:
Then it would be unclear, which fun should determine the used printname.
author:
If none is given, the last one of a chain command is taken.
author:
But if a solve for example is to follow, this does not work.
author:
Thus, this class has some other fields to define the appearance of a
author:
chain command. |
| Field Summary | |
| final public String | fun
| | final public String | subcat
Here the subcat of fun can be overwritten. | | final public int | undoSteps
normally, the ';;' are counted. |
| fun | | final public String fun(Code) | | the fun, that selects the printname
|
| subcat | | final public String subcat(Code) | | Here the subcat of fun can be overwritten.
Is used for the attributes of self.
|
| undoSteps | | final public int undoSteps(Code) | | normally, the ';;' are counted. But if we know, how many commands we
chain to each other, we can skip that step and use undoSteps instead
|
| ChainCommandTuple | | public ChainCommandTuple(String command, String showtext, String fun, String subcat, int undoSteps)(Code) | | A simple setter constructor
Parameters:
command - The command sent to GF
Parameters:
showtext - The text, that GF would display if no matching printname is found.
Parameters:
fun - The fun that selects the used printname
Parameters:
subcat - the subcategory for the refinement menu, overwritesthe one defined in the printname
Parameters:
undoSteps - how many undos are needed to undo this command |
|
|