Top Description Methods
kotlin.reflect.jvm.internal.impl.types.checker

public Interface TypeCheckingProcedureCallbacks

Known Direct Implementers
kotlin.reflect.jvm.internal.impl.types.checker.TypeCheckerProcedureCallbacksImpl
Imports
org.jetbrains.annotations.NotNull, kotlin.reflect.jvm.internal.impl.types.KotlinType, kotlin.reflect.jvm.internal.impl.types.TypeConstructor, .TypeProjection
Methods of this class return true to continue type checking and false to fail

Method Summary

Modifier and TypeMethod and Description
public boolean
assertEqualTypeConstructors(@NotNull TypeConstructor a, @NotNull TypeConstructor b)

public boolean
assertEqualTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType a, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType b, @NotNull TypeCheckingProcedure typeCheckingProcedure)

public boolean
assertSubtype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype, @NotNull TypeCheckingProcedure typeCheckingProcedure)

public boolean
capture(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type, @NotNull TypeProjection typeProjection)

public boolean
noCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)

Method Detail

assertEqualTypeConstructorsback to summary
public boolean assertEqualTypeConstructors(@NotNull TypeConstructor a, @NotNull TypeConstructor b)
assertEqualTypesback to summary
public boolean assertEqualTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType a, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType b, @NotNull TypeCheckingProcedure typeCheckingProcedure)
assertSubtypeback to summary
public boolean assertSubtype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype, @NotNull TypeCheckingProcedure typeCheckingProcedure)
captureback to summary
public boolean capture(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType type, @NotNull TypeProjection typeProjection)
noCorrespondingSupertypeback to summary
public boolean noCorrespondingSupertype(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)