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.

Properties

defaultFunctionSupplier

val defaultFunctionSupplier: OnceSupplier<A_Function>

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

val functionType: A_Type

The A_Function that hooks of this type use.

val hookName: A_String

The name to attach to functions plugged into this hook.

val name: String

val ordinal: Int