org.jetbrains.kotlin.types.checker
Class JetTypeChecker

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

public class JetTypeChecker
extends java.lang.Object

Nested Class Summary

static interface

JetTypeChecker.TypeConstructorEquality

Field Summary

static JetTypeChecker	DEFAULT
static JetTypeChecker	ERROR_TYPES_ARE_EQUAL_TO_ANYTHING
static JetTypeChecker	FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

Method Summary

boolean	equalTypes(JetType a, JetType b)
boolean	isSubtypeOf(JetType subtype, JetType supertype)
static JetTypeChecker	withAxioms(JetTypeChecker.TypeConstructorEquality equalityAxioms)

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT

public static final JetTypeChecker DEFAULT

ERROR_TYPES_ARE_EQUAL_TO_ANYTHING

public static final JetTypeChecker ERROR_TYPES_ARE_EQUAL_TO_ANYTHING

FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

public static final JetTypeChecker FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

Method Detail

withAxioms

@NotNull
public static JetTypeChecker withAxioms(@NotNull
                                                JetTypeChecker.TypeConstructorEquality equalityAxioms)

isSubtypeOf

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

equalTypes

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