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
IDebuggerConsoleUI Interface
IDebuggerConsoleUI Methods
PrintHighlightedUserDialog Method
ReadKey Method
ReadKeyWithControlCAsInput Method
ReadLine Method
Write Method
WriteLine Method
IDebuggerConsoleUI
.
PrintHighlightedUserDialog Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void
PrintHighlightedUserDialog
(
string
text
,
HighlightingMode
mode
)
Parameters
text
Type:
System
.
String
mode
Type:
de.unika.ipd.grGen.libGr
.
HighlightingMode
See Also
Reference
IDebuggerConsoleUI Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement