Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (28.2 KB)

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