## lustrec / src / parser_lustre.mly @ 6a6abd76

History | View | Annotate | Download (15.7 KB)

1 |
/* ---------------------------------------------------------------------------- |
---|---|

2 |
* SchedMCore - A MultiCore Scheduling Framework |

3 |
* Copyright (C) 2009-2011, ONERA, Toulouse, FRANCE - LIFL, Lille, FRANCE |

4 |
* |

5 |
* This file is part of Prelude |

6 |
* |

7 |
* Prelude is free software; you can redistribute it and/or |

8 |
* modify it under the terms of the GNU Lesser General Public License |

9 |
* as published by the Free Software Foundation ; either version 2 of |

10 |
* the License, or (at your option) any later version. |

11 |
* |

12 |
* Prelude is distributed in the hope that it will be useful, but |

13 |
* WITHOUT ANY WARRANTY ; without even the implied warranty of |

14 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |

15 |
* Lesser General Public License for more details. |

16 |
* |

17 |
* You should have received a copy of the GNU Lesser General Public |

18 |
* License along with this program ; if not, write to the Free Software |

19 |
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 |

20 |
* USA |

21 |
*---------------------------------------------------------------------------- */ |

22 | |

23 |
%{ |

24 |
open LustreSpec |

25 |
open Corelang |

26 |
open Dimension |

27 |
open Utils |

28 | |

29 |
let mktyp x = mktyp (Location.symbol_rloc ()) x |

30 |
let mkclock x = mkclock (Location.symbol_rloc ()) x |

31 |
let mkvar_decl x = mkvar_decl (Location.symbol_rloc ()) x |

32 |
let mkexpr x = mkexpr (Location.symbol_rloc ()) x |

33 |
let mkeq x = mkeq (Location.symbol_rloc ()) x |

34 |
let mkassert x = mkassert (Location.symbol_rloc ()) x |

35 |
let mktop_decl x = mktop_decl (Location.symbol_rloc ()) x |

36 |
let mkpredef_call x = mkpredef_call (Location.symbol_rloc ()) x |

37 |
let mkpredef_unary_call x = mkpredef_unary_call (Location.symbol_rloc ()) x |

38 | |

39 |
let mkdim_int i = mkdim_int (Location.symbol_rloc ()) i |

40 |
let mkdim_bool b = mkdim_bool (Location.symbol_rloc ()) b |

41 |
let mkdim_ident id = mkdim_ident (Location.symbol_rloc ()) id |

42 |
let mkdim_appl f args = mkdim_appl (Location.symbol_rloc ()) f args |

43 |
let mkdim_ite i t e = mkdim_ite (Location.symbol_rloc ()) i t e |

44 | |

45 |
%} |

46 | |

47 |
%token <int> INT |

48 |
%token <string> REAL |

49 |
%token <float> FLOAT |

50 |
%token AUTOMATON STATE UNTIL UNLESS RESTART RESUME LAST |

51 |
%token STATELESS ASSERT OPEN QUOTE FUNCTION |

52 |
%token <string> IDENT |

53 |
%token <LustreSpec.expr_annot> ANNOT |

54 |
%token <LustreSpec.node_annot> NODESPEC |

55 |
%token LBRACKET RBRACKET LCUR RCUR LPAR RPAR SCOL COL COMMA COLCOL |

56 |
%token AMPERAMPER BARBAR NOT POWER |

57 |
%token IF THEN ELSE |

58 |
%token UCLOCK DCLOCK PHCLOCK TAIL |

59 |
%token MERGE FBY WHEN WHENNOT EVERY |

60 |
%token NODE LET TEL RETURNS VAR IMPORTED SENSOR ACTUATOR WCET TYPE CONST |

61 |
%token STRUCT ENUM |

62 |
%token TINT TFLOAT TREAL TBOOL TCLOCK |

63 |
%token RATE DUE |

64 |
%token EQ LT GT LTE GTE NEQ |

65 |
%token AND OR XOR IMPL |

66 |
%token MULT DIV MOD |

67 |
%token MINUS PLUS UMINUS |

68 |
%token PRE ARROW |

69 | |

70 |
%token EOF |

71 | |

72 |
%nonassoc COMMA |

73 |
%left MERGE IF |

74 |
%nonassoc ELSE |

75 |
%right ARROW FBY |

76 |
%left WHEN WHENNOT UCLOCK DCLOCK PHCLOCK |

77 |
%right COLCOL |

78 |
%right IMPL |

79 |
%left OR XOR BARBAR |

80 |
%left AND AMPERAMPER |

81 |
%left NOT |

82 |
%nonassoc INT |

83 |
%nonassoc EQ LT GT LTE GTE NEQ |

84 |
%left MINUS PLUS |

85 |
%left MULT DIV MOD |

86 |
%left UMINUS |

87 |
%left POWER |

88 |
%left PRE LAST |

89 |
%nonassoc RBRACKET |

90 |
%nonassoc LBRACKET |

91 | |

92 |
%start prog |

93 |
%type <Corelang.top_decl list> prog |

94 |
%start header |

95 |
%type <Corelang.top_decl list> header |

96 | |

97 |
%% |

98 | |

99 |
prog: |

100 |
open_list typ_def_list top_decl_list EOF { $1 @ (List.rev $3) } |

101 | |

102 |
header: |

103 |
open_list typ_def_list top_decl_header_list EOF { $1 @ (List.rev $3) } |

104 | |

105 |
open_list: |

106 |
{ [] } |

107 |
| open_lusi open_list { $1 :: $2 } |

108 | |

109 |
open_lusi: |

110 |
OPEN QUOTE IDENT QUOTE { mktop_decl (Open $3) } |

111 | |

112 |
top_decl_list: |

113 |
top_decl {[$1]} |

114 |
| top_decl_list top_decl {$2::$1} |

115 | |

116 | |

117 |
top_decl_header_list: |

118 |
top_decl_header {[$1]} |

119 |
| top_decl_header_list top_decl_header {$2::$1} |

120 | |

121 | |

122 |
top_decl_header: |

123 |
| NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR stateless_opt SCOL |

124 |
{let nd = mktop_decl (ImportedNode |

125 |
{nodei_id = $2; |

126 |
nodei_type = Types.new_var (); |

127 |
nodei_clock = Clocks.new_var true; |

128 |
nodei_inputs = List.rev $4; |

129 |
nodei_outputs = List.rev $9; |

130 |
nodei_stateless = $12; |

131 |
nodei_spec = None}) |

132 |
in |

133 |
Hashtbl.add node_table $2 nd; nd} |

134 | |

135 |
| nodespec_list NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR stateless_opt SCOL |

136 |
{let nd = mktop_decl (ImportedNode |

137 |
{nodei_id = $3; |

138 |
nodei_type = Types.new_var (); |

139 |
nodei_clock = Clocks.new_var true; |

140 |
nodei_inputs = List.rev $5; |

141 |
nodei_outputs = List.rev $10; |

142 |
nodei_stateless = $13; |

143 |
nodei_spec = Some $1}) |

144 |
in |

145 |
Hashtbl.add node_table $3 nd; nd} |

146 | |

147 |
| FUNCTION IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL |

148 |
{let nd = mktop_decl (ImportedNode |

149 |
{nodei_id = $2; |

150 |
nodei_type = Types.new_var (); |

151 |
nodei_clock = Clocks.new_var true; |

152 |
nodei_inputs = List.rev $4; |

153 |
nodei_outputs = List.rev $9; |

154 |
nodei_stateless = true; |

155 |
nodei_spec = None}) |

156 |
in |

157 |
Hashtbl.add node_table $2 nd; nd} |

158 | |

159 |
| nodespec_list FUNCTION IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL |

160 |
{let nd = mktop_decl (ImportedNode |

161 |
{nodei_id = $3; |

162 |
nodei_type = Types.new_var (); |

163 |
nodei_clock = Clocks.new_var true; |

164 |
nodei_inputs = List.rev $5; |

165 |
nodei_outputs = List.rev $10; |

166 |
nodei_stateless = true; |

167 |
nodei_spec = Some $1}) |

168 |
in |

169 |
Hashtbl.add node_table $3 nd; nd} |

170 | |

171 |
top_decl: |

172 |
| CONST cdecl_list { mktop_decl (Consts (List.rev $2)) } |

173 | |

174 |
| NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL_opt locals LET eq_list TEL |

175 |
{let eqs, asserts, annots = $15 in |

176 |
let nd = mktop_decl (Node |

177 |
{node_id = $2; |

178 |
node_type = Types.new_var (); |

179 |
node_clock = Clocks.new_var true; |

180 |
node_inputs = List.rev $4; |

181 |
node_outputs = List.rev $9; |

182 |
node_locals = List.rev $13; |

183 |
node_gencalls = []; |

184 |
node_checks = []; |

185 |
node_asserts = asserts; |

186 |
node_eqs = eqs; |

187 |
node_spec = None; |

188 |
node_annot = match annots with [] -> None | _ -> Some annots}) |

189 |
in |

190 |
Hashtbl.add node_table $2 nd; nd} |

191 | |

192 |
| nodespec_list NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL_opt locals LET eq_list TEL |

193 |
{let eqs, asserts, annots = $16 in |

194 |
let nd = mktop_decl (Node |

195 |
{node_id = $3; |

196 |
node_type = Types.new_var (); |

197 |
node_clock = Clocks.new_var true; |

198 |
node_inputs = List.rev $5; |

199 |
node_outputs = List.rev $10; |

200 |
node_locals = List.rev $14; |

201 |
node_gencalls = []; |

202 |
node_checks = []; |

203 |
node_asserts = asserts; |

204 |
node_eqs = eqs; |

205 |
node_spec = Some $1; |

206 |
node_annot = match annots with [] -> None | _ -> Some annots}) |

207 |
in |

208 |
Hashtbl.add node_table $3 nd; nd} |

209 | |

210 |
nodespec_list: |

211 |
NODESPEC { $1 } |

212 |
| NODESPEC nodespec_list { LustreSpec.merge_node_annot $1 $2 } |

213 | |

214 |
stateless_opt: |

215 |
{ false } |

216 |
| STATELESS {true} |

217 | |

218 |
typ_def_list: |

219 |
/* empty */ {} |

220 |
| typ_def SCOL typ_def_list {$1;$3} |

221 | |

222 |
typ_def: |

223 |
TYPE IDENT EQ typeconst { |

224 |
try |

225 |
Hashtbl.add type_table (Tydec_const $2) (Corelang.get_repr_type $4) |

226 |
with Not_found-> raise (Corelang.Unbound_type ($4, Location.symbol_rloc())) } |

227 |
| TYPE IDENT EQ ENUM LCUR tag_list RCUR { Hashtbl.add type_table (Tydec_const $2) (Tydec_enum ($6 (Tydec_const $2))) } |

228 |
| TYPE IDENT EQ STRUCT LCUR field_list RCUR { Hashtbl.add type_table (Tydec_const $2) (Tydec_struct ($6 (Tydec_const $2))) } |

229 | |

230 |
array_typ_decl: |

231 |
{ fun typ -> typ } |

232 |
| POWER dim array_typ_decl { fun typ -> $3 (Tydec_array ($2, typ)) } |

233 | |

234 |
typeconst: |

235 |
TINT array_typ_decl { $2 Tydec_int } |

236 |
| TBOOL array_typ_decl { $2 Tydec_bool } |

237 |
| TREAL array_typ_decl { $2 Tydec_real } |

238 |
| TFLOAT array_typ_decl { $2 Tydec_float } |

239 |
| IDENT array_typ_decl { $2 (Tydec_const $1) } |

240 |
| TBOOL TCLOCK { Tydec_clock Tydec_bool } |

241 |
| IDENT TCLOCK { Tydec_clock (Tydec_const $1) } |

242 | |

243 |
tag_list: |

244 |
IDENT |

245 |
{ (fun t -> if Hashtbl.mem tag_table $1 |

246 |
then raise (Corelang.Already_bound_label ($1, t, Location.symbol_rloc ())) |

247 |
else (Hashtbl.add tag_table $1 t; $1 :: [])) } |

248 |
| tag_list COMMA IDENT |

249 |
{ (fun t -> if Hashtbl.mem tag_table $3 |

250 |
then raise (Corelang.Already_bound_label ($3, t, Location.symbol_rloc ())) |

251 |
else (Hashtbl.add tag_table $3 t; $3 :: ($1 t))) } |

252 | |

253 |
field_list: |

254 |
{ (fun t -> []) } |

255 |
| field_list IDENT COL typeconst SCOL |

256 |
{ (fun t -> if Hashtbl.mem field_table $2 |

257 |
then raise (Corelang.Already_bound_label ($2, t, Location.symbol_rloc ())) |

258 |
else (Hashtbl.add field_table $2 t; ($2, $4) :: ($1 t))) } |

259 | |

260 |
eq_list: |

261 |
{ [], [], [] } |

262 |
| eq eq_list {let eql, assertl, annotl = $2 in ($1::eql), assertl, annotl} |

263 |
| assert_ eq_list {let eql, assertl, annotl = $2 in eql, ($1::assertl), annotl} |

264 |
| ANNOT eq_list {let eql, assertl, annotl = $2 in eql, assertl, $1@annotl} |

265 |
| automaton eq_list {let eql, assertl, annotl = $2 in ($1::eql), assertl, annotl} |

266 | |

267 |
automaton: |

268 |
AUTOMATON IDENT handler_list { failwith "not implemented" } |

269 | |

270 |
handler_list: |

271 |
{ [] } |

272 |
| handler handler_list { $1::$2 } |

273 | |

274 |
handler: |

275 |
STATE IDENT ARROW unless_list locals LET eq_list TEL until_list { () } |

276 | |

277 |
unless_list: |

278 |
{ [] } |

279 |
| unless unless_list { $1::$2 } |

280 | |

281 |
until_list: |

282 |
{ [] } |

283 |
| until until_list { $1::$2 } |

284 | |

285 |
unless: |

286 |
UNLESS expr RESTART IDENT { } |

287 |
| UNLESS expr RESUME IDENT { } |

288 | |

289 |
until: |

290 |
UNTIL expr RESTART IDENT { } |

291 |
| UNTIL expr RESUME IDENT { } |

292 | |

293 |
assert_: |

294 |
| ASSERT expr SCOL {mkassert ($2)} |

295 | |

296 |
eq: |

297 |
ident_list EQ expr SCOL {mkeq (List.rev $1,$3)} |

298 |
| LPAR ident_list RPAR EQ expr SCOL {mkeq (List.rev $2,$5)} |

299 | |

300 |
tuple_expr: |

301 |
expr COMMA expr {[$3;$1]} |

302 |
| tuple_expr COMMA expr {$3::$1} |

303 | |

304 |
// Same as tuple expr but accepting lists with single element |

305 |
array_expr: |

306 |
expr {[$1]} |

307 |
| expr COMMA array_expr {$1::$3} |

308 | |

309 |
dim_list: |

310 |
dim RBRACKET { fun base -> mkexpr (Expr_access (base, $1)) } |

311 |
| dim RBRACKET LBRACKET dim_list { fun base -> $4 (mkexpr (Expr_access (base, $1))) } |

312 | |

313 |
expr: |

314 |
/* constants */ |

315 |
INT {mkexpr (Expr_const (Const_int $1))} |

316 |
| REAL {mkexpr (Expr_const (Const_real $1))} |

317 |
| FLOAT {mkexpr (Expr_const (Const_float $1))} |

318 |
/* Idents or type enum tags */ |

319 |
| IDENT { |

320 |
if Hashtbl.mem tag_table $1 |

321 |
then mkexpr (Expr_const (Const_tag $1)) |

322 |
else mkexpr (Expr_ident $1)} |

323 |
| LPAR ANNOT expr RPAR |

324 |
{update_expr_annot $3 $2} |

325 |
| LPAR expr RPAR |

326 |
{$2} |

327 |
| LPAR tuple_expr RPAR |

328 |
{mkexpr (Expr_tuple (List.rev $2))} |

329 | |

330 |
/* Array expressions */ |

331 |
| LBRACKET array_expr RBRACKET { mkexpr (Expr_array $2) } |

332 |
| expr POWER dim { mkexpr (Expr_power ($1, $3)) } |

333 |
| expr LBRACKET dim_list { $3 $1 } |

334 | |

335 |
/* Temporal operators */ |

336 |
| PRE expr |

337 |
{mkexpr (Expr_pre $2)} |

338 |
| expr ARROW expr |

339 |
{mkexpr (Expr_arrow ($1,$3))} |

340 |
| expr FBY expr |

341 |
{(*mkexpr (Expr_fby ($1,$3))*) |

342 |
mkexpr (Expr_arrow ($1, mkexpr (Expr_pre $3)))} |

343 |
| expr WHEN IDENT |

344 |
{mkexpr (Expr_when ($1,$3,tag_true))} |

345 |
| expr WHENNOT IDENT |

346 |
{mkexpr (Expr_when ($1,$3,tag_false))} |

347 |
| expr WHEN IDENT LPAR IDENT RPAR |

348 |
{mkexpr (Expr_when ($1, $5, $3))} |

349 |
| MERGE IDENT handler_expr_list |

350 |
{mkexpr (Expr_merge ($2,$3))} |

351 | |

352 |
/* Applications */ |

353 |
| IDENT LPAR expr RPAR |

354 |
{mkexpr (Expr_appl ($1, $3, None))} |

355 |
| IDENT LPAR expr RPAR EVERY IDENT |

356 |
{mkexpr (Expr_appl ($1, $3, Some ($6, tag_true)))} |

357 |
| IDENT LPAR expr RPAR EVERY IDENT LPAR IDENT RPAR |

358 |
{mkexpr (Expr_appl ($1, $3, Some ($8, $6))) } |

359 |
| IDENT LPAR tuple_expr RPAR |

360 |
{mkexpr (Expr_appl ($1, mkexpr (Expr_tuple (List.rev $3)), None))} |

361 |
| IDENT LPAR tuple_expr RPAR EVERY IDENT |

362 |
{mkexpr (Expr_appl ($1, mkexpr (Expr_tuple (List.rev $3)), Some ($6, tag_true))) } |

363 |
| IDENT LPAR tuple_expr RPAR EVERY IDENT LPAR IDENT RPAR |

364 |
{mkexpr (Expr_appl ($1, mkexpr (Expr_tuple (List.rev $3)), Some ($8, $6))) } |

365 | |

366 |
/* Boolean expr */ |

367 |
| expr AND expr |

368 |
{mkpredef_call "&&" [$1;$3]} |

369 |
| expr AMPERAMPER expr |

370 |
{mkpredef_call "&&" [$1;$3]} |

371 |
| expr OR expr |

372 |
{mkpredef_call "||" [$1;$3]} |

373 |
| expr BARBAR expr |

374 |
{mkpredef_call "||" [$1;$3]} |

375 |
| expr XOR expr |

376 |
{mkpredef_call "xor" [$1;$3]} |

377 |
| NOT expr |

378 |
{mkpredef_unary_call "not" $2} |

379 |
| expr IMPL expr |

380 |
{mkpredef_call "impl" [$1;$3]} |

381 | |

382 |
/* Comparison expr */ |

383 |
| expr EQ expr |

384 |
{mkpredef_call "=" [$1;$3]} |

385 |
| expr LT expr |

386 |
{mkpredef_call "<" [$1;$3]} |

387 |
| expr LTE expr |

388 |
{mkpredef_call "<=" [$1;$3]} |

389 |
| expr GT expr |

390 |
{mkpredef_call ">" [$1;$3]} |

391 |
| expr GTE expr |

392 |
{mkpredef_call ">=" [$1;$3]} |

393 |
| expr NEQ expr |

394 |
{mkpredef_call "!=" [$1;$3]} |

395 | |

396 |
/* Arithmetic expr */ |

397 |
| expr PLUS expr |

398 |
{mkpredef_call "+" [$1;$3]} |

399 |
| expr MINUS expr |

400 |
{mkpredef_call "-" [$1;$3]} |

401 |
| expr MULT expr |

402 |
{mkpredef_call "*" [$1;$3]} |

403 |
| expr DIV expr |

404 |
{mkpredef_call "/" [$1;$3]} |

405 |
| MINUS expr %prec UMINUS |

406 |
{mkpredef_unary_call "uminus" $2} |

407 |
| expr MOD expr |

408 |
{mkpredef_call "mod" [$1;$3]} |

409 | |

410 |
/* If */ |

411 |
| IF expr THEN expr ELSE expr |

412 |
{mkexpr (Expr_ite ($2, $4, $6))} |

413 | |

414 |
handler_expr_list: |

415 |
{ [] } |

416 |
| handler_expr handler_expr_list { $1 :: $2 } |

417 | |

418 |
handler_expr: |

419 |
LPAR IDENT ARROW expr RPAR { ($2, $4) } |

420 | |

421 |
signed_const_array: |

422 |
| signed_const { [$1] } |

423 |
| signed_const COMMA signed_const_array { $1 :: $3 } |

424 | |

425 |
signed_const: |

426 |
INT {Const_int $1} |

427 |
| REAL {Const_real $1} |

428 |
| FLOAT {Const_float $1} |

429 |
| IDENT {Const_tag $1} |

430 |
| MINUS INT {Const_int (-1 * $2)} |

431 |
| MINUS REAL {Const_real ("-" ^ $2)} |

432 |
| MINUS FLOAT {Const_float (-1. *. $2)} |

433 |
| LBRACKET signed_const_array RBRACKET { Const_array $2 } |

434 | |

435 |
dim: |

436 |
INT { mkdim_int $1 } |

437 |
| LPAR dim RPAR { $2 } |

438 |
| IDENT { mkdim_ident $1 } |

439 |
| dim AND dim |

440 |
{mkdim_appl "&&" [$1;$3]} |

441 |
| dim AMPERAMPER dim |

442 |
{mkdim_appl "&&" [$1;$3]} |

443 |
| dim OR dim |

444 |
{mkdim_appl "||" [$1;$3]} |

445 |
| dim BARBAR dim |

446 |
{mkdim_appl "||" [$1;$3]} |

447 |
| dim XOR dim |

448 |
{mkdim_appl "xor" [$1;$3]} |

449 |
| NOT dim |

450 |
{mkdim_appl "not" [$2]} |

451 |
| dim IMPL dim |

452 |
{mkdim_appl "impl" [$1;$3]} |

453 | |

454 |
/* Comparison dim */ |

455 |
| dim EQ dim |

456 |
{mkdim_appl "=" [$1;$3]} |

457 |
| dim LT dim |

458 |
{mkdim_appl "<" [$1;$3]} |

459 |
| dim LTE dim |

460 |
{mkdim_appl "<=" [$1;$3]} |

461 |
| dim GT dim |

462 |
{mkdim_appl ">" [$1;$3]} |

463 |
| dim GTE dim |

464 |
{mkdim_appl ">=" [$1;$3]} |

465 |
| dim NEQ dim |

466 |
{mkdim_appl "!=" [$1;$3]} |

467 | |

468 |
/* Arithmetic dim */ |

469 |
| dim PLUS dim |

470 |
{mkdim_appl "+" [$1;$3]} |

471 |
| dim MINUS dim |

472 |
{mkdim_appl "-" [$1;$3]} |

473 |
| dim MULT dim |

474 |
{mkdim_appl "*" [$1;$3]} |

475 |
| dim DIV dim |

476 |
{mkdim_appl "/" [$1;$3]} |

477 |
| MINUS dim %prec UMINUS |

478 |
{mkdim_appl "uminus" [$2]} |

479 |
| dim MOD dim |

480 |
{mkdim_appl "mod" [$1;$3]} |

481 |
/* If */ |

482 |
| IF dim THEN dim ELSE dim |

483 |
{mkdim_ite $2 $4 $6} |

484 | |

485 |
locals: |

486 |
{[]} |

487 |
| VAR vdecl_list SCOL {$2} |

488 | |

489 |
vdecl_list: |

490 |
vdecl {$1} |

491 |
| vdecl_list SCOL vdecl {$3 @ $1} |

492 | |

493 |
vdecl: |

494 |
/* Useless no ?*/ ident_list |

495 |
{List.map mkvar_decl |

496 |
(List.map (fun id -> (id, mktyp Tydec_any, mkclock Ckdec_any, false)) $1)} |

497 | |

498 |
| ident_list COL typeconst clock |

499 |
{List.map mkvar_decl (List.map (fun id -> (id, mktyp $3, $4, false)) $1)} |

500 |
| CONST ident_list COL typeconst /* static parameters don't have clocks */ |

501 |
{List.map mkvar_decl (List.map (fun id -> (id, mktyp $4, mkclock Ckdec_any, true)) $2)} |

502 | |

503 |
cdecl_list: |

504 |
cdecl SCOL { [$1] } |

505 |
| cdecl_list cdecl SCOL { $2::$1 } |

506 | |

507 |
cdecl: |

508 |
IDENT EQ signed_const { |

509 |
let c = { |

510 |
const_id = $1; |

511 |
const_loc = Location.symbol_rloc (); |

512 |
const_type = Types.new_var (); |

513 |
const_value = $3; |

514 |
} in |

515 |
Hashtbl.add consts_table $1 c; c |

516 |
} |

517 | |

518 |
clock: |

519 |
{mkclock Ckdec_any} |

520 |
| when_list |

521 |
{mkclock (Ckdec_bool (List.rev $1))} |

522 | |

523 |
when_cond: |

524 |
WHEN IDENT {($2, tag_true)} |

525 |
| WHENNOT IDENT {($2, tag_false)} |

526 |
| WHEN IDENT LPAR IDENT RPAR {($4, $2)} |

527 | |

528 |
when_list: |

529 |
when_cond {[$1]} |

530 |
| when_list when_cond {$2::$1} |

531 | |

532 |
ident_list: |

533 |
IDENT {[$1]} |

534 |
| ident_list COMMA IDENT {$3::$1} |

535 | |

536 |
SCOL_opt: |

537 |
SCOL {} | {} |