Module AbstractValuesImpl

INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.

Provides a representation for abstract values.

Import path

semmle.javascript.dataflow.internal.AbstractValuesImpl

Imports

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.