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 7161ca5 commit a8ae843Copy full SHA for a8ae843
python/ql/src/Exceptions/Raising.qll
@@ -1,18 +1,5 @@
1
import python
2
3
-/** Whether the raise statement 'r' raises 'type' from origin 'orig' */
4
-predicate type_or_typeof_objectapi(Raise r, ClassObject type, AstNode orig) {
5
- exists(Expr exception |
6
- exception = r.getRaised() |
7
- exception.refersTo(type, _, orig)
8
- or
9
- not exists(ClassObject exc_type | exception.refersTo(exc_type)) and
10
- not type = theTypeType() and // First value is an unknown exception type
11
- exception.refersTo(_, type, orig)
12
- )
13
-
14
-}
15
16
/** Whether the raise statement 'r' raises 'type' from origin 'orig' */
17
predicate type_or_typeof(Raise r, ClassValue type, AstNode orig) {
18
exists(Expr exception |
0 commit comments