Namespace RDCore.SDK.Semantics.Facts
Classes
- AnalysisFactCollector
An IAnalysisObserver that keeps the facts it is told of, to hand them over as the RuntimeFacts of a procedure.
- ArithmeticOperatorFact
An operation of an arithmetic operator (MS-VBAL 5.6.9.3).
- CaseClauseStatementFact
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).
- ComparisonOperatorFact
An operation of a relational operator (MS-VBAL 5.6.9.5).
- ConcatOperatorFact
An operation of the concatenation operator (MS-VBAL 5.6.9.4).
- ConversionFact
A let-coercion (MS-VBAL 5.5.1.2) that the code asks for, as the language core states it.
- FixedAssignmentStatementFact
An
LSetor anRSetstatement (MS-VBAL 5.4.3.6-7).
- LogicalOperatorFact
An operation of a logical operator (MS-VBAL 5.6.9.8).
- MemberAccessFact
A member access (MS-VBAL 5.6.12), a dictionary access (MS-VBAL 5.6.14), or the access of a member that the code does not name: the default member of an object that is indexed (MS-VBAL 5.6.13), the enumeration member of the object a
For Eachgoes through (MS-VBAL 5.4.2.4).
- OperatorFact
An operation of an operator (MS-VBAL 5.6.9), as the language core states it.
- RuntimeFacts
What the language core states about the code of one procedure when it is evaluated rather than run: the conversions the code asks for, the operations it performs, what its statements do, and the run-time errors it raises.
- StatementFact
What the runtime semantics of a statement (MS-VBAL 5.4) establish about it, as the language core states it.
- WithStatementFact
A
Withstatement (MS-VBAL 5.4.2.21).
Interfaces
- IAnalysisObserver
Receives the facts that the runtime semantics state about the code they evaluate: the conversions it asks for, the operations it performs, what its statements do, and the run-time errors it raises.
Enums
- ConversionSite
Where in the code a value is let-coerced (MS-VBAL 5.5.1.2): the construct that asks for the conversion.