Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (23.1 KB)

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