From 4c1583cd1343c4d0ba6ceae7f9a8c7637ec37790 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 20 Mar 2023 11:07:25 -0500 Subject: T5089: binding for configtree tree_union --- lib/bindings.ml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/lib/bindings.ml b/lib/bindings.ml index 7f6cb76..1f7ef15 100644 --- a/lib/bindings.ml +++ b/lib/bindings.ml @@ -201,6 +201,15 @@ let show_diff cmds path c_ptr_l c_ptr_r = | CD.Incommensurable -> error_message := "Incommensurable"; "#1@" | CD.Empty_comparison -> error_message := "Empty comparison"; "#1@" +let tree_union c_ptr_l c_ptr_r = + let ct_l = Root.get c_ptr_l in + let ct_r = Root.get c_ptr_r in + try + let ct_ret = CD.tree_union ct_l ct_r in + Ctypes.Root.create ct_ret + with + CD.Nonexistent_child -> error_message := "Nonexistent child"; Ctypes.null + module Stubs(I : Cstubs_inverted.INTERNAL) = struct @@ -229,4 +238,5 @@ struct let () = I.internal "diff_tree" (string @-> (ptr void) @-> (ptr void) @-> returning (ptr void)) diff_tree let () = I.internal "trim_tree" ((ptr void) @-> (ptr void) @-> returning (ptr void)) trim_tree let () = I.internal "show_diff" (bool @-> string @-> (ptr void) @-> (ptr void) @-> returning string) show_diff + let () = I.internal "tree_union" ((ptr void) @-> (ptr void) @-> returning (ptr void)) tree_union end -- cgit v1.2.3 From d2f1a6514300bd946acc8ea89f23b15dc06c8bc0 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 20 Mar 2023 11:07:40 -0500 Subject: T5089: add support for optional arg 'ordered_values' (ord_val) --- lib/bindings.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/bindings.ml b/lib/bindings.ml index 1f7ef15..37be3a2 100644 --- a/lib/bindings.ml +++ b/lib/bindings.ml @@ -37,8 +37,8 @@ let from_string s = let get_error () = !error_message -let render_config c_ptr = - CT.render_config (Root.get c_ptr) +let render_config c_ptr ord_val = + CT.render_config ~ord_val:ord_val (Root.get c_ptr) let render_json c_ptr = CT.render_json (Root.get c_ptr) @@ -217,7 +217,7 @@ struct let () = I.internal "destroy" ((ptr void) @-> returning void) destroy let () = I.internal "from_string" (string @-> returning (ptr void)) from_string let () = I.internal "get_error" (void @-> returning string) get_error - let () = I.internal "to_string" ((ptr void) @-> returning string) render_config + let () = I.internal "to_string" ((ptr void) @-> bool @-> returning string) render_config let () = I.internal "to_json" ((ptr void) @-> returning string) render_json let () = I.internal "to_json_ast" ((ptr void) @-> returning string) render_json_ast let () = I.internal "to_commands" ((ptr void) @-> string @-> returning string) render_commands -- cgit v1.2.3