org.jetbrains.kotlin.types
Class TypeUtils

java.lang.Object
  org.jetbrains.kotlin.types.TypeUtils

public class TypeUtils
extends java.lang.Object

Nested Class Summary

static class	TypeUtils.IntersectionScope
static class	TypeUtils.SpecialType

Field Summary

static JetType	CANT_INFER_FUNCTION_PARAM_TYPE
static JetType	DONT_CARE
static JetType	NO_EXPECTED_TYPE
static JetType	PLACEHOLDER_FUNCTION_TYPE
static JetType	UNIT_EXPECTED_TYPE

Constructor Summary

TypeUtils()

Method Summary

static boolean	canHaveSubtypes(JetTypeChecker typeChecker, JetType type)
static JetType	commonSupertypeForNumberTypes(java.util.Collection<JetType> numberLowerBounds)
static boolean	containsSpecialType(JetType type, kotlin.jvm.functions.Function1<JetType,java.lang.Boolean> isSpecialType)
static boolean	containsSpecialType(JetType type, JetType specialType)
static boolean	dependsOnTypeConstructors(JetType type, java.util.Collection<TypeConstructor> typeParameterConstructors)
static boolean	dependsOnTypeParameters(JetType type, java.util.Collection<TypeParameterDescriptor> typeParameters)
static boolean	equalTypes(JetType a, JetType b)
static java.util.Set<JetType>	getAllSupertypes(JetType type)
static ClassDescriptor	getClassDescriptor(JetType type)
static JetType	getDefaultPrimitiveNumberType(IntegerValueTypeConstructor numberValueTypeConstructor)
static java.util.List<TypeProjection>	getDefaultTypeProjections(java.util.List<TypeParameterDescriptor> parameters)
static java.util.List<JetType>	getImmediateSupertypes(JetType type)
static JetType	getPrimitiveNumberType(IntegerValueTypeConstructor numberValueTypeConstructor, JetType expectedType)
static TypeParameterDescriptor	getTypeParameterDescriptorOrNull(JetType type)
static boolean	hasNullableLowerBound(TypeParameterDescriptor typeParameterDescriptor)
static boolean	hasNullableSuperType(JetType type)
static JetType	intersect(JetTypeChecker typeChecker, java.util.Set<JetType> types)
static boolean	isDontCarePlaceholder(JetType type)
static boolean	isIntersectionEmpty(JetType typeA, JetType typeB)
static boolean	isNonReifiedTypeParemeter(JetType type)
static boolean	isNullableType(JetType type) A work-around of the generic nullability problem in the type checker
static boolean	isTypeParameter(JetType type)
static TypeSubstitutor	makeConstantSubstitutor(java.util.Collection<TypeParameterDescriptor> typeParameterDescriptors, JetType type)
static JetType	makeNotNullable(JetType type)
static JetType	makeNullable(JetType type)
static JetType	makeNullableAsSpecified(JetType type, boolean nullable)
static JetType	makeNullableIfNeeded(JetType type, boolean nullable)
static TypeProjection	makeStarProjection(TypeParameterDescriptor parameterDescriptor)
static TypeSubstitutor	makeSubstitutorForTypeParametersMap(java.util.Map<TypeParameterDescriptor,TypeProjection> substitutionContext)
static JetType	makeUnsubstitutedType(ClassDescriptor classDescriptor, JetScope unsubstitutedMemberScope)
static boolean	noExpectedType(JetType type)
static JetType	substituteParameters(ClassDescriptor clazz, java.util.List<JetType> typeArguments)
static JetType	substituteProjectionsForParameters(ClassDescriptor clazz, java.util.List<TypeProjection> projections)
static java.util.List<TypeConstructor>	topologicallySortSuperclassesAndRecordAllInstances(JetType type, java.util.Map<TypeConstructor,java.util.Set<JetType>> constructorToAllInstances, java.util.Set<TypeConstructor> visited)

Methods inherited from class java.lang.Object

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

Field Detail

DONT_CARE

public static final JetType DONT_CARE

PLACEHOLDER_FUNCTION_TYPE

public static final JetType PLACEHOLDER_FUNCTION_TYPE

CANT_INFER_FUNCTION_PARAM_TYPE

public static final JetType CANT_INFER_FUNCTION_PARAM_TYPE

NO_EXPECTED_TYPE

public static final JetType NO_EXPECTED_TYPE

UNIT_EXPECTED_TYPE

public static final JetType UNIT_EXPECTED_TYPE

Constructor Detail

TypeUtils

public TypeUtils()

Method Detail

noExpectedType

public static boolean noExpectedType(@NotNull
                                     JetType type)

isDontCarePlaceholder

public static boolean isDontCarePlaceholder(@Nullable
                                            JetType type)

makeNullable

@NotNull
public static JetType makeNullable(@NotNull
                                           JetType type)

makeNotNullable

@NotNull
public static JetType makeNotNullable(@NotNull
                                              JetType type)

makeNullableAsSpecified

@NotNull
public static JetType makeNullableAsSpecified(@NotNull
                                                      JetType type,
                                                      boolean nullable)

makeNullableIfNeeded

@NotNull
public static JetType makeNullableIfNeeded(@NotNull
                                                   JetType type,
                                                   boolean nullable)

isIntersectionEmpty

public static boolean isIntersectionEmpty(@NotNull
                                          JetType typeA,
                                          @NotNull
                                          JetType typeB)

intersect

@Nullable
public static JetType intersect(@NotNull
                                         JetTypeChecker typeChecker,
                                         @NotNull
                                         java.util.Set<JetType> types)

canHaveSubtypes

public static boolean canHaveSubtypes(JetTypeChecker typeChecker,
                                      @NotNull
                                      JetType type)

makeUnsubstitutedType

@NotNull
public static JetType makeUnsubstitutedType(ClassDescriptor classDescriptor,
                                                    JetScope unsubstitutedMemberScope)

getDefaultTypeProjections

@NotNull
public static java.util.List<TypeProjection> getDefaultTypeProjections(java.util.List<TypeParameterDescriptor> parameters)

getImmediateSupertypes

@NotNull
public static java.util.List<JetType> getImmediateSupertypes(@NotNull
                                                                     JetType type)

getAllSupertypes

@NotNull
public static java.util.Set<JetType> getAllSupertypes(@NotNull
                                                              JetType type)

hasNullableLowerBound

public static boolean hasNullableLowerBound(@NotNull
                                            TypeParameterDescriptor typeParameterDescriptor)

isNullableType

public static boolean isNullableType(@NotNull
                                     JetType type)

A work-around of the generic nullability problem in the type checker

Returns:

true if a value of this type can be null

hasNullableSuperType

public static boolean hasNullableSuperType(@NotNull
                                           JetType type)

getClassDescriptor

@Nullable
public static ClassDescriptor getClassDescriptor(@NotNull
                                                          JetType type)

substituteParameters

@NotNull
public static JetType substituteParameters(@NotNull
                                                   ClassDescriptor clazz,
                                                   @NotNull
                                                   java.util.List<JetType> typeArguments)

substituteProjectionsForParameters

@NotNull
public static JetType substituteProjectionsForParameters(@NotNull
                                                                 ClassDescriptor clazz,
                                                                 @NotNull
                                                                 java.util.List<TypeProjection> projections)

equalTypes

public static boolean equalTypes(@NotNull
                                 JetType a,
                                 @NotNull
                                 JetType b)

dependsOnTypeParameters

public static boolean dependsOnTypeParameters(@NotNull
                                              JetType type,
                                              @NotNull
                                              java.util.Collection<TypeParameterDescriptor> typeParameters)

dependsOnTypeConstructors

public static boolean dependsOnTypeConstructors(@NotNull
                                                JetType type,
                                                @NotNull
                                                java.util.Collection<TypeConstructor> typeParameterConstructors)

containsSpecialType

public static boolean containsSpecialType(@Nullable
                                          JetType type,
                                          @NotNull
                                          JetType specialType)

containsSpecialType

public static boolean containsSpecialType(@Nullable
                                          JetType type,
                                          @NotNull
                                          kotlin.jvm.functions.Function1<JetType,java.lang.Boolean> isSpecialType)

makeStarProjection

@NotNull
public static TypeProjection makeStarProjection(@NotNull
                                                        TypeParameterDescriptor parameterDescriptor)

commonSupertypeForNumberTypes

@Nullable
public static JetType commonSupertypeForNumberTypes(@NotNull
                                                             java.util.Collection<JetType> numberLowerBounds)

getDefaultPrimitiveNumberType

@NotNull
public static JetType getDefaultPrimitiveNumberType(@NotNull
                                                            IntegerValueTypeConstructor numberValueTypeConstructor)

getPrimitiveNumberType

@NotNull
public static JetType getPrimitiveNumberType(@NotNull
                                                     IntegerValueTypeConstructor numberValueTypeConstructor,
                                                     @NotNull
                                                     JetType expectedType)

topologicallySortSuperclassesAndRecordAllInstances

public static java.util.List<TypeConstructor> topologicallySortSuperclassesAndRecordAllInstances(@NotNull
                                                                                                 JetType type,
                                                                                                 @NotNull
                                                                                                 java.util.Map<TypeConstructor,java.util.Set<JetType>> constructorToAllInstances,
                                                                                                 @NotNull
                                                                                                 java.util.Set<TypeConstructor> visited)

makeConstantSubstitutor

public static TypeSubstitutor makeConstantSubstitutor(java.util.Collection<TypeParameterDescriptor> typeParameterDescriptors,
                                                      JetType type)

makeSubstitutorForTypeParametersMap

@NotNull
public static TypeSubstitutor makeSubstitutorForTypeParametersMap(@NotNull
                                                                          java.util.Map<TypeParameterDescriptor,TypeProjection> substitutionContext)

isTypeParameter

public static boolean isTypeParameter(@NotNull
                                      JetType type)

isNonReifiedTypeParemeter

public static boolean isNonReifiedTypeParemeter(@NotNull
                                                JetType type)

getTypeParameterDescriptorOrNull

@Nullable
public static TypeParameterDescriptor getTypeParameterDescriptorOrNull(@NotNull
                                                                                JetType type)