Project

General

Profile

Revision 8446bf03 src/tools/stateflow/models/model_stopwatch.ml

View differences:

src/tools/stateflow/models/model_stopwatch.ml
1 1
open Datatype
2
open Basetypes
2 3
(* open Transformer2 *)
3 4
open SF
4 5

  
......
6 7
let actionv x = no_action (*TODO if verbose then action x else no_action*)
7 8
let action x = no_action (* TODO *)
8 9
let condition x = condition {
9
  expr = Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true));
10
  expr = Corelang.mkexpr Location.dummy_loc (Lustre_types.Expr_const (Corelang.const_of_bool true));
10 11
  cinputs = [];
11 12
  coutputs = [];
12 13
  cvariables = [];
......
246 247
  ]
247 248
  in
248 249
  let globals =
249
    let int_typ = Corelang.mktyp Location.dummy_loc LustreSpec.Tydec_int in
250
    let int_typ = Corelang.mktyp Location.dummy_loc Lustre_types.Tydec_int in
250 251
    List.map (fun k ->
251 252
      Corelang.mkvar_decl
252 253
	Location.dummy_loc
......
258 259
	 None (* no parent known *)
259 260
	),
260 261
      (* Default value is zero *)
261
      Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (LustreSpec.Const_int 0))
262
      Corelang.mkexpr Location.dummy_loc (Lustre_types.Expr_const (Lustre_types.Const_int 0))
262 263
      
263 264
    )
264 265
      ["cent";

Also available in: Unified diff