Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.4 KB)

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