Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/plugins/pluginType.ml
1
module type S =
2
sig
3
  val name: string
4
  val activate: unit -> unit
5
  val usage: Format.formatter -> unit
6
  val options: (string * Arg.spec * string) list
7
  val init: unit -> unit
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

  
8 12
  val check_force_stateful : unit -> bool
9
  val refine_machine_code: Lustre_types.top_decl list ->
10
    Machine_code_types.machine_t list -> Machine_code_types.machine_t list
11
  val c_backend_main_loop_body_prefix : string -> string -> Format.formatter ->  unit -> unit
12
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit
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
13 23
end
14 24

  
15
module Default =
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
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

Also available in: Unified diff