Project

General

Profile

Download (869 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(2-2/3)