org.jetbrains.kotlin.types.checker
Class KotlinTypeChecker

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

public class KotlinTypeChecker
extends java.lang.Object

Nested Class Summary

static interface

KotlinTypeChecker.TypeConstructorEquality

Field Summary

static KotlinTypeChecker	DEFAULT
static KotlinTypeChecker	ERROR_TYPES_ARE_EQUAL_TO_ANYTHING
static KotlinTypeChecker	FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

Method Summary

boolean	equalTypes(KotlinType a, KotlinType b)
boolean	isSubtypeOf(KotlinType subtype, KotlinType supertype)
static KotlinTypeChecker	withAxioms(KotlinTypeChecker.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 KotlinTypeChecker DEFAULT

ERROR_TYPES_ARE_EQUAL_TO_ANYTHING

public static final KotlinTypeChecker ERROR_TYPES_ARE_EQUAL_TO_ANYTHING

FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

public static final KotlinTypeChecker FLEXIBLE_UNEQUAL_TO_INFLEXIBLE

Method Detail

withAxioms

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

isSubtypeOf

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

equalTypes

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