Jordan Rose 4f4d21a8ca java: Mark all bridge_fns that return Result as throws Exception ...

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.

2024-02-22 13:34:57 -08:00

..

src

java: Mark all bridge_fns that return Result as throws Exception

2024-02-22 13:34:57 -08:00

build.gradle

Java: Add -Xcheck:jni to host testing

2023-11-15 10:17:26 -08:00