org.jetbrains.jet.lang.types
Class CastDiagnosticsUtil

java.lang.Object
  org.jetbrains.jet.lang.types.CastDiagnosticsUtil

public class CastDiagnosticsUtil
extends java.lang.Object

Method Summary

static boolean	isCastErased(JetType supertype, JetType subtype, JetTypeChecker typeChecker) Check if cast from supertype to subtype is erased.
static boolean	isCastPossible(JetType lhsType, JetType rhsType, PlatformToKotlinClassMap platformToKotlinClassMap)

Methods inherited from class java.lang.Object

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

Method Detail

isCastPossible

public static boolean isCastPossible(@NotNull
                                     JetType lhsType,
                                     @NotNull
                                     JetType rhsType,
                                     @NotNull
                                     PlatformToKotlinClassMap platformToKotlinClassMap)

isCastErased

public static boolean isCastErased(@NotNull
                                   JetType supertype,
                                   @NotNull
                                   JetType subtype,
                                   @NotNull
                                   JetTypeChecker typeChecker)

Check if cast from supertype to subtype is erased. It is an error in "is" statement and warning in "as".