3.64. kink/javahost/THROWER

THROWER mod provides thrower vals, which represent exceptions thrown from Java proxy methods.

3.64.1. type thrower

A thrower val is a val, which represents an exception thrown from a Kink-Java proxy method.

Thrower.thrown

thrown returns the exception wrapped by the Thrower val.

3.64.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.64.3. THROWER.is?(Val)

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