Module AbstractPropertiesImpl

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

Provides the internal representation of abstract properties and related predicates.

Import path

semmle.javascript.dataflow.internal.AbstractPropertiesImpl

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

getAnInitialPropertyValue

Holds if the result is known to be an initial value of property propertyName of one of the concrete objects represented by baseVal.

shouldAlwaysTrackProperties

Holds if baseVal is an abstract value whose properties we track for the purposes of getALocalValue.

shouldTrackProperties

Holds if baseVal is an abstract value whose properties we track.

Datatypes

TAbstractProperty

An abstract representation of a set of concrete properties, characterized by a base object (which is an abstract value for which properties are tracked) and a property name.