org.jetbrains.kotlin.types
Interface TypeConstructor

All Superinterfaces:

Annotated

All Known Implementing Classes:

AbstractClassTypeConstructor, ErrorUtils.FunctionPlaceholderTypeConstructor, ErrorUtils.UninferredParameterTypeConstructor, IntersectionTypeConstructor, TypeConstructorImpl

public interface TypeConstructor
extends Annotated

Method Summary

ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	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<JetType> 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()