GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
DebuggerEnvironment Class
DebuggerEnvironment Methods
LetUserChoose Method
LetUserChoose Method (UserChoiceMenu)
LetUserChoose Method (UserChoiceMenu, UserChoiceMenu)
DebuggerEnvironment
LetUserChoose Method (UserChoiceMenu)
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
char
LetUserChoose
(
UserChoiceMenu
choiceMenu
)
Parameters
choiceMenu
Type:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
UserChoiceMenu
Return Value
Type:
Char
Implements
IDebuggerEnvironment
LetUserChoose(UserChoiceMenu)
See Also
Reference
DebuggerEnvironment Class
LetUserChoose Overload
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement