summaryrefslogtreecommitdiff
path: root/src/config_tree.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/config_tree.ml')
-rw-r--r--src/config_tree.ml22
1 files changed, 22 insertions, 0 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml
index b97f150..f99c737 100644
--- a/src/config_tree.ml
+++ b/src/config_tree.ml
@@ -8,6 +8,8 @@ exception Useless_set
type config_node_data = {
values: string list;
comment: string option;
+ inactive: bool;
+ ephemeral: bool;
}
type t = config_node_data Vytree.t
@@ -15,6 +17,8 @@ type t = config_node_data Vytree.t
let default_data = {
values = [];
comment = None;
+ inactive = false;
+ ephemeral = false;
}
let make name = Vytree.make default_data name
@@ -84,3 +88,21 @@ let set_comment node path comment =
let get_comment node path =
let data = Vytree.get_data node path in
data.comment
+
+let set_inactive node path inactive =
+ let data = Vytree.get_data node path in
+ Vytree.update node path {data with inactive=inactive}
+
+let is_inactive node path =
+ let data = Vytree.get_data node path in
+ data.inactive
+
+let set_ephemeral node path ephemeral =
+ let data = Vytree.get_data node path in
+ Vytree.update node path {data with ephemeral=ephemeral}
+
+let is_ephemeral node path =
+ let data = Vytree.get_data node path in
+ data.ephemeral
+
+