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
DebuggerEnvironment Class
DebuggerEnvironment Methods
Askfor Method
Cancel Method
CheckDebuggerAlive Method
Clear Method
ErrorWrite Method
ErrorWriteLine Method
GetElemByName Method
GetGraphElementType Method
HandleSequenceParserException Method
LetUserChoose Method
PauseUntilAnyKeyPressedToContinueDialog Method
PauseUntilAnyKeyPressedToResumeDebugging Method
PauseUntilEnterPressed Method
PrintHighlighted Method
PrintHighlightedUserDialog Method
PrintInstructions Method
PrintInstructionsSeparateByNewline Method
ReadKey Method
ReadKeyWithCancel Method
ReadKeyWithControlCAsInput Method
ReadLine Method
ReadOrEofErr Method
RestartImmediateExecution Method
ShowGraphWith Method
ShowMsgAskForFloatingPointNumber Method
ShowMsgAskForIntegerNumber Method
ShowMsgAskForString Method
ShowMsgAskForYesNo Method
SuspendImmediateExecution Method
Write Method
WriteDataRendering Method
WriteLine Method
WriteLineDataRendering Method
DebuggerEnvironment
PrintHighlightedUserDialog Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
PrintHighlightedUserDialog
(
string
text
,
HighlightingMode
mode
)
Parameters
text
Type:
System
String
mode
Type:
de.unika.ipd.grGen.libGr
HighlightingMode
Implements
IDebuggerConsoleUI
PrintHighlightedUserDialog(String, HighlightingMode)
See Also
Reference
DebuggerEnvironment Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement