hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Use the standard URL format for Location.toString()

Browse Source
This commit is contained in:
Ian Lynagh
2021-09-13 11:53:34 +01:00
parent c86311e879
commit 4fbb165dce
2 changed files with 6 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/change-notes/2021-09-13-location-toString.md Normal file
View File

@@ -0,0 +1,3 @@
lgtm,codescanning
* The format of the Location.toString() output has changed to
`file:///path/to/file:startLine:startColumn:endLine:endColumn`.

14
java/ql/lib/semmle/code/Location.qll
View File

@@ -168,18 +168,10 @@ class Location extends @location {
/** Gets a string representation containing the file and range for this location. */
string toString() {
exists(File f, int startLine, int startCol, int endLine, int endCol |
locations_default(this, f, startLine, startCol, endLine, endCol)
exists(string filepath, int startLine, int startCol, int endLine, int endCol |
this.hasLocationInfo(filepath, startLine, startCol, endLine, endCol)
|
if endLine = startLine
then
result =
f.toString() + ":" + startLine.toString() + "[" + startCol.toString() + "-" +
endCol.toString() + "]"
else
result =
f.toString() + ":" + startLine.toString() + "[" + startCol.toString() + "]-" +
endLine.toString() + "[" + endCol.toString() + "]"
toUrl(filepath, startLine, startCol, endLine, endCol, result)
)
}