org.jetbrains.kotlin.types.expressions
Class DataFlowUtils

java.lang.Object
  org.jetbrains.kotlin.types.expressions.DataFlowUtils

public class DataFlowUtils
extends java.lang.Object

Method Summary

static JetTypeInfo	checkImplicitCast(JetTypeInfo typeInfo, JetExpression expression, ResolutionContext context, boolean isStatement)
static JetType	checkImplicitCast(JetType expressionType, JetExpression expression, ResolutionContext context, boolean isStatement)
static JetType	checkStatementType(JetExpression expression, ResolutionContext context)
static JetTypeInfo	checkType(JetTypeInfo typeInfo, JetExpression expression, ResolutionContext context)
static JetType	checkType(JetType expressionType, JetExpression expression, ResolutionContext context)
static JetType	checkType(JetType expressionType, JetExpression expressionToCheck, ResolutionContext c, com.intellij.openapi.util.Ref<java.lang.Boolean> hasError)
static DataFlowInfo	extractDataFlowInfoFromCondition(JetExpression condition, boolean conditionValue, ExpressionTypingContext context)
static java.util.Collection<JetType>	getAllPossibleTypes(JetExpression expression, DataFlowInfo dataFlowInfo, JetType type, ResolutionContext c)
static JetTypeInfo	illegalStatementType(JetExpression expression, ExpressionTypingContext context, org.jetbrains.kotlin.types.expressions.ExpressionTypingInternals facade)
static void	recordExpectedType(BindingTrace trace, JetExpression expression, JetType expectedType)

Methods inherited from class java.lang.Object

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

Method Detail

extractDataFlowInfoFromCondition

@NotNull
public static DataFlowInfo extractDataFlowInfoFromCondition(@Nullable
                                                                    JetExpression condition,
                                                                    boolean conditionValue,
                                                                    ExpressionTypingContext context)

checkType

@Nullable
public static JetType checkType(@Nullable
                                         JetType expressionType,
                                         @NotNull
                                         JetExpression expression,
                                         @NotNull
                                         ResolutionContext context)

checkType

@NotNull
public static JetTypeInfo checkType(@NotNull
                                            JetTypeInfo typeInfo,
                                            @NotNull
                                            JetExpression expression,
                                            @NotNull
                                            ResolutionContext context)

checkType

@Nullable
public static JetType checkType(@Nullable
                                         JetType expressionType,
                                         @NotNull
                                         JetExpression expressionToCheck,
                                         @NotNull
                                         ResolutionContext c,
                                         @Nullable
                                         com.intellij.openapi.util.Ref<java.lang.Boolean> hasError)

recordExpectedType

public static void recordExpectedType(@NotNull
                                      BindingTrace trace,
                                      @NotNull
                                      JetExpression expression,
                                      @NotNull
                                      JetType expectedType)

checkStatementType

@Nullable
public static JetType checkStatementType(@NotNull
                                                  JetExpression expression,
                                                  @NotNull
                                                  ResolutionContext context)

checkImplicitCast

@Nullable
public static JetType checkImplicitCast(@Nullable
                                                 JetType expressionType,
                                                 @NotNull
                                                 JetExpression expression,
                                                 @NotNull
                                                 ResolutionContext context,
                                                 boolean isStatement)

checkImplicitCast

@NotNull
public static JetTypeInfo checkImplicitCast(@NotNull
                                                    JetTypeInfo typeInfo,
                                                    @NotNull
                                                    JetExpression expression,
                                                    @NotNull
                                                    ResolutionContext context,
                                                    boolean isStatement)

illegalStatementType

@NotNull
public static JetTypeInfo illegalStatementType(@NotNull
                                                       JetExpression expression,
                                                       @NotNull
                                                       ExpressionTypingContext context,
                                                       @NotNull
                                                       org.jetbrains.kotlin.types.expressions.ExpressionTypingInternals facade)

getAllPossibleTypes

@NotNull
public static java.util.Collection<JetType> getAllPossibleTypes(@NotNull
                                                                        JetExpression expression,
                                                                        @NotNull
                                                                        DataFlowInfo dataFlowInfo,
                                                                        @NotNull
                                                                        JetType type,
                                                                        @NotNull
                                                                        ResolutionContext c)