CodeQL library for JavaScript
codeql/javascript-all 0.3.4 (changelog, source)
Search

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

AnalyzedPositiveConditionGuard

A refinement for a condition guard with an outcome of true.

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.