Document Content::hasLocationInfo

This commit is contained in:
Chris Smowton
2021-06-25 12:11:19 +01:00
parent cf7c966ea7
commit c94c69415f

View File

@@ -173,6 +173,13 @@ class Content extends TContent {
/** Gets a textual representation of this element. */
abstract string toString();
/**
* 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 `filepath`.
* For more information, see
* [Locations](https://help.semmle.com/QL/learn-ql/ql/locations.html).
*/
predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
path = "" and sl = 0 and sc = 0 and el = 0 and ec = 0
}