summaryrefslogtreecommitdiff
path: root/src/config_diff.mli
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2025-10-27 22:42:37 -0500
committerJohn Estabrook <jestabro@vyos.io>2025-11-03 08:11:05 -0600
commit2aea7ddbc092b03dbf07dce385786b9c5c16a881 (patch)
tree3c837d8e16cb52d1d7bb85ea4afc5ffb913a81d0 /src/config_diff.mli
parent6ced0e36b3f98675d82007f8c77193e2836c4b60 (diff)
downloadvyos1x-config-2aea7ddbc092b03dbf07dce385786b9c5c16a881.tar.gz
vyos1x-config-2aea7ddbc092b03dbf07dce385786b9c5c16a881.zip
T7915: add compiler alerts and annotations
Diffstat (limited to 'src/config_diff.mli')
-rw-r--r--src/config_diff.mli18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/config_diff.mli b/src/config_diff.mli
index fdc662c..98e0ee3 100644
--- a/src/config_diff.mli
+++ b/src/config_diff.mli
@@ -42,10 +42,28 @@ exception Empty_comparison
exception Nonexistent_child
val clone : ?recurse:bool -> ?set_values:string list option -> Config_tree.t -> Config_tree.t ->string list -> Config_tree.t
+[@@alert exn "Vytree.Nonexistent_path"]
+
val diff_tree : string list -> Config_tree.t -> Config_tree.t -> Config_tree.t
+[@@alert exn "Config_diff.Incommensurable"]
+[@@alert exn "Config_diff.Empty_comparison"]
+
val show_diff : ?cmds:bool -> string list -> Config_tree.t -> Config_tree.t -> string
+[@@alert exn "Config_diff.Incommensurable"]
+[@@alert exn "Config_diff.Empty_comparison"]
+
val tree_union : Config_tree.t -> Config_tree.t -> Config_tree.t
+[@@alert exn "Tree_alg.Incompatible_union"]
+[@@alert exn "Tree_alg.Nonexistent_child"]
+
val tree_merge : ?destructive:bool -> Config_tree.t -> Config_tree.t -> Config_tree.t
+[@@alert exn "Tree_alg.Incompatible_union"]
+[@@alert exn "Tree_alg.Nonexistent_child"]
+
val mask_tree : Config_tree.t -> Config_tree.t -> Config_tree.t
+[@@alert exn "Config_diff.Incommensurable"]
+[@@alert exn "Config_diff.Empty_comparison"]
+
val make_diff_cstore : Config_tree.t -> Config_tree.t -> int -> Diff_cstore.t result
+
val get_tagged_delete_tree : Config_tree.t -> Config_tree.t