Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (10.2 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 1298,
8
            "InitialValue": "0",
9
            "Name": "cent",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 1299,
18
            "InitialValue": "0",
19
            "Name": "sec",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 1300,
28
            "InitialValue": "0",
29
            "Name": "min",
30
            "Port": 3,
31
            "Scope": "Output"
32
        }
33
    ],
34
    "Events": {
35
        "Id": 1301,
36
        "Name": "TIC",
37
        "Port": 1,
38
        "Scope": "Input"
39
    },
40
    "GraphicalFunctions": [],
41
    "Junctions": [
42
        {
43
            "Id": 1302,
44
            "Name": "Junction1302",
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": 1304,
65
                        "Name": "Flowchart7_Flowchart7/Junction1304",
66
                        "Type": "Junction"
67
                    },
68
                    "Event": "",
69
                    "Id": 1306,
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": 1303,
98
                        "Name": "Flowchart7_Flowchart7/Junction1303",
99
                        "Type": "Junction"
100
                    },
101
                    "Event": "",
102
                    "Id": 1307,
103
                    "TransitionAction": {
104
                        "actions": "",
105
                        "external_fun": "",
106
                        "inputs": "",
107
                        "original_actions": "",
108
                        "outputs": "",
109
                        "variables": ""
110
                    }
111
                }
112
            ],
113
            "Path": "Flowchart7_Flowchart7/Junction1302",
114
            "Type": "CONNECTIVE"
115
        },
116
        {
117
            "Id": 1303,
118
            "Name": "Junction1303",
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": 1304,
139
                        "Name": "Flowchart7_Flowchart7/Junction1304",
140
                        "Type": "Junction"
141
                    },
142
                    "Event": "",
143
                    "Id": 1308,
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": 1304,
172
                        "Name": "Flowchart7_Flowchart7/Junction1304",
173
                        "Type": "Junction"
174
                    },
175
                    "Event": "",
176
                    "Id": 1309,
177
                    "TransitionAction": {
178
                        "actions": "",
179
                        "external_fun": "",
180
                        "inputs": "",
181
                        "original_actions": "",
182
                        "outputs": "",
183
                        "variables": ""
184
                    }
185
                }
186
            ],
187
            "Path": "Flowchart7_Flowchart7/Junction1303",
188
            "Type": "CONNECTIVE"
189
        },
190
        {
191
            "Id": 1304,
192
            "Name": "Junction1304",
193
            "OuterTransitions": [],
194
            "Path": "Flowchart7_Flowchart7/Junction1304",
195
            "Type": "CONNECTIVE"
196
        }
197
    ],
198
    "Name": "Flowchart7",
199
    "Path": "Flowchart7_Flowchart7",
200
    "SimulinkFunctions": [],
201
    "States": {
202
        "Actions": {
203
            "Bind": {
204
                "actions": "",
205
                "external_fun": "",
206
                "inputs": "",
207
                "original_actions": "",
208
                "outputs": "",
209
                "variables": ""
210
            },
211
            "During": {
212
                "actions": "",
213
                "external_fun": "",
214
                "inputs": "",
215
                "original_actions": "",
216
                "outputs": "",
217
                "variables": ""
218
            },
219
            "Entry": {
220
                "actions": "",
221
                "external_fun": "",
222
                "inputs": "",
223
                "original_actions": "",
224
                "outputs": "",
225
                "variables": ""
226
            },
227
            "Exit": {
228
                "actions": "",
229
                "external_fun": "",
230
                "inputs": "",
231
                "original_actions": "",
232
                "outputs": "",
233
                "variables": ""
234
            },
235
            "On": {
236
                "actions": "",
237
                "external_fun": "",
238
                "inputs": "",
239
                "original_actions": "",
240
                "outputs": "",
241
                "variables": ""
242
            },
243
            "OnAfter": {
244
                "actions": "",
245
                "external_fun": "",
246
                "inputs": "",
247
                "original_actions": "",
248
                "outputs": "",
249
                "variables": ""
250
            },
251
            "OnAt": {
252
                "actions": "",
253
                "external_fun": "",
254
                "inputs": "",
255
                "original_actions": "",
256
                "outputs": "",
257
                "variables": ""
258
            },
259
            "OnBefore": {
260
                "actions": "",
261
                "external_fun": "",
262
                "inputs": "",
263
                "original_actions": "",
264
                "outputs": "",
265
                "variables": ""
266
            },
267
            "OnEvery": {
268
                "actions": "",
269
                "external_fun": "",
270
                "inputs": "",
271
                "original_actions": "",
272
                "outputs": "",
273
                "variables": ""
274
            }
275
        },
276
        "Composition": {
277
            "DefaultTransitions": {
278
                "Condition": {
279
                    "actions": "",
280
                    "external_fun": "",
281
                    "inputs": "",
282
                    "original_actions": "",
283
                    "outputs": "",
284
                    "variables": ""
285
                },
286
                "ConditionAction": {
287
                    "actions": "",
288
                    "external_fun": "",
289
                    "inputs": "cent: int;",
290
                    "original_actions": "cent++",
291
                    "outputs": "cent: int;",
292
                    "variables": ""
293
                },
294
                "Destination": {
295
                    "Id": 1302,
296
                    "Name": "Flowchart7_Flowchart7/Junction1302",
297
                    "Type": "Junction"
298
                },
299
                "Event": "TIC",
300
                "Id": 1305,
301
                "TransitionAction": {
302
                    "actions": "",
303
                    "external_fun": "",
304
                    "inputs": "",
305
                    "original_actions": "",
306
                    "outputs": "",
307
                    "variables": ""
308
                }
309
            },
310
            "States": [],
311
            "Substates": [],
312
            "Type": "EXCLUSIVE_OR"
313
        },
314
        "Id": 1297,
315
        "InnerTransitions": [],
316
        "OuterTransitions": [],
317
        "Path": "Flowchart7_Flowchart7"
318
    },
319
    "TruthTables": []
320
}