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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	getSupertypes()
boolean	isSealed()
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 sealed,
                   @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

isSealed

public boolean isSealed()

Specified by:

isSealed in interface TypeConstructor

getDeclarationDescriptor

@Nullable
public ClassifierDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor