Project

General

Profile

Revision b06b7b77

View differences:

src/tools/stateflow/common/datatype.ml
83 83

  
84 84
  let init_env model = ActiveStates.Env.from_set (states model) false
85 85

  
86
  let global_vars (_, _, env) = env
86
  let global_vars (Program (_, _, env)) = env
87 87

  
88 88
  (* Printers *)
89 89

  
src/tools/stateflow/models/model_medium.ml
4 4
let name = "medium"
5 5

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

  
8 8
let model : prog_t =
9 9
    let state_main = "main" in
10 10
    let state_a = "a" in
......
85 85
	       Junction("jmid", [tB]);
86 86
	      ]
87 87
    in
88
    (state_main, src, [])
88
    Program (state_main, src, [])
89 89

  
90 90
let traces : trace_t list = [[None; None]]
src/tools/stateflow/models/model_simple.ml
5 5

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

  
9 9
let model : prog_t =
10 10
    let state_main = "main" in
11 11
    let state_a = "a" in
......
77 77
	       State([state_main], def_main);
78 78
	      ]
79 79
    in
80
    (state_main, src, [])
80
    Program (state_main, src, [])
81 81

  
82 82
let traces : trace_t list = [[None; None]]
src/tools/stateflow/models/model_stopwatch.ml
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 8
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
9
    
9

  
10 10
let name = "stopwatch"
11
  
12
let model = 
11

  
12
let model =
13 13
  let smain    = "main" in
14 14
  let sstop    = "stop" in
15 15
  let sreset   = "reset" in
......
53 53
    dest = DPath [smain;srun;srunning];
54 54
  }
55 55
  in
56
  
56

  
57 57
  let tlapstop_lap  = {
58 58
    event = event "LAP";
59 59
    condition = no_condition;
......
259 259
       "cont"
260 260
      ]
261 261
  in
262
  (smain, src, globals)
262
  Program (smain, src, globals)
263 263

  
264 264
let traces : trace_t list =
265 265
  [

Also available in: Unified diff