Revision 1732ef44
Added by Arnaud Dieumegard almost 5 years ago
| src/tools/importer/main_lustre_importer.ml | ||
|---|---|---|
| 10 | 10 |
|
| 11 | 11 |
*) |
| 12 | 12 |
open Yojson.Safe |
| 13 |
open Vhdl_to_lustre
|
|
| 13 |
open Mini_vhdl_to_lustre
|
|
| 14 | 14 |
open Vhdl_ast_utils |
| 15 | 15 |
open Vhdl_ast_map |
| 16 | 16 |
open Vhdl_ast |
| ... | ... | |
| 91 | 91 |
output_result mini_vhdl_value; |
| 92 | 92 |
() |
| 93 | 93 |
) |
| 94 |
| GenLus -> () |
|
| 94 |
| GenLus -> ( |
|
| 95 |
let mini_vhdl = to_mini_vhdl#vhdl_design_file_t folded.design_file in |
|
| 96 |
let program = to_lustre#mini_vhdl_design_file_t mini_vhdl in |
|
| 97 |
(* Pretty print lustre value *) |
|
| 98 |
Printers.pp_prog str_formatter program; |
|
| 99 |
output_result (Format.flush_str_formatter ()); |
|
| 100 |
() |
|
| 101 |
) |
|
| 95 | 102 |
) |
| 96 |
(* Pretty print lustre value *) |
|
| 97 |
(* Printers.pp_prog std_formatter program; *) |
|
| 98 | 103 |
| Error e -> failwith (Format.sprintf "Error: %s\n" e) |
| 99 | 104 |
) |
| 100 | 105 |
| None -> () |
Also available in: Unified diff
Start of the Lustre generator