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.VariableTypeInferenceClasses
| 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. |