 | UserChoiceMenu Class |
A description of a user choice in the user interface,
built from an array of options, describing the option/command, which must be a unique name from the resources, mapping to the command string, giving its command key/character shortcut as a char in parenthesis,
special cases: (0-9) to allow any keys from 0 ... 9, (any key) to allow any key not listed in the choices, (()) to render a text in simple parenthesis not getting interpreted as key char.
The name should distinguish the different available choice menus.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenu
de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenu
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
SyntaxC#
public class UserChoiceMenu
The UserChoiceMenu type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | UserChoiceMenu | Initializes a new instance of the UserChoiceMenu class |
Methods| Name | Description | |
|---|---|---|
| ContainsKey | |
| GetKey | |
| IsCurrentlyAvailable | |
| ToOptionsString |
Fields| Name | Description | |
|---|---|---|
 | name | |
| optionNames | |
| options |
See Also