Python: Moves dependent queries to suffixed predicate names

This commit is contained in:
Rebecca Valentine
2020-03-02 17:37:11 -08:00
parent 48bcde8e0f
commit c058e17089
3 changed files with 3 additions and 3 deletions

View File

@@ -16,6 +16,6 @@ import Raising
import Exceptions.NotImplemented
from Raise r, ClassObject t
where type_or_typeof(r, t, _) and not t.isLegalExceptionType() and not t.failedInference() and not use_of_not_implemented_in_raise(r, _)
where type_or_typeof(r, t, _) and not t.isLegalExceptionType() and not t.failedInference() and not use_of_not_implemented_in_raise_objectapi(r, _)
select r, "Illegal class '" + t.getName() + "' raised; will result in a TypeError being raised instead."

View File

@@ -14,6 +14,6 @@ import python
import Exceptions.NotImplemented
from Expr notimpl
where use_of_not_implemented_in_raise(_, notimpl)
where use_of_not_implemented_in_raise_objectapi(_, notimpl)
select notimpl, "NotImplemented is not an Exception. Did you mean NotImplementedError?"