Python: Move objectapi code to suffixed name

This commit is contained in:
Rebecca Valentine
2020-03-02 16:31:06 -08:00
parent 85f5ad2231
commit 48bcde8e0f

View File

@@ -2,7 +2,7 @@
import python
/** Holds if `notimpl` refers to `NotImplemented` or `NotImplemented()` in the `raise` statement */
predicate use_of_not_implemented_in_raise(Raise raise, Expr notimpl) {
predicate use_of_not_implemented_in_raise_objectapi(Raise raise, Expr notimpl) {
notimpl.refersTo(Object::notImplemented()) and
(
notimpl = raise.getException() or