Class

ControlFlowAnalysis

class ControlFlowAnalysis

Namespace: Raven.CodeAnalysis
Assembly: Raven.CodeAnalysis.dll
Source file: SemanticModel.ControlFlowAnalysis.cs

Inheritance: Object → ControlFlowAnalysis

Constructors

1 item

ControlFlowAnalysis() No summary available.

Properties

7 items

EndPointIsReachable: bool 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: ImmutableArray<SyntaxNode> The set of statements inside the region what are the destination of branches outside the region.

ExitPoints: ImmutableArray<SyntaxNode> The set of statements inside a region that jump to locations outside the region.

ReturnStatements: ImmutableArray<SyntaxNode> The set of return statements found within a region.

StartPointIsReachable: bool No summary available.

Succeeded: bool 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 state…

UnreachableStatements: ImmutableArray<StatementSyntax> Statements that were determined to be unreachable during analysis.

Methods

4 items

Equals(obj: object?) -> bool Determines whether the specified object is equal to the current object. Inherited from Object.Equals

GetHashCode() -> int Serves as the default hash function. Inherited from Object.GetHashCode

GetType() -> Type Gets the System.Type of the current instance. Inherited from Object.GetType

ToString() -> string? Returns a string that represents the current object. Inherited from Object.ToString