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 | Flow analysis for refinement nodes where the guard is a condition. |
| AnalyzedNegativeConditionGuard | Flow analysis for condition guards with an outcome of |
| AnalyzedPositiveConditionGuard | Flow analysis for condition guards with an outcome of |
| AnalyzedRefinement | Flow analysis for refinement nodes. |
| AnalyzedSsaDefinition | Flow analysis for SSA definitions. |
| AnalyzedVarDef | Flow analysis for |
| FunctionWithAnalyzedParameters | A function with inter-procedural type inference for its parameters. |