Top Fields Constructors Methods

kotlin.reflect.jvm.internal.impl.types.checker

public Class TypeCheckingProcedure

Class Inheritance

extends Object

java.lang.Object
kotlin.reflect.jvm.internal.impl.types.checker.TypeCheckingProcedure

Imports

org.jetbrains.annotations.NotNull, .Nullable, kotlin.reflect.jvm.internal.impl.builtins.KotlinBuiltIns, kotlin.reflect.jvm.internal.impl.descriptors.TypeParameterDescriptor, kotlin.reflect.jvm.internal.impl.resolve.descriptorUtil.DescriptorUtilsKt, kotlin.reflect.jvm.internal.impl.types.*, java.util.List

Field Summary

Modifier and Type	Field and Description
private final TypeCheckingProcedureCallbacks	constraints

Constructor Summary

Access	Constructor and Description
public	TypeCheckingProcedure(TypeCheckingProcedureCallbacks constraints)

Method Summary

Modifier and Type	Method and Description
private boolean	capture(@NotNull TypeProjection subtypeArgumentProjection, @NotNull TypeProjection supertypeArgumentProjection, @NotNull TypeParameterDescriptor parameter)
private boolean	checkSubtypeForTheSameConstructor(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)
public boolean	equalTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type1, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type2)
public static @Nullable kotlin.reflect.jvm.internal.impl.types.KotlinType	findCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)
public static @Nullable kotlin.reflect.jvm.internal.impl.types.KotlinType	findCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype, @NotNull TypeCheckingProcedureCallbacks typeCheckingProcedureCallbacks)
public static EnrichedProjectionKind	getEffectiveProjectionKind(@NotNull TypeParameterDescriptor typeParameter, @NotNull TypeProjection typeArgument)
public static EnrichedProjectionKind	getEffectiveProjectionKind(@NotNull kotlin.reflect.jvm.internal.impl.types.Variance typeParameterVariance, @NotNull kotlin.reflect.jvm.internal.impl.types.Variance typeArgumentVariance)
private static @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType	getInType(@NotNull TypeParameterDescriptor parameter, @NotNull TypeProjection argument)
private static @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType	getOutType(@NotNull TypeParameterDescriptor parameter, @NotNull TypeProjection argument)
protected boolean	heterogeneousEquivalence(kotlin.reflect.jvm.internal.impl.types.KotlinType inflexibleType, kotlin.reflect.jvm.internal.impl.types.KotlinType flexibleType)
public boolean	isSubtypeOf(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)
private boolean	isSubtypeOfForRepresentatives(kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

constraints	back to summary
private final TypeCheckingProcedureCallbacks constraints

Constructor Detail

TypeCheckingProcedure	back to summary
public TypeCheckingProcedure(TypeCheckingProcedureCallbacks constraints)

Method Detail

capture	back to summary
private boolean capture(@NotNull TypeProjection subtypeArgumentProjection, @NotNull TypeProjection supertypeArgumentProjection, @NotNull TypeParameterDescriptor parameter)

checkSubtypeForTheSameConstructor	back to summary
private boolean checkSubtypeForTheSameConstructor(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)

equalTypes	back to summary
public boolean equalTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type1, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type2)

findCorrespondingSupertype	back to summary
public static @Nullable kotlin.reflect.jvm.internal.impl.types.KotlinType findCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype) Annotations @Nullable

findCorrespondingSupertype	back to summary
public static @Nullable kotlin.reflect.jvm.internal.impl.types.KotlinType findCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype, @NotNull TypeCheckingProcedureCallbacks typeCheckingProcedureCallbacks) Annotations @Nullable

getEffectiveProjectionKind	back to summary
public static EnrichedProjectionKind getEffectiveProjectionKind(@NotNull TypeParameterDescriptor typeParameter, @NotNull TypeProjection typeArgument)

getEffectiveProjectionKind	back to summary
public static EnrichedProjectionKind getEffectiveProjectionKind(@NotNull kotlin.reflect.jvm.internal.impl.types.Variance typeParameterVariance, @NotNull kotlin.reflect.jvm.internal.impl.types.Variance typeArgumentVariance)

getInType	back to summary
private static @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType getInType(@NotNull TypeParameterDescriptor parameter, @NotNull TypeProjection argument) Annotations @NotNull

getOutType	back to summary
private static @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType getOutType(@NotNull TypeParameterDescriptor parameter, @NotNull TypeProjection argument) Annotations @NotNull

heterogeneousEquivalence	back to summary
protected boolean heterogeneousEquivalence(kotlin.reflect.jvm.internal.impl.types.KotlinType inflexibleType, kotlin.reflect.jvm.internal.impl.types.KotlinType flexibleType)

isSubtypeOf	back to summary
public boolean isSubtypeOf(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)

isSubtypeOfForRepresentatives	back to summary
private boolean isSubtypeOfForRepresentatives(kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)