Package avail.interpreter.primitive.hooks

Types

Link copied to clipboard
object P_DeclareStringificationAtom : Primitive

Primitive: Inform the VM of the atom of the preferred stringification method.

Link copied to clipboard
object P_GetRaiseJavaExceptionInAvailFunction : Primitive

Primitive: Get the function to invoke to raise a Java Throwable (wrapped in a pojo) as an Avail exception. That function is invoked whenever a Java Throwable is caught in a Pojo method or Callback invocation.

Link copied to clipboard
object P_InstallBaseFrameFunction : Primitive

Primitive: Set the function to invoke as the base frame of every fiber. It takes a function and a tuple of arguments, and returns that function's result, if successful, out to the fiber result itself. Answer the previous value of this hook function.

Link copied to clipboard
object P_SetImplicitObserveFunction : Primitive

Primitive: Set the function to invoke whenever a variable with write reactors is written when write tracing is not enabled.

Link copied to clipboard
object P_SetInvalidMessageSendFunction : Primitive

Primitive: Set the function to invoke whenever a whenever a method send fails for a definitional reason.

Link copied to clipboard
object P_SetRaiseJavaExceptionInAvailFunction : Primitive

Primitive: Set the function to invoke to raise a Java Throwable (wrapped in a pojo) as an Avail exception. That function is invoked whenever a Java Throwable is caught in a Pojo method or Callback invocation.

object P_SetResultDisagreedWithExpectedTypeFunction : Primitive

Primitive: Set the function to invoke whenever the result produced by a method invocation disagrees with the type decreed by the applicable semantic restrictions at the call site.

Link copied to clipboard
object P_SetUnassignedVariableAccessFunction : Primitive

Primitive: Set the function to invoke whenever the value produced by a method send disagrees with the type expected.