hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-16 20:46:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: Update to getLocation() in DeduplicatePathGraph

Browse Source
This commit is contained in:
Asger F
2024-05-06 10:09:20 +02:00
parent c408ab9e6a
commit 2de9af2236
1 changed files with 2 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1004,19 +1004,8 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
result = this.asPreservedNode().toString() or this = TCollapsedPathNode(_, result)
}
/**
* 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://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
*/
predicate hasLocationInfo(
string filepath, int startline, int startcolumn, int endline, int endcolumn
) {
this.getAnOriginalPathNode()
.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
}
/** Gets the location of this node. */
Location getLocation() { result = this.getAnOriginalPathNode().getLocation() }
/** Gets the corresponding data-flow node. */
Node getNode() {