DataFlowAnalysis Class
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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 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 if and only if 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. |
UsedLocalFunctions |
The set of local functions that are used. |
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. |