Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (23 KB)

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