com.google.javascript.jscomp

Class TypeInference.BooleanOutcomePair

java.lang.Object

com.google.javascript.jscomp.TypeInference.BooleanOutcomePair

Enclosing class:

TypeInference

private final class TypeInference.BooleanOutcomePair
extends java.lang.Object

When traversing short-circuiting binary operations, we need to keep track of two sets of boolean literals: 1. toBooleanOutcomes: boolean literals as converted from any types, 2. booleanValues: boolean literals from just boolean types.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
BooleanOutcomePair(BooleanLiteralSet toBooleanOutcomes, BooleanLiteralSet booleanValues, FlowScope leftScope, FlowScope rightScope)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

toBooleanOutcomes

final BooleanLiteralSet toBooleanOutcomes

booleanValues

final BooleanLiteralSet booleanValues

leftScope

final FlowScope leftScope

rightScope

final FlowScope rightScope

joinedScope

FlowScope joinedScope

Constructor Detail

BooleanOutcomePair

BooleanOutcomePair(BooleanLiteralSet toBooleanOutcomes,
                   BooleanLiteralSet booleanValues,
                   FlowScope leftScope,
                   FlowScope rightScope)

Method Detail

getJoinedFlowScope

FlowScope getJoinedFlowScope()

Gets the safe estimated scope without knowing if all of the subexpressions will be evaluated.

getOutcomeFlowScope

FlowScope getOutcomeFlowScope(int nodeType,
                              boolean outcome)

Gets the outcome scope if we do know the outcome of the entire expression.