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
DebuggerConsoleUI Class
DebuggerConsoleUI Methods
Clear Method
ErrorWrite Method
ErrorWriteLine Method
PrintHighlighted Method
PrintHighlightedUserDialog Method
ReadKey Method
ReadKeyWithControlCAsInput Method
ReadLine Method
RestartImmediateExecution Method
SuspendImmediateExecution Method
Write Method
WriteDataRendering Method
WriteLine Method
WriteLineDataRendering Method
DebuggerConsoleUI
RestartImmediateExecution Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
RestartImmediateExecution
()
Implements
IDebuggerUIForDataRendering
RestartImmediateExecution
See Also
Reference
DebuggerConsoleUI Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement