CristalCaveGem » LustreC

(* Handling of enumerated types: for the moment each of such type is transformed

   into an int: the idx number of the constant in the typedef. This is not so

   nice but is compatible with basic Simulink types: int, real, bools) *)

(*

let recorded_enums = ref []

let record_types prog =

  let typedefs = Corelang.get_typedefs prog in

  List.iter (fun top ->

    let consts = consts_of_enum_type top in

  ) prog

*)

  | Cst ((Const_tag t) as c)->

     let typ = (Corelang.typedef_of_top (Hashtbl.find Corelang.tag_table t)) in

     if typ.tydef_id = "bool" then

       fprintf fmt "{@[\"type\": \"constant\",@ \"value\": \"%a\"@ @]}"

	 Printers.pp_const c

     else (

       let const_list = match typ.tydef_desc with Tydec_enum tl -> tl | _ -> assert false in

       fprintf fmt "{@[\"type\": \"constant\",@ \"value\": \"%i\",@ " 

	 (get_idx t const_list);

       fprintf fmt "\"origin_type\": \"%s\",@ \"origin_value\": \"%s\"@ "

	 typ.tydef_id t;

       fprintf fmt "@]}"

     )