Project

General

Profile

Revision 3769b712 src/tools/stateflow/models/model_stopwatch.ml

View differences:

src/tools/stateflow/models/model_stopwatch.ml
7 7
let actionv x = no_action (*TODO if verbose then action x else no_action*)
8 8
let action x = no_action (* TODO *)
9 9
let condition x = condition {
10
  expr = Corelang.mkexpr Location.dummy_loc (Lustre_types.Expr_const (Corelang.const_of_bool true));
10
  expr = Lustrec.Corelang.mkexpr Lustrec.Location.dummy_loc (Lustrec.Lustre_types.Expr_const (Lustrec.Corelang.const_of_bool true));
11 11
  cinputs = [];
12 12
  coutputs = [];
13 13
  cvariables = [];
......
247 247
  ]
248 248
  in
249 249
  let globals =
250
    let int_typ = Corelang.mktyp Location.dummy_loc Lustre_types.Tydec_int in
250
    let int_typ = Lustrec.Corelang.mktyp Lustrec.Location.dummy_loc Lustrec.Lustre_types.Tydec_int in
251 251
    List.map (fun k ->
252
      Corelang.mkvar_decl
253
	Location.dummy_loc
252
      Lustrec.Corelang.mkvar_decl
253
	Lustrec.Location.dummy_loc
254 254
	(k, (* name *)
255 255
	 int_typ, (* type *)
256
	 Corelang.dummy_clock_dec, (* clock *)
256
	 Lustrec.Corelang.dummy_clock_dec, (* clock *)
257 257
	 false, (* not a constant *)
258 258
	 None, (* no default value *)
259 259
	 None (* no parent known *)
260 260
	),
261 261
      (* Default value is zero *)
262
      Corelang.mkexpr Location.dummy_loc (Lustre_types.Expr_const (Lustre_types.Const_int 0))
262
      Lustrec.Corelang.mkexpr Lustrec.Location.dummy_loc (Lustrec.Lustre_types.Expr_const (Lustrec.Lustre_types.Const_int 0))
263 263
      
264 264
    )
265 265
      ["cent";

Also available in: Unified diff