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
SequencePrinter Class
SequencePrinter Methods
DisplaySequence Method
DisplaySequenceBase Method
DisplaySequenceExpression Method
PrintSequence Method
SequencePrinter
PrintSequence Method
Called from shell after an debugging abort highlighting the lastly executed rule
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
static
void
PrintSequence
(
Sequence
seq
,
Sequence
highlight
,
IDebuggerEnvironment
env
)
Parameters
seq
Type:
de.unika.ipd.grGen.libGr
Sequence
highlight
Type:
de.unika.ipd.grGen.libGr
Sequence
env
Type:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
IDebuggerEnvironment
See Also
Reference
SequencePrinter Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement