Click or drag to resize

ISequenceDisplayerDisplaySequence Method (Sequence, DisplaySequenceContext, Int32, String, String)

Displays the given root sequence (adding parentheses if needed) according to the display context.

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
void DisplaySequence(
	Sequence seq,
	DisplaySequenceContext context,
	int nestingLevel,
	string prefix,
	string postfix
)

Parameters

seq
Type: de.unika.ipd.grGen.libGrSequence
The sequence to be displayed
context
Type: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerDisplaySequenceContext
The display context
nestingLevel
Type: SystemInt32
The level the sequence is nested in, typically displayed as prefix
prefix
Type: SystemString
A prefix to be displayed before the sequence
postfix
Type: SystemString
A postfix to be displayed after the sequence
See Also