Class CaseClauseStatementFact

Namespace

RDCore.SDK.Semantics.Facts

Assembly

RDCore.SDK.dll

A range clause of a Case (MS-VBAL 5.4.2.10), stated when its value is compared with the selector in the selector's declared type, where the comparison of the two as an expression has another effective type (ComparedInSelectorType).

public sealed record CaseClauseStatementFact : StatementFact, IEquatable<StatementFact>, IEquatable<CaseClauseStatementFact>

Inheritance

object

StatementFact

CaseClauseStatementFact

Implements

IEquatable<StatementFact>

IEquatable<CaseClauseStatementFact>

Inherited Members

StatementFact.Node

StatementFact.Location

StatementFact.Statement

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Remarks

👉 Only the statements whose semantics establish something of their own state a fact: what most statements do is to convert and to operate, and those are facts of their own (ConversionFact, OperatorFact). One kind of statement is one derived record, so that a new kind does not grow the facts of every statement by a property. The run-time error a statement raises is a fact of the procedure's (Errors).

Constructors

CaseClauseStatementFact(SyntaxNodeId, SourceLocation, string, CaseClauseSemanticFlags, bool)

A range clause of a Case (MS-VBAL 5.4.2.10), stated when its value is compared with the selector in the selector's declared type, where the comparison of the two as an expression has another effective type (ComparedInSelectorType).

public CaseClauseStatementFact(SyntaxNodeId Node, SourceLocation Location, string Statement, CaseClauseSemanticFlags Flags, bool IsValueKnown)

Parameters

Node SyntaxNodeId

The Identity of the statement.

Location SourceLocation

Where in the document the statement is.

Statement string

The keyword of the statement: one of the Tokens.

Flags CaseClauseSemanticFlags

What is known of the clause: which form it takes, and how its value is compared with the selector.

IsValueKnown bool

Whether the selector and the value of the clause are known, as opposed to values their types merely allow.

Remarks

👉 Only the statements whose semantics establish something of their own state a fact: what most statements do is to convert and to operate, and those are facts of their own (ConversionFact, OperatorFact). One kind of statement is one derived record, so that a new kind does not grow the facts of every statement by a property. The run-time error a statement raises is a fact of the procedure's (Errors).

Properties

Flags

What is known of the clause: which form it takes, and how its value is compared with the selector.

public CaseClauseSemanticFlags Flags { get; init; }

Property Value

CaseClauseSemanticFlags

IsValueKnown

Whether the selector and the value of the clause are known, as opposed to values their types merely allow.

public bool IsValueKnown { get; init; }

Property Value

bool