Package com.google.javascript.jscomp.type

Class SemanticReverseAbstractInterpreter

java.lang.Object

com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter

com.google.javascript.jscomp.type.SemanticReverseAbstractInterpreter

All Implemented Interfaces:

ReverseAbstractInterpreter

public final class SemanticReverseAbstractInterpreter
extends ChainableReverseAbstractInterpreter

A reverse abstract interpreter using the semantics of the JavaScript language as a means to reverse interpret computations. This interpreter expects the parse tree inputs to be typed.

Constructor Summary

Constructors

Constructor	Description
SemanticReverseAbstractInterpreter(JSTypeRegistry typeRegistry)	Creates a semantic reverse abstract interpreter.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SemanticReverseAbstractInterpreter

public SemanticReverseAbstractInterpreter(JSTypeRegistry typeRegistry)

Creates a semantic reverse abstract interpreter.

Method Detail

getPreciserScopeKnowingConditionOutcome

@CheckReturnValue
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