Interface: FunctionCallExpressionTypeSemantics

compiler.FunctionCallExpressionTypeSemantics

Type semantics for AST Node FunctionCallExpression.

Since

0.5.0

Hierarchy

• ExpressionTypeSemantics

  ↳ FunctionCallExpressionTypeSemantics

Table of contents

Properties

• evaluatedType
• funcOrExp
• funcType

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

ExpressionTypeSemantics.evaluatedType

Defined in

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

funcOrExp

• funcOrExp: Expression<ExpressionSemantics, ExpressionTypeSemantics, CompilableASTNode<SemanticData, TypeData>> | ScopeVariableDeclaration | ScopeFunctionDeclaration | ScopeParameterDeclaration

The function that this expression calls.

This can be a function declaration, a parameter declaration, a variable declaration or a referenceable i.e. a function stored inside a variable of some sort.

Since

0.12.0

Defined in

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

funcType

• funcType: BuiltInTypeFunc

The function type that is being called.

Since

0.13.0

Defined in

kipper/core/src/compiler/ast/nodes/expressions/function-call-expression/function-call-expression-type-semantics.ts:31