We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e481ddf commit 2bbe475Copy full SHA for 2bbe475
python/ql/src/Exceptions/NotImplemented.qll
@@ -1,15 +1,6 @@
1
2
import python
3
4
-/** Holds if `notimpl` refers to `NotImplemented` or `NotImplemented()` in the `raise` statement */
5
-predicate use_of_not_implemented_in_raise_objectapi(Raise raise, Expr notimpl) {
6
- notimpl.refersTo(Object::notImplemented()) and
7
- (
8
- notimpl = raise.getException() or
9
- notimpl = raise.getException().(Call).getFunc()
10
- )
11
-}
12
-
13
/** Holds if `notimpl` refers to `NotImplemented` or `NotImplemented()` in the `raise` statement */
14
predicate use_of_not_implemented_in_raise(Raise raise, Expr notimpl) {
15
notimpl.pointsTo(Value::named("NotImplemented")) and
0 commit comments