Interface: ConditionalExpressionTypeSemantics

compiler.ConditionalExpressionTypeSemantics

Type semantics for AST Node ConditionalExpression.

Since

0.10.0

Hierarchy

• ExpressionTypeSemantics

  ↳ ConditionalExpressionTypeSemantics

Table of contents

Properties

• evaluatedType

Properties

evaluatedType

• evaluatedType: CheckedType

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.

This will always evaluate to "type", as a type specifier will always be a type.

Since

0.10.0

Inherited from

ExpressionTypeSemantics.evaluatedType

Defined in

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