Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.39 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "int",
6
        "Id": 1255,
7
        "InitialValue": "0",
8
        "Name": "x",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [],
13
    "GraphicalFunctions": [],
14
    "Junctions": {
15
        "Id": 1253,
16
        "Name": "Junction1253",
17
        "OuterTransitions": [],
18
        "Path": "Flowchart2_Flowchart2/A/Junction1253",
19
        "Type": "CONNECTIVE"
20
    },
21
    "Name": "Flowchart2",
22
    "Path": "Flowchart2_Flowchart2",
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": 1252,
103
                "Substates": "A",
104
                "Type": "EXCLUSIVE_OR"
105
            },
106
            "Id": 1251,
107
            "InnerTransitions": [],
108
            "OuterTransitions": [],
109
            "Path": "Flowchart2_Flowchart2"
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": "x: int;",
125
                    "original_actions": "x--;\n",
126
                    "outputs": "x: int;",
127
                    "variables": ""
128
                },
129
                "Entry": {
130
                    "actions": "x = 1000; ",
131
                    "external_fun": "",
132
                    "inputs": "x: int;",
133
                    "original_actions": "x=1000;\n",
134
                    "outputs": "x: int;",
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
                    "Condition": {
189
                        "actions": "",
190
                        "external_fun": "",
191
                        "inputs": "",
192
                        "original_actions": "",
193
                        "outputs": "",
194
                        "variables": ""
195
                    },
196
                    "ConditionAction": {
197
                        "actions": "",
198
                        "external_fun": "",
199
                        "inputs": "x: int;",
200
                        "original_actions": "x++;",
201
                        "outputs": "x: int;",
202
                        "variables": ""
203
                    },
204
                    "Destination": {
205
                        "Id": 1253,
206
                        "Name": "Flowchart2_Flowchart2/A/Junction1253",
207
                        "Type": "Junction"
208
                    },
209
                    "Event": "",
210
                    "Id": 1254,
211
                    "TransitionAction": {
212
                        "actions": "",
213
                        "external_fun": "",
214
                        "inputs": "",
215
                        "original_actions": "",
216
                        "outputs": "",
217
                        "variables": ""
218
                    }
219
                },
220
                "States": [],
221
                "Substates": [],
222
                "Type": "EXCLUSIVE_OR"
223
            },
224
            "Id": 1252,
225
            "InnerTransitions": [],
226
            "Name": "A",
227
            "OuterTransitions": [],
228
            "Path": "Flowchart2_Flowchart2/A"
229
        }
230
    ],
231
    "TruthTables": []
232
}