/ - Diff - LustreC

« Previous | Next »

Revision 13aec2da

[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.

         (if !Options.ansi then "ANSI C90" else "C99")
         (if !Options.mpfr then "MPFR multi-precision" else "(double) floating-point")
     let protect_filename s =
       Str.global_replace (Str.regexp "\\.\\|\\ ") "_" s
     let file_to_module_name basename =
       let baseNAME = Ocaml_utils.uppercase basename in
       let baseNAME = Str.global_replace (Str.regexp "\\.\\|\\ ") "_" baseNAME in
       let baseNAME = protect_filename baseNAME in
       baseNAME
     (* Generation of a non-clashing name for the self memory variable (for step and reset functions) *)

           (pp_c_type cdecl.const_id) cdecl.const_type
     let rec pp_c_struct_type_field filename cpt fmt (label, tdesc) =
       fprintf fmt "%a;" (pp_c_type_decl filename cpt label) tdesc
        fprintf fmt "%a;" (pp_c_type_decl filename cpt label) tdesc
     and pp_c_type_decl filename cpt var fmt tdecl =
       match tdecl with
       | Tydec_any           -> assert false
-...
       | Tydec_enum tl ->
         begin
           incr cpt;
           fprintf fmt "enum _enum_%s_%d { %a } %s" filename !cpt (Utils.fprintf_list ~sep:", " pp_print_string) tl var
           fprintf fmt "enum _enum_%s_%d { %a } %s" (protect_filename filename) !cpt (Utils.fprintf_list ~sep:", " pp_print_string) tl var
         end
       | Tydec_struct fl ->
         begin
           incr cpt;
           fprintf fmt "struct _struct_%s_%d { %a } %s" filename !cpt (Utils.fprintf_list ~sep:" " (pp_c_struct_type_field filename cpt)) fl var
           fprintf fmt "struct _struct_%s_%d { %a } %s" (protect_filename filename) !cpt (Utils.fprintf_list ~sep:" " (pp_c_struct_type_field filename cpt)) fl var
         end
     let print_type_definitions fmt filename =

Also available in: Unified diff