summaryrefslogtreecommitdiff
path: root/src/reference_tree.mli
blob: 701adf0fd107435c95c24099ce1e49e7ac49bce6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
type ref_node_data = {
    node_type: Vytree.node_type;
    constraints: (Value_checker.value_constraint list);
    help: string;
    value_help: (string * string) list;
    constraint_error_message: string;
    multi: bool;
    valueless: bool;
    owner: string option;
}

exception Validation_error of string

type t = ref_node_data Vytree.t

val default_data : ref_node_data

val load_from_xml : t -> string -> t

val validate_path : (string, string) Hashtbl.t -> t -> string list -> string list * string option