Python: ObjectAPI to ValueAPI: ObjectAPI.qll: Fixes error in isIterator

BekaValentine · BekaValentine · commit 0b2db56051c4 · 2020-03-31T22:15:21.000-07:00
diff --git a/python/ql/src/semmle/python/objects/ObjectAPI.qll b/python/ql/src/semmle/python/objects/ObjectAPI.qll
@@ -423,7 +423,7 @@ class   ClassValue extends Value {
           * '__next__' method exists to define a class as an iterator.
           */
          major_version() = 2 and this.hasAttribute("next") and 
-         exists(ClassObject other, FunctionObject iter | 
+         exists(ClassValue other, FunctionValue iter | 
             other.declaredAttribute("__iter__") = iter |
             iter.getAnInferredReturnType() = this
          )

Original file line number	Diff line number	Diff line change
`@@ -423,7 +423,7 @@ class ClassValue extends Value {`
`423`	`423`	`* '__next__' method exists to define a class as an iterator.`
`424`	`424`	`*/`
`425`	`425`	`major_version() = 2 and this.hasAttribute("next") and`
`426`		`- exists(ClassObject other, FunctionObject iter \|`
	`426`	`+ exists(ClassValue other, FunctionValue iter \|`
`427`	`427`	`other.declaredAttribute("__iter__") = iter \|`
`428`	`428`	`iter.getAnInferredReturnType() = this`
`429`	`429`	`)`