org.jetbrains.kotlin.types
Class ClassTypeConstructorImpl

java.lang.Object
  AbstractTypeConstructor
      org.jetbrains.kotlin.types.AbstractClassTypeConstructor
          org.jetbrains.kotlin.types.ClassTypeConstructorImpl

All Implemented Interfaces:

Annotated, TypeConstructor

public class ClassTypeConstructorImpl
extends AbstractClassTypeConstructor
implements TypeConstructor

Constructor Summary

ClassTypeConstructorImpl(ClassDescriptor classDescriptor, Annotations annotations, boolean isFinal, java.util.List<? extends TypeParameterDescriptor> parameters, java.util.Collection<KotlinType> supertypes)

Method Summary

protected java.util.Collection<KotlinType>	computeSupertypes()
Annotations	getAnnotations()
ClassDescriptor	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.
protected SupertypeLoopChecker	getSupertypeLoopChecker()
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.
java.lang.String	toString()

Methods inherited from class org.jetbrains.kotlin.types.AbstractClassTypeConstructor

equals, getAdditionalNeighboursInSupertypeGraph, getBuiltIns, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jetbrains.kotlin.types.TypeConstructor

getBuiltIns, getSupertypes

Constructor Detail

ClassTypeConstructorImpl

public ClassTypeConstructorImpl(@NotNull
                                ClassDescriptor classDescriptor,
                                @NotNull
                                Annotations annotations,
                                boolean isFinal,
                                @NotNull
                                java.util.List<? extends TypeParameterDescriptor> parameters,
                                @NotNull
                                java.util.Collection<KotlinType> supertypes)

Method Detail

getParameters

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

Description copied from interface: TypeConstructor

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

Specified by:

getParameters in interface TypeConstructor

Returns:

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

toString

public java.lang.String toString()

isFinal

public boolean isFinal()

Description copied from interface: TypeConstructor

Cannot have subtypes.

Specified by:

isFinal in interface TypeConstructor

isDenotable

public boolean isDenotable()

Description copied from interface: TypeConstructor

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.

Specified by:

isDenotable in interface TypeConstructor

getDeclarationDescriptor

@NotNull
public ClassDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor

Specified by:

getDeclarationDescriptor in class AbstractClassTypeConstructor

computeSupertypes

@NotNull
protected java.util.Collection<KotlinType> computeSupertypes()

getSupertypeLoopChecker

@NotNull
protected SupertypeLoopChecker getSupertypeLoopChecker()

getAnnotations

@NotNull
public Annotations getAnnotations()

Specified by:

getAnnotations in interface Annotated