Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / regression_json / SetResetWait_SFIR_pp.json @ 184630f0

History | View | Annotate | Download (19.4 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "real",
6
        "Id": 311,
7
        "InitialValue": "0.0",
8
        "Name": "s",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [
13
        {
14
            "Id": 312,
15
            "Name": "Clear",
16
            "Port": 1,
17
            "Scope": "Input"
18
        },
19
        {
20
            "Id": 313,
21
            "Name": "Reset",
22
            "Port": 2,
23
            "Scope": "Input"
24
        },
25
        {
26
            "Id": 314,
27
            "Name": "Suspend",
28
            "Port": 3,
29
            "Scope": "Input"
30
        },
31
        {
32
            "Id": 315,
33
            "Name": "Set",
34
            "Port": 4,
35
            "Scope": "Input"
36
        }
37
    ],
38
    "GraphicalFunctions": [],
39
    "Junctions": [],
40
    "Name": "SetResetWait",
41
    "Path": "SetResetWait_SetResetWait",
42
    "SimulinkFunctions": [],
43
    "States": [
44
        {
45
            "Actions": {
46
                "Bind": {
47
                    "actions": "",
48
                    "external_fun": "",
49
                    "inputs": "",
50
                    "original_actions": "",
51
                    "outputs": "",
52
                    "variables": ""
53
                },
54
                "During": {
55
                    "actions": "",
56
                    "external_fun": "",
57
                    "inputs": "",
58
                    "original_actions": "",
59
                    "outputs": "",
60
                    "variables": ""
61
                },
62
                "Entry": {
63
                    "actions": "",
64
                    "external_fun": "",
65
                    "inputs": "",
66
                    "original_actions": "",
67
                    "outputs": "",
68
                    "variables": ""
69
                },
70
                "Exit": {
71
                    "actions": "",
72
                    "external_fun": "",
73
                    "inputs": "",
74
                    "original_actions": "",
75
                    "outputs": "",
76
                    "variables": ""
77
                },
78
                "On": {
79
                    "actions": "",
80
                    "external_fun": "",
81
                    "inputs": "",
82
                    "original_actions": "",
83
                    "outputs": "",
84
                    "variables": ""
85
                },
86
                "OnAfter": {
87
                    "actions": "",
88
                    "external_fun": "",
89
                    "inputs": "",
90
                    "original_actions": "",
91
                    "outputs": "",
92
                    "variables": ""
93
                },
94
                "OnAt": {
95
                    "actions": "",
96
                    "external_fun": "",
97
                    "inputs": "",
98
                    "original_actions": "",
99
                    "outputs": "",
100
                    "variables": ""
101
                },
102
                "OnBefore": {
103
                    "actions": "",
104
                    "external_fun": "",
105
                    "inputs": "",
106
                    "original_actions": "",
107
                    "outputs": "",
108
                    "variables": ""
109
                },
110
                "OnEvery": {
111
                    "actions": "",
112
                    "external_fun": "",
113
                    "inputs": "",
114
                    "original_actions": "",
115
                    "outputs": "",
116
                    "variables": ""
117
                }
118
            },
119
            "Composition": {
120
                "DefaultTransitions": {
121
                    "Condition": {
122
                        "actions": "",
123
                        "external_fun": "",
124
                        "inputs": "",
125
                        "original_actions": "",
126
                        "outputs": "",
127
                        "variables": ""
128
                    },
129
                    "ConditionAction": {
130
                        "actions": "",
131
                        "external_fun": "",
132
                        "inputs": "",
133
                        "original_actions": "",
134
                        "outputs": "",
135
                        "variables": ""
136
                    },
137
                    "Destination": {
138
                        "Id": 309,
139
                        "Name": "SetResetWait_SetResetWait/Off",
140
                        "Type": "State"
141
                    },
142
                    "Event": "",
143
                    "Id": 321,
144
                    "TransitionAction": {
145
                        "actions": "",
146
                        "external_fun": "",
147
                        "inputs": "",
148
                        "original_actions": "",
149
                        "outputs": "",
150
                        "variables": ""
151
                    }
152
                },
153
                "States": [
154
                    308,
155
                    309,
156
                    310
157
                ],
158
                "Substates": [
159
                    "On",
160
                    "Off",
161
                    "Wait"
162
                ],
163
                "Type": "EXCLUSIVE_OR"
164
            },
165
            "Id": 307,
166
            "InnerTransitions": [],
167
            "OuterTransitions": [],
168
            "Path": "SetResetWait_SetResetWait"
169
        },
170
        {
171
            "Actions": {
172
                "Bind": {
173
                    "actions": "",
174
                    "external_fun": "",
175
                    "inputs": "",
176
                    "original_actions": "",
177
                    "outputs": "",
178
                    "variables": ""
179
                },
180
                "During": {
181
                    "actions": "",
182
                    "external_fun": "",
183
                    "inputs": "",
184
                    "original_actions": "",
185
                    "outputs": "",
186
                    "variables": ""
187
                },
188
                "Entry": {
189
                    "actions": "s = 1.0; ",
190
                    "external_fun": "",
191
                    "inputs": "s: real;",
192
                    "original_actions": "s=1",
193
                    "outputs": "s: real;",
194
                    "variables": ""
195
                },
196
                "Exit": {
197
                    "actions": "",
198
                    "external_fun": "",
199
                    "inputs": "",
200
                    "original_actions": "",
201
                    "outputs": "",
202
                    "variables": ""
203
                },
204
                "On": {
205
                    "actions": "",
206
                    "external_fun": "",
207
                    "inputs": "",
208
                    "original_actions": "",
209
                    "outputs": "",
210
                    "variables": ""
211
                },
212
                "OnAfter": {
213
                    "actions": "",
214
                    "external_fun": "",
215
                    "inputs": "",
216
                    "original_actions": "",
217
                    "outputs": "",
218
                    "variables": ""
219
                },
220
                "OnAt": {
221
                    "actions": "",
222
                    "external_fun": "",
223
                    "inputs": "",
224
                    "original_actions": "",
225
                    "outputs": "",
226
                    "variables": ""
227
                },
228
                "OnBefore": {
229
                    "actions": "",
230
                    "external_fun": "",
231
                    "inputs": "",
232
                    "original_actions": "",
233
                    "outputs": "",
234
                    "variables": ""
235
                },
236
                "OnEvery": {
237
                    "actions": "",
238
                    "external_fun": "",
239
                    "inputs": "",
240
                    "original_actions": "",
241
                    "outputs": "",
242
                    "variables": ""
243
                }
244
            },
245
            "Composition": {
246
                "DefaultTransitions": [],
247
                "States": [],
248
                "Substates": [],
249
                "Type": "EXCLUSIVE_OR"
250
            },
251
            "Id": 308,
252
            "InnerTransitions": [],
253
            "Name": "On",
254
            "OuterTransitions": [
255
                {
256
                    "Condition": {
257
                        "actions": "",
258
                        "external_fun": "",
259
                        "inputs": "",
260
                        "original_actions": "",
261
                        "outputs": "",
262
                        "variables": ""
263
                    },
264
                    "ConditionAction": {
265
                        "actions": "",
266
                        "external_fun": "",
267
                        "inputs": "",
268
                        "original_actions": "",
269
                        "outputs": "",
270
                        "variables": ""
271
                    },
272
                    "Destination": {
273
                        "Id": 310,
274
                        "Name": "SetResetWait_SetResetWait/Wait",
275
                        "Type": "State"
276
                    },
277
                    "Event": "Suspend",
278
                    "Id": 316,
279
                    "TransitionAction": {
280
                        "actions": "",
281
                        "external_fun": "",
282
                        "inputs": "",
283
                        "original_actions": "",
284
                        "outputs": "",
285
                        "variables": ""
286
                    }
287
                },
288
                {
289
                    "Condition": {
290
                        "actions": "",
291
                        "external_fun": "",
292
                        "inputs": "",
293
                        "original_actions": "",
294
                        "outputs": "",
295
                        "variables": ""
296
                    },
297
                    "ConditionAction": {
298
                        "actions": "",
299
                        "external_fun": "",
300
                        "inputs": "",
301
                        "original_actions": "",
302
                        "outputs": "",
303
                        "variables": ""
304
                    },
305
                    "Destination": {
306
                        "Id": 309,
307
                        "Name": "SetResetWait_SetResetWait/Off",
308
                        "Type": "State"
309
                    },
310
                    "Event": "Reset",
311
                    "Id": 318,
312
                    "TransitionAction": {
313
                        "actions": "",
314
                        "external_fun": "",
315
                        "inputs": "",
316
                        "original_actions": "",
317
                        "outputs": "",
318
                        "variables": ""
319
                    }
320
                }
321
            ],
322
            "Path": "SetResetWait_SetResetWait/On"
323
        },
324
        {
325
            "Actions": {
326
                "Bind": {
327
                    "actions": "",
328
                    "external_fun": "",
329
                    "inputs": "",
330
                    "original_actions": "",
331
                    "outputs": "",
332
                    "variables": ""
333
                },
334
                "During": {
335
                    "actions": "",
336
                    "external_fun": "",
337
                    "inputs": "",
338
                    "original_actions": "",
339
                    "outputs": "",
340
                    "variables": ""
341
                },
342
                "Entry": {
343
                    "actions": "s = 3.0; ",
344
                    "external_fun": "",
345
                    "inputs": "s: real;",
346
                    "original_actions": "s=3",
347
                    "outputs": "s: real;",
348
                    "variables": ""
349
                },
350
                "Exit": {
351
                    "actions": "",
352
                    "external_fun": "",
353
                    "inputs": "",
354
                    "original_actions": "",
355
                    "outputs": "",
356
                    "variables": ""
357
                },
358
                "On": {
359
                    "actions": "",
360
                    "external_fun": "",
361
                    "inputs": "",
362
                    "original_actions": "",
363
                    "outputs": "",
364
                    "variables": ""
365
                },
366
                "OnAfter": {
367
                    "actions": "",
368
                    "external_fun": "",
369
                    "inputs": "",
370
                    "original_actions": "",
371
                    "outputs": "",
372
                    "variables": ""
373
                },
374
                "OnAt": {
375
                    "actions": "",
376
                    "external_fun": "",
377
                    "inputs": "",
378
                    "original_actions": "",
379
                    "outputs": "",
380
                    "variables": ""
381
                },
382
                "OnBefore": {
383
                    "actions": "",
384
                    "external_fun": "",
385
                    "inputs": "",
386
                    "original_actions": "",
387
                    "outputs": "",
388
                    "variables": ""
389
                },
390
                "OnEvery": {
391
                    "actions": "",
392
                    "external_fun": "",
393
                    "inputs": "",
394
                    "original_actions": "",
395
                    "outputs": "",
396
                    "variables": ""
397
                }
398
            },
399
            "Composition": {
400
                "DefaultTransitions": [],
401
                "States": [],
402
                "Substates": [],
403
                "Type": "EXCLUSIVE_OR"
404
            },
405
            "Id": 309,
406
            "InnerTransitions": [],
407
            "Name": "Off",
408
            "OuterTransitions": [
409
                {
410
                    "Condition": {
411
                        "actions": "",
412
                        "external_fun": "",
413
                        "inputs": "",
414
                        "original_actions": "",
415
                        "outputs": "",
416
                        "variables": ""
417
                    },
418
                    "ConditionAction": {
419
                        "actions": "",
420
                        "external_fun": "",
421
                        "inputs": "",
422
                        "original_actions": "",
423
                        "outputs": "",
424
                        "variables": ""
425
                    },
426
                    "Destination": {
427
                        "Id": 308,
428
                        "Name": "SetResetWait_SetResetWait/On",
429
                        "Type": "State"
430
                    },
431
                    "Event": "Set",
432
                    "Id": 317,
433
                    "TransitionAction": {
434
                        "actions": "",
435
                        "external_fun": "",
436
                        "inputs": "",
437
                        "original_actions": "",
438
                        "outputs": "",
439
                        "variables": ""
440
                    }
441
                },
442
                {
443
                    "Condition": {
444
                        "actions": "",
445
                        "external_fun": "",
446
                        "inputs": "",
447
                        "original_actions": "",
448
                        "outputs": "",
449
                        "variables": ""
450
                    },
451
                    "ConditionAction": {
452
                        "actions": "",
453
                        "external_fun": "",
454
                        "inputs": "",
455
                        "original_actions": "",
456
                        "outputs": "",
457
                        "variables": ""
458
                    },
459
                    "Destination": {
460
                        "Id": 310,
461
                        "Name": "SetResetWait_SetResetWait/Wait",
462
                        "Type": "State"
463
                    },
464
                    "Event": "Suspend",
465
                    "Id": 319,
466
                    "TransitionAction": {
467
                        "actions": "",
468
                        "external_fun": "",
469
                        "inputs": "",
470
                        "original_actions": "",
471
                        "outputs": "",
472
                        "variables": ""
473
                    }
474
                }
475
            ],
476
            "Path": "SetResetWait_SetResetWait/Off"
477
        },
478
        {
479
            "Actions": {
480
                "Bind": {
481
                    "actions": "",
482
                    "external_fun": "",
483
                    "inputs": "",
484
                    "original_actions": "",
485
                    "outputs": "",
486
                    "variables": ""
487
                },
488
                "During": {
489
                    "actions": "",
490
                    "external_fun": "",
491
                    "inputs": "",
492
                    "original_actions": "",
493
                    "outputs": "",
494
                    "variables": ""
495
                },
496
                "Entry": {
497
                    "actions": "s = 2.0; ",
498
                    "external_fun": "",
499
                    "inputs": "s: real;",
500
                    "original_actions": "s=2",
501
                    "outputs": "s: real;",
502
                    "variables": ""
503
                },
504
                "Exit": {
505
                    "actions": "",
506
                    "external_fun": "",
507
                    "inputs": "",
508
                    "original_actions": "",
509
                    "outputs": "",
510
                    "variables": ""
511
                },
512
                "On": {
513
                    "actions": "",
514
                    "external_fun": "",
515
                    "inputs": "",
516
                    "original_actions": "",
517
                    "outputs": "",
518
                    "variables": ""
519
                },
520
                "OnAfter": {
521
                    "actions": "",
522
                    "external_fun": "",
523
                    "inputs": "",
524
                    "original_actions": "",
525
                    "outputs": "",
526
                    "variables": ""
527
                },
528
                "OnAt": {
529
                    "actions": "",
530
                    "external_fun": "",
531
                    "inputs": "",
532
                    "original_actions": "",
533
                    "outputs": "",
534
                    "variables": ""
535
                },
536
                "OnBefore": {
537
                    "actions": "",
538
                    "external_fun": "",
539
                    "inputs": "",
540
                    "original_actions": "",
541
                    "outputs": "",
542
                    "variables": ""
543
                },
544
                "OnEvery": {
545
                    "actions": "",
546
                    "external_fun": "",
547
                    "inputs": "",
548
                    "original_actions": "",
549
                    "outputs": "",
550
                    "variables": ""
551
                }
552
            },
553
            "Composition": {
554
                "DefaultTransitions": [],
555
                "States": [],
556
                "Substates": [],
557
                "Type": "EXCLUSIVE_OR"
558
            },
559
            "Id": 310,
560
            "InnerTransitions": [],
561
            "Name": "Wait",
562
            "OuterTransitions": {
563
                "Condition": {
564
                    "actions": "",
565
                    "external_fun": "",
566
                    "inputs": "",
567
                    "original_actions": "",
568
                    "outputs": "",
569
                    "variables": ""
570
                },
571
                "ConditionAction": {
572
                    "actions": "",
573
                    "external_fun": "",
574
                    "inputs": "",
575
                    "original_actions": "",
576
                    "outputs": "",
577
                    "variables": ""
578
                },
579
                "Destination": {
580
                    "Id": 309,
581
                    "Name": "SetResetWait_SetResetWait/Off",
582
                    "Type": "State"
583
                },
584
                "Event": "Clear",
585
                "Id": 320,
586
                "TransitionAction": {
587
                    "actions": "",
588
                    "external_fun": "",
589
                    "inputs": "",
590
                    "original_actions": "",
591
                    "outputs": "",
592
                    "variables": ""
593
                }
594
            },
595
            "Path": "SetResetWait_SetResetWait/Wait"
596
        }
597
    ],
598
    "TruthTables": []
599
}