GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
NoWorkaroundConsoleIO Class
NoWorkaroundConsoleIO Methods
AllocTheConsole Method
AllowRedraw Method
AttachTheConsole Method
Clear Method
FreeTheConsole Method
PreventComputerFromGoingIntoSleepMode Method
PreventRedraw Method
PrintHighlighted Method
ReadKey Method
ReadKeyWithControlCAsInput Method
No
Workaround
Console
IO
Print
Highlighted Method
Prints the given text in the chosen highlighting mode on the console
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
void
PrintHighlighted
(
string
text
,
HighlightingMode
mode
)
Parameters
text
String
mode
HighlightingMode
Implements
IConsoleOutput
PrintHighlighted(String, HighlightingMode)
See Also
Reference
NoWorkaroundConsoleIO Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement