CristalCaveGem » LustreC

(* An application that loads json provided input and produces Lustre

Usage:

lustrei -vhdl myvhdl.json 

lustrei -scade myscademodel.json 

  will produce a lustre file that can be compiled and analyzed

VHDL is handled in a double way: as a backend and as an import language

In a first step, lustrei -vhdl -print myvhdl.json shall print the VHDL model in stdout

 *)

(*

open Vhdl_ast

open Vhdl_test

  *)

open Yojson.Safe

open Vhdl_to_lustre

open Vhdl_ast_utils

open Vhdl_ast_map

open Vhdl_ast

open Mini_vhdl_ast

open Mini_vhdl_ast_pp

open Vhdl_ast_pp

open Vhdl_ast_yojson

open Printf

open Printers

open Format

let _ =

  (* Load model with Yojson *)

  let vhdl_json = from_file Sys.argv.(1) in

  (* Create VHDL values *)

  let vhdl = vhdl_file_t_of_yojson vhdl_json in

  (* Simplify VHDL values *)

  match vhdl with

    Ok x ->

      (* Parsed VHDL JSON value *)

      (* Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x)); *)

      (* Fold Op vhdl_expr_t values *)

      let folded = replace_op_expr#vhdl_file_t x in

      (* Pretty-print vhdl *)

      Format.printf "============ Parsed VHDL ============\n%s\n" (show_vhdl_file_t folded);

      (* Translate vhdl_file_t value as mini_vhdl value *)

      let mini_vhdl = to_mini_vhdl#vhdl_design_file_t folded.design_file in

      Format.printf "============ Mini-VHDL ============\n%s\n" (show_mini_vhdl_design_file_t mini_vhdl);

      (* Pretty print lustre value *)

 (*     Printers.pp_prog std_formatter program; *)

  | Error e -> failwith (Format.sprintf "Error: %s\n" e);