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

Fields

Modifier and Type	Field and Description
static com.google.common.collect.HashBiMap<TypeConstructor,TypeConstructor>	EMPTY_AXIOMS
static JetTypeChecker	INSTANCE

Method Summary

Methods

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