Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (13.2 KB)

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