Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.5 KB)

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