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/models/model_stopwatch.ml
3 3 
open SF
4 4 

  		




  5
  5
  
    
let verbose = false


  		




  6
  
  
    
let actionv x = if verbose then action x else no_action


  		




  
  6
  
    
let actionv x = no_action (*TODO if verbose then action x else no_action*)


  		




  
  7
  
    
let action x = no_action (* TODO *)


  		




  7
  8
  
    
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))


  		




  8
  9
  
    
    


  		




  9
  10
  
    
let name = "stopwatch"


  		












Also available in:  Unified diff