Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14 KB)

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