Project

General

Profile

Download (532 Bytes) Statistics
| Branch: | Tag: | Revision:
1
module type PluginType =
2
sig
3
  val name: string
4
  val activate: unit -> unit
5
  val options: (string * Arg.spec * string) list
6
  val check_force_stateful : unit -> bool
7
  val refine_machine_code: LustreSpec.top_decl list ->
8
    Machine_code.machine_t list -> Machine_code.machine_t list
9
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit
10
end
11

    
12
module Default =
13
struct
14
  let check_force_stateful () = false
15
  let refine_machine_code prog machines = machines
16
  let c_backend_main_loop_body_suffix fmt () = ()
17
end
(42-42/53)