Project

General

Profile

« Previous | Next » 

Revision f4050bef

Added by Pierre-Loïc Garoche over 6 years ago

Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.

View differences:

src/features/machine_types/machine_types.ml
38 38 

  		




  39
  39
  
    
*)


  		




  40
  40
  
    
open LustreSpec


  		




  
  41
  
    

  		




  
  42
  
    
let is_active = false


  		




  41
  43
  
    
  


  		




  42
  44
  
    
let keyword = ["machine_types"]


  		




  43
  45
  
    

  		




  ......




  434
  436
  
    
  let env, vars =


  		




  435
  437
  
    
    Hashtbl.fold (fun vdecl machine_type (env, vds) ->


  		




  436
  438
  
    
      if vdecl.var_parent_nodeid = Some nd.node_id then (


  		




  437
  
  
    
	(* Format.eprintf "Adding variable %a to the environement@." Printers.pp_var vdecl; *)


  		




  
  439
  
    
	 (* Format.eprintf "Adding variable %a to the environement@.@?" Printers.pp_var vdecl;  *)


  		




  438
  440
  
    
	let env = Env.add_value env vdecl.var_id machine_type in


  		




  439
  441
  
    
	env, vdecl::vds


  		




  440
  442
  
    
      )


  		












Also available in:  Unified diff