Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (22.5 KB)

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