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

Methods

Modifier and Type	Method and Description
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)