blob: be5aadce191d4e8bd4947066d7d5512834676b23 (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
%{
open Config_tree
exception Duplicate_child of (string * string)
(* Used for checking if after merging immediate children,
any of them have duplicate children inside,
e.g. "interfaces { ethernet eth0 {...} ethernet eth0 {...} }" *)
let find_duplicate_children n =
let rec aux xs =
let xs = List.sort compare xs in
match xs with
| [] | [_] -> ()
| x :: x' :: xs ->
if x = x' then raise (Duplicate_child (Vytree.name_of_node n, x))
else aux (x' :: xs)
in
aux @@ Vytree.list_children n
(* When merging nodes with values, append values of subsequent nodes to the
first one *)
let merge_data l r = {l with values=(List.append l.values r.values)}
%}
%token <string> IDENTIFIER
%token <string> STRING
%token <string> COMMENT
%token INACTIVE
%token EPHEMERAL
%token LEFT_BRACE
%token RIGHT_BRACE
%token LEFT_BRACKET
%token RIGHT_BRACKET
%token SEMI
%token EOF
%start <Config_tree.t> config
%%
opt_comment:
| (* empty *) { None }
| c = COMMENT { Some (String.trim c) }
;
value:
| v = STRING
{ v }
| v = IDENTIFIER
{ v }
;
values:
| v = value { [v] }
| LEFT_BRACKET; vs = separated_nonempty_list(SEMI, value); RIGHT_BRACKET
{ (List.rev vs) }
;
leaf_node:
| comment = opt_comment; inactive = boption(INACTIVE); ephemeral = boption(EPHEMERAL);
name = IDENTIFIER; values = values; SEMI
{ Vytree.make_full {values=(List.rev values); comment=comment; inactive=inactive; ephemeral=ephemeral} name []}
| comment = opt_comment; inactive = boption(INACTIVE); ephemeral = boption(EPHEMERAL);
name = IDENTIFIER; SEMI (* valueless node *)
{ Vytree.make_full {default_data with comment=comment; inactive=inactive; ephemeral=ephemeral} name [] }
;
node:
| comment = opt_comment; inactive = boption(INACTIVE); ephemeral = boption(EPHEMERAL);
name = IDENTIFIER; LEFT_BRACE; children = list(node_content); RIGHT_BRACE
{
let node =
Vytree.make_full {default_data with comment=comment; inactive=inactive; ephemeral=ephemeral} name [] in
let node = List.fold_left Vytree.adopt node (List.rev children) |> Vytree.merge_children merge_data in
try
List.iter find_duplicate_children (Vytree.children_of_node node);
node
with
| Duplicate_child (child, dup) ->
failwith (Printf.sprintf "Node \"%s %s\" has two children named \"%s\"" name child dup)
}
;
tag_node:
| comment = opt_comment; inactive = boption(INACTIVE); ephemeral = boption(EPHEMERAL);
name = IDENTIFIER; tag = IDENTIFIER; LEFT_BRACE; children = list(node_content); RIGHT_BRACE
{
let outer_node = Vytree.make_full default_data name [] in
let inner_node =
Vytree.make_full {default_data with comment=comment; inactive=inactive; ephemeral=ephemeral} tag [] in
let inner_node = List.fold_left Vytree.adopt inner_node (List.rev children) |> Vytree.merge_children merge_data in
let node = Vytree.adopt outer_node inner_node in
try
List.iter find_duplicate_children (Vytree.children_of_node inner_node);
node
with
| Duplicate_child (child, dup) ->
failwith (Printf.sprintf "Node \"%s %s %s\" has two children named \"%s\"" name tag child dup)
}
node_content: n = node { n } | n = leaf_node { n } | n = tag_node { n };
%public config:
| ns = list(node); EOF
{
let root = make "root" in
let root = List.fold_left Vytree.adopt root (List.rev ns) |> Vytree.merge_children merge_data in
try
List.iter find_duplicate_children (Vytree.children_of_node root);
root
with
| Duplicate_child (child, dup) ->
failwith (Printf.sprintf "Node \"%s\" has two children named \"%s\"" child dup)
}
;
|
