diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-01 11:04:39 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | b6474d84fbe2134798049d6c5915b7382e7043aa (patch) | |
| tree | 6e02823fc8629b726943081ae1859c7772a9af80 | |
| parent | 4156d4097304d56ade97f18f8e38723ce8f33ffe (diff) | |
| download | vyos1x-config-b6474d84fbe2134798049d6c5915b7382e7043aa.tar.gz vyos1x-config-b6474d84fbe2134798049d6c5915b7382e7043aa.zip | |
T5194: add priority element
| -rw-r--r-- | src/reference_tree.ml | 4 | ||||
| -rw-r--r-- | src/reference_tree.mli | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 71611ce..f61feaa 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -14,6 +14,7 @@ type ref_node_data = { multi: bool; valueless: bool; owner: string option; + priority: string option; keep_order: bool; hidden: bool; secret: bool; @@ -34,6 +35,7 @@ let default_data = { multi = false; valueless = false; owner = None; + priority = None; keep_order = false; hidden = false; secret = false; @@ -92,6 +94,8 @@ let data_from_xml d x = | Xml.Element ("constraintErrorMessage", _, [Xml.PCData s]) -> {d with constraint_error_message=s} | Xml.Element ("constraint", _, _) -> load_constraint_from_xml d x + | Xml.Element ("priority", _, [Xml.PCData i]) -> + {d with priority=Some i} | Xml.Element ("hidden", _, _) -> {d with hidden=true} | Xml.Element ("secret", _, _) -> {d with secret=true} | Xml.Element ("keepChildOrder", _, _) -> {d with keep_order=true} diff --git a/src/reference_tree.mli b/src/reference_tree.mli index eab9fe9..92f4582 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -14,6 +14,7 @@ type ref_node_data = { multi: bool; valueless: bool; owner: string option; + priority: string option; keep_order: bool; hidden: bool; secret: bool; |