Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (27.3 KB)

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