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 Hierarchy

SystemObject
de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenu

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1

Syntax

Copy

public class UserChoiceMenu

The UserChoiceMenu type exposes the following members.

Constructors

	Name	Description
	UserChoiceMenu	Initializes a new instance of the UserChoiceMenu class

Top

Methods

	Name	Description
	ContainsKey
	GetKey
	IsCurrentlyAvailable
	ToOptionsString

Top

Fields

	Name	Description
	name
	optionNames
	options

Top

Reference

de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace