org.jetbrains.kotlin.types
Interface TypeConstructor

All Superinterfaces:

Annotated

All Known Implementing Classes:

AbstractClassTypeConstructor, ErrorUtils.UninferredParameterTypeConstructor, IntersectionTypeConstructor, TypeConstructorImpl

public interface TypeConstructor
extends Annotated

Method Summary

KotlinBuiltIns	getBuiltIns()
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<KotlinType>	getSupertypes()
boolean	isDenotable() If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
boolean	isFinal() Cannot have subtypes.

Methods inherited from interface org.jetbrains.kotlin.descriptors.annotations.Annotated

getAnnotations

Method Detail

getParameters

@NotNull
@ReadOnly
java.util.List<TypeParameterDescriptor> getParameters()

getSupertypes

@NotNull
@ReadOnly
java.util.Collection<KotlinType> getSupertypes()

isFinal

boolean isFinal()

Cannot have subtypes.

isDenotable

boolean isDenotable()

If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker. Examples: intersection type or number value type.

getDeclarationDescriptor

@Nullable
ClassifierDescriptor getDeclarationDescriptor()

getBuiltIns

@NotNull
KotlinBuiltIns getBuiltIns()