Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18.6 KB)

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