CristalCaveGem » LustreC

(*

  *)

open Yojson.Safe

open Vhdl_deriving_yojson

open Vhdl_json_lib

open Printf

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

  Format.printf "Original file:\n%s\n\n" (pretty_to_string vhdl_json);

  (*let vhdl = design1 in

  Format.printf "Loaded VHDL:@.%a@." pp_vhdl_design vhdl;*)

  let vhdl1_json = vhdl_json |> 

                   prune_str "TOKEN" |>

                   prune_str "IDENTIFIER" |>

                   prune_str "SUBTYPE_INDICATION" |>

                   prune_null_assoc |>

                   to_list_content_str "DESIGN_UNIT" |>

                   to_list_content_str "INTERFACE_VARIABLE_DECLARATION" |>

                   flatten_ivd |>

                   to_list_str "ARCHITECTURE_BODY" |>

                   to_list_str "ARCHITECTURE_DECLARATIVE_PART" |>

                   to_list_str "ARCHITECTURE_STATEMENT_PART" |>

                   to_list_str "ENTITY_DECLARATION" |>

                   to_list_str "PACKAGE_DECLARATION" in

  Format.printf "Preprocessed json:\n";

  Format.printf "%s\n\n" (pretty_to_string vhdl1_json);

  List.iter (Format.printf "%s\n") (print_depth vhdl1_json 5 "");

  to_file (Sys.argv.(1)^".out.json") vhdl1_json;

  match vhdl_file_t_of_yojson vhdl1_json with

    Ok x -> Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x))

  | Error e -> failwith e;