Predicate DefectFilter::defectResults

Holds if id is the opaque identifier of a result reported by query queryPath, such that message is the associated message and the location of the result spans column startcol of line startline to column endcol of line endline in file filepath.

For more information, see LGTM locations.

predicate defectResults(int id, string queryPath, string filepath, int startline, int startcol, int endline, int endcol, string message)