Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (28.3 KB)

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