Project

General

Profile

Revision 184630f0 stateflow_json/new_format.json

View differences:

stateflow_json/new_format.json
1 1
{
2
    "data": [
2
    "Data": [
3 3
        {
4
            "array_size": "-1",
5
            "datatype": "real",
6
            "initial_value": "0.0",
7
            "name": "x",
8
            "port": 1,
9
            "scope": "Output"
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"
10 12
        },
11 13
        {
12
            "array_size": "-1",
13
            "datatype": "real",
14
            "initial_value": "0.0",
15
            "name": "y",
16
            "port": 2,
17
            "scope": "Output"
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"
18 22
        },
19 23
        {
20
            "array_size": "-1",
21
            "datatype": "real",
22
            "initial_value": "0.0",
23
            "name": "l",
24
            "port": null,
25
            "scope": "Local"
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"
26 32
        },
27 33
        {
28
            "array_size": "-1",
29
            "datatype": "real",
30
            "initial_value": "0.0",
31
            "name": "p",
32
            "port": null,
33
            "scope": "Parameter"
34
        },
35
        {
36
            "array_size": [],
37
            "datatype": "bool",
38
            "initial_value": "false",
39
            "name": "E",
40
            "port": 1,
41
            "scope": "Input"
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 42
        }
43 43
    ],
44
    "junctions": [],
45
    "name": "simple_Chart",
46
    "origin_path": "simple/Chart",
47
    "sffunctions": [],
48
    "states": [
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": [
49 56
        {
50
            "inner_trans": [],
51
            "internal_composition": {
52
                "substates": [
53
                    "A",
54
                    "B"
55
                ],
56
                "tinit": {
57
                    "condition": "",
58
                    "condition_act": "",
59
                    "dest": {
60
                        "name": "simple_Chart/A",
61
                        "type": "State"
62
                    },
63
                    "event": "",
64
                    "id": 183,
65
                    "transition_act": ""
57
            "Actions": {
58
                "Bind": {
59
                    "actions": "",
60
                    "external_fun": "",
61
                    "inputs": "",
62
                    "original_actions": "",
63
                    "outputs": "",
64
                    "variables": ""
66 65
                },
67
                "type": "EXCLUSIVE_OR"
68
            },
69
            "outer_trans": [],
70
            "path": "simple_Chart",
71
            "state_actions": {
72
                "during_act": {
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": {
73 107
                    "actions": "",
74 108
                    "external_fun": "",
75 109
                    "inputs": "",
......
77 111
                    "outputs": "",
78 112
                    "variables": ""
79 113
                },
80
                "entry_act": {
114
                "OnBefore": {
81 115
                    "actions": "",
82 116
                    "external_fun": "",
83 117
                    "inputs": "",
......
85 119
                    "outputs": "",
86 120
                    "variables": ""
87 121
                },
88
                "exit_act": {
122
                "OnEvery": {
89 123
                    "actions": "",
90 124
                    "external_fun": "",
91 125
                    "inputs": "",
......
93 127
                    "outputs": "",
94 128
                    "variables": ""
95 129
                }
96
            }
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"
97 179
        },
98 180
        {
99
            "inner_trans": [],
100
            "internal_composition": {
101
                "substates": [],
102
                "tinit": [],
103
                "type": "EXCLUSIVE_OR"
104
            },
105
            "outer_trans": [],
106
            "path": "simple_Chart/B",
107
            "state_actions": {
108
                "during_act": {
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": {
109 207
                    "actions": "",
110 208
                    "external_fun": "",
111 209
                    "inputs": "",
......
113 211
                    "outputs": "",
114 212
                    "variables": ""
115 213
                },
116
                "entry_act": {
214
                "On": {
117 215
                    "actions": "",
118 216
                    "external_fun": "",
119 217
                    "inputs": "",
......
121 219
                    "outputs": "",
122 220
                    "variables": ""
123 221
                },
124
                "exit_act": {
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": {
125 247
                    "actions": "",
126 248
                    "external_fun": "",
127 249
                    "inputs": "",
......
129 251
                    "outputs": "",
130 252
                    "variables": ""
131 253
                }
132
            }
133
        },
134
        {
135
            "inner_trans": [],
136
            "internal_composition": {
137
                "substates": [],
138
                "tinit": [],
139
                "type": "EXCLUSIVE_OR"
140 254
            },
141
            "outer_trans": {
142
                "condition": {
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": {
143 266
                    "actions": "x + 1.0 > y ",
144 267
                    "external_fun": "",
145
                    "inputs": "y: real;x: real;",
268
                    "inputs": "x: real;y: real;",
146 269
                    "original_actions": "x+1>y",
147 270
                    "outputs": "",
148 271
                    "variables": ""
149 272
                },
150
                "condition_act": {
273
                "ConditionAction": {
151 274
                    "actions": "x = 0.0; ",
152 275
                    "external_fun": "",
153 276
                    "inputs": "x: real;",
154
                    "original_actions": "x=0",
277
                    "original_actions": "x=0;",
155 278
                    "outputs": "x: real;",
156 279
                    "variables": ""
157 280
                },
158
                "dest": {
159
                    "name": "simple_Chart/B",
160
                    "type": "State"
281
                "Destination": {
282
                    "Id": 3396,
283
                    "Name": "simple_Chart/B",
284
                    "Type": "State"
161 285
                },
162
                "event": "E",
163
                "id": 184,
164
                "transition_act": {
286
                "Event": "E",
287
                "Id": 3403,
288
                "TransitionAction": {
165 289
                    "actions": "y = y + 1.0; ",
166 290
                    "external_fun": "",
167 291
                    "inputs": "y: real;",
168
                    "original_actions": "y=y+1",
292
                    "original_actions": "y=y+1;",
169 293
                    "outputs": "y: real;",
170 294
                    "variables": ""
171 295
                }
172 296
            },
173
            "path": "simple_Chart/A",
174
            "state_actions": {
175
                "during_act": {
176
                    "actions": "x = x + 1.0; y = x - 1.0; x = min(x, y); ",
177
                    "external_fun": "min",
178
                    "inputs": "y: real;x: real;",
179
                    "original_actions": "x = x + 1; y = x -1; x = min(x, y)",
180
                    "outputs": "y: real;x: real;",
297
            "Path": "simple_Chart/A"
298
        },
299
        {
300
            "Actions": {
301
                "Bind": {
302
                    "actions": "",
303
                    "external_fun": "",
304
                    "inputs": "",
305
                    "original_actions": "",
306
                    "outputs": "",
181 307
                    "variables": ""
182 308
                },
183
                "entry_act": {
184
                    "actions": "x = 0.0; y = 0.0; ",
309
                "During": {
310
                    "actions": "",
185 311
                    "external_fun": "",
186
                    "inputs": "y: real;x: real;",
187
                    "original_actions": "x =  0; y=0",
188
                    "outputs": "y: real;x: real;",
312
                    "inputs": "",
313
                    "original_actions": "",
314
                    "outputs": "",
189 315
                    "variables": ""
190 316
                },
191
                "exit_act": {
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": {
192 366
                    "actions": "",
193 367
                    "external_fun": "",
194 368
                    "inputs": "",
......
196 370
                    "outputs": "",
197 371
                    "variables": ""
198 372
                }
199
            }
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"
200 385
        }
201
    ]
386
    ],
387
    "TruthTables": []
202 388
}

Also available in: Unified diff