Project

General

Profile

Revision 7ab1c5bd src/pluginType.ml

View differences:

src/pluginType.ml
6 6
  val check_force_stateful : unit -> bool
7 7
  val refine_machine_code: LustreSpec.top_decl list ->
8 8
    Machine_code.machine_t list -> Machine_code.machine_t list
9
  val c_backend_main_loop_body_prefix : string -> string -> Format.formatter ->  unit -> unit
9 10
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit
10 11
end
11 12

  
......
13 14
struct
14 15
  let check_force_stateful () = false
15 16
  let refine_machine_code prog machines = machines
17
  let c_backend_main_loop_body_prefix basename mname fmt () = ()
16 18
  let c_backend_main_loop_body_suffix fmt () = ()
17 19
end

Also available in: Unified diff