Python: Modernise the py/mixed-tuple-returns query.

This commit is contained in:
Rasmus Wriedt Larsen
2019-09-17 16:07:14 +02:00
parent 396a72db5f
commit 631603fa92

View File

@@ -13,10 +13,10 @@
import python
predicate returns_tuple_of_size(Function func, int size, AstNode origin) {
exists(Return return, TupleObject val |
exists(Return return, TupleValue val |
return.getScope() = func and
return.getValue().refersTo(val, origin) |
size = val.getLength()
return.getValue().pointsTo(val, origin) |
size = val.length()
)
}