Class ConcatOperatorFact

Namespace

RDCore.SDK.Semantics.Facts

Assembly

RDCore.SDK.dll

An operation of the concatenation operator (MS-VBAL 5.6.9.4).

public sealed record ConcatOperatorFact : OperatorFact, IEquatable<OperatorFact>, IEquatable<ConcatOperatorFact>

Inheritance

object

OperatorFact

ConcatOperatorFact

Implements

IEquatable<OperatorFact>

IEquatable<ConcatOperatorFact>

Inherited Members

OperatorFact.Node

OperatorFact.Location

OperatorFact.Operator

OperatorFact.EffectiveType

OperatorFact.IsValueKnown

OperatorFact.Error

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Remarks

👉 One family of operators is one derived record, so that a new family does not grow the facts of every operation by a property. The conversions of the operands of the operation are facts of their own (ConversionFact), at OperatorOperand. A fact is only stated when it is true of the code: see ConversionFact.

Constructors

ConcatOperatorFact(SyntaxNodeId, SourceLocation, string, VBType?, bool, VBErrorInfo?, ConcatOperationSemanticFlags)

An operation of the concatenation operator (MS-VBAL 5.6.9.4).

public ConcatOperatorFact(SyntaxNodeId Node, SourceLocation Location, string Operator, VBType? EffectiveType, bool IsValueKnown, VBErrorInfo? Error, ConcatOperationSemanticFlags Flags)

Parameters

Node SyntaxNodeId

The Identity of the syntax node the operation is evaluated for.

Location SourceLocation

Where in the document the operation is.

Operator string

The operator: one of the Tokens operators.

EffectiveType VBType

The effective type of the operation, if it has one.

IsValueKnown bool

Whether every operand of the operation is known, as opposed to a value its type merely allows.

Error VBErrorInfo

The run-time error the operation raises. Only stated when the operands are known, or when their types alone guarantee it.

Flags ConcatOperationSemanticFlags

What is known of the operation.

Remarks

👉 One family of operators is one derived record, so that a new family does not grow the facts of every operation by a property. The conversions of the operands of the operation are facts of their own (ConversionFact), at OperatorOperand. A fact is only stated when it is true of the code: see ConversionFact.

Properties

Flags

What is known of the operation.

public ConcatOperationSemanticFlags Flags { get; init; }

Property Value

ConcatOperationSemanticFlags