ControlFlowAnalysis Class

Definition

Provides information about statements which transfer control in and out of a region. This information is returned from a call to Microsoft.CodeAnalysis.SemanticModel.AnalyzeControlFlow(Microsoft.CodeAnalysis.SyntaxNode).

public ref class ControlFlowAnalysis abstract
public abstract class ControlFlowAnalysis
type ControlFlowAnalysis = class
Public MustInherit Class ControlFlowAnalysis
Inheritance
ControlFlowAnalysis

Constructors

ControlFlowAnalysis()

Properties

EndPointIsReachable

Indicates whether a region completes normally. Return true if and only if the end of the last statement in a region is reachable or the region contains no statements.

EntryPoints

The set of statements inside the region what are the destination of branches outside the region.

ExitPoints

The set of statements inside a region that jump to locations outside the region.

ReturnStatements

The set of return statements found within a region.

StartPointIsReachable
Succeeded

Returns true iff analysis was successful. Analysis can fail if the region does not properly span a single expression, a single statement, or a contiguous series of statements within the enclosing block.

Applies to