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
PrintHighlighted Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
PrintHighlighted
(
string
text
,
HighlightingMode
mode
)
Parameters
text
Type:
System
String
mode
Type:
de.unika.ipd.grGen.libGr
HighlightingMode
Implements
IDebuggerConsoleUIForDataRendering
PrintHighlighted(String, HighlightingMode)
See Also
Reference
GuiConsoleControl Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement