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

Methods

Modifier and Type	Method and Description
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)