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
GuiConsoleControl Class
GuiConsoleControl Methods
Cancel Method
Clear Method
Dispose Method
EnterKey Method
PrintHighlighted Method
PrintHighlightedUserDialog Method
ReadKey Method
ReadKeyWithControlCAsInput Method
ReadLine Method
RestartImmediateExecution Method
SuspendImmediateExecution Method
Write Method
WriteDataRendering Method
WriteLine Method
WriteLineDataRendering Method
GuiConsoleControl
ReadKey Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
ConsoleKeyInfo
ReadKey
(
bool
intercept
)
Parameters
intercept
Type:
System
Boolean
Return Value
Type:
ConsoleKeyInfo
Implements
IDebuggerConsoleUI
ReadKey(Boolean)
See Also
Reference
GuiConsoleControl Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement