avail/avail/AvailRuntime/HookType/RAISE_JAVA_EXCEPTION_IN_AVAIL

RAISE_JAVA_EXCEPTION_IN_AVAIL

RAISE_JAVA_EXCEPTION_IN_AVAIL("«raise Java exception in Avail»", functionType( tuple( pojoTypeForClass(Throwable::class.java)), bottom), null)

The HookType for a hook that holds the A_Function to invoke when an exception is caught in a Pojo invocation of a Java method or CallbackSystem.Callback.

Functions

get

operator fun get(runtime: AvailRuntime): A_Function

Extract the current A_Function for this hook from the given runtime.

set

operator fun set(runtime: AvailRuntime, function: A_Function)

Set this hook for the given runtime to the given function.

Properties

defaultFunctionSupplier

val defaultFunctionSupplier: OnceSupplier<A_Function>

A supplier of a default A_Function to use for this hook type.

functionType

val functionType: A_Type

The A_Function that hooks of this type use.

name

val name: String

ordinal

val ordinal: Int