hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared: update qldoc

Browse Source
This commit is contained in:
Nora Dimitrijević
2025-10-14 14:47:36 +02:00
parent 6ede0a7950
commit 462d8c5dc4
1 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -466,8 +466,10 @@ module Configs<LocationSig Location, InputSig<Location> Lang> {
* `observeDiffInformedIncrementalMode`). By default, this is the location * `observeDiffInformedIncrementalMode`). By default, this is the location
* of the source itself, but this predicate should include any locations * of the source itself, but this predicate should include any locations
* that are reported as the primary-location of the query or as an * that are reported as the primary-location of the query or as an
* additional location ("$@" interpolation). For a query that doesn't * additional location ("$@" interpolation). Queries with `@kind path-problem`
* report the source at all, this predicate can be `none()`. * that override this predicate should also return the location of the source
* itself. For a query that doesn't report the source at all, this predicate
* should be `none()`.
*/ */
default Location getASelectedSourceLocation(Node source) { result = source.getLocation() } default Location getASelectedSourceLocation(Node source) { result = source.getLocation() }
@@ -477,8 +479,10 @@ module Configs<LocationSig Location, InputSig<Location> Lang> {
* `observeDiffInformedIncrementalMode`). By default, this is the location * `observeDiffInformedIncrementalMode`). By default, this is the location
* of the sink itself, but this predicate should include any locations * of the sink itself, but this predicate should include any locations
* that are reported as the primary-location of the query or as an * that are reported as the primary-location of the query or as an
* additional location ("$@" interpolation). For a query that doesn't * additional location ("$@" interpolation). Queries with `@kind path-problem`
* report the sink at all, this predicate can be `none()`. * that override this predicate should also return the location of the sink
* itself. For a query that doesn't report the sink at all, this predicate
* should be `none()`.
*/ */
default Location getASelectedSinkLocation(Node sink) { result = sink.getLocation() } default Location getASelectedSinkLocation(Node sink) { result = sink.getLocation() }
} }
@@ -615,8 +619,10 @@ module Configs<LocationSig Location, InputSig<Location> Lang> {
* `observeDiffInformedIncrementalMode`). By default, this is the location * `observeDiffInformedIncrementalMode`). By default, this is the location
* of the source itself, but this predicate should include any locations * of the source itself, but this predicate should include any locations
* that are reported as the primary-location of the query or as an * that are reported as the primary-location of the query or as an
* additional location ("$@" interpolation). For a query that doesn't * additional location ("$@" interpolation). Queries with `@kind path-problem`
* report the source at all, this predicate can be `none()`. * that override this predicate should also return the location of the source
* itself. For a query that doesn't report the source at all, this predicate
* should be `none()`.
*/ */
default Location getASelectedSourceLocation(Node source) { result = source.getLocation() } default Location getASelectedSourceLocation(Node source) { result = source.getLocation() }
@@ -626,8 +632,10 @@ module Configs<LocationSig Location, InputSig<Location> Lang> {
* `observeDiffInformedIncrementalMode`). By default, this is the location * `observeDiffInformedIncrementalMode`). By default, this is the location
* of the sink itself, but this predicate should include any locations * of the sink itself, but this predicate should include any locations
* that are reported as the primary-location of the query or as an * that are reported as the primary-location of the query or as an
* additional location ("$@" interpolation). For a query that doesn't * additional location ("$@" interpolation). Queries with `@kind path-problem`
* report the sink at all, this predicate can be `none()`. * that override this predicate should also return the location of the sink
* itself. For a query that doesn't report the sink at all, this predicate
* should be `none()`.
*/ */
default Location getASelectedSinkLocation(Node sink) { result = sink.getLocation() } default Location getASelectedSinkLocation(Node sink) { result = sink.getLocation() }
} }