Revision 9c654082
Added by Pierre-Loïc Garoche over 5 years ago
| 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
[lustresf] work in progress. Added global env with initial values