Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (31.6 KB)

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