ControlFlowAnalysis 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 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 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. |