Python: Fix incomplete renaming in Thrift.qll.

tausbn · tausbn · commit 9f06e133132f · 2020-06-25T10:48:26.000+02:00
diff --git a/python/ql/src/external/Thrift.qll b/python/ql/src/external/Thrift.qll
@@ -52,8 +52,8 @@ class ThriftElement extends ExternalData {
         exists(ThriftElement first, ThriftElement last |
             first = this.getChild(min(int l | exists(this.getChild(l)))) and
             last = this.getChild(max(int l | exists(this.getChild(l)))) and
-            first.hasLocationInfo(fp, bl, bc, _, _) and
-            last.hasLocationInfo(fp, _, _, el, ec)
+            first.hasLocationInfo(filepath, startline, startcolumn, _, _) and
+            last.hasLocationInfo(filepath, _, _, endline, endcolumn)
         )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -52,8 +52,8 @@ class ThriftElement extends ExternalData {`
`52`	`52`	`exists(ThriftElement first, ThriftElement last \|`
`53`	`53`	`first = this.getChild(min(int l \| exists(this.getChild(l)))) and`
`54`	`54`	`last = this.getChild(max(int l \| exists(this.getChild(l)))) and`
`55`		`- first.hasLocationInfo(fp, bl, bc, _, _) and`
`56`		`- last.hasLocationInfo(fp, _, _, el, ec)`
	`55`	`+ first.hasLocationInfo(filepath, startline, startcolumn, _, _) and`
	`56`	`+ last.hasLocationInfo(filepath, _, _, endline, endcolumn)`
`57`	`57`	`)`
`58`	`58`	`}`
`59`	`59`