Interface: RelationalExpressionTypeSemantics

compiler.RelationalExpressionTypeSemantics

Type semantics for AST Node RelationalExpression.

Since

0.10.0

Hierarchy

• ComparativeExpressionTypeSemantics

  ↳ RelationalExpressionTypeSemantics

Table of contents

Properties

• evaluatedType

Properties

evaluatedType

• evaluatedType: ProcessedType

The value type that this expression evaluates to. This is used to properly represent the evaluated type of expressions that do not explicitly show their type.

To avoid confusion with the commonly used storedType, please note that this property usually evaluates to simply type in cases where both properties are present, as it is the type that is evaluated by the expression but not the actual type that is stored.

Accordingly:

• 1 + 1 would have an evaluatedType of number but no storedType, as it is not a meta type reference.
• num would have an evaluatedType of type and a storedType of number, as it is a meta type reference.

Since

0.10.0

Inherited from

ComparativeExpressionTypeSemantics.evaluatedType

Defined in

kipper/core/src/compiler/ast/nodes/expressions/expression-type-semantics.ts:26