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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
/**************************************************************************/
/* */
/* Headache */
/* */
/* Vincent Simonet, Projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 2002 */
/* Institut National de Recherche en Informatique et en Automatique. */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Library General Public License. */
/* */
/* Vincent.Simonet@inria.fr http://cristal.inria.fr/~simonet/ */
/* */
/**************************************************************************/
/**************************************************************************/
/* */
/* Header */
/* Automatic generation of files headers */
/* */
/* Vincent Simonet, Projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 2002 */
/* Institut National de Recherche en Informatique et en Automatique. */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Library General Public License. */
/* */
/* Vincent.Simonet@inria.fr http://cristal.inria.fr/~simonet/ */
/* */
/**************************************************************************/
/**************************************************************************/
/* */
/* Header */
/* Automatic generation of files headers */
/* */
/* Vincent Simonet, Projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 2002 */
/* Institut National de Recherche en Informatique et en Automatique. */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Library General Public License. */
/* */
/* Vincent.Simonet@inria.fr http://cristal.inria.fr/~simonet/ */
/* */
/**************************************************************************/
/* $Id: config_parse.mly,v 1.2 2003/11/13 16:08:44 simonet Exp $ */
%{
open Printf
%}
%token ARROW
%token COLON
%token EOF
%token PIPE
%token <string> STRING
%start configfile
%type <(Str.regexp * Model.generator) list > configfile
%start boot
%type <(string * string * (string * string) list) list> boot
%%
configfile:
opt_pipe item_list EOF { List.rev $2 }
;
opt_pipe:
/*empty*/ { () }
| PIPE { () }
;
item_list:
item { $1 :: [] }
| item_list PIPE item { $3 :: $1 }
;
item:
STRING ARROW STRING parameters
{
let regexp =
try
Str.regexp ("^" ^ $1 ^ "$")
with
Failure msg ->
raise (Config.Error (sprintf "Illegal regexp: %s" msg,
Parsing.rhs_start 1, Parsing.rhs_end 1))
in
let model =
try
Model.find $3
with
Not_found ->
raise (Config.Error (sprintf "Unknown model: %s" $3,
Parsing.rhs_start 3, Parsing.rhs_end 3))
in
let generator =
try
model (List.rev $4)
with
Model.Error msg ->
raise (Config.Error (msg,
Parsing.rhs_start 3, Parsing.rhs_end 4))
in
regexp, generator
}
;
parameters:
/*empty*/ { [] }
| parameters STRING COLON STRING { ($2, $4) :: $1 }
;
/***************************************************************************/
boot:
opt_pipe boot_item_list EOF { List.rev $2 }
;
boot_item_list:
boot_item { $1 :: [] }
| boot_item_list PIPE boot_item { $3 :: $1 }
;
boot_item:
STRING ARROW STRING parameters { $1, $3, $4 }
;
|
