public class JetTypeChecker extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static com.google.common.collect.HashBiMap<TypeConstructor,TypeConstructor> |
EMPTY_AXIOMS |
static JetTypeChecker |
INSTANCE |
| 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) |
public static final JetTypeChecker INSTANCE
public static final com.google.common.collect.HashBiMap<TypeConstructor,TypeConstructor> EMPTY_AXIOMS
public boolean isSubtypeOf(@NotNull JetType subtype, @NotNull JetType supertype)
public boolean equalTypes(@NotNull JetType a, @NotNull JetType b)
public boolean equalTypes(@NotNull JetType a, @NotNull JetType b, @NotNull com.google.common.collect.BiMap<TypeConstructor,TypeConstructor> equalityAxioms)