chore: add Plugin.reset (#13)

See extism/extism#627
extism · Dec 13, 2023 · e6e67a7 · e6e67a7
1 parent a042901
commit e6e67a7
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/src/bindings.ml b/src/bindings.ml
@@ -181,3 +181,5 @@ let extism_plugin_cancel =
   fn "extism_plugin_cancel" (ptr void @-> returning bool)
 
 let extism_plugin_id = fn "extism_plugin_id" (ptr void @-> returning (ptr char))
+
+let extism_plugin_reset = fn "extism_plugin_reset" (ptr void @-> returning bool)
diff --git a/src/extism.mli b/src/extism.mli
@@ -403,6 +403,9 @@ module Plugin : sig
   (** Free a plugin immediately, this isn't normally required unless there are a
       lot of plugins open at once *)
 
+  val reset : t -> bool
+  (** Reset the Extism runtime, this will invalidate all allocated memory *)
+
   val function_exists : t -> string -> bool
   (** Check if a function is exported by a plugin *)
 

diff --git a/src/plugin.ml b/src/plugin.ml
@@ -203,3 +203,6 @@ let id { pointer; _ } =
     let id = Bindings.extism_plugin_id pointer in
     let s = Ctypes.string_from_ptr id ~length:16 in
     Uuidm.unsafe_of_bytes s
+
+let reset { pointer; _ } =
+  Bindings.extism_plugin_reset pointer