public final class SemanticReverseAbstractInterpreter extends ChainableReverseAbstractInterpreter
Constructor and Description |
---|
SemanticReverseAbstractInterpreter(JSTypeRegistry typeRegistry)
Creates a semantic reverse abstract interpreter.
|
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.
|
append, declareNameInScope, firstPreciserScopeKnowingConditionOutcome, getFirst, getRestrictedWithoutNull, getRestrictedWithoutUndefined, getTypeIfRefinable, nextPreciserScopeKnowingConditionOutcome
public SemanticReverseAbstractInterpreter(JSTypeRegistry typeRegistry)
public FlowScope getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, boolean outcome)
ReverseAbstractInterpreter
condition
- the condition's expressionblindScope
- the scope without knowledge about the outcome of the
conditionoutcome
- the outcome of the conditionCopyright © 2009–2023 Google. All rights reserved.