Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.4 KB)

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