Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (16.1 KB)

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