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(JetType a, JetType b, TypeCheckingProcedure typeCheckingProcedure)
boolean	assertSubtype(JetType subtype, JetType supertype, TypeCheckingProcedure typeCheckingProcedure)
boolean	capture(JetType type, TypeProjection typeProjection)
boolean	noCorrespondingSupertype(JetType subtype, JetType supertype)

Method Detail

assertEqualTypes

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

assertEqualTypeConstructors

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

assertSubtype

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

capture

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

noCorrespondingSupertype

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