Skip to content

Commit 6636f72

Browse files
committed
Python: Moves more predicates over to suffixed form
1 parent 6d10c47 commit 6636f72

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

python/ql/src/semmle/python/types/Exceptions.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -260,19 +260,19 @@ class ExceptFlowNode extends ControlFlowNode {
260260
)
261261
}
262262

263-
private predicate handledObject(Object obj, ClassObject cls, ControlFlowNode origin) {
263+
private predicate handledObject_objectapi(Object obj, ClassObject cls, ControlFlowNode origin) {
264264
this.getType().refersTo(obj, cls, origin)
265265
or
266266
exists(Object tup |
267-
this.handledObject(tup, theTupleType(), _) |
267+
this.handledObject_objectapi(tup, theTupleType(), _) |
268268
element_from_tuple(tup).refersTo(obj, cls, origin)
269269
)
270270
}
271271

272272
/** Gets the inferred type(s) that are handled by this node, splitting tuples if possible. */
273273
pragma [noinline]
274274
predicate handledException_objectapi(Object obj, ClassObject cls, ControlFlowNode origin) {
275-
this.handledObject(obj, cls, origin) and not cls = theTupleType()
275+
this.handledObject_objectapi(obj, cls, origin) and not cls = theTupleType()
276276
or
277277
not exists(this.getNode().(ExceptStmt).getType()) and obj = theBaseExceptionType() and cls = theTypeType() and
278278
origin = this

0 commit comments

Comments
 (0)