Class SemanticReverseAbstractInterpreter
- java.lang.Object
-
- com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter
-
- com.google.javascript.jscomp.type.SemanticReverseAbstractInterpreter
-
- All Implemented Interfaces:
ReverseAbstractInterpreter
public 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.
-
-
Field Summary
-
Fields inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter
convention
-
-
Constructor Summary
Constructors Constructor Description SemanticReverseAbstractInterpreter(CodingConvention convention, JSTypeRegistry typeRegistry)
Creates a semantic reverse abstract interpreter.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FlowScope
getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, boolean 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, getRestrictedWithoutNull, getRestrictedWithoutUndefined, getTypeIfRefinable, nextPreciserScopeKnowingConditionOutcome
-
-
-
-
Constructor Detail
-
SemanticReverseAbstractInterpreter
public SemanticReverseAbstractInterpreter(CodingConvention convention, JSTypeRegistry typeRegistry)
Creates a semantic reverse abstract interpreter.
-
-
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 expressionblindScope
- the scope without knowledge about the outcome of the conditionoutcome
- the outcome of the condition
-
-