avail/avail/AvailRuntime/HookType/IMPLICIT_OBSERVE

IMPLICIT_OBSERVE

IMPLICIT_OBSERVE("«variable with a write reactor was written without write-tracing»", functionType( tuple( mostGeneralFunctionType(), mostGeneralTupleType), Types.TOP.o), null)

The HookType for a hook that holds the A_Function to invoke whenever an A_Variable with write reactors is written to when write tracing is not enabled.

Functions

operator fun get(runtime: AvailRuntime): A_Function

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

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.

val functionType: A_Type

The A_Function that hooks of this type use.

val name: String

val ordinal: Int