Interface: ExpressionTypeSemantics
compiler.ExpressionTypeSemantics
Type semantics for an expression class that must be evaluated during Type Checking.
Since
0.10.0
Hierarchy
-
↳
ExpressionTypeSemantics
↳↳
PrimaryExpressionTypeSemantics
↳↳
ArithmeticExpressionTypeSemantics
↳↳
ComparativeExpressionTypeSemantics
↳↳
LogicalExpressionTypeSemantics
↳↳
PostfixExpressionTypeSemantics
↳↳
TypeSpecifierExpressionTypeSemantics
↳↳
UnaryExpressionTypeSemantics
↳↳
AssignmentExpressionTypeSemantics
↳↳
CastOrConvertExpressionTypeSemantics
↳↳
ConditionalExpressionTypeSemantics
↳↳
FunctionCallExpressionTypeSemantics
↳↳
MemberAccessExpressionTypeSemantics
Table of contents
Properties
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
Defined in
kipper/core/src/compiler/ast/nodes/expressions/expression-type-semantics.ts:20