Class ControlFlowEdgeAdorner<TInstruction>

Namespace

Echo.ControlFlow.Serialization.Dot

Assembly

Echo.ControlFlow.dll

Represents an adorner that styles edges in a control flow graph.

public class ControlFlowEdgeAdorner<TInstruction> : IDotEdgeAdorner where TInstruction : notnull

Type Parameters

TInstruction

The type of instructions the nodes contain.

Inheritance

object

ControlFlowEdgeAdorner<TInstruction>

Implements

IDotEdgeAdorner

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Properties

AbnormalStyle

Gets or sets the edge style to use for any abnormal edge.

public DotEntityStyle AbnormalStyle { get; set; }

Property Value

DotEntityStyle

FallthroughStyle

Gets or sets the edge style to use for normal fallthrough edges.

public DotEntityStyle FallthroughStyle { get; set; }

Property Value

DotEntityStyle

FalseStyle

Gets or sets the edge style to use for any fallthrough edge originating from a branching node.

public DotEntityStyle FalseStyle { get; set; }

Property Value

DotEntityStyle

TrueStyle

Gets or sets the edge style to use for any conditional edge.

public DotEntityStyle TrueStyle { get; set; }

Property Value

DotEntityStyle

UnconditionalStyle

Gets or sets the edge style to use for unconditional branch edges.

public DotEntityStyle UnconditionalStyle { get; set; }

Property Value

DotEntityStyle

Methods

GetEdgeAttributes(IEdge, long, long)

Obtains the adornments that should be added to the edge.

public IDictionary<string, string>? GetEdgeAttributes(IEdge edge, long sourceId, long targetId)

Parameters

edge IEdge

The edge to adorn.

sourceId long

The identifier assigned to the source node.

targetId long

The identifier assigned to the target node.

Returns

IDictionary<string, string>

The adornments.