summaryrefslogtreecommitdiff
path: root/src/reference_tree.mli
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2025-11-16 17:54:51 -0600
committerJohn Estabrook <jestabro@vyos.io>2025-11-24 10:32:49 -0600
commitff9fb213f99b4730ae6042fa723eedb517a41bd9 (patch)
treedef2e10b2573f4811728144e462cc261f50d50d9 /src/reference_tree.mli
parent2d58176886ca731c91484b0367083ad46f2ede14 (diff)
downloadvyos1x-config-ff9fb213f99b4730ae6042fa723eedb517a41bd9.tar.gz
vyos1x-config-ff9fb213f99b4730ae6042fa723eedb517a41bd9.zip
T8009: add allowed_edit_level to test necessary conditions on path
Diffstat (limited to 'src/reference_tree.mli')
-rw-r--r--src/reference_tree.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli
index 4c8072b..c2805ae 100644
--- a/src/reference_tree.mli
+++ b/src/reference_tree.mli
@@ -119,6 +119,8 @@ val set_leaf_data : t -> Config_tree.t -> string list -> Config_tree.t
[@@alert exn "Vytree.Empty_path"]
[@@alert exn "Vytree.Nonexistent_path"]
+val allowed_edit_level : t -> string list -> (unit, string) result
+
val get_ceil_data : (ref_node_data -> string option) -> t -> string list -> string option
[@@alert exn "Vytree.Empty_path"]
[@@alert exn "Vytree.Nonexistent_path"]