Class ExceptionHandlerAdorner<TInstruction>

Namespace

Echo.ControlFlow.Serialization.Dot

Assembly

Echo.ControlFlow.dll

Represents an adorner that adds styles to regions in control flow graphs.

public class ExceptionHandlerAdorner<TInstruction> : IDotSubGraphAdorner where TInstruction : notnull

Type Parameters

TInstruction

The type of instructions the nodes contain.

Inheritance

object

ExceptionHandlerAdorner<TInstruction>

Implements

IDotSubGraphAdorner

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Properties

DefaultStyle

Gets or sets the default style of a control flow region.

public DotEntityStyle DefaultStyle { get; set; }

Property Value

DotEntityStyle

EpilogueLabel

Gets or sets the label of an epilogue region in an exception handler region.

public string EpilogueLabel { get; set; }

Property Value

string

EpilogueStyle

Gets or sets the style of an epilogue region in an exception handler region.

public DotEntityStyle EpilogueStyle { get; set; }

Property Value

DotEntityStyle

ExceptionHandlerLabel

Gets or sets the label of an enclosing exception handler region.

public string ExceptionHandlerLabel { get; set; }

Property Value

string

ExceptionHandlerStyle

Gets or sets the style of an enclosing exception handler region.

public DotEntityStyle ExceptionHandlerStyle { get; set; }

Property Value

DotEntityStyle

HandlerContentsLabel

Gets or sets the label of a contents region in a handler of an exception handler region.

public string HandlerContentsLabel { get; set; }

Property Value

string

HandlerContentsStyle

Gets or sets the default style of a control flow region.

public DotEntityStyle HandlerContentsStyle { get; set; }

Property Value

DotEntityStyle

HandlerLabel

Gets or sets the label of a handler region in an exception handler region.

public string HandlerLabel { get; set; }

Property Value

string

HandlerStyle

Gets or sets the style of a handler region in an exception handler region.

public DotEntityStyle HandlerStyle { get; set; }

Property Value

DotEntityStyle

PrologueLabel

Gets or sets the label of the prologue region in an exception handler region.

public string PrologueLabel { get; set; }

Property Value

string

PrologueStyle

Gets or sets the style of a prologue region in an exception handler region.

public DotEntityStyle PrologueStyle { get; set; }

Property Value

DotEntityStyle

ProtectedLabel

Gets or sets the label of the protected region in an exception handler region.

public string ProtectedLabel { get; set; }

Property Value

string

ProtectedStyle

Gets or sets the style of the protected region in an exception handler region.

public DotEntityStyle ProtectedStyle { get; set; }

Property Value

DotEntityStyle

Methods

GetSubGraphAttributes(ISubGraph)

Obtains the adornments that should be added to the sub graph.

public IDictionary<string, string>? GetSubGraphAttributes(ISubGraph subGraph)

Parameters

subGraph ISubGraph

The sub graph to adorn.

Returns

IDictionary<string, string>

The adornments.

GetSubGraphName(ISubGraph)

Determines the name of the provided sub graph.

public string GetSubGraphName(ISubGraph subGraph)

Parameters

subGraph ISubGraph

The sub graph.

Returns

string