The base WASM objects, declared in wasm.h as WASM_DECLARE_OWN.
module T : StructTypeThe C unique (abstract) base type for the structure. the structure type is therefore t structure.
val t : t Ctypes.structure Ctypes.typThe Ctypes definition of the C structure.
This structure maintains an ownership status. See also WasmerBindings.OwnableObject.
include module type of struct include OwnableObject({O}4) endOwnable objects are the basic structure that maintains an ownership state on C objects.
val make_new : unit -> sMake a new owning structure from a new pointer.
val make_from_raise : t Ctypes.structure Ctypes.ptr -> object_state -> sMake a new owning structure from a pointer. See also WasmerBindings.OwnableObject.make_from_unsafe.
val make_from_unsafe : t Ctypes.structure Ctypes.ptr -> object_state -> sMake a new owning structure from a pointer. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise.
val make_from_raise_data :
t Ctypes.structure Ctypes.ptr ->
object_state ->
T.d ->
sMake a new owning structure from a pointer, with an additional data. See also WasmerBindings.OwnableObject.make_from_unsafe_data.
val make_from_unsafe_data :
t Ctypes.structure Ctypes.ptr ->
object_state ->
T.d ->
sMake a new owning structure from a pointer, with an additional data. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise_data.
val get_state : s -> object_stateReturns the current ownership state.
val lose_ownership : s -> unitSets the current ownership state to WasmerBindings.object_state.State_PassedAway. Ignores the current ownership.
val grab_ownership : s -> t Ctypes.structure Ctypes.ptrgrab_ownership self gives the ownership of the pointed object to the caller code. It is equivalent to let p = get_ptr self in lose_ownership self; p, but with additional checks for the current ownership.
val gain_ownership_back : s -> t Ctypes.structure Ctypes.ptrDeletes the object if required, then sets the ownership to WasmerBindings.object_state.State_Owned and returns the pointer. This is only to be used in own-out function arguments in the C API or equivalent.
val is_null : s -> boolReturns Ctypes.is_null on the underlying pointer, ignoring the current ownership state.
val get_ptr : s -> t Ctypes.structure Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_const : s -> t Ctypes.structure Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_givenaway : s -> t Ctypes.structure Ctypes.ptrInherently unsafe function that returns a given-away pointer.
val delete : s -> unitFrees the underlying pointer. A side effect is to mark the object as given away.