3.63. kink/javahost/THROWER

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.

Thrower.thrown

`thrown` returns the exception wrapped by the `Thrower`.

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

3.63.2. THROWER.new(Exception_java_val)

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

3.63.3. THROWER.is?(Val)

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