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

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.1

Syntax

void DisplaySequence(
	Sequence seq,
	DisplaySequenceContext context,
	int nestingLevel,
	string prefix,
	string postfix
)

seq Sequence: The sequence to be displayed
context DisplaySequenceContext: The display context
nestingLevel Int32: The level the sequence is nested in, typically displayed as prefix
prefix String: A prefix to be displayed before the sequence
postfix String: A postfix to be displayed after the sequence