Project

General

Profile

« Previous | Next » 

Revision 61df3cb9

Added by Pierre-Loïc Garoche about 4 years ago

Reformating plugin signatures. Better report management

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