Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (16.7 KB)

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