Swaps overridden_call globally

BekaValentine · BekaValentine · commit e07a003f75a3 · 2020-02-25T11:02:18.000-08:00
diff --git a/python/ql/src/Expressions/CallArgs.qll b/python/ql/src/Expressions/CallArgs.qll
@@ -124,7 +124,7 @@ predicate correct_args_if_called_as_method_objectapi(Call call, FunctionObject f
 }
 
 /** Holds if `call` is a call to `overriding`, which overrides `func`. */
-predicate overridden_call(FunctionObject func, FunctionObject overriding, Call call)  {
+predicate overridden_call_objectapi(FunctionObject func, FunctionObject overriding, Call call)  {
     overriding.overrides(func) and
     overriding.getACall().getNode() = call
 }

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,7 @@ predicate correct_args_if_called_as_method_objectapi(Call call, FunctionObject f`
`124`	`124`	`}`
`125`	`125`
`126`	`126`	/** Holds if `call` is a call to `overriding`, which overrides `func`. */
`127`		`-predicate overridden_call(FunctionObject func, FunctionObject overriding, Call call) {`
	`127`	`+predicate overridden_call_objectapi(FunctionObject func, FunctionObject overriding, Call call) {`
`128`	`128`	`overriding.overrides(func) and`
`129`	`129`	`overriding.getACall().getNode() = call`
`130`	`130`	`}`