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
Read
Key
With
Cancel Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
ConsoleKeyInfo
ReadKeyWithCancel
()
Return Value
ConsoleKeyInfo
See Also
Reference
IDebuggerEnvironment Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also