Project

General

Profile

Download (1.29 KB) Statistics
| Branch: | Tag: | Revision:
1
(* An application that loads json provided input and produces Lustre
2

    
3
Usage:
4
lustrei -vhdl myvhdl.json 
5
lustrei -scade myscademodel.json 
6
  will produce a lustre file that can be compiled and analyzed
7

    
8
VHDL is handled in a double way: as a backend and as an import language
9
In a first step, lustrei -vhdl -print myvhdl.json shall print the VHDL model in stdout
10

    
11
 *)
12
(*
13
open Vhdl_ast
14
open Vhdl_test
15
  *)
16
open Yojson.Safe
17
open Vhdl_to_lustre
18
open Vhdl_ast_utils
19
open Vhdl_ast_map
20
open Vhdl_ast
21
open Vhdl_ast_pp
22
open Vhdl_ast_yojson
23
open Printf
24
open Printers
25
open Format
26

    
27
let _ =
28
  (* Load model with Yojson *)
29
  let vhdl_json = from_file Sys.argv.(1) in
30

    
31
  (* Create VHDL values *)
32
  let vhdl = vhdl_file_t_of_yojson vhdl_json in
33

    
34
  (* Simplify VHDL values *)
35
  match vhdl with
36
    Ok x ->
37
      (* Parsed VHDL JSON value *)
38
      (* Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x)); *)
39
      (* Fold Op vhdl_expr_t values *)
40
      let folded = replace_op_expr#vhdl_file_t x in
41
      (* Translate vhdl_file_t value as lustre value *)
42
      let program = to_lustre#vhdl_file_t folded in
43
      Format.printf "%s\n" (show_vhdl_file_t program);
44
      (* Pretty print lustre value *)
45
 (*     Printers.pp_prog std_formatter program; *)
46
      
47
  | Error e -> failwith (Format.sprintf "Error: %s\n" e);
(1-1/2)