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
|