Project

General

Profile

« Previous | Next » 

Revision 9c654082

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

[lustresf] work in progress. Added global env with initial values

View differences:

src/tools/stateflow/common/datatype.ml
39 39 
  | Junction of junction_name_t * transitions_t
40 40 
  | SFFunction of 'prog_t
41 41 

  		




  42
  
  
    
type prog_t = Program of state_name_t * prog_t src_components_t list * LustreSpec.var_decl list


  		




  
  42
  
    
type prog_t = Program of state_name_t * prog_t src_components_t list * (LustreSpec.var_decl * LustreSpec.expr) list


  		




  43
  43
  
    

  		




  44
  44
  
    
type scope_t = Constant | Input | Local | Output | Parameter


  		




  45
  45
  
    

  		




  ......




  159
  159
  
    
    Format.fprintf fmt "Main node name: %s@ %a@ %a@"


  		




  160
  160
  
    
      name


  		




  161
  161
  
    
      (pp_src pp_sffunction) component_list


  		




  162
  
  
    
      pp_vars vars


  		




  
  162
  
    
      pp_vars (List.map fst vars)


  		




  163
  163
  
    

  		




  164
  164
  
    
  let pp_scope fmt src =


  		




  165
  165
  
    
    Format.fprintf fmt (match src with


  		












Also available in:  Unified diff