Module AbstractValuesImpl
INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.
Provides a representation for abstract values.
Import path
import semmle.javascript.dataflow.internal.AbstractValuesImplImports
| AbstractValues | Provides classes for working with abstract values. |
| CustomAbstractValueDefinitions | Provides classes for working with analysis-specific abstract values. |
Predicates
| abstractValueOfType | Gets a definite abstract value with the given type. |
Datatypes
| TAbstractValue | An abstract value inferred by the flow analysis. |