6.71. kink/javahost/JAVA_THROW

6.71.1. java_throw型

java_throwはjava.lang.Throwableのラッパである。

Javaプロキシのハンドラがjava_throwを戻すと、Javaの手続きがThrowableを投げるよう指示できる。

6.71.1.1. Java_throw.throwable

throwableは、ラップされたjava.lang.Throwableのインスタンスを戻す。

結果はjava値(th, java.lang.Throwable)になる。ここでthは、java.lang.Throwableのインスタンスである。

6.71.2. JAVA_THROW.new(Throwable)

newは、Throwableをラップしたjava_throwを戻す。

事前条件

Throwableはjava値(th, *)でなければならない。ここでthは、java.lang.Throwableのインスタンスでなければならない。

6.71.3. JAVA_THROW.is?(Val)

is?は、Valがjava_throwであるかどうかを戻す。