org.jetbrains.jet.lang.types.checker
Class JetTypeChecker

java.lang.Object
  org.jetbrains.jet.lang.types.checker.JetTypeChecker

public class JetTypeChecker
extends java.lang.Object

Field Summary

static com.google.common.collect.HashBiMap<TypeConstructor,TypeConstructor>	EMPTY_AXIOMS
static JetTypeChecker	INSTANCE

Method Summary

boolean	equalTypes(JetType a, JetType b)
boolean	equalTypes(JetType a, JetType b, com.google.common.collect.BiMap<TypeConstructor,TypeConstructor> equalityAxioms)
boolean	isSubtypeOf(JetType subtype, JetType supertype)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final JetTypeChecker INSTANCE

EMPTY_AXIOMS

public static final com.google.common.collect.HashBiMap<TypeConstructor,TypeConstructor> EMPTY_AXIOMS

Method Detail

isSubtypeOf

public boolean isSubtypeOf(@NotNull
                           JetType subtype,
                           @NotNull
                           JetType supertype)

equalTypes

public boolean equalTypes(@NotNull
                          JetType a,
                          @NotNull
                          JetType b)

equalTypes

public boolean equalTypes(@NotNull
                          JetType a,
                          @NotNull
                          JetType b,
                          @NotNull
                          com.google.common.collect.BiMap<TypeConstructor,TypeConstructor> equalityAxioms)