diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-02-16 12:54:25 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-02-16 12:57:16 +0700 |
| commit | 56130bfe30781c210c7459e5df9afa7d894aeec7 (patch) | |
| tree | 38d599cf29172085d9b76b595162c49a1dba0104 /src/reference_tree.mli | |
| parent | a245e894c6f5473f3051366389d3f90a778dacbd (diff) | |
| download | vyconf-56130bfe30781c210c7459e5df9afa7d894aeec7.tar.gz vyconf-56130bfe30781c210c7459e5df9afa7d894aeec7.zip | |
Add logging of interface definition file loading.
Move the high level load_interface_definitions function from Reference_tree
to Startup.
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index 6db696a..33813d5 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -14,6 +14,8 @@ type ref_node_data = { secret: bool; } +exception Bad_interface_definition of string + exception Validation_error of string type t = ref_node_data Vytree.t @@ -24,8 +26,6 @@ val default : t val load_from_xml : t -> string -> t -val load_interface_definitions : string -> (t, string) result - val validate_path : string -> t -> string list -> string list * string option val is_multi : t -> string list -> bool |