4f4d21a8ca
Then, use FilterExceptions to filter out any exceptions that aren't declared in the calling method's exception spec. Note that this isn't perfect: Java's checks for typed exceptions prevents an *extra* exception from being thrown this way, but it's still possible to forget to *allow* an exception using FilterExceptions. This is 99% a mechanical change; the interesting bit is in gen_java_decl.py and one unusual pattern in NativeErrorsTest.java. No exception specs were changed here. |
||
|---|---|---|
| .. | ||
| src | ||
| build.gradle | ||