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
DebuggerConsoleUI Class
DebuggerConsoleUI Methods
Clear Method
ErrorWrite Method
ErrorWriteLine Method
PrintHighlighted Method
PrintHighlightedUserDialog Method
ReadKey Method
ReadKeyWithControlCAsInput Method
ReadLine Method
RestartImmediateExecution Method
SuspendImmediateExecution Method
Write Method
WriteDataRendering Method
WriteLine Method
WriteLineDataRendering Method
DebuggerConsoleUI
ReadKey Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.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
DebuggerConsoleUI Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement