Namespace RDCore.SDK.Semantics.Plans

Classes

ConversionPlan

What a let-coercion does, decided from the type of the value and the type it is let-coerced to - before, and apart from, the value itself (IR lowering §3.2).

ConversionPlanner

Makes the ConversionPlan of a let-coercion from the type of the value and the type it is let-coerced to: the one table of the rules of MS-VBAL §5.5.1.2, consulted when a conversion is bound from declared types and when it is evaluated on a value (IR lowering §3.2).

OperationPlan

What an operation does, decided from the types of its operands alone - before, and apart from, any value it is evaluated on (IR lowering §3.2).

OperationPlanner

Makes the OperationPlan of an operation from the types of its operands: the one table of the effective types of the operators, consulted when an operation is bound from declared types and when it is evaluated on values (IR lowering §3.2).

Enums

ConversionRule

The rule of MS-VBAL §5.5.1.2 a let-coercion follows: the destination's, or - for an object, Null, Empty and an Error, which are let-coerced by rules of their own whatever the destination is - the source's.