Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (23.1 KB)

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