Python: Clean up variable names

tausbn · web-flow · commit dc0f50d49afc · 2022-06-27T19:54:09.000Z
Makes it more consistent with the names used in
`legalMergeCandidateNonEmpty`.
diff --git a/python/ql/lib/semmle/python/pointsto/MRO.qll b/python/ql/lib/semmle/python/pointsto/MRO.qll
@@ -344,12 +344,12 @@ private class ClassListList extends TClassListList {
     )
   }
 
-  private predicate legalMergeCandidate(ClassObjectInternal cls, ClassListList remaining) {
-    cls = this.getAHead() and remaining = this
+  private predicate legalMergeCandidate(ClassObjectInternal cls, ClassListList remainingList) {
+    cls = this.getAHead() and remainingList = this
     or
-    this.legalMergeCandidate(cls, ConsList(Empty(), remaining))
+    this.legalMergeCandidate(cls, ConsList(Empty(), remainingList))
     or
-    this.legalMergeCandidateNonEmpty(cls, remaining, Empty())
+    this.legalMergeCandidateNonEmpty(cls, remainingList, Empty())
   }
 
   pragma[noinline]

Original file line number	Diff line number	Diff line change
`@@ -344,12 +344,12 @@ private class ClassListList extends TClassListList {`
`344`	`344`	`)`
`345`	`345`	`}`
`346`	`346`
`347`		`- private predicate legalMergeCandidate(ClassObjectInternal cls, ClassListList remaining) {`
`348`		`- cls = this.getAHead() and remaining = this`
	`347`	`+ private predicate legalMergeCandidate(ClassObjectInternal cls, ClassListList remainingList) {`
	`348`	`+ cls = this.getAHead() and remainingList = this`
`349`	`349`	`or`
`350`		`- this.legalMergeCandidate(cls, ConsList(Empty(), remaining))`
	`350`	`+ this.legalMergeCandidate(cls, ConsList(Empty(), remainingList))`
`351`	`351`	`or`
`352`		`- this.legalMergeCandidateNonEmpty(cls, remaining, Empty())`
	`352`	`+ this.legalMergeCandidateNonEmpty(cls, remainingList, Empty())`
`353`	`353`	`}`
`354`	`354`
`355`	`355`	`pragma[noinline]`