Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / pluginType.ml @ e8250987

History | View | Annotate | Download (696 Bytes)

1 ad4774b0 ploc
module type S =
2 f6acf47b ploc
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 8446bf03 ploc
  val refine_machine_code: Lustre_types.top_decl list ->
8 089f94be ploc
    Machine_code_types.machine_t list -> Machine_code_types.machine_t list
9 7ab1c5bd ploc
  val c_backend_main_loop_body_prefix : string -> string -> Format.formatter ->  unit -> unit
10 f6acf47b ploc
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit
11
end
12
13
module Default =
14
struct
15
  let check_force_stateful () = false
16
  let refine_machine_code prog machines = machines
17 7ab1c5bd ploc
  let c_backend_main_loop_body_prefix basename mname fmt () = ()
18 f6acf47b ploc
  let c_backend_main_loop_body_suffix fmt () = ()
19
end