Module PropertyTypeInference

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

Provides classes implementing type inference for properties.

Import path

semmle.javascript.dataflow.internal.PropertyTypeInference

Imports

AbstractProperties
javascript

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

Classes

AnalyzedPropertyRead

Flow analysis for property reads, either explicitly (x.p or x[e]) or implicitly.

AnalyzedPropertyWrite

Flow analysis for property writes, including exports (which are modeled as assignments to module.exports).