Module VariableTypeInference
INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.
Provides classes implementing type inference for variables.
Import path
import semmle.javascript.dataflow.internal.VariableTypeInference
Classes
| AnalyzedConditionGuard |
A refinement node where the guard is a condition. |
| AnalyzedNegativeConditionGuard |
A refinement for a condition guard with an outcome of |
| AnalyzedPositiveConditionGuard |
A refinement for a condition guard with an outcome of |
| AnalyzedRefinement |
An analyzed refinement node. |
| AnalyzedSsaDefinition |
An SSA definitions that has been analyzed. |
| AnalyzedVarDef |
A vardef with helper predicates for flow analysis. |
| FunctionWithAnalyzedParameters |
A function with inter-procedural type inference for its parameters. |