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.grShell
GrShellSequenceApplierAndDebugger Class
GrShellSequenceApplierAndDebugger Methods
ApplyRewriteSequence Method
ApplyRewriteSequenceExpression Method
Cancel Method
ChangeDebuggerGraphAsNeeded Method
CheckDebuggerAlive Method
DebugDoLayout Method
DebugRewriteSequence Method
DebugRewriteSequenceExpression Method
DebugWith Method
DisableDebuggerAfterDeletionAsNeeded Method
GetDebugLayoutOptions Method
GetDebugOptionGui Method
GetDebugOptions Method
GetDebugOptionTwoPane Method
QuitDebugModeAsNeeded Method
ReadKeyWithCancel Method
RestartDebuggerOnNewGraphAsNeeded Method
SetDebugLayout Method
SetDebugLayoutOption Method
SetDebugMode Method
SetDebugOption Method
SetMatchModePost Method
SetMatchModePre Method
ShowGraphWith Method
UpdateDebuggerDisplayAsNeeded Method
GrShellSequenceApplierAndDebugger
DebugRewriteSequence Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
DebugRewriteSequence
(
Sequence
seq
)
Parameters
seq
Type:
de.unika.ipd.grGen.libGr
Sequence
See Also
Reference
GrShellSequenceApplierAndDebugger Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement