summaryrefslogtreecommitdiff
path: root/src/reference_tree.mli
blob: 8b635d23ae17c2e504c0202f59a59a40cbdd8f1e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
type node_type = Leaf | Tag | Other

type ref_node_data = {
    node_type: 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;
    keep_order: bool;
    hidden: bool;
    secret: bool;
}

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 -> t -> string list -> string list * string option

val is_multi : t -> string list -> bool

val is_hidden : t -> string list -> bool

val is_secret : t -> string list -> bool

val is_tag : t -> string list -> bool

val is_leaf : t -> string list -> bool

val is_valueless : t -> string list -> bool

val get_keep_order : t -> string list -> bool

val get_owner : t -> string list -> string option

val get_help_string : t -> string list -> string