Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / new_format.json @ 184630f0

History | View | Annotate | Download (12.2 KB)

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