Module SMAP

Provides classes and predicates for working with SMAP files (see JSR-045).

Import path

import semmle.code.SMAP

java	Provides all default Java QL imports.

Holds if an SMAP input location (with path, line and column information) has a corresponding SMAP output location (with path and line information).