Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.1 KB)

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