Class StatementFact

Namespace

RDCore.SDK.Semantics.Facts

Assembly

RDCore.SDK.dll

What the runtime semantics of a statement (MS-VBAL 5.4) establish about it, as the language core states it.

public abstract record StatementFact : IEquatable<StatementFact>

Inheritance

object

StatementFact

Implements

IEquatable<StatementFact>

Derived

CaseClauseStatementFact

FixedAssignmentStatementFact

WithStatementFact

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

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

StatementFact(SyntaxNodeId, SourceLocation, string)

What the runtime semantics of a statement (MS-VBAL 5.4) establish about it, as the language core states it.

protected StatementFact(SyntaxNodeId Node, SourceLocation Location, string Statement)

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.

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

Location

Where in the document the statement is.

public SourceLocation Location { get; init; }

Property Value

SourceLocation

Node

The Identity of the statement.

public SyntaxNodeId Node { get; init; }

Property Value

SyntaxNodeId

Statement

The keyword of the statement: one of the Tokens.

public string Statement { get; init; }

Property Value

string