org.jetbrains.jet.lang.resolve.calls.autocasts
Interface DataFlowInfo

public interface DataFlowInfo

Field Summary

static DataFlowInfo

EMPTY

Method Summary

DataFlowInfo	and(DataFlowInfo other)
DataFlowInfo	disequate(DataFlowValue a, DataFlowValue b)
DataFlowInfo	equate(DataFlowValue a, DataFlowValue b)
DataFlowInfo	establishSubtyping(DataFlowValue value, JetType type)
Nullability	getNullability(DataFlowValue key)
java.util.Set<JetType>	getPossibleTypes(DataFlowValue key)
boolean	hasTypeInfoConstraints()
DataFlowInfo	or(DataFlowInfo other)

Field Detail

EMPTY

static final DataFlowInfo EMPTY

Method Detail

getNullability

@NotNull
Nullability getNullability(@NotNull
                                   DataFlowValue key)

getPossibleTypes

@NotNull
java.util.Set<JetType> getPossibleTypes(@NotNull
                                                DataFlowValue key)

equate

@NotNull
DataFlowInfo equate(@NotNull
                            DataFlowValue a,
                            @NotNull
                            DataFlowValue b)

disequate

@NotNull
DataFlowInfo disequate(@NotNull
                               DataFlowValue a,
                               @NotNull
                               DataFlowValue b)

establishSubtyping

@NotNull
DataFlowInfo establishSubtyping(@NotNull
                                        DataFlowValue value,
                                        @NotNull
                                        JetType type)

and

@NotNull
DataFlowInfo and(@NotNull
                         DataFlowInfo other)

or

@NotNull
DataFlowInfo or(@NotNull
                        DataFlowInfo other)

hasTypeInfoConstraints

boolean hasTypeInfoConstraints()