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, User
Choice
Menu) Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
ConsoleKeyInfo
LetUserChoose
(
UserChoiceMenu
choiceMenu
,
UserChoiceMenu
additionalGuiChoiceMenu
)
Parameters
choiceMenu
UserChoiceMenu
additionalGuiChoiceMenu
UserChoiceMenu
Return Value
ConsoleKeyInfo
See Also
Reference
IDebuggerEnvironment Interface
LetUserChoose Overload
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement