Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (18 KB)

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