Class ClosureReverseAbstractInterpreter
- java.lang.Object
-
- com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter
-
- com.google.javascript.jscomp.type.ClosureReverseAbstractInterpreter
-
- All Implemented Interfaces:
ReverseAbstractInterpreter
public final class ClosureReverseAbstractInterpreter extends ChainableReverseAbstractInterpreter
A reverse abstract interpreter (RAI) for specific closure patterns such asgoog.isObject
.
-
-
Constructor Summary
Constructors Constructor Description ClosureReverseAbstractInterpreter(JSTypeRegistry typeRegistry)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FlowScope
getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
Calculates a precise version of the scope knowing the outcome of the condition.-
Methods inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter
append, declareNameInScope, firstPreciserScopeKnowingConditionOutcome, getFirst, getTypeIfRefinable, nextPreciserScopeKnowingConditionOutcome
-
-
-
-
Constructor Detail
-
ClosureReverseAbstractInterpreter
public ClosureReverseAbstractInterpreter(JSTypeRegistry typeRegistry)
-
-
Method Detail
-
getPreciserScopeKnowingConditionOutcome
public FlowScope getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
Description copied from interface:ReverseAbstractInterpreter
Calculates a precise version of the scope knowing the outcome of the condition.- Parameters:
condition
- the condition's expressionblindScope
- the scope without knowledge about the outcome of the conditionoutcome
- the outcome of the condition
-
-