Project

General

Profile

Revision 184630f0

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
}
stateflow_json/old_format.json
1
{
2
    "data": [
3
        {
4
            "array_size": "-1",
5
            "datatype": "real",
6
            "initial_value": "0.0",
7
            "name": "x",
8
            "port": 1,
9
            "scope": "Output"
10
        },
11
        {
12
            "array_size": "-1",
13
            "datatype": "real",
14
            "initial_value": "0.0",
15
            "name": "y",
16
            "port": 2,
17
            "scope": "Output"
18
        },
19
        {
20
            "array_size": "-1",
21
            "datatype": "real",
22
            "initial_value": "0.0",
23
            "name": "l",
24
            "port": null,
25
            "scope": "Local"
26
        },
27
        {
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"
42
        }
43
    ],
44
    "junctions": [],
45
    "name": "simple_Chart",
46
    "origin_path": "simple/Chart",
47
    "sffunctions": [],
48
    "states": [
49
        {
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": ""
66
                },
67
                "type": "EXCLUSIVE_OR"
68
            },
69
            "outer_trans": [],
70
            "path": "simple_Chart",
71
            "state_actions": {
72
                "during_act": {
73
                    "actions": "",
74
                    "external_fun": "",
75
                    "inputs": "",
76
                    "original_actions": "",
77
                    "outputs": "",
78
                    "variables": ""
79
                },
80
                "entry_act": {
81
                    "actions": "",
82
                    "external_fun": "",
83
                    "inputs": "",
84
                    "original_actions": "",
85
                    "outputs": "",
86
                    "variables": ""
87
                },
88
                "exit_act": {
89
                    "actions": "",
90
                    "external_fun": "",
91
                    "inputs": "",
92
                    "original_actions": "",
93
                    "outputs": "",
94
                    "variables": ""
95
                }
96
            }
97
        },
98
        {
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": {
109
                    "actions": "",
110
                    "external_fun": "",
111
                    "inputs": "",
112
                    "original_actions": "",
113
                    "outputs": "",
114
                    "variables": ""
115
                },
116
                "entry_act": {
117
                    "actions": "",
118
                    "external_fun": "",
119
                    "inputs": "",
120
                    "original_actions": "",
121
                    "outputs": "",
122
                    "variables": ""
123
                },
124
                "exit_act": {
125
                    "actions": "",
126
                    "external_fun": "",
127
                    "inputs": "",
128
                    "original_actions": "",
129
                    "outputs": "",
130
                    "variables": ""
131
                }
132
            }
133
        },
134
        {
135
            "inner_trans": [],
136
            "internal_composition": {
137
                "substates": [],
138
                "tinit": [],
139
                "type": "EXCLUSIVE_OR"
140
            },
141
            "outer_trans": {
142
                "condition": {
143
                    "actions": "x + 1.0 > y ",
144
                    "external_fun": "",
145
                    "inputs": "y: real;x: real;",
146
                    "original_actions": "x+1>y",
147
                    "outputs": "",
148
                    "variables": ""
149
                },
150
                "condition_act": {
151
                    "actions": "x = 0.0; ",
152
                    "external_fun": "",
153
                    "inputs": "x: real;",
154
                    "original_actions": "x=0",
155
                    "outputs": "x: real;",
156
                    "variables": ""
157
                },
158
                "dest": {
159
                    "name": "simple_Chart/B",
160
                    "type": "State"
161
                },
162
                "event": "E",
163
                "id": 184,
164
                "transition_act": {
165
                    "actions": "y = y + 1.0; ",
166
                    "external_fun": "",
167
                    "inputs": "y: real;",
168
                    "original_actions": "y=y+1",
169
                    "outputs": "y: real;",
170
                    "variables": ""
171
                }
172
            },
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;",
181
                    "variables": ""
182
                },
183
                "entry_act": {
184
                    "actions": "x = 0.0; y = 0.0; ",
185
                    "external_fun": "",
186
                    "inputs": "y: real;x: real;",
187
                    "original_actions": "x =  0; y=0",
188
                    "outputs": "y: real;x: real;",
189
                    "variables": ""
190
                },
191
                "exit_act": {
192
                    "actions": "",
193
                    "external_fun": "",
194
                    "inputs": "",
195
                    "original_actions": "",
196
                    "outputs": "",
197
                    "variables": ""
198
                }
199
            }
200
        }
201
    ]
202
}
stateflow_json/regression_json/Active_State_SFIR_pp.json
1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "bool",
7
            "Id": 4658,
8
            "InitialValue": "false",
9
            "Name": "Sync_From_Active",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "bool",
17
            "Id": 4659,
18
            "InitialValue": "false",
19
            "Name": "Active",
20
            "Port": 1,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "bool",
27
            "Id": 4660,
28
            "InitialValue": "false",
29
            "Name": "pre_Active",
30
            "Port": 2,
31
            "Scope": "Input"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "bool",
37
            "Id": 4661,
38
            "InitialValue": "false",
39
            "Name": "Error",
40
            "Port": 3,
41
            "Scope": "Input"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "bool",
47
            "Id": 4662,
48
            "InitialValue": "false",
49
            "Name": "Sync_From_Error",
50
            "Port": 4,
51
            "Scope": "Input"
52
        },
53
        {
54
            "ArraySize": "-1",
55
            "CompiledType": "unknown",
56
            "Datatype": "real",
57
            "Id": 4663,
58
            "InitialValue": "0.0",
59
            "Name": "Primary_Side",
60
            "Port": null,
61
            "Scope": "Parameter"
62
        }
63
    ],
64
    "Events": [],
65
    "GraphicalFunctions": [],
66
    "Junctions": [
67
        {
68
            "Id": 4678,
69
            "Name": "Junction4678",
70
            "OuterTransitions": [
71
                {
72
                    "Condition": {
73
                        "actions": "Error ",
74
                        "external_fun": "",
75
                        "inputs": "Error: bool;",
76
                        "original_actions": "Error",
77
                        "outputs": "Error: bool;",
78
                        "variables": ""
79
                    },
80
                    "ConditionAction": {
81
                        "actions": "",
82
                        "external_fun": "",
83
                        "inputs": "",
84
                        "original_actions": "",
85
                        "outputs": "",
86
                        "variables": ""
87
                    },
88
                    "Destination": {
89
                        "Id": 4679,
90
                        "Name": "BSCU_PP_Active_State/Junction4679",
91
                        "Type": "Junction"
92
                    },
93
                    "Event": "",
94
                    "Id": 4665,
95
                    "TransitionAction": {
96
                        "actions": "",
97
                        "external_fun": "",
98
                        "inputs": "",
99
                        "original_actions": "",
100
                        "outputs": "",
101
                        "variables": ""
102
                    }
103
                },
104
                {
105
                    "Condition": {
106
                        "actions": "",
107
                        "external_fun": "",
108
                        "inputs": "",
109
                        "original_actions": "",
110
                        "outputs": "",
111
                        "variables": ""
112
                    },
113
                    "ConditionAction": {
114
                        "actions": "",
115
                        "external_fun": "",
116
                        "inputs": "",
117
                        "original_actions": "",
118
                        "outputs": "",
119
                        "variables": ""
120
                    },
121
                    "Destination": {
122
                        "Id": 4680,
123
                        "Name": "BSCU_PP_Active_State/Junction4680",
124
                        "Type": "Junction"
125
                    },
126
                    "Event": "",
127
                    "Id": 4666,
128
                    "TransitionAction": {
129
                        "actions": "",
130
                        "external_fun": "",
131
                        "inputs": "",
132
                        "original_actions": "",
133
                        "outputs": "",
134
                        "variables": ""
135
                    }
136
                }
137
            ],
138
            "Path": "BSCU_PP_Active_State/Junction4678",
139
            "Type": "CONNECTIVE"
140
        },
141
        {
142
            "Id": 4679,
143
            "Name": "Junction4679",
144
            "OuterTransitions": {
145
                "Condition": {
146
                    "actions": "",
147
                    "external_fun": "",
148
                    "inputs": "",
149
                    "original_actions": "",
150
                    "outputs": "",
151
                    "variables": ""
152
                },
153
                "ConditionAction": {
154
                    "actions": "Active = real_to_bool(false); ",
155
                    "external_fun": "real_to_bool, false",
156
                    "inputs": "Active: bool;",
157
                    "original_actions": "Active=false;",
158
                    "outputs": "Active: bool;",
159
                    "variables": ""
160
                },
161
                "Destination": {
162
                    "Id": 4687,
163
                    "Name": "BSCU_PP_Active_State/Junction4687",
164
                    "Type": "Junction"
165
                },
166
                "Event": "",
167
                "Id": 4667,
168
                "TransitionAction": {
169
                    "actions": "",
170
                    "external_fun": "",
171
                    "inputs": "",
172
                    "original_actions": "",
173
                    "outputs": "",
174
                    "variables": ""
175
                }
176
            },
177
            "Path": "BSCU_PP_Active_State/Junction4679",
178
            "Type": "CONNECTIVE"
179
        },
180
        {
181
            "Id": 4680,
182
            "Name": "Junction4680",
183
            "OuterTransitions": [
184
                {
185
                    "Condition": {
186
                        "actions": "pre_Active and Sync_From_Active and (!Sync_From_Error) and real_to_bool((!Primary_Side)) ",
187
                        "external_fun": "real_to_bool",
188
                        "inputs": "pre_Active: bool;Sync_From_Active: bool;Primary_Side: real;Sync_From_Error: bool;",
189
                        "original_actions": "pre_Active&&Sync_From_Active&&(!Sync_From_Error)&&(!Primary_Side)",
190
                        "outputs": "",
191
                        "variables": ""
192
                    },
193
                    "ConditionAction": {
194
                        "actions": "",
195
                        "external_fun": "",
196
                        "inputs": "",
197
                        "original_actions": "",
198
                        "outputs": "",
199
                        "variables": ""
200
                    },
201
                    "Destination": {
202
                        "Id": 4681,
203
                        "Name": "BSCU_PP_Active_State/Junction4681",
204
                        "Type": "Junction"
205
                    },
206
                    "Event": "",
207
                    "Id": 4668,
208
                    "TransitionAction": {
209
                        "actions": "",
210
                        "external_fun": "",
211
                        "inputs": "",
212
                        "original_actions": "",
213
                        "outputs": "",
214
                        "variables": ""
215
                    }
216
                },
217
                {
218
                    "Condition": {
219
                        "actions": "",
220
                        "external_fun": "",
221
                        "inputs": "",
222
                        "original_actions": "",
223
                        "outputs": "",
224
                        "variables": ""
225
                    },
226
                    "ConditionAction": {
227
                        "actions": "",
228
                        "external_fun": "",
229
                        "inputs": "",
230
                        "original_actions": "",
231
                        "outputs": "",
232
                        "variables": ""
233
                    },
234
                    "Destination": {
235
                        "Id": 4682,
236
                        "Name": "BSCU_PP_Active_State/Junction4682",
237
                        "Type": "Junction"
238
                    },
239
                    "Event": "",
240
                    "Id": 4669,
241
                    "TransitionAction": {
242
                        "actions": "",
243
                        "external_fun": "",
244
                        "inputs": "",
245
                        "original_actions": "",
246
                        "outputs": "",
247
                        "variables": ""
248
                    }
249
                }
250
            ],
251
            "Path": "BSCU_PP_Active_State/Junction4680",
252
            "Type": "CONNECTIVE"
253
        },
254
        {
255
            "Id": 4681,
256
            "Name": "Junction4681",
257
            "OuterTransitions": {
258
                "Condition": {
259
                    "actions": "",
260
                    "external_fun": "",
261
                    "inputs": "",
262
                    "original_actions": "",
263
                    "outputs": "",
264
                    "variables": ""
265
                },
266
                "ConditionAction": {
267
                    "actions": "Active = real_to_bool(false); ",
268
                    "external_fun": "real_to_bool, false",
269
                    "inputs": "Active: bool;",
270
                    "original_actions": "Active=false;",
271
                    "outputs": "Active: bool;",
272
                    "variables": ""
273
                },
274
                "Destination": {
275
                    "Id": 4686,
276
                    "Name": "BSCU_PP_Active_State/Junction4686",
277
                    "Type": "Junction"
278
                },
279
                "Event": "",
280
                "Id": 4670,
281
                "TransitionAction": {
282
                    "actions": "",
283
                    "external_fun": "",
284
                    "inputs": "",
285
                    "original_actions": "",
286
                    "outputs": "",
287
                    "variables": ""
288
                }
289
            },
290
            "Path": "BSCU_PP_Active_State/Junction4681",
291
            "Type": "CONNECTIVE"
292
        },
293
        {
294
            "Id": 4682,
295
            "Name": "Junction4682",
296
            "OuterTransitions": [
297
                {
298
                    "Condition": {
299
                        "actions": "(!pre_Active) and ((!Sync_From_Active) or Sync_From_Error) ",
300
                        "external_fun": "",
301
                        "inputs": "pre_Active: bool;Sync_From_Active: bool;Sync_From_Error: bool;",
302
                        "original_actions": "(!pre_Active)&&((!Sync_From_Active)||Sync_From_Error)",
303
                        "outputs": "",
304
                        "variables": ""
305
                    },
306
                    "ConditionAction": {
307
                        "actions": "",
308
                        "external_fun": "",
309
                        "inputs": "",
310
                        "original_actions": "",
311
                        "outputs": "",
312
                        "variables": ""
313
                    },
314
                    "Destination": {
315
                        "Id": 4683,
316
                        "Name": "BSCU_PP_Active_State/Junction4683",
317
                        "Type": "Junction"
318
                    },
319
                    "Event": "",
320
                    "Id": 4671,
321
                    "TransitionAction": {
322
                        "actions": "",
323
                        "external_fun": "",
324
                        "inputs": "",
325
                        "original_actions": "",
326
                        "outputs": "",
327
                        "variables": ""
328
                    }
329
                },
330
                {
331
                    "Condition": {
332
                        "actions": "",
333
                        "external_fun": "",
334
                        "inputs": "",
335
                        "original_actions": "",
336
                        "outputs": "",
337
                        "variables": ""
338
                    },
339
                    "ConditionAction": {
340
                        "actions": "Active = pre_Active; ",
341
                        "external_fun": "",
342
                        "inputs": "Active: bool;pre_Active: bool;",
343
                        "original_actions": "Active=pre_Active;",
344
                        "outputs": "Active: bool;",
345
                        "variables": ""
346
                    },
347
                    "Destination": {
348
                        "Id": 4684,
349
                        "Name": "BSCU_PP_Active_State/Junction4684",
350
                        "Type": "Junction"
351
                    },
352
                    "Event": "",
353
                    "Id": 4672,
354
                    "TransitionAction": {
355
                        "actions": "",
356
                        "external_fun": "",
357
                        "inputs": "",
358
                        "original_actions": "",
359
                        "outputs": "",
360
                        "variables": ""
361
                    }
362
                }
363
            ],
364
            "Path": "BSCU_PP_Active_State/Junction4682",
365
            "Type": "CONNECTIVE"
366
        },
367
        {
368
            "Id": 4683,
369
            "Name": "Junction4683",
370
            "OuterTransitions": {
371
                "Condition": {
372
                    "actions": "",
373
                    "external_fun": "",
374
                    "inputs": "",
375
                    "original_actions": "",
376
                    "outputs": "",
377
                    "variables": ""
378
                },
379
                "ConditionAction": {
380
                    "actions": "Active = real_to_bool(true); ",
381
                    "external_fun": "real_to_bool, true",
382
                    "inputs": "Active: bool;",
383
                    "original_actions": "Active=true;",
384
                    "outputs": "Active: bool;",
385
                    "variables": ""
386
                },
387
                "Destination": {
388
                    "Id": 4685,
389
                    "Name": "BSCU_PP_Active_State/Junction4685",
390
                    "Type": "Junction"
391
                },
392
                "Event": "",
393
                "Id": 4673,
394
                "TransitionAction": {
395
                    "actions": "",
396
                    "external_fun": "",
397
                    "inputs": "",
398
                    "original_actions": "",
399
                    "outputs": "",
400
                    "variables": ""
401
                }
402
            },
403
            "Path": "BSCU_PP_Active_State/Junction4683",
404
            "Type": "CONNECTIVE"
405
        },
406
        {
407
            "Id": 4684,
408
            "Name": "Junction4684",
409
            "OuterTransitions": {
410
                "Condition": {
411
                    "actions": "",
412
                    "external_fun": "",
413
                    "inputs": "",
414
                    "original_actions": "",
415
                    "outputs": "",
416
                    "variables": ""
417
                },
418
                "ConditionAction": {
419
                    "actions": "",
420
                    "external_fun": "",
421
                    "inputs": "",
422
                    "original_actions": "",
423
                    "outputs": "",
424
                    "variables": ""
425
                },
426
                "Destination": {
427
                    "Id": 4688,
428
                    "Name": "BSCU_PP_Active_State/Junction4688",
429
                    "Type": "Junction"
430
                },
431
                "Event": "",
432
                "Id": 4677,
433
                "TransitionAction": {
434
                    "actions": "",
435
                    "external_fun": "",
436
                    "inputs": "",
437
                    "original_actions": "",
438
                    "outputs": "",
439
                    "variables": ""
440
                }
441
            },
442
            "Path": "BSCU_PP_Active_State/Junction4684",
443
            "Type": "CONNECTIVE"
444
        },
445
        {
446
            "Id": 4685,
447
            "Name": "Junction4685",
448
            "OuterTransitions": {
449
                "Condition": {
450
                    "actions": "",
451
                    "external_fun": "",
452
                    "inputs": "",
453
                    "original_actions": "",
454
                    "outputs": "",
455
                    "variables": ""
456
                },
457
                "ConditionAction": {
458
                    "actions": "",
459
                    "external_fun": "",
460
                    "inputs": "",
461
                    "original_actions": "",
462
                    "outputs": "",
463
                    "variables": ""
464
                },
465
                "Destination": {
466
                    "Id": 4684,
467
                    "Name": "BSCU_PP_Active_State/Junction4684",
468
                    "Type": "Junction"
469
                },
470
                "Event": "",
471
                "Id": 4674,
472
                "TransitionAction": {
473
                    "actions": "",
474
                    "external_fun": "",
475
                    "inputs": "",
476
                    "original_actions": "",
477
                    "outputs": "",
478
                    "variables": ""
479
                }
480
            },
481
            "Path": "BSCU_PP_Active_State/Junction4685",
482
            "Type": "CONNECTIVE"
483
        },
484
        {
485
            "Id": 4686,
486
            "Name": "Junction4686",
487
            "OuterTransitions": {
488
                "Condition": {
489
                    "actions": "",
490
                    "external_fun": "",
491
                    "inputs": "",
492
                    "original_actions": "",
493
                    "outputs": "",
494
                    "variables": ""
495
                },
496
                "ConditionAction": {
497
                    "actions": "",
498
                    "external_fun": "",
499
                    "inputs": "",
500
                    "original_actions": "",
501
                    "outputs": "",
502
                    "variables": ""
503
                },
504
                "Destination": {
505
                    "Id": 4685,
506
                    "Name": "BSCU_PP_Active_State/Junction4685",
507
                    "Type": "Junction"
508
                },
509
                "Event": "",
510
                "Id": 4675,
511
                "TransitionAction": {
512
                    "actions": "",
513
                    "external_fun": "",
514
                    "inputs": "",
515
                    "original_actions": "",
516
                    "outputs": "",
517
                    "variables": ""
518
                }
519
            },
520
            "Path": "BSCU_PP_Active_State/Junction4686",
521
            "Type": "CONNECTIVE"
522
        },
523
        {
524
            "Id": 4687,
525
            "Name": "Junction4687",
526
            "OuterTransitions": {
527
                "Condition": {
528
                    "actions": "",
529
                    "external_fun": "",
530
                    "inputs": "",
531
                    "original_actions": "",
532
                    "outputs": "",
533
                    "variables": ""
534
                },
535
                "ConditionAction": {
536
                    "actions": "",
537
                    "external_fun": "",
538
                    "inputs": "",
539
                    "original_actions": "",
540
                    "outputs": "",
541
                    "variables": ""
542
                },
543
                "Destination": {
544
                    "Id": 4686,
545
                    "Name": "BSCU_PP_Active_State/Junction4686",
546
                    "Type": "Junction"
547
                },
548
                "Event": "",
549
                "Id": 4676,
550
                "TransitionAction": {
551
                    "actions": "",
552
                    "external_fun": "",
553
                    "inputs": "",
554
                    "original_actions": "",
555
                    "outputs": "",
556
                    "variables": ""
557
                }
558
            },
559
            "Path": "BSCU_PP_Active_State/Junction4687",
560
            "Type": "CONNECTIVE"
561
        },
562
        {
563
            "Id": 4688,
564
            "Name": "Junction4688",
565
            "OuterTransitions": [],
566
            "Path": "BSCU_PP_Active_State/Junction4688",
567
            "Type": "CONNECTIVE"
568
        }
569
    ],
570
    "Name": "Active_State",
571
    "Path": "BSCU_PP_Active_State",
572
    "SimulinkFunctions": [],
573
    "States": {
574
        "Actions": {
575
            "Bind": {
576
                "actions": "",
577
                "external_fun": "",
578
                "inputs": "",
579
                "original_actions": "",
580
                "outputs": "",
581
                "variables": ""
582
            },
583
            "During": {
584
                "actions": "",
585
                "external_fun": "",
586
                "inputs": "",
587
                "original_actions": "",
588
                "outputs": "",
589
                "variables": ""
590
            },
591
            "Entry": {
592
                "actions": "",
593
                "external_fun": "",
594
                "inputs": "",
595
                "original_actions": "",
596
                "outputs": "",
597
                "variables": ""
598
            },
599
            "Exit": {
600
                "actions": "",
601
                "external_fun": "",
602
                "inputs": "",
603
                "original_actions": "",
604
                "outputs": "",
605
                "variables": ""
606
            },
607
            "On": {
608
                "actions": "",
609
                "external_fun": "",
610
                "inputs": "",
611
                "original_actions": "",
612
                "outputs": "",
613
                "variables": ""
614
            },
615
            "OnAfter": {
616
                "actions": "",
617
                "external_fun": "",
618
                "inputs": "",
619
                "original_actions": "",
620
                "outputs": "",
621
                "variables": ""
622
            },
623
            "OnAt": {
624
                "actions": "",
625
                "external_fun": "",
626
                "inputs": "",
627
                "original_actions": "",
628
                "outputs": "",
629
                "variables": ""
630
            },
631
            "OnBefore": {
632
                "actions": "",
633
                "external_fun": "",
634
                "inputs": "",
635
                "original_actions": "",
636
                "outputs": "",
637
                "variables": ""
638
            },
639
            "OnEvery": {
640
                "actions": "",
641
                "external_fun": "",
642
                "inputs": "",
643
                "original_actions": "",
644
                "outputs": "",
645
                "variables": ""
646
            }
647
        },
648
        "Composition": {
649
            "DefaultTransitions": {
650
                "Condition": {
651
                    "actions": "",
652
                    "external_fun": "",
653
                    "inputs": "",
654
                    "original_actions": "",
655
                    "outputs": "",
656
                    "variables": ""
657
                },
658
                "ConditionAction": {
659
                    "actions": "",
660
                    "external_fun": "",
661
                    "inputs": "",
662
                    "original_actions": "",
663
                    "outputs": "",
664
                    "variables": ""
665
                },
666
                "Destination": {
667
                    "Id": 4678,
668
                    "Name": "BSCU_PP_Active_State/Junction4678",
669
                    "Type": "Junction"
670
                },
671
                "Event": "",
672
                "Id": 4664,
673
                "TransitionAction": {
674
                    "actions": "",
675
                    "external_fun": "",
676
                    "inputs": "",
677
                    "original_actions": "",
678
                    "outputs": "",
679
                    "variables": ""
680
                }
681
            },
682
            "States": [],
683
            "Substates": [],
684
            "Type": "EXCLUSIVE_OR"
685
        },
686
        "Id": 4657,
687
        "InnerTransitions": [],
688
        "OuterTransitions": [],
689
        "Path": "BSCU_PP_Active_State"
690
    },
691
    "TruthTables": []
692
}
stateflow_json/regression_json/Alarm_SFIR_pp.json
1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 3403,
8
            "InitialValue": "0",
9
            "Name": "IM_IN_Flow_Rate_Commanded",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "-1",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 3404,
18
            "InitialValue": "0",
19
            "Name": "IM_IN_Current_System_Mode",
20
            "Port": 2,
21
            "Scope": "Input"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "bool",
27
            "Id": 3405,
28
            "InitialValue": "false",
29
            "Name": "TLM_MODE_IN_System_On",
30
            "Port": 3,
31
            "Scope": "Input"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "bool",
37
            "Id": 3406,
38
            "InitialValue": "false",
39
            "Name": "SYS_MON_IN_System_Monitor_Failed",
40
            "Port": 4,
41
            "Scope": "Input"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "bool",
47
            "Id": 3407,
48
            "InitialValue": "false",
49
            "Name": "LOGGING_IN_Logging_Failed",
50
            "Port": 5,
51
            "Scope": "Input"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "int",
57
            "Id": 3408,
58
            "InitialValue": "0",
59
            "Name": "OP_CMD_IN_Disable_Audio",
60
            "Port": 6,
61
            "Scope": "Input"
62
        },
63
        {
64
            "ArraySize": "",
65
            "CompiledType": "unknown",
66
            "Datatype": "bool",
67
            "Id": 3409,
68
            "InitialValue": "false",
69
            "Name": "OP_CMD_IN_Notification_Cancel",
70
            "Port": 7,
71
            "Scope": "Input"
72
        },
73
        {
74
            "ArraySize": "",
75
            "CompiledType": "unknown",
76
            "Datatype": "int",
77
            "Id": 3410,
78
            "InitialValue": "0",
79
            "Name": "DB_IN_Flow_Rate_High",
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff