diff options
Diffstat (limited to 'src/config_tree.ml')
| -rw-r--r-- | src/config_tree.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml index 89f85bf..712db2b 100644 --- a/src/config_tree.ml +++ b/src/config_tree.ml @@ -113,6 +113,11 @@ let is_tag node path = let data = Vytree.get_data node path in data.tag +let is_tag_value node path = + match path with + | [] | [_] -> false + | _ -> is_tag node (Util.drop_last path) + let set_leaf node path leaf = let data = Vytree.get_data node path in Vytree.update node path {data with leaf=leaf} |