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
DebuggerEnvironment Class
DebuggerEnvironment Methods
LetUserChoose Method
LetUserChoose(UserChoiceMenu) Method
LetUserChoose(UserChoiceMenu, UserChoiceMenu) Method
Debugger
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
public
char
LetUserChoose
(
UserChoiceMenu
choiceMenu
)
Parameters
choiceMenu
UserChoiceMenu
Return Value
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