hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Use NiceLocationExpr::hasLocationInfo for ide jump-to-def

Browse Source
This commit is contained in:
Jason Reed
2020-05-04 11:36:54 -04:00
parent b0f72ebb56
commit c34fa840a2
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
python/ql/src/analysis/LocalDefinitions.ql
View File

@@ -12,7 +12,8 @@ import DefinitionTracking
external string selectedSourceFile();
from NiceLocationExpr use, Definition defn, string kind
where defn = definitionOf(use, kind)
and use.(Expr).getLocation().getFile() = getEncodedFile(selectedSourceFile())
from NiceLocationExpr use, Definition defn, string kind, string f
where defn = definitionOf(use, kind)
and use.hasLocationInfo(f, _, _, _, _)
and getEncodedFile(selectedSourceFile()).getAbsolutePath() = f
select use, defn, kind