org.jetbrains.kotlin.types.checker
Class KotlinTypeCheckerImpl

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

All Implemented Interfaces:

KotlinTypeChecker

public class KotlinTypeCheckerImpl
extends java.lang.Object
implements KotlinTypeChecker

Nested Class Summary

Nested classes/interfaces inherited from interface org.jetbrains.kotlin.types.checker.KotlinTypeChecker

KotlinTypeChecker.TypeConstructorEquality

Field Summary

Fields inherited from interface org.jetbrains.kotlin.types.checker.KotlinTypeChecker

DEFAULT

Constructor Summary

protected

KotlinTypeCheckerImpl(TypeCheckingProcedure procedure)

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

Constructor Detail

KotlinTypeCheckerImpl

protected KotlinTypeCheckerImpl(@NotNull
                                TypeCheckingProcedure procedure)

Method Detail

withAxioms

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

isSubtypeOf

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

Specified by:

isSubtypeOf in interface KotlinTypeChecker

equalTypes

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

Specified by:

equalTypes in interface KotlinTypeChecker