Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (24.3 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 1586,
8
            "InitialValue": "0",
9
            "Name": "exAcnt",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 1587,
18
            "InitialValue": "0",
19
            "Name": "enAcnt",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 1588,
28
            "InitialValue": "0",
29
            "Name": "duAcnt",
30
            "Port": 3,
31
            "Scope": "Output"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "int",
37
            "Id": 1589,
38
            "InitialValue": "0",
39
            "Name": "enA1cnt",
40
            "Port": 4,
41
            "Scope": "Output"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "int",
47
            "Id": 1590,
48
            "InitialValue": "0",
49
            "Name": "duA1cnt",
50
            "Port": 5,
51
            "Scope": "Output"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "int",
57
            "Id": 1591,
58
            "InitialValue": "0",
59
            "Name": "exA1cnt",
60
            "Port": 6,
61
            "Scope": "Output"
62
        },
63
        {
64
            "ArraySize": "",
65
            "CompiledType": "unknown",
66
            "Datatype": "int",
67
            "Id": 1592,
68
            "InitialValue": "0",
69
            "Name": "enA2cnt",
70
            "Port": 7,
71
            "Scope": "Output"
72
        },
73
        {
74
            "ArraySize": "",
75
            "CompiledType": "unknown",
76
            "Datatype": "int",
77
            "Id": 1593,
78
            "InitialValue": "0",
79
            "Name": "duA2cnt",
80
            "Port": 8,
81
            "Scope": "Output"
82
        },
83
        {
84
            "ArraySize": "",
85
            "CompiledType": "unknown",
86
            "Datatype": "int",
87
            "Id": 1594,
88
            "InitialValue": "0",
89
            "Name": "exA2cnt",
90
            "Port": 9,
91
            "Scope": "Output"
92
        },
93
        {
94
            "ArraySize": "",
95
            "CompiledType": "unknown",
96
            "Datatype": "int",
97
            "Id": 1595,
98
            "InitialValue": "0",
99
            "Name": "enA3cnt",
100
            "Port": 10,
101
            "Scope": "Output"
102
        },
103
        {
104
            "ArraySize": "",
105
            "CompiledType": "unknown",
106
            "Datatype": "int",
107
            "Id": 1596,
108
            "InitialValue": "0",
109
            "Name": "duA3cnt",
110
            "Port": 11,
111
            "Scope": "Output"
112
        },
113
        {
114
            "ArraySize": "",
115
            "CompiledType": "unknown",
116
            "Datatype": "int",
117
            "Id": 1597,
118
            "InitialValue": "0",
119
            "Name": "exA3cnt",
120
            "Port": 12,
121
            "Scope": "Output"
122
        }
123
    ],
124
    "Events": {
125
        "Id": 1598,
126
        "Name": "E",
127
        "Port": 1,
128
        "Scope": "Input"
129
    },
130
    "GraphicalFunctions": [],
131
    "Junctions": {
132
        "Id": 1580,
133
        "Name": "Junction1580",
134
        "OuterTransitions": [
135
            {
136
                "Condition": {
137
                    "actions": "duAcnt ",
138
                    "external_fun": "",
139
                    "inputs": "duAcnt: int;",
140
                    "original_actions": "duAcnt%%3==2",
141
                    "outputs": "",
142
                    "variables": ""
143
                },
144
                "ConditionAction": {
145
                    "actions": "",
146
                    "external_fun": "",
147
                    "inputs": "",
148
                    "original_actions": "",
149
                    "outputs": "",
150
                    "variables": ""
151
                },
152
                "Destination": {
153
                    "Id": 1579,
154
                    "Name": "Inner3_Inner3/A/A3",
155
                    "Type": "State"
156
                },
157
                "Event": "",
158
                "Id": 1583,
159
                "TransitionAction": {
160
                    "actions": "",
161
                    "external_fun": "",
162
                    "inputs": "",
163
                    "original_actions": "",
164
                    "outputs": "",
165
                    "variables": ""
166
                }
167
            },
168
            {
169
                "Condition": {
170
                    "actions": "duAcnt ",
171
                    "external_fun": "",
172
                    "inputs": "duAcnt: int;",
173
                    "original_actions": "duAcnt%%3==1",
174
                    "outputs": "",
175
                    "variables": ""
176
                },
177
                "ConditionAction": {
178
                    "actions": "",
179
                    "external_fun": "",
180
                    "inputs": "",
181
                    "original_actions": "",
182
                    "outputs": "",
183
                    "variables": ""
184
                },
185
                "Destination": {
186
                    "Id": 1578,
187
                    "Name": "Inner3_Inner3/A/A2",
188
                    "Type": "State"
189
                },
190
                "Event": "",
191
                "Id": 1584,
192
                "TransitionAction": {
193
                    "actions": "",
194
                    "external_fun": "",
195
                    "inputs": "",
196
                    "original_actions": "",
197
                    "outputs": "",
198
                    "variables": ""
199
                }
200
            },
201
            {
202
                "Condition": {
203
                    "actions": "duAcnt ",
204
                    "external_fun": "",
205
                    "inputs": "duAcnt: int;",
206
                    "original_actions": "duAcnt%%3==0",
207
                    "outputs": "",
208
                    "variables": ""
209
                },
210
                "ConditionAction": {
211
                    "actions": "",
212
                    "external_fun": "",
213
                    "inputs": "",
214
                    "original_actions": "",
215
                    "outputs": "",
216
                    "variables": ""
217
                },
218
                "Destination": {
219
                    "Id": 1577,
220
                    "Name": "Inner3_Inner3/A/A1",
221
                    "Type": "State"
222
                },
223
                "Event": "",
224
                "Id": 1582,
225
                "TransitionAction": {
226
                    "actions": "",
227
                    "external_fun": "",
228
                    "inputs": "",
229
                    "original_actions": "",
230
                    "outputs": "",
231
                    "variables": ""
232
                }
233
            }
234
        ],
235
        "Path": "Inner3_Inner3/A/Junction1580",
236
        "Type": "CONNECTIVE"
237
    },
238
    "Name": "Inner3",
239
    "Path": "Inner3_Inner3",
240
    "SimulinkFunctions": [],
241
    "States": [
242
        {
243
            "Actions": {
244
                "Bind": {
245
                    "actions": "",
246
                    "external_fun": "",
247
                    "inputs": "",
248
                    "original_actions": "",
249
                    "outputs": "",
250
                    "variables": ""
251
                },
252
                "During": {
253
                    "actions": "",
254
                    "external_fun": "",
255
                    "inputs": "",
256
                    "original_actions": "",
257
                    "outputs": "",
258
                    "variables": ""
259
                },
260
                "Entry": {
261
                    "actions": "",
262
                    "external_fun": "",
263
                    "inputs": "",
264
                    "original_actions": "",
265
                    "outputs": "",
266
                    "variables": ""
267
                },
268
                "Exit": {
269
                    "actions": "",
270
                    "external_fun": "",
271
                    "inputs": "",
272
                    "original_actions": "",
273
                    "outputs": "",
274
                    "variables": ""
275
                },
276
                "On": {
277
                    "actions": "",
278
                    "external_fun": "",
279
                    "inputs": "",
280
                    "original_actions": "",
281
                    "outputs": "",
282
                    "variables": ""
283
                },
284
                "OnAfter": {
285
                    "actions": "",
286
                    "external_fun": "",
287
                    "inputs": "",
288
                    "original_actions": "",
289
                    "outputs": "",
290
                    "variables": ""
291
                },
292
                "OnAt": {
293
                    "actions": "",
294
                    "external_fun": "",
295
                    "inputs": "",
296
                    "original_actions": "",
297
                    "outputs": "",
298
                    "variables": ""
299
                },
300
                "OnBefore": {
301
                    "actions": "",
302
                    "external_fun": "",
303
                    "inputs": "",
304
                    "original_actions": "",
305
                    "outputs": "",
306
                    "variables": ""
307
                },
308
                "OnEvery": {
309
                    "actions": "",
310
                    "external_fun": "",
311
                    "inputs": "",
312
                    "original_actions": "",
313
                    "outputs": "",
314
                    "variables": ""
315
                }
316
            },
317
            "Composition": {
318
                "DefaultTransitions": {
319
                    "Condition": {
320
                        "actions": "",
321
                        "external_fun": "",
322
                        "inputs": "",
323
                        "original_actions": "",
324
                        "outputs": "",
325
                        "variables": ""
326
                    },
327
                    "ConditionAction": {
328
                        "actions": "",
329
                        "external_fun": "",
330
                        "inputs": "",
331
                        "original_actions": "",
332
                        "outputs": "",
333
                        "variables": ""
334
                    },
335
                    "Destination": {
336
                        "Id": 1576,
337
                        "Name": "Inner3_Inner3/A",
338
                        "Type": "State"
339
                    },
340
                    "Event": "",
341
                    "Id": 1599,
342
                    "TransitionAction": {
343
                        "actions": "",
344
                        "external_fun": "",
345
                        "inputs": "",
346
                        "original_actions": "",
347
                        "outputs": "",
348
                        "variables": ""
349
                    }
350
                },
351
                "States": 1576,
352
                "Substates": "A",
353
                "Type": "EXCLUSIVE_OR"
354
            },
355
            "Id": 1575,
356
            "InnerTransitions": [],
357
            "OuterTransitions": [],
358
            "Path": "Inner3_Inner3"
359
        },
360
        {
361
            "Actions": {
362
                "Bind": {
363
                    "actions": "",
364
                    "external_fun": "",
365
                    "inputs": "",
366
                    "original_actions": "",
367
                    "outputs": "",
368
                    "variables": ""
369
                },
370
                "During": {
371
                    "actions": "",
372
                    "external_fun": "",
373
                    "inputs": "",
374
                    "original_actions": "",
375
                    "outputs": "",
376
                    "variables": ""
377
                },
378
                "Entry": {
379
                    "actions": "",
380
                    "external_fun": "",
381
                    "inputs": "",
382
                    "original_actions": "",
383
                    "outputs": "",
384
                    "variables": ""
385
                },
386
                "Exit": {
387
                    "actions": "",
388
                    "external_fun": "",
389
                    "inputs": "",
390
                    "original_actions": "",
391
                    "outputs": "",
392
                    "variables": ""
393
                },
394
                "On": {
395
                    "actions": "",
396
                    "external_fun": "",
397
                    "inputs": "",
398
                    "original_actions": "",
399
                    "outputs": "",
400
                    "variables": ""
401
                },
402
                "OnAfter": {
403
                    "actions": "",
404
                    "external_fun": "",
405
                    "inputs": "",
406
                    "original_actions": "",
407
                    "outputs": "",
408
                    "variables": ""
409
                },
410
                "OnAt": {
411
                    "actions": "",
412
                    "external_fun": "",
413
                    "inputs": "",
414
                    "original_actions": "",
415
                    "outputs": "",
416
                    "variables": ""
417
                },
418
                "OnBefore": {
419
                    "actions": "",
420
                    "external_fun": "",
421
                    "inputs": "",
422
                    "original_actions": "",
423
                    "outputs": "",
424
                    "variables": ""
425
                },
426
                "OnEvery": {
427
                    "actions": "",
428
                    "external_fun": "",
429
                    "inputs": "",
430
                    "original_actions": "",
431
                    "outputs": "",
432
                    "variables": ""
433
                }
434
            },
435
            "Composition": {
436
                "DefaultTransitions": {
437
                    "Condition": {
438
                        "actions": "",
439
                        "external_fun": "",
440
                        "inputs": "",
441
                        "original_actions": "",
442
                        "outputs": "",
443
                        "variables": ""
444
                    },
445
                    "ConditionAction": {
446
                        "actions": "",
447
                        "external_fun": "",
448
                        "inputs": "",
449
                        "original_actions": "",
450
                        "outputs": "",
451
                        "variables": ""
452
                    },
453
                    "Destination": {
454
                        "Id": 1577,
455
                        "Name": "Inner3_Inner3/A/A1",
456
                        "Type": "State"
457
                    },
458
                    "Event": "",
459
                    "Id": 1585,
460
                    "TransitionAction": {
461
                        "actions": "",
462
                        "external_fun": "",
463
                        "inputs": "",
464
                        "original_actions": "",
465
                        "outputs": "",
466
                        "variables": ""
467
                    }
468
                },
469
                "States": [
470
                    1578,
471
                    1579,
472
                    1577
473
                ],
474
                "Substates": [
475
                    "A2",
476
                    "A3",
477
                    "A1"
478
                ],
479
                "Type": "EXCLUSIVE_OR"
480
            },
481
            "Id": 1576,
482
            "InnerTransitions": {
483
                "Condition": {
484
                    "actions": "",
485
                    "external_fun": "",
486
                    "inputs": "",
487
                    "original_actions": "",
488
                    "outputs": "",
489
                    "variables": ""
490
                },
491
                "ConditionAction": {
492
                    "actions": "",
493
                    "external_fun": "",
494
                    "inputs": "",
495
                    "original_actions": "",
496
                    "outputs": "",
497
                    "variables": ""
498
                },
499
                "Destination": {
500
                    "Id": 1580,
501
                    "Name": "Inner3_Inner3/A/Junction1580",
502
                    "Type": "Junction"
503
                },
504
                "Event": "E",
505
                "Id": 1581,
506
                "TransitionAction": {
507
                    "actions": "",
508
                    "external_fun": "",
509
                    "inputs": "",
510
                    "original_actions": "",
511
                    "outputs": "",
512
                    "variables": ""
513
                }
514
            },
515
            "Name": "A",
516
            "OuterTransitions": [],
517
            "Path": "Inner3_Inner3/A"
518
        },
519
        {
520
            "Actions": {
521
                "Bind": {
522
                    "actions": "",
523
                    "external_fun": "",
524
                    "inputs": "",
525
                    "original_actions": "",
526
                    "outputs": "",
527
                    "variables": ""
528
                },
529
                "During": {
530
                    "actions": "",
531
                    "external_fun": "",
532
                    "inputs": "",
533
                    "original_actions": "",
534
                    "outputs": "",
535
                    "variables": ""
536
                },
537
                "Entry": {
538
                    "actions": "",
539
                    "external_fun": "",
540
                    "inputs": "",
541
                    "original_actions": "",
542
                    "outputs": "",
543
                    "variables": ""
544
                },
545
                "Exit": {
546
                    "actions": "",
547
                    "external_fun": "",
548
                    "inputs": "",
549
                    "original_actions": "",
550
                    "outputs": "",
551
                    "variables": ""
552
                },
553
                "On": {
554
                    "actions": "",
555
                    "external_fun": "",
556
                    "inputs": "",
557
                    "original_actions": "",
558
                    "outputs": "",
559
                    "variables": ""
560
                },
561
                "OnAfter": {
562
                    "actions": "",
563
                    "external_fun": "",
564
                    "inputs": "",
565
                    "original_actions": "",
566
                    "outputs": "",
567
                    "variables": ""
568
                },
569
                "OnAt": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                },
577
                "OnBefore": {
578
                    "actions": "",
579
                    "external_fun": "",
580
                    "inputs": "",
581
                    "original_actions": "",
582
                    "outputs": "",
583
                    "variables": ""
584
                },
585
                "OnEvery": {
586
                    "actions": "",
587
                    "external_fun": "",
588
                    "inputs": "",
589
                    "original_actions": "",
590
                    "outputs": "",
591
                    "variables": ""
592
                }
593
            },
594
            "Composition": {
595
                "DefaultTransitions": [],
596
                "States": [],
597
                "Substates": [],
598
                "Type": "EXCLUSIVE_OR"
599
            },
600
            "Id": 1578,
601
            "InnerTransitions": [],
602
            "Name": "A2",
603
            "OuterTransitions": [],
604
            "Path": "Inner3_Inner3/A/A2"
605
        },
606
        {
607
            "Actions": {
608
                "Bind": {
609
                    "actions": "",
610
                    "external_fun": "",
611
                    "inputs": "",
612
                    "original_actions": "",
613
                    "outputs": "",
614
                    "variables": ""
615
                },
616
                "During": {
617
                    "actions": "",
618
                    "external_fun": "",
619
                    "inputs": "",
620
                    "original_actions": "",
621
                    "outputs": "",
622
                    "variables": ""
623
                },
624
                "Entry": {
625
                    "actions": "",
626
                    "external_fun": "",
627
                    "inputs": "",
628
                    "original_actions": "",
629
                    "outputs": "",
630
                    "variables": ""
631
                },
632
                "Exit": {
633
                    "actions": "",
634
                    "external_fun": "",
635
                    "inputs": "",
636
                    "original_actions": "",
637
                    "outputs": "",
638
                    "variables": ""
639
                },
640
                "On": {
641
                    "actions": "",
642
                    "external_fun": "",
643
                    "inputs": "",
644
                    "original_actions": "",
645
                    "outputs": "",
646
                    "variables": ""
647
                },
648
                "OnAfter": {
649
                    "actions": "",
650
                    "external_fun": "",
651
                    "inputs": "",
652
                    "original_actions": "",
653
                    "outputs": "",
654
                    "variables": ""
655
                },
656
                "OnAt": {
657
                    "actions": "",
658
                    "external_fun": "",
659
                    "inputs": "",
660
                    "original_actions": "",
661
                    "outputs": "",
662
                    "variables": ""
663
                },
664
                "OnBefore": {
665
                    "actions": "",
666
                    "external_fun": "",
667
                    "inputs": "",
668
                    "original_actions": "",
669
                    "outputs": "",
670
                    "variables": ""
671
                },
672
                "OnEvery": {
673
                    "actions": "",
674
                    "external_fun": "",
675
                    "inputs": "",
676
                    "original_actions": "",
677
                    "outputs": "",
678
                    "variables": ""
679
                }
680
            },
681
            "Composition": {
682
                "DefaultTransitions": [],
683
                "States": [],
684
                "Substates": [],
685
                "Type": "EXCLUSIVE_OR"
686
            },
687
            "Id": 1579,
688
            "InnerTransitions": [],
689
            "Name": "A3",
690
            "OuterTransitions": [],
691
            "Path": "Inner3_Inner3/A/A3"
692
        },
693
        {
694
            "Actions": {
695
                "Bind": {
696
                    "actions": "",
697
                    "external_fun": "",
698
                    "inputs": "",
699
                    "original_actions": "",
700
                    "outputs": "",
701
                    "variables": ""
702
                },
703
                "During": {
704
                    "actions": "",
705
                    "external_fun": "",
706
                    "inputs": "",
707
                    "original_actions": "",
708
                    "outputs": "",
709
                    "variables": ""
710
                },
711
                "Entry": {
712
                    "actions": "",
713
                    "external_fun": "",
714
                    "inputs": "",
715
                    "original_actions": "",
716
                    "outputs": "",
717
                    "variables": ""
718
                },
719
                "Exit": {
720
                    "actions": "",
721
                    "external_fun": "",
722
                    "inputs": "",
723
                    "original_actions": "",
724
                    "outputs": "",
725
                    "variables": ""
726
                },
727
                "On": {
728
                    "actions": "",
729
                    "external_fun": "",
730
                    "inputs": "",
731
                    "original_actions": "",
732
                    "outputs": "",
733
                    "variables": ""
734
                },
735
                "OnAfter": {
736
                    "actions": "",
737
                    "external_fun": "",
738
                    "inputs": "",
739
                    "original_actions": "",
740
                    "outputs": "",
741
                    "variables": ""
742
                },
743
                "OnAt": {
744
                    "actions": "",
745
                    "external_fun": "",
746
                    "inputs": "",
747
                    "original_actions": "",
748
                    "outputs": "",
749
                    "variables": ""
750
                },
751
                "OnBefore": {
752
                    "actions": "",
753
                    "external_fun": "",
754
                    "inputs": "",
755
                    "original_actions": "",
756
                    "outputs": "",
757
                    "variables": ""
758
                },
759
                "OnEvery": {
760
                    "actions": "",
761
                    "external_fun": "",
762
                    "inputs": "",
763
                    "original_actions": "",
764
                    "outputs": "",
765
                    "variables": ""
766
                }
767
            },
768
            "Composition": {
769
                "DefaultTransitions": [],
770
                "States": [],
771
                "Substates": [],
772
                "Type": "EXCLUSIVE_OR"
773
            },
774
            "Id": 1577,
775
            "InnerTransitions": [],
776
            "Name": "A1",
777
            "OuterTransitions": [],
778
            "Path": "Inner3_Inner3/A/A1"
779
        }
780
    ],
781
    "TruthTables": []
782
}