Module dev.civl.abc

Package dev.civl.abc.ast.type.IF

Interface LambdaType

All Superinterfaces:

ObjectType, Type, UnqualifiedObjectType

public interface LambdaType
extends UnqualifiedObjectType

A lambda type represents the type of an lambda expression (see LambdaNode . A lambda type consists of at most one free variable type v and a lambda term type t. Both v and t are UnqualifiedObjectTypes

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.type.IF.Type

Type.TypeKind

Method Summary

Modifier and Type	Method	Description
UnqualifiedObjectType	freeVariableType()
UnqualifiedObjectType	lambdaFunctionReturnType()

Methods inherited from interface dev.civl.abc.ast.type.IF.ObjectType

hasKnownConstantSize, isComplete, isConstantQualified

Methods inherited from interface dev.civl.abc.ast.type.IF.Type

compatibleWith, equivalentTo, getId, ignoreQualifiersAtomic, isScalar, isVariablyModified, kind, print

Method Details

freeVariableType

UnqualifiedObjectType freeVariableType()

Returns:

The type the free variable v. null if v is absent.

lambdaFunctionReturnType

UnqualifiedObjectType lambdaFunctionReturnType()

Returns:

The return type of the lambda function