org.jetbrains.jet.lang.types.expressions
Class DataFlowUtils

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

public class DataFlowUtils
extends java.lang.Object

Method Summary

static JetType	checkImplicitCast(JetType expressionType, JetExpression expression, ExpressionTypingContext context, boolean isStatement)
static JetTypeInfo	checkImplicitCast(JetType expressionType, JetExpression expression, ExpressionTypingContext context, boolean isStatement, DataFlowInfo dataFlowInfo)
static JetType	checkStatementType(JetExpression expression, ResolutionContext context)
static JetTypeInfo	checkStatementType(JetExpression expression, ResolutionContext context, DataFlowInfo dataFlowInfo)
static JetType	checkType(JetType expressionType, JetExpression expression, ResolutionContext context)
static JetTypeInfo	checkType(JetType expressionType, JetExpression expression, ResolutionContext context, DataFlowInfo dataFlowInfo)
static DataFlowInfo	extractDataFlowInfoFromCondition(JetExpression condition, boolean conditionValue, ExpressionTypingContext context)
static JetTypeInfo	illegalStatementType(JetExpression expression, ExpressionTypingContext context, org.jetbrains.jet.lang.types.expressions.ExpressionTypingInternals facade)

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

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

checkType

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

checkStatementType

@NotNull
public static JetTypeInfo checkStatementType(@NotNull
                                                     JetExpression expression,
                                                     @NotNull
                                                     ResolutionContext context,
                                                     @NotNull
                                                     DataFlowInfo dataFlowInfo)

checkStatementType

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

checkImplicitCast

@NotNull
public static JetTypeInfo checkImplicitCast(@Nullable
                                                    JetType expressionType,
                                                    @NotNull
                                                    JetExpression expression,
                                                    @NotNull
                                                    ExpressionTypingContext context,
                                                    boolean isStatement,
                                                    DataFlowInfo dataFlowInfo)

checkImplicitCast

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

illegalStatementType

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