CristalCaveGem » LustreC

    pp_machine_alloc_name (node_name m)

    (Utils.fprintf_list ~sep:", " Dimension.pp_dimension) static

let print_alloc_const fmt m =

  let const_locals = List.filter (fun vdecl -> vdecl.var_dec_const) m.mstep.step_locals in

  fprintf fmt "%a%t"

    (pp_c_type "") base_type

    vdecl.var_id

let print_alloc_code fmt m =

  let array_mem = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

  fprintf fmt "%a *_alloc;@,_alloc = (%a *) malloc(sizeof(%a));@,assert(_alloc);@,%a%areturn _alloc;"

    (Utils.fprintf_list ~sep:"" print_alloc_array) array_mem

    (Utils.fprintf_list ~sep:"" print_alloc_instance) m.minstances

let print_stateless_init_code dependencies fmt m self =

  let minit = List.map (function MReset i -> i | _ -> assert false) m.minit in

  let array_mems = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

    end

  else

    begin

      if (not !Options.static_mem) then  

	begin

	  fprintf fmt "@[<v 2>%a {@,%a%a@]@,}@.@."

	    print_alloc_prototype (m.mname.node_id, m.mstatic)

	    print_alloc_const m

	    print_alloc_code m;

	end;

      let self = mk_self m in

      (* Reset function *)

      fprintf source_fmt "@]@.";

      fprintf source_fmt "/* Node allocation function prototypes */@.";

      fprintf source_fmt "@[<v>";

      fprintf source_fmt "@]@.";

    end;