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.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
Debugger
Environment
Print
Highlighted
User
Dialog Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
void
PrintHighlightedUserDialog
(
string
text
,
HighlightingMode
mode
)
Parameters
text
String
mode
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