Interface: IdentifierTypeSpecifierExpressionTypeSemantics

compiler.IdentifierTypeSpecifierExpressionTypeSemantics

Type semantics for AST Node IdentifierTypeSpecifierExpression.

Since

0.10.0

Hierarchy

• TypeSpecifierExpressionTypeSemantics

  ↳ IdentifierTypeSpecifierExpressionTypeSemantics

Table of contents

Properties

• evaluatedType
• storedType

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

TypeSpecifierExpressionTypeSemantics.evaluatedType

Defined in

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

storedType

• storedType: ProcessedType

The type that is being stored by this type specifier. This is the type that would be used to determine what values should be stored in a variable.

Since

0.10.0

Inherited from

TypeSpecifierExpressionTypeSemantics.storedType

Defined in

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