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
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
IDebugger
Environment
Pause
Until
Enter
Pressed Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
void
PauseUntilEnterPressed
(
string
msg
)
Parameters
msg
String
See Also
Reference
IDebuggerEnvironment Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also