Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.9 KB)

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