GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
IDebuggerEnvironment Interface
IDebuggerEnvironment Methods
LetUserChoose Method
LetUserChoose(UserChoiceMenu) Method
LetUserChoose(UserChoiceMenu, UserChoiceMenu) Method
IDebugger
Environment
Let
User
Choose(User
Choice
Menu) Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
char
LetUserChoose
(
UserChoiceMenu
choiceMenu
)
Parameters
choiceMenu
UserChoiceMenu
Return Value
Char
See Also
Reference
IDebuggerEnvironment Interface
LetUserChoose Overload
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement