Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (36.4 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 3350,
8
            "InitialValue": "0",
9
            "Name": "x",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 3351,
18
            "InitialValue": "0",
19
            "Name": "s",
20
            "Port": 1,
21
            "Scope": "Output"
22
        }
23
    ],
24
    "Events": [
25
        {
26
            "Id": 3352,
27
            "Name": "E",
28
            "Port": 1,
29
            "Scope": "Input"
30
        },
31
        {
32
            "Id": 3353,
33
            "Name": "F",
34
            "Port": 2,
35
            "Scope": "Input"
36
        }
37
    ],
38
    "GraphicalFunctions": [],
39
    "Junctions": [
40
        {
41
            "Id": 3354,
42
            "Name": "Junction3354",
43
            "OuterTransitions": [
44
                {
45
                    "Condition": {
46
                        "actions": "x = 0 ",
47
                        "external_fun": "",
48
                        "inputs": "x: int;",
49
                        "original_actions": "x==0",
50
                        "outputs": "x: int;",
51
                        "variables": ""
52
                    },
53
                    "ConditionAction": {
54
                        "actions": "",
55
                        "external_fun": "",
56
                        "inputs": "",
57
                        "original_actions": "",
58
                        "outputs": "",
59
                        "variables": ""
60
                    },
61
                    "Destination": {
62
                        "Id": 3344,
63
                        "Name": "Super1_Super1/C/C1",
64
                        "Type": "State"
65
                    },
66
                    "Event": "",
67
                    "Id": 3358,
68
                    "TransitionAction": {
69
                        "actions": "",
70
                        "external_fun": "",
71
                        "inputs": "",
72
                        "original_actions": "",
73
                        "outputs": "",
74
                        "variables": ""
75
                    }
76
                },
77
                {
78
                    "Condition": {
79
                        "actions": "",
80
                        "external_fun": "",
81
                        "inputs": "x: int;",
82
                        "original_actions": "x<>0",
83
                        "outputs": "",
84
                        "variables": ""
85
                    },
86
                    "ConditionAction": {
87
                        "actions": "",
88
                        "external_fun": "",
89
                        "inputs": "",
90
                        "original_actions": "",
91
                        "outputs": "",
92
                        "variables": ""
93
                    },
94
                    "Destination": {
95
                        "Id": 3346,
96
                        "Name": "Super1_Super1/D",
97
                        "Type": "State"
98
                    },
99
                    "Event": "",
100
                    "Id": 3360,
101
                    "TransitionAction": {
102
                        "actions": "",
103
                        "external_fun": "",
104
                        "inputs": "",
105
                        "original_actions": "",
106
                        "outputs": "",
107
                        "variables": ""
108
                    }
109
                }
110
            ],
111
            "Path": "Super1_Super1/Junction3354",
112
            "Type": "CONNECTIVE"
113
        },
114
        {
115
            "Id": 3355,
116
            "Name": "Junction3355",
117
            "OuterTransitions": [
118
                {
119
                    "Condition": {
120
                        "actions": "",
121
                        "external_fun": "",
122
                        "inputs": "x: int;",
123
                        "original_actions": "x<>0",
124
                        "outputs": "",
125
                        "variables": ""
126
                    },
127
                    "ConditionAction": {
128
                        "actions": "",
129
                        "external_fun": "",
130
                        "inputs": "",
131
                        "original_actions": "",
132
                        "outputs": "",
133
                        "variables": ""
134
                    },
135
                    "Destination": {
136
                        "Id": 3346,
137
                        "Name": "Super1_Super1/D",
138
                        "Type": "State"
139
                    },
140
                    "Event": "",
141
                    "Id": 3365,
142
                    "TransitionAction": {
143
                        "actions": "",
144
                        "external_fun": "",
145
                        "inputs": "",
146
                        "original_actions": "",
147
                        "outputs": "",
148
                        "variables": ""
149
                    }
150
                },
151
                {
152
                    "Condition": {
153
                        "actions": "x = 0 ",
154
                        "external_fun": "",
155
                        "inputs": "x: int;",
156
                        "original_actions": "x==0",
157
                        "outputs": "x: int;",
158
                        "variables": ""
159
                    },
160
                    "ConditionAction": {
161
                        "actions": "",
162
                        "external_fun": "",
163
                        "inputs": "",
164
                        "original_actions": "",
165
                        "outputs": "",
166
                        "variables": ""
167
                    },
168
                    "Destination": {
169
                        "Id": 3341,
170
                        "Name": "Super1_Super1/A",
171
                        "Type": "State"
172
                    },
173
                    "Event": "",
174
                    "Id": 3363,
175
                    "TransitionAction": {
176
                        "actions": "",
177
                        "external_fun": "",
178
                        "inputs": "",
179
                        "original_actions": "",
180
                        "outputs": "",
181
                        "variables": ""
182
                    }
183
                }
184
            ],
185
            "Path": "Super1_Super1/Junction3355",
186
            "Type": "CONNECTIVE"
187
        }
188
    ],
189
    "Name": "Super1",
190
    "Path": "Super1_Super1",
191
    "SimulinkFunctions": [],
192
    "States": [
193
        {
194
            "Actions": {
195
                "Bind": {
196
                    "actions": "",
197
                    "external_fun": "",
198
                    "inputs": "",
199
                    "original_actions": "",
200
                    "outputs": "",
201
                    "variables": ""
202
                },
203
                "During": {
204
                    "actions": "",
205
                    "external_fun": "",
206
                    "inputs": "",
207
                    "original_actions": "",
208
                    "outputs": "",
209
                    "variables": ""
210
                },
211
                "Entry": {
212
                    "actions": "",
213
                    "external_fun": "",
214
                    "inputs": "",
215
                    "original_actions": "",
216
                    "outputs": "",
217
                    "variables": ""
218
                },
219
                "Exit": {
220
                    "actions": "",
221
                    "external_fun": "",
222
                    "inputs": "",
223
                    "original_actions": "",
224
                    "outputs": "",
225
                    "variables": ""
226
                },
227
                "On": {
228
                    "actions": "",
229
                    "external_fun": "",
230
                    "inputs": "",
231
                    "original_actions": "",
232
                    "outputs": "",
233
                    "variables": ""
234
                },
235
                "OnAfter": {
236
                    "actions": "",
237
                    "external_fun": "",
238
                    "inputs": "",
239
                    "original_actions": "",
240
                    "outputs": "",
241
                    "variables": ""
242
                },
243
                "OnAt": {
244
                    "actions": "",
245
                    "external_fun": "",
246
                    "inputs": "",
247
                    "original_actions": "",
248
                    "outputs": "",
249
                    "variables": ""
250
                },
251
                "OnBefore": {
252
                    "actions": "",
253
                    "external_fun": "",
254
                    "inputs": "",
255
                    "original_actions": "",
256
                    "outputs": "",
257
                    "variables": ""
258
                },
259
                "OnEvery": {
260
                    "actions": "",
261
                    "external_fun": "",
262
                    "inputs": "",
263
                    "original_actions": "",
264
                    "outputs": "",
265
                    "variables": ""
266
                }
267
            },
268
            "Composition": {
269
                "DefaultTransitions": {
270
                    "Condition": {
271
                        "actions": "",
272
                        "external_fun": "",
273
                        "inputs": "",
274
                        "original_actions": "",
275
                        "outputs": "",
276
                        "variables": ""
277
                    },
278
                    "ConditionAction": {
279
                        "actions": "",
280
                        "external_fun": "",
281
                        "inputs": "",
282
                        "original_actions": "",
283
                        "outputs": "",
284
                        "variables": ""
285
                    },
286
                    "Destination": {
287
                        "Id": 3341,
288
                        "Name": "Super1_Super1/A",
289
                        "Type": "State"
290
                    },
291
                    "Event": "",
292
                    "Id": 3356,
293
                    "TransitionAction": {
294
                        "actions": "",
295
                        "external_fun": "",
296
                        "inputs": "",
297
                        "original_actions": "",
298
                        "outputs": "",
299
                        "variables": ""
300
                    }
301
                },
302
                "States": [
303
                    3341,
304
                    3342,
305
                    3343,
306
                    3346
307
                ],
308
                "Substates": [
309
                    "A",
310
                    "B",
311
                    "C",
312
                    "D"
313
                ],
314
                "Type": "EXCLUSIVE_OR"
315
            },
316
            "Id": 3340,
317
            "InnerTransitions": [],
318
            "OuterTransitions": [],
319
            "Path": "Super1_Super1"
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": "s = 1; ",
341
                    "external_fun": "",
342
                    "inputs": "s: int;",
343
                    "original_actions": "s=1;",
344
                    "outputs": "s: int;",
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": 3341,
403
            "InnerTransitions": [],
404
            "Name": "A",
405
            "OuterTransitions": {
406
                "Condition": {
407
                    "actions": "",
408
                    "external_fun": "",
409
                    "inputs": "",
410
                    "original_actions": "",
411
                    "outputs": "",
412
                    "variables": ""
413
                },
414
                "ConditionAction": {
415
                    "actions": "",
416
                    "external_fun": "",
417
                    "inputs": "",
418
                    "original_actions": "",
419
                    "outputs": "",
420
                    "variables": ""
421
                },
422
                "Destination": {
423
                    "Id": 3354,
424
                    "Name": "Super1_Super1/Junction3354",
425
                    "Type": "Junction"
426
                },
427
                "Event": "E",
428
                "Id": 3359,
429
                "TransitionAction": {
430
                    "actions": "",
431
                    "external_fun": "",
432
                    "inputs": "",
433
                    "original_actions": "",
434
                    "outputs": "",
435
                    "variables": ""
436
                }
437
            },
438
            "Path": "Super1_Super1/A"
439
        },
440
        {
441
            "Actions": {
442
                "Bind": {
443
                    "actions": "",
444
                    "external_fun": "",
445
                    "inputs": "",
446
                    "original_actions": "",
447
                    "outputs": "",
448
                    "variables": ""
449
                },
450
                "During": {
451
                    "actions": "",
452
                    "external_fun": "",
453
                    "inputs": "",
454
                    "original_actions": "",
455
                    "outputs": "",
456
                    "variables": ""
457
                },
458
                "Entry": {
459
                    "actions": "s = 5; ",
460
                    "external_fun": "",
461
                    "inputs": "s: int;",
462
                    "original_actions": "s=5;",
463
                    "outputs": "s: int;",
464
                    "variables": ""
465
                },
466
                "Exit": {
467
                    "actions": "",
468
                    "external_fun": "",
469
                    "inputs": "",
470
                    "original_actions": "",
471
                    "outputs": "",
472
                    "variables": ""
473
                },
474
                "On": {
475
                    "actions": "",
476
                    "external_fun": "",
477
                    "inputs": "",
478
                    "original_actions": "",
479
                    "outputs": "",
480
                    "variables": ""
481
                },
482
                "OnAfter": {
483
                    "actions": "",
484
                    "external_fun": "",
485
                    "inputs": "",
486
                    "original_actions": "",
487
                    "outputs": "",
488
                    "variables": ""
489
                },
490
                "OnAt": {
491
                    "actions": "",
492
                    "external_fun": "",
493
                    "inputs": "",
494
                    "original_actions": "",
495
                    "outputs": "",
496
                    "variables": ""
497
                },
498
                "OnBefore": {
499
                    "actions": "",
500
                    "external_fun": "",
501
                    "inputs": "",
502
                    "original_actions": "",
503
                    "outputs": "",
504
                    "variables": ""
505
                },
506
                "OnEvery": {
507
                    "actions": "",
508
                    "external_fun": "",
509
                    "inputs": "",
510
                    "original_actions": "",
511
                    "outputs": "",
512
                    "variables": ""
513
                }
514
            },
515
            "Composition": {
516
                "DefaultTransitions": [],
517
                "States": [],
518
                "Substates": [],
519
                "Type": "EXCLUSIVE_OR"
520
            },
521
            "Id": 3342,
522
            "InnerTransitions": [],
523
            "Name": "B",
524
            "OuterTransitions": {
525
                "Condition": {
526
                    "actions": "",
527
                    "external_fun": "",
528
                    "inputs": "",
529
                    "original_actions": "",
530
                    "outputs": "",
531
                    "variables": ""
532
                },
533
                "ConditionAction": {
534
                    "actions": "",
535
                    "external_fun": "",
536
                    "inputs": "",
537
                    "original_actions": "",
538
                    "outputs": "",
539
                    "variables": ""
540
                },
541
                "Destination": {
542
                    "Id": 3345,
543
                    "Name": "Super1_Super1/C/C2",
544
                    "Type": "State"
545
                },
546
                "Event": "E",
547
                "Id": 3361,
548
                "TransitionAction": {
549
                    "actions": "",
550
                    "external_fun": "",
551
                    "inputs": "",
552
                    "original_actions": "",
553
                    "outputs": "",
554
                    "variables": ""
555
                }
556
            },
557
            "Path": "Super1_Super1/B"
558
        },
559
        {
560
            "Actions": {
561
                "Bind": {
562
                    "actions": "",
563
                    "external_fun": "",
564
                    "inputs": "",
565
                    "original_actions": "",
566
                    "outputs": "",
567
                    "variables": ""
568
                },
569
                "During": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                },
577
                "Entry": {
578
                    "actions": "",
579
                    "external_fun": "",
580
                    "inputs": "",
581
                    "original_actions": "",
582
                    "outputs": "",
583
                    "variables": ""
584
                },
585
                "Exit": {
586
                    "actions": "",
587
                    "external_fun": "",
588
                    "inputs": "",
589
                    "original_actions": "",
590
                    "outputs": "",
591
                    "variables": ""
592
                },
593
                "On": {
594
                    "actions": "",
595
                    "external_fun": "",
596
                    "inputs": "",
597
                    "original_actions": "",
598
                    "outputs": "",
599
                    "variables": ""
600
                },
601
                "OnAfter": {
602
                    "actions": "",
603
                    "external_fun": "",
604
                    "inputs": "",
605
                    "original_actions": "",
606
                    "outputs": "",
607
                    "variables": ""
608
                },
609
                "OnAt": {
610
                    "actions": "",
611
                    "external_fun": "",
612
                    "inputs": "",
613
                    "original_actions": "",
614
                    "outputs": "",
615
                    "variables": ""
616
                },
617
                "OnBefore": {
618
                    "actions": "",
619
                    "external_fun": "",
620
                    "inputs": "",
621
                    "original_actions": "",
622
                    "outputs": "",
623
                    "variables": ""
624
                },
625
                "OnEvery": {
626
                    "actions": "",
627
                    "external_fun": "",
628
                    "inputs": "",
629
                    "original_actions": "",
630
                    "outputs": "",
631
                    "variables": ""
632
                }
633
            },
634
            "Composition": {
635
                "DefaultTransitions": {
636
                    "Condition": {
637
                        "actions": "",
638
                        "external_fun": "",
639
                        "inputs": "",
640
                        "original_actions": "",
641
                        "outputs": "",
642
                        "variables": ""
643
                    },
644
                    "ConditionAction": {
645
                        "actions": "",
646
                        "external_fun": "",
647
                        "inputs": "",
648
                        "original_actions": "",
649
                        "outputs": "",
650
                        "variables": ""
651
                    },
652
                    "Destination": {
653
                        "Id": 3344,
654
                        "Name": "Super1_Super1/C/C1",
655
                        "Type": "State"
656
                    },
657
                    "Event": "",
658
                    "Id": 3347,
659
                    "TransitionAction": {
660
                        "actions": "",
661
                        "external_fun": "",
662
                        "inputs": "",
663
                        "original_actions": "",
664
                        "outputs": "",
665
                        "variables": ""
666
                    }
667
                },
668
                "States": [
669
                    3344,
670
                    3345
671
                ],
672
                "Substates": [
673
                    "C1",
674
                    "C2"
675
                ],
676
                "Type": "EXCLUSIVE_OR"
677
            },
678
            "Id": 3343,
679
            "InnerTransitions": [],
680
            "Name": "C",
681
            "OuterTransitions": [],
682
            "Path": "Super1_Super1/C"
683
        },
684
        {
685
            "Actions": {
686
                "Bind": {
687
                    "actions": "",
688
                    "external_fun": "",
689
                    "inputs": "",
690
                    "original_actions": "",
691
                    "outputs": "",
692
                    "variables": ""
693
                },
694
                "During": {
695
                    "actions": "",
696
                    "external_fun": "",
697
                    "inputs": "",
698
                    "original_actions": "",
699
                    "outputs": "",
700
                    "variables": ""
701
                },
702
                "Entry": {
703
                    "actions": "s = 2; ",
704
                    "external_fun": "",
705
                    "inputs": "s: int;",
706
                    "original_actions": "s=2;",
707
                    "outputs": "s: int;",
708
                    "variables": ""
709
                },
710
                "Exit": {
711
                    "actions": "",
712
                    "external_fun": "",
713
                    "inputs": "",
714
                    "original_actions": "",
715
                    "outputs": "",
716
                    "variables": ""
717
                },
718
                "On": {
719
                    "actions": "",
720
                    "external_fun": "",
721
                    "inputs": "",
722
                    "original_actions": "",
723
                    "outputs": "",
724
                    "variables": ""
725
                },
726
                "OnAfter": {
727
                    "actions": "",
728
                    "external_fun": "",
729
                    "inputs": "",
730
                    "original_actions": "",
731
                    "outputs": "",
732
                    "variables": ""
733
                },
734
                "OnAt": {
735
                    "actions": "",
736
                    "external_fun": "",
737
                    "inputs": "",
738
                    "original_actions": "",
739
                    "outputs": "",
740
                    "variables": ""
741
                },
742
                "OnBefore": {
743
                    "actions": "",
744
                    "external_fun": "",
745
                    "inputs": "",
746
                    "original_actions": "",
747
                    "outputs": "",
748
                    "variables": ""
749
                },
750
                "OnEvery": {
751
                    "actions": "",
752
                    "external_fun": "",
753
                    "inputs": "",
754
                    "original_actions": "",
755
                    "outputs": "",
756
                    "variables": ""
757
                }
758
            },
759
            "Composition": {
760
                "DefaultTransitions": [],
761
                "States": [],
762
                "Substates": [],
763
                "Type": "EXCLUSIVE_OR"
764
            },
765
            "Id": 3346,
766
            "InnerTransitions": [],
767
            "Name": "D",
768
            "OuterTransitions": {
769
                "Condition": {
770
                    "actions": "",
771
                    "external_fun": "",
772
                    "inputs": "",
773
                    "original_actions": "",
774
                    "outputs": "",
775
                    "variables": ""
776
                },
777
                "ConditionAction": {
778
                    "actions": "",
779
                    "external_fun": "",
780
                    "inputs": "",
781
                    "original_actions": "",
782
                    "outputs": "",
783
                    "variables": ""
784
                },
785
                "Destination": {
786
                    "Id": 3341,
787
                    "Name": "Super1_Super1/A",
788
                    "Type": "State"
789
                },
790
                "Event": "F",
791
                "Id": 3362,
792
                "TransitionAction": {
793
                    "actions": "",
794
                    "external_fun": "",
795
                    "inputs": "",
796
                    "original_actions": "",
797
                    "outputs": "",
798
                    "variables": ""
799
                }
800
            },
801
            "Path": "Super1_Super1/D"
802
        },
803
        {
804
            "Actions": {
805
                "Bind": {
806
                    "actions": "",
807
                    "external_fun": "",
808
                    "inputs": "",
809
                    "original_actions": "",
810
                    "outputs": "",
811
                    "variables": ""
812
                },
813
                "During": {
814
                    "actions": "",
815
                    "external_fun": "",
816
                    "inputs": "",
817
                    "original_actions": "",
818
                    "outputs": "",
819
                    "variables": ""
820
                },
821
                "Entry": {
822
                    "actions": "s = 3; ",
823
                    "external_fun": "",
824
                    "inputs": "s: int;",
825
                    "original_actions": "s=3;",
826
                    "outputs": "s: int;",
827
                    "variables": ""
828
                },
829
                "Exit": {
830
                    "actions": "",
831
                    "external_fun": "",
832
                    "inputs": "",
833
                    "original_actions": "",
834
                    "outputs": "",
835
                    "variables": ""
836
                },
837
                "On": {
838
                    "actions": "",
839
                    "external_fun": "",
840
                    "inputs": "",
841
                    "original_actions": "",
842
                    "outputs": "",
843
                    "variables": ""
844
                },
845
                "OnAfter": {
846
                    "actions": "",
847
                    "external_fun": "",
848
                    "inputs": "",
849
                    "original_actions": "",
850
                    "outputs": "",
851
                    "variables": ""
852
                },
853
                "OnAt": {
854
                    "actions": "",
855
                    "external_fun": "",
856
                    "inputs": "",
857
                    "original_actions": "",
858
                    "outputs": "",
859
                    "variables": ""
860
                },
861
                "OnBefore": {
862
                    "actions": "",
863
                    "external_fun": "",
864
                    "inputs": "",
865
                    "original_actions": "",
866
                    "outputs": "",
867
                    "variables": ""
868
                },
869
                "OnEvery": {
870
                    "actions": "",
871
                    "external_fun": "",
872
                    "inputs": "",
873
                    "original_actions": "",
874
                    "outputs": "",
875
                    "variables": ""
876
                }
877
            },
878
            "Composition": {
879
                "DefaultTransitions": [],
880
                "States": [],
881
                "Substates": [],
882
                "Type": "EXCLUSIVE_OR"
883
            },
884
            "Id": 3344,
885
            "InnerTransitions": [],
886
            "Name": "C1",
887
            "OuterTransitions": [
888
                {
889
                    "Condition": {
890
                        "actions": "",
891
                        "external_fun": "",
892
                        "inputs": "",
893
                        "original_actions": "",
894
                        "outputs": "",
895
                        "variables": ""
896
                    },
897
                    "ConditionAction": {
898
                        "actions": "",
899
                        "external_fun": "",
900
                        "inputs": "",
901
                        "original_actions": "",
902
                        "outputs": "",
903
                        "variables": ""
904
                    },
905
                    "Destination": {
906
                        "Id": 3342,
907
                        "Name": "Super1_Super1/B",
908
                        "Type": "State"
909
                    },
910
                    "Event": "E",
911
                    "Id": 3357,
912
                    "TransitionAction": {
913
                        "actions": "",
914
                        "external_fun": "",
915
                        "inputs": "",
916
                        "original_actions": "",
917
                        "outputs": "",
918
                        "variables": ""
919
                    }
920
                },
921
                {
922
                    "Condition": {
923
                        "actions": "",
924
                        "external_fun": "",
925
                        "inputs": "",
926
                        "original_actions": "",
927
                        "outputs": "",
928
                        "variables": ""
929
                    },
930
                    "ConditionAction": {
931
                        "actions": "",
932
                        "external_fun": "",
933
                        "inputs": "",
934
                        "original_actions": "",
935
                        "outputs": "",
936
                        "variables": ""
937
                    },
938
                    "Destination": {
939
                        "Id": 3345,
940
                        "Name": "Super1_Super1/C/C2",
941
                        "Type": "State"
942
                    },
943
                    "Event": "F",
944
                    "Id": 3349,
945
                    "TransitionAction": {
946
                        "actions": "",
947
                        "external_fun": "",
948
                        "inputs": "",
949
                        "original_actions": "",
950
                        "outputs": "",
951
                        "variables": ""
952
                    }
953
                }
954
            ],
955
            "Path": "Super1_Super1/C/C1"
956
        },
957
        {
958
            "Actions": {
959
                "Bind": {
960
                    "actions": "",
961
                    "external_fun": "",
962
                    "inputs": "",
963
                    "original_actions": "",
964
                    "outputs": "",
965
                    "variables": ""
966
                },
967
                "During": {
968
                    "actions": "",
969
                    "external_fun": "",
970
                    "inputs": "",
971
                    "original_actions": "",
972
                    "outputs": "",
973
                    "variables": ""
974
                },
975
                "Entry": {
976
                    "actions": "s = 4; ",
977
                    "external_fun": "",
978
                    "inputs": "s: int;",
979
                    "original_actions": "s=4;",
980
                    "outputs": "s: int;",
981
                    "variables": ""
982
                },
983
                "Exit": {
984
                    "actions": "",
985
                    "external_fun": "",
986
                    "inputs": "",
987
                    "original_actions": "",
988
                    "outputs": "",
989
                    "variables": ""
990
                },
991
                "On": {
992
                    "actions": "",
993
                    "external_fun": "",
994
                    "inputs": "",
995
                    "original_actions": "",
996
                    "outputs": "",
997
                    "variables": ""
998
                },
999
                "OnAfter": {
1000
                    "actions": "",
1001
                    "external_fun": "",
1002
                    "inputs": "",
1003
                    "original_actions": "",
1004
                    "outputs": "",
1005
                    "variables": ""
1006
                },
1007
                "OnAt": {
1008
                    "actions": "",
1009
                    "external_fun": "",
1010
                    "inputs": "",
1011
                    "original_actions": "",
1012
                    "outputs": "",
1013
                    "variables": ""
1014
                },
1015
                "OnBefore": {
1016
                    "actions": "",
1017
                    "external_fun": "",
1018
                    "inputs": "",
1019
                    "original_actions": "",
1020
                    "outputs": "",
1021
                    "variables": ""
1022
                },
1023
                "OnEvery": {
1024
                    "actions": "",
1025
                    "external_fun": "",
1026
                    "inputs": "",
1027
                    "original_actions": "",
1028
                    "outputs": "",
1029
                    "variables": ""
1030
                }
1031
            },
1032
            "Composition": {
1033
                "DefaultTransitions": [],
1034
                "States": [],
1035
                "Substates": [],
1036
                "Type": "EXCLUSIVE_OR"
1037
            },
1038
            "Id": 3345,
1039
            "InnerTransitions": [],
1040
            "Name": "C2",
1041
            "OuterTransitions": [
1042
                {
1043
                    "Condition": {
1044
                        "actions": "x < 2 ",
1045
                        "external_fun": "",
1046
                        "inputs": "x: int;",
1047
                        "original_actions": "x<2",
1048
                        "outputs": "",
1049
                        "variables": ""
1050
                    },
1051
                    "ConditionAction": {
1052
                        "actions": "",
1053
                        "external_fun": "",
1054
                        "inputs": "",
1055
                        "original_actions": "",
1056
                        "outputs": "",
1057
                        "variables": ""
1058
                    },
1059
                    "Destination": {
1060
                        "Id": 3355,
1061
                        "Name": "Super1_Super1/Junction3355",
1062
                        "Type": "Junction"
1063
                    },
1064
                    "Event": "E",
1065
                    "Id": 3364,
1066
                    "TransitionAction": {
1067
                        "actions": "",
1068
                        "external_fun": "",
1069
                        "inputs": "",
1070
                        "original_actions": "",
1071
                        "outputs": "",
1072
                        "variables": ""
1073
                    }
1074
                },
1075
                {
1076
                    "Condition": {
1077
                        "actions": "",
1078
                        "external_fun": "",
1079
                        "inputs": "",
1080
                        "original_actions": "",
1081
                        "outputs": "",
1082
                        "variables": ""
1083
                    },
1084
                    "ConditionAction": {
1085
                        "actions": "",
1086
                        "external_fun": "",
1087
                        "inputs": "",
1088
                        "original_actions": "",
1089
                        "outputs": "",
1090
                        "variables": ""
1091
                    },
1092
                    "Destination": {
1093
                        "Id": 3344,
1094
                        "Name": "Super1_Super1/C/C1",
1095
                        "Type": "State"
1096
                    },
1097
                    "Event": "F",
1098
                    "Id": 3348,
1099
                    "TransitionAction": {
1100
                        "actions": "",
1101
                        "external_fun": "",
1102
                        "inputs": "",
1103
                        "original_actions": "",
1104
                        "outputs": "",
1105
                        "variables": ""
1106
                    }
1107
                }
1108
            ],
1109
            "Path": "Super1_Super1/C/C2"
1110
        }
1111
    ],
1112
    "TruthTables": []
1113
}