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
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
DebuggerEnvironment Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement