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
RestartImmediateExecution Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
RestartImmediateExecution
()
Implements
IDebuggerUIForDataRendering
RestartImmediateExecution
See Also
Reference
GuiConsoleControl Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement