Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (33.3 KB)

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