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