Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (27.3 KB)

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