Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.22 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "int",
6
        "Id": 1263,
7
        "InitialValue": "0",
8
        "Name": "x",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [],
13
    "GraphicalFunctions": [],
14
    "Junctions": {
15
        "Id": 1261,
16
        "Name": "Junction1261",
17
        "OuterTransitions": [],
18
        "Path": "Flowchart3_Flowchart3/A/Junction1261",
19
        "Type": "CONNECTIVE"
20
    },
21
    "Name": "Flowchart3",
22
    "Path": "Flowchart3_Flowchart3",
23
    "SimulinkFunctions": [],
24
    "States": [
25
        {
26
            "Actions": {
27
                "Bind": {
28
                    "actions": "",
29
                    "external_fun": "",
30
                    "inputs": "",
31
                    "original_actions": "",
32
                    "outputs": "",
33
                    "variables": ""
34
                },
35
                "During": {
36
                    "actions": "",
37
                    "external_fun": "",
38
                    "inputs": "",
39
                    "original_actions": "",
40
                    "outputs": "",
41
                    "variables": ""
42
                },
43
                "Entry": {
44
                    "actions": "",
45
                    "external_fun": "",
46
                    "inputs": "",
47
                    "original_actions": "",
48
                    "outputs": "",
49
                    "variables": ""
50
                },
51
                "Exit": {
52
                    "actions": "",
53
                    "external_fun": "",
54
                    "inputs": "",
55
                    "original_actions": "",
56
                    "outputs": "",
57
                    "variables": ""
58
                },
59
                "On": {
60
                    "actions": "",
61
                    "external_fun": "",
62
                    "inputs": "",
63
                    "original_actions": "",
64
                    "outputs": "",
65
                    "variables": ""
66
                },
67
                "OnAfter": {
68
                    "actions": "",
69
                    "external_fun": "",
70
                    "inputs": "",
71
                    "original_actions": "",
72
                    "outputs": "",
73
                    "variables": ""
74
                },
75
                "OnAt": {
76
                    "actions": "",
77
                    "external_fun": "",
78
                    "inputs": "",
79
                    "original_actions": "",
80
                    "outputs": "",
81
                    "variables": ""
82
                },
83
                "OnBefore": {
84
                    "actions": "",
85
                    "external_fun": "",
86
                    "inputs": "",
87
                    "original_actions": "",
88
                    "outputs": "",
89
                    "variables": ""
90
                },
91
                "OnEvery": {
92
                    "actions": "",
93
                    "external_fun": "",
94
                    "inputs": "",
95
                    "original_actions": "",
96
                    "outputs": "",
97
                    "variables": ""
98
                }
99
            },
100
            "Composition": {
101
                "DefaultTransitions": [],
102
                "States": 1260,
103
                "Substates": "A",
104
                "Type": "PARALLEL_AND"
105
            },
106
            "Id": 1259,
107
            "InnerTransitions": [],
108
            "OuterTransitions": [],
109
            "Path": "Flowchart3_Flowchart3"
110
        },
111
        {
112
            "Actions": {
113
                "Bind": {
114
                    "actions": "",
115
                    "external_fun": "",
116
                    "inputs": "",
117
                    "original_actions": "",
118
                    "outputs": "",
119
                    "variables": ""
120
                },
121
                "During": {
122
                    "actions": "",
123
                    "external_fun": "",
124
                    "inputs": "",
125
                    "original_actions": "",
126
                    "outputs": "",
127
                    "variables": ""
128
                },
129
                "Entry": {
130
                    "actions": "",
131
                    "external_fun": "",
132
                    "inputs": "",
133
                    "original_actions": "",
134
                    "outputs": "",
135
                    "variables": ""
136
                },
137
                "Exit": {
138
                    "actions": "",
139
                    "external_fun": "",
140
                    "inputs": "",
141
                    "original_actions": "",
142
                    "outputs": "",
143
                    "variables": ""
144
                },
145
                "On": {
146
                    "actions": "",
147
                    "external_fun": "",
148
                    "inputs": "",
149
                    "original_actions": "",
150
                    "outputs": "",
151
                    "variables": ""
152
                },
153
                "OnAfter": {
154
                    "actions": "",
155
                    "external_fun": "",
156
                    "inputs": "",
157
                    "original_actions": "",
158
                    "outputs": "",
159
                    "variables": ""
160
                },
161
                "OnAt": {
162
                    "actions": "",
163
                    "external_fun": "",
164
                    "inputs": "",
165
                    "original_actions": "",
166
                    "outputs": "",
167
                    "variables": ""
168
                },
169
                "OnBefore": {
170
                    "actions": "",
171
                    "external_fun": "",
172
                    "inputs": "",
173
                    "original_actions": "",
174
                    "outputs": "",
175
                    "variables": ""
176
                },
177
                "OnEvery": {
178
                    "actions": "",
179
                    "external_fun": "",
180
                    "inputs": "",
181
                    "original_actions": "",
182
                    "outputs": "",
183
                    "variables": ""
184
                }
185
            },
186
            "Composition": {
187
                "DefaultTransitions": [],
188
                "States": [],
189
                "Substates": [],
190
                "Type": "EXCLUSIVE_OR"
191
            },
192
            "Id": 1260,
193
            "InnerTransitions": {
194
                "Condition": {
195
                    "actions": "",
196
                    "external_fun": "",
197
                    "inputs": "",
198
                    "original_actions": "",
199
                    "outputs": "",
200
                    "variables": ""
201
                },
202
                "ConditionAction": {
203
                    "actions": "",
204
                    "external_fun": "",
205
                    "inputs": "x: int;",
206
                    "original_actions": "x++;",
207
                    "outputs": "x: int;",
208
                    "variables": ""
209
                },
210
                "Destination": {
211
                    "Id": 1261,
212
                    "Name": "Flowchart3_Flowchart3/A/Junction1261",
213
                    "Type": "Junction"
214
                },
215
                "Event": "",
216
                "Id": 1262,
217
                "TransitionAction": {
218
                    "actions": "",
219
                    "external_fun": "",
220
                    "inputs": "",
221
                    "original_actions": "",
222
                    "outputs": "",
223
                    "variables": ""
224
                }
225
            },
226
            "Name": "A",
227
            "OuterTransitions": [],
228
            "Path": "Flowchart3_Flowchart3/A"
229
        }
230
    ],
231
    "TruthTables": []
232
}