org.jetbrains.jet.lang.types
Interface TypeConstructor

All Superinterfaces:

Annotated

All Known Implementing Classes:

DoubleValueTypeConstructor, IntegerValueTypeConstructor, IntersectionTypeConstructor, NumberValueTypeConstructor, TypeConstructorImpl

public interface TypeConstructor
extends Annotated

Method Summary

ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	getSupertypes()
boolean	isDenotable()
boolean	isSealed()

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

getAnnotations

Method Detail

getParameters

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

getSupertypes

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

isSealed

boolean isSealed()

isDenotable

boolean isDenotable()

getDeclarationDescriptor

@Nullable
ClassifierDescriptor getDeclarationDescriptor()