Python QL: Use Module.getPath() to implement ModuleObject.getPath()

markshannon · markshannon · commit 0035dc29829b · 2019-05-15T10:09:00.000+01:00
diff --git a/python/ql/src/semmle/python/types/ModuleObject.qll b/python/ql/src/semmle/python/types/ModuleObject.qll
@@ -234,10 +234,7 @@ class PackageObject extends ModuleObject {
     }
 
     override Container getPath() {
-        exists(ModuleObject m | 
-            m.getPackage() = this |
-            result = m.getPath().getParent()
-        )
+        result = this.getModule().getPath()
     }
 
     ModuleObject submodule(string name) {

Original file line number	Diff line number	Diff line change
`@@ -234,10 +234,7 @@ class PackageObject extends ModuleObject {`
`234`	`234`	`}`
`235`	`235`
`236`	`236`	`override Container getPath() {`
`237`		`- exists(ModuleObject m \|`
`238`		`- m.getPackage() = this \|`
`239`		`- result = m.getPath().getParent()`
`240`		`- )`
	`237`	`+ result = this.getModule().getPath()`
`241`	`238`	`}`
`242`	`239`
`243`	`240`	`ModuleObject submodule(string name) {`