Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (20.2 KB)

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