include module type of struct include DeclareRefBase(Module_T) endinclude module type of struct include DeclareOwn(Module_T) endThe base WASM objects, declared in wasm.h as WASM_DECLARE_OWN.
type t = DeclareOwn(Module_T).tThe 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(DeclareRefBase(Module_T).{O}4) endOwnable objects are the basic structure that maintains an ownership state on C objects.
The owning structure type.
val make_new : unit -> sMake a new owning structure from a new pointer.
val make_from_raise :
DeclareOwn(Module_T).{O}4.t Ctypes.ptr ->
object_state ->
sMake a new owning structure from a pointer. See also WasmerBindings.OwnableObject.make_from_unsafe.
val make_from_unsafe :
DeclareOwn(Module_T).{O}4.t 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 :
DeclareOwn(Module_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Module_T).{O}4.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 :
DeclareOwn(Module_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Module_T).{O}4.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 -> DeclareOwn(Module_T).{O}4.t 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 -> DeclareOwn(Module_T).{O}4.t 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 -> DeclareOwn(Module_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_const : s -> DeclareOwn(Module_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_givenaway : s -> DeclareOwn(Module_T).{O}4.t 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.
val get_host_info : s -> unit Ctypes.ptrval set_host_info : s -> unit Ctypes.ptr -> unitval set_host_info_with_finalizer :
s ->
unit Ctypes.ptr ->
(unit Ctypes.ptr -> unit) ->
unitFinalizers will not get GC'd (so long as they are called once)
val validate : Store.s -> Byte.Vec.s -> boolval new_ : Store.s -> Byte.Vec.s -> sval new_unsafe : Store.s -> Byte.Vec.s -> sval imports : s -> Importtype.Vec.s -> unitval exports : s -> Importtype.Vec.s -> unitval serialize : s -> Byte.Vec.s -> unitval deserialize : Store.s -> Byte.Vec.s -> sval deserialize_unsafe : Store.s -> Byte.Vec.s -> s