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 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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SemanticReverseAbstractInterpreter
public SemanticReverseAbstractInterpreter(CodingConvention convention,
JSTypeRegistry typeRegistry)
- Creates a semantic reverse abstract interpreter.
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