CristalCaveGem » LustreC

  match dec_t with

  | Tydec_any -> (* Dynamical built variable. No declared type. Shall

                    use the infered one. *)

  | Tydec_int -> fprintf fmt "{ \"kind\": \"int\" }" (* !Options.int_type *)

  | Tydec_real -> fprintf fmt "{ \"kind\": \"real\" }" (* !Options.real_type *)

  (* TODO we could add more concrete types here if they were available in

(* Print the variable declaration *)

let pp_emf_var_decl fmt v =

    pp_var_name v

    pp_var_type v

    Printers.pp_var_name v

let pp_emf_cst c inf fmt =

  let pp_typ fmt =

  in

  match c with

  | Const_tag t->

    fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ "

      pp_var_name v;

    (*    fprintf fmt "\"original_name\": \"%a\",@ " Printers.pp_var_name v; *)

    fprintf fmt "@]}"

  )

  | _ -> eprintf "Not of cst or var: %a@." (pp_val m) v ; assert false (* Invalid argument *)

  | Expr_ident id ->

     fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ "

       print_protect (fun fmt -> pp_print_string fmt id);

      (pp_concrete_type

	 Tydec_any (* don't know much about that time since it was not

		      declared. That may not work with clock constants *)

      (fun fmt ->

	fprintf fmt "Warning: unhandled expression %a in annotation.@ "

	  Printers.pp_expr e;

      );    

    fprintf fmt "\"unhandled construct, complain to Ploc\""

  )

let pp_emf_exprs = pp_emf_list pp_emf_expr

let pp_emf_const fmt v =

    pp_var_name v

    pp_var_type v

    Printers.pp_var_name v

  | Eq eq -> (

    fprintf fmt "@[ @[<v 2>\"%a\": {@ " (Utils.fprintf_list ~sep:"_" pp_print_string) eq.eq_lhs;

    fprintf fmt "\"lhs\": [%a],@ " (Utils.fprintf_list ~sep:", " (fun fmt vid -> fprintf fmt "\"%s\"" vid)) eq.eq_lhs;

    fprintf fmt "@]@]@ }"

  )

let pp_emf_top_const fmt const_top = 

  let const = Corelang.const_of_top const_top in

(* Local Variables: *)

(* compile-command: "make -C ../.." *)