Project

General

Profile

Revision 9c654082 src/tools/stateflow/models/model_stopwatch.ml

View differences:

src/tools/stateflow/models/model_stopwatch.ml
5 5
let verbose = false
6 6
let actionv x = no_action (*TODO if verbose then action x else no_action*)
7 7
let action x = no_action (* TODO *)
8
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
9

  
8
let condition x = condition {
9
  expr = Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true));
10
  cinputs = [];
11
  coutputs = [];
12
  cvariables = [];
13
}
10 14
let name = "stopwatch"
11 15

  
12 16
let model =
......
250 254
	 int_typ, (* type *)
251 255
	 Corelang.dummy_clock_dec, (* clock *)
252 256
	 false, (* not a constant *)
253
	 None (* no default value *)
254
	)
257
	 None, (* no default value *)
258
	 None (* no parent known *)
259
	),
260
      (* Default value is zero *)
261
      Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (LustreSpec.Const_int 0))
262
      
255 263
    )
256 264
      ["cent";
257 265
       "sec";

Also available in: Unified diff