Class FixedAssignmentStatementFact

Namespace

RDCore.SDK.Semantics.Facts

Assembly

RDCore.SDK.dll

An LSet or an RSet statement (MS-VBAL 5.4.3.6-7).

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

Inheritance

object

StatementFact

FixedAssignmentStatementFact

Implements

IEquatable<StatementFact>

IEquatable<FixedAssignmentStatementFact>

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

FixedAssignmentStatementFact(SyntaxNodeId, SourceLocation, string, FixedAssignmentSemanticFlags)

An LSet or an RSet statement (MS-VBAL 5.4.3.6-7).

public FixedAssignmentStatementFact(SyntaxNodeId Node, SourceLocation Location, string Statement, FixedAssignmentSemanticFlags Flags)

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 FixedAssignmentSemanticFlags

What is known of the statement: which form it takes, and what a record it copies holds.

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 statement: which form it takes, and what a record it copies holds.

public FixedAssignmentSemanticFlags Flags { get; init; }

Property Value

FixedAssignmentSemanticFlags