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

Interface DataFlowInfo

public interface DataFlowInfo

Field Summary

Fields

Modifier and Type	Field and Description
static DataFlowInfo	EMPTY

Method Summary

Methods

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