Member predicate AbstractValues::AbstractValue::hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file f. For more information, see Locations.

predicate hasLocationInfo(string f, int startline, int startcolumn, int endline, int endcolumn)