diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-08-28 07:01:18 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-08-28 07:01:18 +0600 |
| commit | 25138074b99e0bb3dbc89018ca40ddcbc3c6a702 (patch) | |
| tree | 97ca541c6c7125bb1aa587cac97524b709631efd /src/reference_tree.ml | |
| parent | 8caa65f953642cd8fe12ca6493b25a463093f30b (diff) | |
| download | vyconf-25138074b99e0bb3dbc89018ca40ddcbc3c6a702.tar.gz vyconf-25138074b99e0bb3dbc89018ca40ddcbc3c6a702.zip | |
Add is_multi function to the reference tree module.
This is important for decision is set should add or replace a value.
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index f7a2ffb..28a87a6 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -167,3 +167,7 @@ let rec validate_path validators node path = | Some c -> aux c ps (p :: acc) | None -> raise (Validation_error ((Printf.sprintf "Path %s is incomplete" (show_path acc)))))) in aux node path [] + +let is_multi reftree path = + let data = Vytree.get_data reftree path in + data.multi |