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.isDef.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	ClosureReverseAbstractInterpreter.TypeRestriction

Nested classes/interfaces inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter

ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor, ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor, ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<java.lang.String,com.google.common.base.Function<ClosureReverseAbstractInterpreter.TypeRestriction,JSType>>	restricters Functions used to restrict types.
private Visitor<JSType>	restrictToNotObjectVisitor For when goog.isObject returns false.
private Visitor<JSType>	restrictToObjectVisitor For when goog.isObject returns true.

Fields inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter

restrictToArrayVisitor, restrictToNotArrayVisitor, typeRegistry

Constructor Summary

Constructors

Constructor and Description
ClosureReverseAbstractInterpreter(JSTypeRegistry typeRegistry)

Method Summary

Modifier and Type	Method and Description
FlowScope	getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, boolean outcome) Calculates a precise version of the scope knowing the outcome of the condition.
private FlowScope	restrictParameter(Node parameter, JSType type, FlowScope blindScope, com.google.common.base.Function<ClosureReverseAbstractInterpreter.TypeRestriction,JSType> restriction, boolean outcome)

Methods inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter

append, declareNameInScope, firstPreciserScopeKnowingConditionOutcome, getFirst, getNativeType, getRestrictedByTypeOfResult, getRestrictedWithoutNull, getRestrictedWithoutUndefined, getTypeIfRefinable, nextPreciserScopeKnowingConditionOutcome

Methods inherited from class java.lang.Object

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

Field Detail

restrictToObjectVisitor

private final Visitor<JSType> restrictToObjectVisitor

For when goog.isObject returns true. This includes functions, but not null.

restrictToNotObjectVisitor

private final Visitor<JSType> restrictToNotObjectVisitor

For when goog.isObject returns false.

restricters

private java.util.Map<java.lang.String,com.google.common.base.Function<ClosureReverseAbstractInterpreter.TypeRestriction,JSType>> restricters

Functions used to restrict types.

Constructor Detail

ClosureReverseAbstractInterpreter

public ClosureReverseAbstractInterpreter(JSTypeRegistry typeRegistry)

Method Detail

getPreciserScopeKnowingConditionOutcome

public FlowScope getPreciserScopeKnowingConditionOutcome(Node condition,
                                                         FlowScope blindScope,
                                                         boolean 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

restrictParameter

private FlowScope restrictParameter(Node parameter,
                                    JSType type,
                                    FlowScope blindScope,
                                    com.google.common.base.Function<ClosureReverseAbstractInterpreter.TypeRestriction,JSType> restriction,
                                    boolean outcome)