org.jetbrains.kotlin.types.checker
Interface TypeCheckingProcedureCallbacks

public interface TypeCheckingProcedureCallbacks

Methods of this class return true to continue type checking and false to fail

Method Summary

boolean	assertEqualTypeConstructors(TypeConstructor a, TypeConstructor b)
boolean	assertEqualTypes(KotlinType a, KotlinType b, TypeCheckingProcedure typeCheckingProcedure)
boolean	assertSubtype(KotlinType subtype, KotlinType supertype, TypeCheckingProcedure typeCheckingProcedure)
boolean	capture(KotlinType type, TypeProjection typeProjection)
boolean	noCorrespondingSupertype(KotlinType subtype, KotlinType supertype)

Method Detail

assertEqualTypes

boolean assertEqualTypes(@NotNull
                         KotlinType a,
                         @NotNull
                         KotlinType b,
                         @NotNull
                         TypeCheckingProcedure typeCheckingProcedure)

assertEqualTypeConstructors

boolean assertEqualTypeConstructors(@NotNull
                                    TypeConstructor a,
                                    @NotNull
                                    TypeConstructor b)

assertSubtype

boolean assertSubtype(@NotNull
                      KotlinType subtype,
                      @NotNull
                      KotlinType supertype,
                      @NotNull
                      TypeCheckingProcedure typeCheckingProcedure)

capture

boolean capture(@NotNull
                KotlinType type,
                @NotNull
                TypeProjection typeProjection)

noCorrespondingSupertype

boolean noCorrespondingSupertype(@NotNull
                                 KotlinType subtype,
                                 @NotNull
                                 KotlinType supertype)