avail/avail/AvailRuntime/HookType/RESULT_DISAGREED_WITH_EXPECTED_TYPE

RESULT_DISAGREED_WITH_EXPECTED_TYPE

RESULT_DISAGREED_WITH_EXPECTED_TYPE("«return result disagreed with expected type»", functionType( tuple( mostGeneralFunctionType(), topMeta(), variableTypeFor(Types.ANY.o)), bottom), null)

The HookType for a hook that holds the function to invoke whenever a returned value disagrees with the expected type.

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