Top Fields Constructors Methods

kotlin.reflect.jvm.internal.impl.types.checker

public Class KotlinTypeCheckerImpl

Class Inheritance

extends Object
implements KotlinTypeChecker

java.lang.Object
kotlin.reflect.jvm.internal.impl.types.checker.KotlinTypeCheckerImpl

All Implemented Interfaces

kotlin.reflect.jvm.internal.impl.types.checker.KotlinTypeChecker

Imports

org.jetbrains.annotations.NotNull, kotlin.reflect.jvm.internal.impl.types.KotlinType, kotlin.reflect.jvm.internal.impl.types.TypeConstructor

Field Summary

Modifier and Type	Field and Description
private final TypeCheckingProcedure	procedure

Constructor Summary

Access	Constructor and Description
protected	KotlinTypeCheckerImpl(@NotNull TypeCheckingProcedure procedure)

Method Summary

Modifier and Type	Method and Description
public boolean	equalTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType a, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType b)
public boolean	isSubtypeOf(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype)
public static @NotNull KotlinTypeChecker	withAxioms(final @NotNull KotlinTypeChecker.TypeConstructorEquality equalityAxioms)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

procedure	back to summary
private final TypeCheckingProcedure procedure

Constructor Detail

KotlinTypeCheckerImpl	back to summary
protected KotlinTypeCheckerImpl(@NotNull TypeCheckingProcedure procedure)

Method Detail

equalTypes	back to summary
public boolean equalTypes(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType a, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType b) Annotations @Override

isSubtypeOf	back to summary
public boolean isSubtypeOf(@NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType subtype, @NotNull kotlin.reflect.jvm.internal.impl.types.KotlinType supertype) Annotations @Override

withAxioms	back to summary
public static @NotNull KotlinTypeChecker withAxioms(final @NotNull KotlinTypeChecker.TypeConstructorEquality equalityAxioms) Annotations @NotNull