summaryrefslogtreecommitdiff
path: root/src/commit.mli
blob: da97389ad61b27130a8bc45e56b94fa9ff1dd198 (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
type tree_source = DELETE | ADD

type status = {
  success : bool;
  out : string;
}

type node_data = {
    script_name: string;
    priority: int;
    tag_value: string option;
    arg_value: string option;
    path: string list;
    source: tree_source;
    reply: status option;
} [@@deriving to_yojson]

type commit_data = {
    session_id: string;
    named_active : string option;
    named_proposed : string option;
    dry_run: bool;
    atomic: bool;
    background: bool;
    init: status option;
    node_list: node_data list;
} [@@deriving to_yojson]

val default_node_data : node_data

val default_commit_data : commit_data

val calculate_priority_lists : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t -> node_data list * node_data list

val commit_store : commit_data -> unit

val show_commit_data : Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t -> string