DataFlowAnalysis Class

Definition

Provides information about how data flows into and out of a region. This information is returned from a call to Microsoft.CodeAnalysis.SemanticModel.AnalyzeDataFlow(Microsoft.CodeAnalysis.SyntaxNode,Microsoft.CodeAnalysis.SyntaxNode), or one of its language-specific overloads, where you pass the first and last statements of the region as parameters. "Inside" means those statements or ones between them. "Outside" are any other statements of the same method.

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

Constructors

DataFlowAnalysis()

Properties

AlwaysAssigned

The set of local variables for which a value is always assigned inside a region.

Captured

The set of the local variables that have been referenced in anonymous functions within a region and therefore must be moved to a field of a frame class.

CapturedInside

The set of variables that are captured inside a region.

CapturedOutside

The set of variables that are captured outside a region.

DataFlowsIn

The set of local variables which are assigned a value outside a region that may be used inside the region.

DataFlowsOut

The set of local variables which are assigned a value inside a region that may be used outside the region.

DefinitelyAssignedOnEntry

The set of local variables which are definitely assigned a value when a region is entered.

DefinitelyAssignedOnExit

The set of local variables which are definitely assigned a value when a region is exited.

ReadInside

The set of local variables that are read inside a region.

ReadOutside

The set of the local variables that are read outside a region.

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.

UnsafeAddressTaken

The set of non-constant local variables and parameters that have had their address (or the address of one of their fields) taken.

VariablesDeclared

The set of local variables that are declared within a region. Note that the region must be bounded by a method's body or a field's initializer, so parameter symbols are never included in the result.

WrittenInside

The set of local variables that are written inside a region.

WrittenOutside

The set of local variables that are written outside a region.

Applies to