Interface: LogicalExpressionTypeSemantics

compiler.LogicalExpressionTypeSemantics

Type semantics for logical expressions, which combine two expressions/conditions and evaluate based on the input to a boolean value.

Since

0.10.0

Hierarchy

• ExpressionTypeSemantics

  ↳ LogicalExpressionTypeSemantics

  ↳↳ LogicalAndExpressionTypeSemantics

  ↳↳ LogicalOrExpressionTypeSemantics

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