Python: Moves library predicates to suffixed names

This commit is contained in:
Rebecca Valentine
2020-03-02 17:04:32 -08:00
parent 85f5ad2231
commit 8ee2587997

View File

@@ -1,7 +1,7 @@
import python
/** Whether the raise statement 'r' raises 'type' from origin 'orig' */
predicate type_or_typeof(Raise r, ClassObject type, AstNode orig) {
predicate type_or_typeof_objectapi(Raise r, ClassObject type, AstNode orig) {
exists(Expr exception |
exception = r.getRaised() |
exception.refersTo(type, _, orig)