|
1
|
module type S = sig
|
|
2
|
val name : string
|
|
3
|
|
|
4
|
val activate : unit -> unit
|
|
5
|
|
|
6
|
val usage : Format.formatter -> unit
|
|
7
|
|
|
8
|
val options : (string * Arg.spec * string) list
|
|
9
|
|
|
10
|
val init : unit -> unit
|
|
11
|
|
|
12
|
val check_force_stateful : unit -> bool
|
|
13
|
|
|
14
|
val refine_machine_code :
|
|
15
|
Lustre_types.top_decl list ->
|
|
16
|
Machine_code_types.machine_t list ->
|
|
17
|
Machine_code_types.machine_t list
|
|
18
|
|
|
19
|
val c_backend_main_loop_body_prefix :
|
|
20
|
string -> string -> Format.formatter -> unit -> unit
|
|
21
|
|
|
22
|
val c_backend_main_loop_body_suffix : Format.formatter -> unit -> unit
|
|
23
|
end
|
|
24
|
|
|
25
|
module Default = struct
|
|
26
|
let usage fmt = Format.fprintf fmt "No specific help."
|
|
27
|
|
|
28
|
let init () = ()
|
|
29
|
|
|
30
|
let check_force_stateful () = false
|
|
31
|
|
|
32
|
let refine_machine_code _prog machines = machines
|
|
33
|
|
|
34
|
let c_backend_main_loop_body_prefix _basename _mname _fmt () = ()
|
|
35
|
|
|
36
|
let c_backend_main_loop_body_suffix _fmt () = ()
|
|
37
|
end
|