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
IDebuggerEnvironment Interface
IDebuggerEnvironment Methods
Askfor Method
Cancel Method
GetElemByName Method
GetGraphElementType Method
LetUserChoose Method
PauseUntilAnyKeyPressedToContinueDialog Method
PauseUntilAnyKeyPressedToResumeDebugging Method
PauseUntilEnterPressed Method
PrintInstructions Method
PrintInstructionsSeparateByNewline Method
ReadKeyWithCancel Method
ShowGraphWith Method
ShowMsgAskForFloatingPointNumber Method
ShowMsgAskForIntegerNumber Method
ShowMsgAskForString Method
ShowMsgAskForYesNo Method
IDebuggerEnvironment
PrintInstructions Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void
PrintInstructions
(
UserChoiceMenu
choiceMenu
,
string
prefix
,
string
suffix
)
Parameters
choiceMenu
Type:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
UserChoiceMenu
prefix
Type:
System
String
suffix
Type:
System
String
See Also
Reference
IDebuggerEnvironment Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement