Revision 8b3afe43
Added by Xavier Thirioux almost 9 years ago
| src/parser_lustre.mly | ||
|---|---|---|
| 97 | 97 |
%% |
| 98 | 98 |
|
| 99 | 99 |
prog: |
| 100 |
typ_def_list top_decl_list EOF {$1;(List.rev $2)}
|
|
| 100 |
open_list typ_def_list top_decl_list EOF { $1 @ (List.rev $3) }
|
|
| 101 | 101 |
|
| 102 | 102 |
header: |
| 103 |
typ_def_list top_decl_header_list EOF {$1;(List.rev $2)}
|
|
| 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) }
|
|
| 104 | 111 |
|
| 105 | 112 |
top_decl_list: |
| 106 | 113 |
top_decl {[$1]}
|
| ... | ... | |
| 200 | 207 |
in |
| 201 | 208 |
Hashtbl.add node_table $3 nd; nd} |
| 202 | 209 |
|
| 203 |
| OPEN QUOTE IDENT QUOTE { mktop_decl (Open $3) }
|
|
| 204 |
|
|
| 205 | 210 |
nodespec_list: |
| 206 | 211 |
NODESPEC { $1 }
|
| 207 | 212 |
| NODESPEC nodespec_list { LustreSpec.merge_node_annot $1 $2 }
|
Also available in: Unified diff
- merged test script
- added -d support
- corrected #open parser problem
- corrected interface/implementation (.lusi/.lus) checking
for types (not yet for clocks)