THROWER mod provides thrower vals, which represent a Java exception within an action of a Java dynamic proxy.
See kink/javahost/JAVA_PROXY for Java dynamic proxies.
3.63.1. type thrower¶
A thrower val is a val, which represents a Java exception within an action of a Java dynamic proxy.
`thrown` returns the exception wrapped by the `Thrower`.
The result of `thrown` is a java_val, whose static type is java.lang.Throwable.
`new` makes a thrower val which wraps `Exception_java_val`.
• `Exception_java_val` must be a java_val, whose object reference is an instance of java.lang.Throwable.
`is?` returns whether `Val` is a thrower val.