org.jetbrains.kotlin.types
Interface TypeConstructor

All Superinterfaces:

Annotated

All Known Implementing Classes:

AbstractClassTypeConstructor, ClassTypeConstructorImpl, ErrorUtils.UninferredParameterTypeConstructor, IntersectionTypeConstructor

public interface TypeConstructor
extends Annotated

Method Summary

KotlinBuiltIns	getBuiltIns()
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters() It may differ from ClassDescriptor.declaredParameters if the class is inner, in such case it also contains additional parameters from outer declarations.
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()

It may differ from ClassDescriptor.declaredParameters if the class is inner, in such case it also contains additional parameters from outer declarations.

Returns:

list of parameters for type constructor, both from current declaration and the outer one

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()