6.71. kink/javahost/JAVA_THROW

6.71.1. type java_throw

`java_throw` is a wrapper of a java.lang.Throwable.

A `java_throw` value is returned from a handler of a Java proxy to order that the Java procedure throw the throwable.

6.71.1.1. Java_throw.throwable

`throwable` returns the wrapped instance of java.lang.Throwable.

The result of will be a `java` value (th, java.lang.Throwable), where `th` is an instance of java.lang.Throwable.

6.71.2. JAVA_THROW.new(Throwable)

`new` returns a `java_throw` value which wraps `Throwable`.

Precondition

`Throwable` must be a `java` value (th, *), where `th` is an instance of java.lang.Throwable.

6.71.3. JAVA_THROW.is?(Val)

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