com.google.javascript.jscomp.type

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 as goog.isObject.

Constructor Summary

Constructors

Constructor and Description
ClosureReverseAbstractInterpreter(JSTypeRegistry typeRegistry)

Method Summary

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

Methods inherited from class java.lang.Object

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

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 expression

blindScope - the scope without knowledge about the outcome of the condition

outcome - the outcome of the condition