ControlFlowBranch Class

Definition

Represents a control flow branch from a Source basic block to a Destination basic block in a ControlFlowGraph.

public ref class ControlFlowBranch sealed
public sealed class ControlFlowBranch
type ControlFlowBranch = class
Public NotInheritable Class ControlFlowBranch
Inheritance
ControlFlowBranch

Properties

Destination

Destination basic block of this branch.

EnteringRegions

Regions entered if this branch is taken. Ordered from the outermost region to the innermost region.

FinallyRegions

The finally regions the control goes through if this branch is taken. Ordered in the sequence by which the finally regions are executed.

IsConditionalSuccessor

Indicates if this branch represents ConditionalSuccessor of the Source basic block.

LeavingRegions

Regions exited if this branch is taken. Ordered from the innermost region to the outermost region.

Semantics

Semantics associated with this branch (such as "regular", "return", "throw", etc).

Source

Source basic block of this branch.

Applies to