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

Author: jcreedcmu

python/ql/src/analysis/LocalDefinitions.ql

@@ -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