Project

General

Profile

« Previous | Next » 

Revision 1732ef44

Added by Arnaud Dieumegard over 3 years ago

Start of the Lustre generator

View differences:

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