Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.07 KB)

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