4.63. kink/javahost/PROXY_THROW_RESULT

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

See kink/javahost/JAVA_PROXY for Java dynamic proxies.

4.63.1. type proxy_throw_result

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

4.63.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.

4.63.2. PROXY_THROW_RESULT.new(Exception_java_val)

`new` makes a proxy_throw_result 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.

4.63.3. PROXY_THROW_RESULT.is?(Val)

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