Predicate hasSmapLocationInfo

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

For example, an SMAP input location may be a location within a JSP file, which may have a corresponding SMAP output location in generated Java code.

Import path

import semmle.code.SMAP

predicate hasSmapLocationInfo(string inputPath, int isl, int isc, int iel, int iec, string outputPath, int osl, int oel)