Click or drag to resize

SequencePrinterPrintSequence 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.1
Syntax
C#
public static void PrintSequence(
	Sequence seq,
	Sequence highlight,
	IDebuggerEnvironment env
)

Parameters

seq  Sequence
 
highlight  Sequence
 
env  IDebuggerEnvironment
 
See Also