Project

General

Profile

Revision 61df3cb9 src/pluginType.ml

View differences:

src/pluginType.ml
2 2
sig
3 3
  val name: string
4 4
  val activate: unit -> unit
5
  val usage: Format.formatter -> unit
5 6
  val options: (string * Arg.spec * string) list
7
  val init: unit -> unit
6 8
  val check_force_stateful : unit -> bool
7 9
  val refine_machine_code: Lustre_types.top_decl list ->
8 10
    Machine_code_types.machine_t list -> Machine_code_types.machine_t list
......
11 13
end
12 14

  
13 15
module Default =
14
struct
15
  let check_force_stateful () = false
16
  let refine_machine_code prog machines = machines
17
  let c_backend_main_loop_body_prefix basename mname fmt () = ()
18
  let c_backend_main_loop_body_suffix fmt () = ()
19
end
16
  struct
17
    let usage fmt = Format.fprintf fmt "No specific help." 
18
    let init () = ()
19
    let check_force_stateful () = false
20
    let refine_machine_code prog machines = machines
21
    let c_backend_main_loop_body_prefix basename mname fmt () = ()
22
    let c_backend_main_loop_body_suffix fmt () = ()
23
  end

Also available in: Unified diff