org.jetbrains.jet.lang.types
Class TypeConstructorImpl

java.lang.Object
  org.jetbrains.jet.lang.descriptors.annotations.AnnotatedImpl
      org.jetbrains.jet.lang.types.TypeConstructorImpl

All Implemented Interfaces:

Annotated, TypeConstructor

public class TypeConstructorImpl
extends AnnotatedImpl
implements TypeConstructor

Constructor Summary

TypeConstructorImpl(ClassifierDescriptor classifierDescriptor, java.util.List<AnnotationDescriptor> annotations, boolean isFinal, java.lang.String debugName, java.util.List<? extends TypeParameterDescriptor> parameters, java.util.Collection<JetType> supertypes)

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.
java.lang.String	toString()

Methods inherited from class org.jetbrains.jet.lang.descriptors.annotations.AnnotatedImpl

getAnnotations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jetbrains.jet.lang.descriptors.annotations.Annotated

getAnnotations

Constructor Detail

TypeConstructorImpl

public TypeConstructorImpl(@Nullable
                           ClassifierDescriptor classifierDescriptor,
                           @NotNull
                           java.util.List<AnnotationDescriptor> annotations,
                           boolean isFinal,
                           @NotNull
                           java.lang.String debugName,
                           @NotNull
                           java.util.List<? extends TypeParameterDescriptor> parameters,
                           @NotNull
                           java.util.Collection<JetType> supertypes)

Method Detail

getParameters

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

Specified by:

getParameters in interface TypeConstructor

getSupertypes

@NotNull
public java.util.Collection<JetType> getSupertypes()

Specified by:

getSupertypes in interface TypeConstructor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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

@Nullable
public ClassifierDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor