Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (15.5 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 1778,
8
            "InitialValue": "0",
9
            "Name": "x",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "real",
17
            "Id": 1779,
18
            "InitialValue": "0.0",
19
            "Name": "a",
20
            "Port": 1,
21
            "Scope": "Output"
22
        }
23
    ],
24
    "Events": [],
25
    "GraphicalFunctions": [],
26
    "Junctions": [
27
        {
28
            "Id": 1780,
29
            "Name": "Junction1780",
30
            "OuterTransitions": {
31
                "Condition": {
32
                    "actions": "x >= 2 ",
33
                    "external_fun": "",
34
                    "inputs": "x: int;",
35
                    "original_actions": "x>=2",
36
                    "outputs": "",
37
                    "variables": ""
38
                },
39
                "ConditionAction": {
40
                    "actions": "",
41
                    "external_fun": "",
42
                    "inputs": "a: real;",
43
                    "original_actions": "a+=100",
44
                    "outputs": "a: real;",
45
                    "variables": ""
46
                },
47
                "Destination": {
48
                    "Id": 1781,
49
                    "Name": "Junctions5_Junctions5/Junction1781",
50
                    "Type": "Junction"
51
                },
52
                "Event": "",
53
                "Id": 1785,
54
                "TransitionAction": {
55
                    "actions": "",
56
                    "external_fun": "",
57
                    "inputs": "",
58
                    "original_actions": "",
59
                    "outputs": "",
60
                    "variables": ""
61
                }
62
            },
63
            "Path": "Junctions5_Junctions5/Junction1780",
64
            "Type": "CONNECTIVE"
65
        },
66
        {
67
            "Id": 1781,
68
            "Name": "Junction1781",
69
            "OuterTransitions": {
70
                "Condition": {
71
                    "actions": "x >= 4 ",
72
                    "external_fun": "",
73
                    "inputs": "x: int;",
74
                    "original_actions": "x>=4",
75
                    "outputs": "",
76
                    "variables": ""
77
                },
78
                "ConditionAction": {
79
                    "actions": "",
80
                    "external_fun": "",
81
                    "inputs": "a: real;",
82
                    "original_actions": "a+=1000",
83
                    "outputs": "a: real;",
84
                    "variables": ""
85
                },
86
                "Destination": {
87
                    "Id": 1777,
88
                    "Name": "Junctions5_Junctions5/B",
89
                    "Type": "State"
90
                },
91
                "Event": "",
92
                "Id": 1786,
93
                "TransitionAction": {
94
                    "actions": "",
95
                    "external_fun": "",
96
                    "inputs": "",
97
                    "original_actions": "",
98
                    "outputs": "",
99
                    "variables": ""
100
                }
101
            },
102
            "Path": "Junctions5_Junctions5/Junction1781",
103
            "Type": "CONNECTIVE"
104
        }
105
    ],
106
    "Name": "Junctions5",
107
    "Path": "Junctions5_Junctions5",
108
    "SimulinkFunctions": [],
109
    "States": [
110
        {
111
            "Actions": {
112
                "Bind": {
113
                    "actions": "",
114
                    "external_fun": "",
115
                    "inputs": "",
116
                    "original_actions": "",
117
                    "outputs": "",
118
                    "variables": ""
119
                },
120
                "During": {
121
                    "actions": "",
122
                    "external_fun": "",
123
                    "inputs": "",
124
                    "original_actions": "",
125
                    "outputs": "",
126
                    "variables": ""
127
                },
128
                "Entry": {
129
                    "actions": "",
130
                    "external_fun": "",
131
                    "inputs": "",
132
                    "original_actions": "",
133
                    "outputs": "",
134
                    "variables": ""
135
                },
136
                "Exit": {
137
                    "actions": "",
138
                    "external_fun": "",
139
                    "inputs": "",
140
                    "original_actions": "",
141
                    "outputs": "",
142
                    "variables": ""
143
                },
144
                "On": {
145
                    "actions": "",
146
                    "external_fun": "",
147
                    "inputs": "",
148
                    "original_actions": "",
149
                    "outputs": "",
150
                    "variables": ""
151
                },
152
                "OnAfter": {
153
                    "actions": "",
154
                    "external_fun": "",
155
                    "inputs": "",
156
                    "original_actions": "",
157
                    "outputs": "",
158
                    "variables": ""
159
                },
160
                "OnAt": {
161
                    "actions": "",
162
                    "external_fun": "",
163
                    "inputs": "",
164
                    "original_actions": "",
165
                    "outputs": "",
166
                    "variables": ""
167
                },
168
                "OnBefore": {
169
                    "actions": "",
170
                    "external_fun": "",
171
                    "inputs": "",
172
                    "original_actions": "",
173
                    "outputs": "",
174
                    "variables": ""
175
                },
176
                "OnEvery": {
177
                    "actions": "",
178
                    "external_fun": "",
179
                    "inputs": "",
180
                    "original_actions": "",
181
                    "outputs": "",
182
                    "variables": ""
183
                }
184
            },
185
            "Composition": {
186
                "DefaultTransitions": {
187
                    "Condition": {
188
                        "actions": "",
189
                        "external_fun": "",
190
                        "inputs": "",
191
                        "original_actions": "",
192
                        "outputs": "",
193
                        "variables": ""
194
                    },
195
                    "ConditionAction": {
196
                        "actions": "",
197
                        "external_fun": "",
198
                        "inputs": "",
199
                        "original_actions": "",
200
                        "outputs": "",
201
                        "variables": ""
202
                    },
203
                    "Destination": {
204
                        "Id": 1776,
205
                        "Name": "Junctions5_Junctions5/A",
206
                        "Type": "State"
207
                    },
208
                    "Event": "",
209
                    "Id": 1782,
210
                    "TransitionAction": {
211
                        "actions": "",
212
                        "external_fun": "",
213
                        "inputs": "",
214
                        "original_actions": "",
215
                        "outputs": "",
216
                        "variables": ""
217
                    }
218
                },
219
                "States": [
220
                    1776,
221
                    1777
222
                ],
223
                "Substates": [
224
                    "A",
225
                    "B"
226
                ],
227
                "Type": "EXCLUSIVE_OR"
228
            },
229
            "Id": 1775,
230
            "InnerTransitions": [],
231
            "OuterTransitions": [],
232
            "Path": "Junctions5_Junctions5"
233
        },
234
        {
235
            "Actions": {
236
                "Bind": {
237
                    "actions": "",
238
                    "external_fun": "",
239
                    "inputs": "",
240
                    "original_actions": "",
241
                    "outputs": "",
242
                    "variables": ""
243
                },
244
                "During": {
245
                    "actions": "",
246
                    "external_fun": "",
247
                    "inputs": "",
248
                    "original_actions": "",
249
                    "outputs": "",
250
                    "variables": ""
251
                },
252
                "Entry": {
253
                    "actions": "",
254
                    "external_fun": "",
255
                    "inputs": "",
256
                    "original_actions": "",
257
                    "outputs": "",
258
                    "variables": ""
259
                },
260
                "Exit": {
261
                    "actions": "",
262
                    "external_fun": "",
263
                    "inputs": "",
264
                    "original_actions": "",
265
                    "outputs": "",
266
                    "variables": ""
267
                },
268
                "On": {
269
                    "actions": "",
270
                    "external_fun": "",
271
                    "inputs": "",
272
                    "original_actions": "",
273
                    "outputs": "",
274
                    "variables": ""
275
                },
276
                "OnAfter": {
277
                    "actions": "",
278
                    "external_fun": "",
279
                    "inputs": "",
280
                    "original_actions": "",
281
                    "outputs": "",
282
                    "variables": ""
283
                },
284
                "OnAt": {
285
                    "actions": "",
286
                    "external_fun": "",
287
                    "inputs": "",
288
                    "original_actions": "",
289
                    "outputs": "",
290
                    "variables": ""
291
                },
292
                "OnBefore": {
293
                    "actions": "",
294
                    "external_fun": "",
295
                    "inputs": "",
296
                    "original_actions": "",
297
                    "outputs": "",
298
                    "variables": ""
299
                },
300
                "OnEvery": {
301
                    "actions": "",
302
                    "external_fun": "",
303
                    "inputs": "",
304
                    "original_actions": "",
305
                    "outputs": "",
306
                    "variables": ""
307
                }
308
            },
309
            "Composition": {
310
                "DefaultTransitions": [],
311
                "States": [],
312
                "Substates": [],
313
                "Type": "EXCLUSIVE_OR"
314
            },
315
            "Id": 1776,
316
            "InnerTransitions": [],
317
            "Name": "A",
318
            "OuterTransitions": [
319
                {
320
                    "Condition": {
321
                        "actions": "x ",
322
                        "external_fun": "",
323
                        "inputs": "x: int;",
324
                        "original_actions": "x%%3==1",
325
                        "outputs": "",
326
                        "variables": ""
327
                    },
328
                    "ConditionAction": {
329
                        "actions": "",
330
                        "external_fun": "",
331
                        "inputs": "a: real;",
332
                        "original_actions": "a+=10",
333
                        "outputs": "a: real;",
334
                        "variables": ""
335
                    },
336
                    "Destination": {
337
                        "Id": 1780,
338
                        "Name": "Junctions5_Junctions5/Junction1780",
339
                        "Type": "Junction"
340
                    },
341
                    "Event": "",
342
                    "Id": 1784,
343
                    "TransitionAction": {
344
                        "actions": "",
345
                        "external_fun": "",
346
                        "inputs": "",
347
                        "original_actions": "",
348
                        "outputs": "",
349
                        "variables": ""
350
                    }
351
                },
352
                {
353
                    "Condition": {
354
                        "actions": "x ",
355
                        "external_fun": "",
356
                        "inputs": "x: int;",
357
                        "original_actions": "x%%3==0",
358
                        "outputs": "",
359
                        "variables": ""
360
                    },
361
                    "ConditionAction": {
362
                        "actions": "",
363
                        "external_fun": "",
364
                        "inputs": "a: real;",
365
                        "original_actions": "a+=1",
366
                        "outputs": "a: real;",
367
                        "variables": ""
368
                    },
369
                    "Destination": {
370
                        "Id": 1780,
371
                        "Name": "Junctions5_Junctions5/Junction1780",
372
                        "Type": "Junction"
373
                    },
374
                    "Event": "",
375
                    "Id": 1783,
376
                    "TransitionAction": {
377
                        "actions": "",
378
                        "external_fun": "",
379
                        "inputs": "",
380
                        "original_actions": "",
381
                        "outputs": "",
382
                        "variables": ""
383
                    }
384
                }
385
            ],
386
            "Path": "Junctions5_Junctions5/A"
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": 1777,
470
            "InnerTransitions": [],
471
            "Name": "B",
472
            "OuterTransitions": [],
473
            "Path": "Junctions5_Junctions5/B"
474
        }
475
    ],
476
    "TruthTables": []
477
}