org.jetbrains.kotlin.cfg
Class WhenChecker
java.lang.Object
org.jetbrains.kotlin.cfg.WhenChecker
public final class WhenChecker
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
mustHaveElse
public static boolean mustHaveElse(@NotNull
JetWhenExpression expression,
@NotNull
BindingTrace trace)
isWhenByEnum
public static boolean isWhenByEnum(@NotNull
JetWhenExpression expression,
@NotNull
BindingContext context)
getClassDescriptorOfTypeIfEnum
@Nullable
public static ClassDescriptor getClassDescriptorOfTypeIfEnum(@Nullable
JetType type)
isWhenOnEnumExhaustive
public static boolean isWhenOnEnumExhaustive(@NotNull
JetWhenExpression expression,
@NotNull
BindingTrace trace,
@NotNull
ClassDescriptor enumClassDescriptor)
isWhenExhaustive
public static boolean isWhenExhaustive(@NotNull
JetWhenExpression expression,
@NotNull
BindingTrace trace)
containsNullCase
public static boolean containsNullCase(@NotNull
JetWhenExpression expression,
@NotNull
BindingTrace trace)