Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (16.4 KB)

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