diff options
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index a18d875..9d512db 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -3,11 +3,6 @@ type node_type = | Tag | Other -type value_constraint = - | Regex of string [@name "regex"] - | External of string * string option [@name "exec"] - [@@deriving yojson] - type completion_help_type = | List of string [@name "list"] | Path of string [@name "path"] @@ -16,8 +11,8 @@ type completion_help_type = type ref_node_data = { node_type: node_type; - constraints: value_constraint list; - constraint_group: value_constraint list; + constraints: Value_checker.value_constraint list; + constraint_group: Value_checker.value_constraint list; constraint_error_message: string; completion_help: completion_help_type list; help: string; @@ -43,6 +38,8 @@ val default : t val load_from_xml : t -> string -> t +val validate_path : string -> t -> string list -> string list * string option + val is_multi : t -> string list -> bool val is_hidden : t -> string list -> bool |