private final class TypeInference.BooleanOutcomePair
extends java.lang.Object
toBooleanOutcomes
: boolean literals as converted from any types,
2. booleanValues
: boolean literals from just boolean types.Modifier and Type | Field and Description |
---|---|
(package private) BooleanLiteralSet |
booleanValues |
(package private) FlowScope |
joinedScope |
(package private) FlowScope |
leftScope |
(package private) FlowScope |
rightScope |
(package private) BooleanLiteralSet |
toBooleanOutcomes |
Constructor and Description |
---|
BooleanOutcomePair(BooleanLiteralSet toBooleanOutcomes,
BooleanLiteralSet booleanValues,
FlowScope leftScope,
FlowScope rightScope) |
Modifier and Type | Method and Description |
---|---|
(package private) FlowScope |
getJoinedFlowScope()
Gets the safe estimated scope without knowing if all of the
subexpressions will be evaluated.
|
(package private) FlowScope |
getOutcomeFlowScope(int nodeType,
boolean outcome)
Gets the outcome scope if we do know the outcome of the entire
expression.
|
final BooleanLiteralSet toBooleanOutcomes
final BooleanLiteralSet booleanValues
final FlowScope leftScope
final FlowScope rightScope
FlowScope joinedScope
BooleanOutcomePair(BooleanLiteralSet toBooleanOutcomes, BooleanLiteralSet booleanValues, FlowScope leftScope, FlowScope rightScope)
FlowScope getJoinedFlowScope()
FlowScope getOutcomeFlowScope(int nodeType, boolean outcome)