Revision 7291cb80
Added by Xavier Thirioux over 9 years ago
| src/c_backend.ml | ||
|---|---|---|
| 567 | 567 |
pp_machine_memtype_name m.mname.node_id |
| 568 | 568 |
pp_registers_struct m |
| 569 | 569 |
(Utils.fprintf_list ~sep:"; " pp_c_decl_instance_var) m.minstances |
| 570 |
(Utils.pp_final_char_if_non_empty "; " m.minstances) |
|
| 570 |
(Utils.pp_final_char_if_non_empty "; " m.minstances) |
|
| 571 |
|
|
| 571 | 572 |
(* |
| 572 | 573 |
let pp_static_array_instance fmt m (v, m) = |
| 573 | 574 |
fprintf fmt "%s" (mk_addr_var m v) |
| ... | ... | |
| 889 | 890 |
(* Print the svn version number and the supported C standard (C90 or C99) *) |
| 890 | 891 |
print_version header_fmt; |
| 891 | 892 |
fprintf header_fmt "#ifndef _%s@.#define _%s@." baseNAME baseNAME; |
| 892 |
(* |
|
| 893 |
let machine_iter = compute_dep_machines machines in |
|
| 894 |
*) |
|
| 895 |
(* Print the struct of all machines. This need to be done following the good |
|
| 896 |
order. *) |
|
| 893 |
(* Print the struct declarations of all machines. *) |
|
| 897 | 894 |
fprintf header_fmt "/* Struct declarations */@."; |
| 898 | 895 |
List.iter (print_machine_struct header_fmt) machines; |
| 899 | 896 |
pp_print_newline header_fmt (); |
| 900 |
|
|
| 901 | 897 |
(* Print the prototypes of all machines *) |
| 902 | 898 |
fprintf header_fmt "/* Nodes declarations */@."; |
| 903 | 899 |
List.iter (print_machine_decl header_fmt) machines; |
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)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@171 041b043f-8d7c-46b2-b46e-ef0dd855326e