diff options
| -rw-r--r-- | src/session.ml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/session.ml b/src/session.ml index 602ab14..8aeffb3 100644 --- a/src/session.ml +++ b/src/session.ml @@ -69,6 +69,21 @@ let validate w _s path = RT.validate_path D.(w.dirs.validators) w.reference_tree path with RT.Validation_error x -> raise (Session_error x) +let validate_tree w' t = + let validate_path w out path = + let res = + try + RT.validate_path D.(w.dirs.validators) w.reference_tree path; + out + with RT.Validation_error x -> out ^ x + in res + in + let paths = CT.value_paths_of_tree t in + let out = List.fold_left (validate_path w') "" paths in + match out with + | "" -> () + | _ -> raise (Session_error out) + let split_path w _s path = RT.split_path w.reference_tree path |