From c94c69415fa60040eeab2eb146d29f3bcbfe7e4d Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Fri, 25 Jun 2021 12:11:19 +0100 Subject: [PATCH] Document Content::hasLocationInfo --- .../semmle/code/java/dataflow/internal/DataFlowUtil.qll | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll index 52b1f26f056..1e405fbd070 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll @@ -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 }