org.jetbrains.jet.lang.types.checker
Interface TypingConstraints

public interface TypingConstraints

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	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)

noCorrespondingSupertype

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