Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.72 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "int",
6
        "Id": 1282,
7
        "InitialValue": "0",
8
        "Name": "x",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [],
13
    "GraphicalFunctions": [],
14
    "Junctions": [
15
        {
16
            "Id": 1277,
17
            "Name": "Junction1277",
18
            "OuterTransitions": {
19
                "Condition": {
20
                    "actions": "",
21
                    "external_fun": "",
22
                    "inputs": "",
23
                    "original_actions": "",
24
                    "outputs": "",
25
                    "variables": ""
26
                },
27
                "ConditionAction": {
28
                    "actions": "",
29
                    "external_fun": "",
30
                    "inputs": "x: int;",
31
                    "original_actions": "x++;",
32
                    "outputs": "x: int;",
33
                    "variables": ""
34
                },
35
                "Destination": {
36
                    "Id": 1278,
37
                    "Name": "Flowchart5_Flowchart5/A/Junction1278",
38
                    "Type": "Junction"
39
                },
40
                "Event": "",
41
                "Id": 1281,
42
                "TransitionAction": {
43
                    "actions": "",
44
                    "external_fun": "",
45
                    "inputs": "",
46
                    "original_actions": "",
47
                    "outputs": "",
48
                    "variables": ""
49
                }
50
            },
51
            "Path": "Flowchart5_Flowchart5/A/Junction1277",
52
            "Type": "CONNECTIVE"
53
        },
54
        {
55
            "Id": 1278,
56
            "Name": "Junction1278",
57
            "OuterTransitions": [],
58
            "Path": "Flowchart5_Flowchart5/A/Junction1278",
59
            "Type": "CONNECTIVE"
60
        }
61
    ],
62
    "Name": "Flowchart5",
63
    "Path": "Flowchart5_Flowchart5",
64
    "SimulinkFunctions": [],
65
    "States": [
66
        {
67
            "Actions": {
68
                "Bind": {
69
                    "actions": "",
70
                    "external_fun": "",
71
                    "inputs": "",
72
                    "original_actions": "",
73
                    "outputs": "",
74
                    "variables": ""
75
                },
76
                "During": {
77
                    "actions": "",
78
                    "external_fun": "",
79
                    "inputs": "",
80
                    "original_actions": "",
81
                    "outputs": "",
82
                    "variables": ""
83
                },
84
                "Entry": {
85
                    "actions": "",
86
                    "external_fun": "",
87
                    "inputs": "",
88
                    "original_actions": "",
89
                    "outputs": "",
90
                    "variables": ""
91
                },
92
                "Exit": {
93
                    "actions": "",
94
                    "external_fun": "",
95
                    "inputs": "",
96
                    "original_actions": "",
97
                    "outputs": "",
98
                    "variables": ""
99
                },
100
                "On": {
101
                    "actions": "",
102
                    "external_fun": "",
103
                    "inputs": "",
104
                    "original_actions": "",
105
                    "outputs": "",
106
                    "variables": ""
107
                },
108
                "OnAfter": {
109
                    "actions": "",
110
                    "external_fun": "",
111
                    "inputs": "",
112
                    "original_actions": "",
113
                    "outputs": "",
114
                    "variables": ""
115
                },
116
                "OnAt": {
117
                    "actions": "",
118
                    "external_fun": "",
119
                    "inputs": "",
120
                    "original_actions": "",
121
                    "outputs": "",
122
                    "variables": ""
123
                },
124
                "OnBefore": {
125
                    "actions": "",
126
                    "external_fun": "",
127
                    "inputs": "",
128
                    "original_actions": "",
129
                    "outputs": "",
130
                    "variables": ""
131
                },
132
                "OnEvery": {
133
                    "actions": "",
134
                    "external_fun": "",
135
                    "inputs": "",
136
                    "original_actions": "",
137
                    "outputs": "",
138
                    "variables": ""
139
                }
140
            },
141
            "Composition": {
142
                "DefaultTransitions": [],
143
                "States": 1276,
144
                "Substates": "A",
145
                "Type": "PARALLEL_AND"
146
            },
147
            "Id": 1275,
148
            "InnerTransitions": [],
149
            "OuterTransitions": [],
150
            "Path": "Flowchart5_Flowchart5"
151
        },
152
        {
153
            "Actions": {
154
                "Bind": {
155
                    "actions": "",
156
                    "external_fun": "",
157
                    "inputs": "",
158
                    "original_actions": "",
159
                    "outputs": "",
160
                    "variables": ""
161
                },
162
                "During": {
163
                    "actions": "",
164
                    "external_fun": "",
165
                    "inputs": "",
166
                    "original_actions": "",
167
                    "outputs": "",
168
                    "variables": ""
169
                },
170
                "Entry": {
171
                    "actions": "",
172
                    "external_fun": "",
173
                    "inputs": "",
174
                    "original_actions": "",
175
                    "outputs": "",
176
                    "variables": ""
177
                },
178
                "Exit": {
179
                    "actions": "",
180
                    "external_fun": "",
181
                    "inputs": "",
182
                    "original_actions": "",
183
                    "outputs": "",
184
                    "variables": ""
185
                },
186
                "On": {
187
                    "actions": "",
188
                    "external_fun": "",
189
                    "inputs": "",
190
                    "original_actions": "",
191
                    "outputs": "",
192
                    "variables": ""
193
                },
194
                "OnAfter": {
195
                    "actions": "",
196
                    "external_fun": "",
197
                    "inputs": "",
198
                    "original_actions": "",
199
                    "outputs": "",
200
                    "variables": ""
201
                },
202
                "OnAt": {
203
                    "actions": "",
204
                    "external_fun": "",
205
                    "inputs": "",
206
                    "original_actions": "",
207
                    "outputs": "",
208
                    "variables": ""
209
                },
210
                "OnBefore": {
211
                    "actions": "",
212
                    "external_fun": "",
213
                    "inputs": "",
214
                    "original_actions": "",
215
                    "outputs": "",
216
                    "variables": ""
217
                },
218
                "OnEvery": {
219
                    "actions": "",
220
                    "external_fun": "",
221
                    "inputs": "",
222
                    "original_actions": "",
223
                    "outputs": "",
224
                    "variables": ""
225
                }
226
            },
227
            "Composition": {
228
                "DefaultTransitions": {
229
                    "Condition": {
230
                        "actions": "",
231
                        "external_fun": "",
232
                        "inputs": "",
233
                        "original_actions": "",
234
                        "outputs": "",
235
                        "variables": ""
236
                    },
237
                    "ConditionAction": {
238
                        "actions": "",
239
                        "external_fun": "",
240
                        "inputs": "",
241
                        "original_actions": "",
242
                        "outputs": "",
243
                        "variables": ""
244
                    },
245
                    "Destination": {
246
                        "Id": 1277,
247
                        "Name": "Flowchart5_Flowchart5/A/Junction1277",
248
                        "Type": "Junction"
249
                    },
250
                    "Event": "",
251
                    "Id": 1279,
252
                    "TransitionAction": {
253
                        "actions": "",
254
                        "external_fun": "",
255
                        "inputs": "",
256
                        "original_actions": "",
257
                        "outputs": "",
258
                        "variables": ""
259
                    }
260
                },
261
                "States": [],
262
                "Substates": [],
263
                "Type": "EXCLUSIVE_OR"
264
            },
265
            "Id": 1276,
266
            "InnerTransitions": {
267
                "Condition": {
268
                    "actions": "",
269
                    "external_fun": "",
270
                    "inputs": "",
271
                    "original_actions": "",
272
                    "outputs": "",
273
                    "variables": ""
274
                },
275
                "ConditionAction": {
276
                    "actions": "",
277
                    "external_fun": "",
278
                    "inputs": "",
279
                    "original_actions": "",
280
                    "outputs": "",
281
                    "variables": ""
282
                },
283
                "Destination": {
284
                    "Id": 1277,
285
                    "Name": "Flowchart5_Flowchart5/A/Junction1277",
286
                    "Type": "Junction"
287
                },
288
                "Event": "",
289
                "Id": 1280,
290
                "TransitionAction": {
291
                    "actions": "",
292
                    "external_fun": "",
293
                    "inputs": "",
294
                    "original_actions": "",
295
                    "outputs": "",
296
                    "variables": ""
297
                }
298
            },
299
            "Name": "A",
300
            "OuterTransitions": [],
301
            "Path": "Flowchart5_Flowchart5/A"
302
        }
303
    ],
304
    "TruthTables": []
305
}