Revision 5c1184ad src/printers.ml
| src/printers.ml | ||
|---|---|---|
| 185 | 185 |
(fprintf_list ~sep:"@ " (fun fmt cdecl -> |
| 186 | 186 |
fprintf fmt "%s = %a;" |
| 187 | 187 |
cdecl.const_id pp_const cdecl.const_value)) clist) |
| 188 |
| Include s -> fprintf fmt "include %s" s
|
|
| 188 |
| Open s -> fprintf fmt "open \"%s\"" s
|
|
| 189 | 189 |
|
| 190 | 190 |
|
| 191 | 191 |
let pp_prog fmt prog = |
| ... | ... | |
| 200 | 200 |
fprintf fmt "const %a@ " |
| 201 | 201 |
(fprintf_list ~sep:"@ " (fun fmt cdecl -> |
| 202 | 202 |
pp_print_string fmt cdecl.const_id)) clist) |
| 203 |
| Include s -> fprintf fmt "include %s" s |
|
| 204 |
|
|
| 203 |
| Open s -> fprintf fmt "open \"%s\"" s |
|
| 205 | 204 |
|
| 205 |
let pp_lusi fmt decl = |
|
| 206 |
match decl.top_decl_desc with |
|
| 207 |
| Node nd -> |
|
| 208 |
fprintf fmt |
|
| 209 |
"@[<v>node %s (%a) returns (%a);@ @]@ " |
|
| 210 |
nd.node_id |
|
| 211 |
pp_node_args nd.node_inputs |
|
| 212 |
pp_node_args nd.node_outputs |
|
| 213 |
| ImportedNode _ | ImportedFun _ | Consts _ | Open _ -> () |
|
| 206 | 214 |
|
| 207 | 215 |
let pp_econst fmt c = |
| 208 | 216 |
match c with |
| ... | ... | |
| 287 | 295 |
) fmt spec.behaviors; |
| 288 | 296 |
fprintf fmt "@]@ */@."; |
| 289 | 297 |
() |
| 298 |
|
|
| 299 |
|
|
| 300 |
let pp_lusi_header fmt filename prog = |
|
| 301 |
fprintf fmt "(* Generated Lustre Interface file from %s *)@." filename; |
|
| 302 |
fprintf fmt "(* generated by Lustre-C compiler version %s, %a *)@." Version.number pp_date (Unix.gmtime (Unix.time ())); |
|
| 303 |
fprintf fmt "(* feel free to mask some of the nodes by removing them from this file. *)@.@."; |
|
| 304 |
List.iter (fprintf fmt "%a@." pp_lusi) prog |
|
| 305 |
|
|
| 290 | 306 |
(* Local Variables: *) |
| 291 | 307 |
(* compile-command:"make -C .." *) |
| 292 | 308 |
(* End: *) |
Also available in: Unified diff