From 7b40f631380164ac0e06bfec3c82ceb667f98423 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 2 May 2023 14:17:01 -0500 Subject: T5194: add default_value --- src/reference_tree.ml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index c9ce5a3..bf7f35a 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -26,6 +26,7 @@ type ref_node_data = { valueless: bool; owner: string option; priority: string option; + default_value: string option; keep_order: bool; hidden: bool; secret: bool; @@ -48,6 +49,7 @@ let default_data = { valueless = false; owner = None; priority = None; + default_value = None; keep_order = false; hidden = false; secret = false; @@ -166,7 +168,13 @@ let rec insert_from_xml basepath reftree xml = let node_owner = try let o = Xml.attrib xml "owner" in Some o with _ -> None in - let data = {data with node_type=node_type; owner=node_owner} in + let default_value_elem = find_xml_child "defaultValue" xml in + let default_value = + (match default_value_elem with + | Some (Xml.Element (_, _, [Xml.PCData s])) -> Some s + | _ -> None) + in + let data = {data with node_type=node_type; owner=node_owner; default_value=default_value} in let name = Xml.attrib xml "name" in let path = basepath @ [name] in let new_tree = Vytree.insert_maybe reftree path data in -- cgit v1.2.3