Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.3 KB)

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