| java.lang.Object
 de.uka.ilkd.key.ocl.gf.GFCommand
de.uka.ilkd.key.ocl.gf.InputCommand
| InputCommand | | class InputCommand extends GFCommand (Code) | |
author:
daniels
author:
This class represents a fake command, i.e. nothing is send to GF here.
author:
Instead this class acts more like a placeholder for the input dialog.
author:
This dialog is handled in GFEditor2 when a InputCommand is executed.
author:
Reason: No GUI stuff in the command. |
| displayText | | final protected String displayText(Code) | | the text that is to be displayed in the refinement lists
|
| enteredValues | | final protected HashSet enteredValues(Code) | | stores the entered values, so they can be offered to the user
the next time, in case, he wants them again.
|
| titleText | | final protected String titleText(Code) | | the text that is to be displayed as the title in the input window
|
| tooltipText | | final protected String tooltipText(Code) | | the text that is to be displayed as the tooltip
|
| forTypeName | | protected static InputCommand forTypeName(String typeName)(Code) | | selects the suiting InputCommand for the given full name of a type
Parameters:
typeName - at the moment, either int.class.getName() or String.class.getName() intInputCommand for int, stringInputCommand for String or null otherwise |
| getDisplayText | | public String getDisplayText()(Code) | | the text that is to be displayed in the refinement lists
|
| getSubcat | | public String getSubcat()(Code) | | the subcategory of this command
|
| getTitleText | | public String getTitleText()(Code) | | the text that is to be displayed as the title in the input window
|
| getTooltipText | | public String getTooltipText()(Code) | | the text that is to be displayed as the tooltip
|
| validate | | protected Object validate(String o, StringBuffer reason)(Code) | | Checks if the given String can be converted into
the Type of this InputCommand (int or String).
If that is possible, the converted object is saved
in enteredValues for later redisplay for the user.
Parameters:
o - The String the user has typed
Parameters:
reason - If the entered String is not parseable as the expectedtype, an error message is appended to this StringBuffer, so bettergive an empty one. an Object whose toString() should send the rightthing to GF. Maybe null, if this "conversion" failed. |
|
|