5.74. kink/javahost/JAVA_THROW

JAVA_THROW mod provides exception throwing result of a Java dynamic proxy.

See kink/javahost/JAVA_PROXY for Java dynamic proxies.

5.74.1. type java_throw

A java_throw is a val, which represents a Java exception within an action of a Java dynamic proxy.

5.74.1.1. Ptr.thrown

`thrown` returns the Java exception wrapped by the `Ptr`.

The result of `thrown` is a java val, whose static type is java.lang.Throwable.

5.74.2. JAVA_THROW.new(Exception_java_val)

`new` makes a java_throw val which wraps `Exception_java_val`.

Precondition:

• `Exception_java_val` must be a java val, whose object reference is an instance of java.lang.Throwable.

5.74.3. JAVA_THROW.is?(Val)

`is?` returns whether `Val` is a java_throw val.