Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (25.7 KB)

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