Project

General

Profile

« Previous | Next » 

Revision 69c96b6c

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

lustresf: Better construction of lustre ast. Still more work to be done.

View differences:

src/tools/stateflow/semantics/cPS_ccode_generator.ml
57 57 
      Format.fprintf fmt "component %a(%a) =@.@[<v 2>begin@ %a@]@.end" pp_call call pp_path p pp_transformer tr)
58 58 
    | Xcall -> (fun (p, f) tr ->
59 59 
      Format.fprintf fmt "component %a(%a, %a) =@.@[<v 2>begin@ %a@]@.end" pp_call call pp_path p pp_frontier f pp_transformer tr)
60 

  		




  
  61
  
    
		     let mkcomponent _  = assert false


  		




  
  62
  
    
		     let mkprincipal _  = assert false


  		




  
  63
  
    
		     let mktransformer _  = assert false


  		




  
  64
  
    
		       


  		




  60
  65
  
    
end


  		




  61
  66
  
    

  		












Also available in:  Unified diff