Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.94 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "real",
6
        "Id": 3294,
7
        "InitialValue": "0.0",
8
        "Name": "x",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [],
13
    "GraphicalFunctions": [],
14
    "Junctions": [],
15
    "Name": "Single1",
16
    "Path": "Single1_Single1",
17
    "SimulinkFunctions": [],
18
    "States": [
19
        {
20
            "Actions": {
21
                "Bind": {
22
                    "actions": "",
23
                    "external_fun": "",
24
                    "inputs": "",
25
                    "original_actions": "",
26
                    "outputs": "",
27
                    "variables": ""
28
                },
29
                "During": {
30
                    "actions": "",
31
                    "external_fun": "",
32
                    "inputs": "",
33
                    "original_actions": "",
34
                    "outputs": "",
35
                    "variables": ""
36
                },
37
                "Entry": {
38
                    "actions": "",
39
                    "external_fun": "",
40
                    "inputs": "",
41
                    "original_actions": "",
42
                    "outputs": "",
43
                    "variables": ""
44
                },
45
                "Exit": {
46
                    "actions": "",
47
                    "external_fun": "",
48
                    "inputs": "",
49
                    "original_actions": "",
50
                    "outputs": "",
51
                    "variables": ""
52
                },
53
                "On": {
54
                    "actions": "",
55
                    "external_fun": "",
56
                    "inputs": "",
57
                    "original_actions": "",
58
                    "outputs": "",
59
                    "variables": ""
60
                },
61
                "OnAfter": {
62
                    "actions": "",
63
                    "external_fun": "",
64
                    "inputs": "",
65
                    "original_actions": "",
66
                    "outputs": "",
67
                    "variables": ""
68
                },
69
                "OnAt": {
70
                    "actions": "",
71
                    "external_fun": "",
72
                    "inputs": "",
73
                    "original_actions": "",
74
                    "outputs": "",
75
                    "variables": ""
76
                },
77
                "OnBefore": {
78
                    "actions": "",
79
                    "external_fun": "",
80
                    "inputs": "",
81
                    "original_actions": "",
82
                    "outputs": "",
83
                    "variables": ""
84
                },
85
                "OnEvery": {
86
                    "actions": "",
87
                    "external_fun": "",
88
                    "inputs": "",
89
                    "original_actions": "",
90
                    "outputs": "",
91
                    "variables": ""
92
                }
93
            },
94
            "Composition": {
95
                "DefaultTransitions": [],
96
                "States": 3293,
97
                "Substates": "A",
98
                "Type": "EXCLUSIVE_OR"
99
            },
100
            "Id": 3292,
101
            "InnerTransitions": [],
102
            "OuterTransitions": [],
103
            "Path": "Single1_Single1"
104
        },
105
        {
106
            "Actions": {
107
                "Bind": {
108
                    "actions": "",
109
                    "external_fun": "",
110
                    "inputs": "",
111
                    "original_actions": "",
112
                    "outputs": "",
113
                    "variables": ""
114
                },
115
                "During": {
116
                    "actions": "",
117
                    "external_fun": "",
118
                    "inputs": "",
119
                    "original_actions": "",
120
                    "outputs": "",
121
                    "variables": ""
122
                },
123
                "Entry": {
124
                    "actions": "",
125
                    "external_fun": "",
126
                    "inputs": "",
127
                    "original_actions": "",
128
                    "outputs": "",
129
                    "variables": ""
130
                },
131
                "Exit": {
132
                    "actions": "",
133
                    "external_fun": "",
134
                    "inputs": "",
135
                    "original_actions": "",
136
                    "outputs": "",
137
                    "variables": ""
138
                },
139
                "On": {
140
                    "actions": "",
141
                    "external_fun": "",
142
                    "inputs": "",
143
                    "original_actions": "",
144
                    "outputs": "",
145
                    "variables": ""
146
                },
147
                "OnAfter": {
148
                    "actions": "",
149
                    "external_fun": "",
150
                    "inputs": "",
151
                    "original_actions": "",
152
                    "outputs": "",
153
                    "variables": ""
154
                },
155
                "OnAt": {
156
                    "actions": "",
157
                    "external_fun": "",
158
                    "inputs": "",
159
                    "original_actions": "",
160
                    "outputs": "",
161
                    "variables": ""
162
                },
163
                "OnBefore": {
164
                    "actions": "",
165
                    "external_fun": "",
166
                    "inputs": "",
167
                    "original_actions": "",
168
                    "outputs": "",
169
                    "variables": ""
170
                },
171
                "OnEvery": {
172
                    "actions": "",
173
                    "external_fun": "",
174
                    "inputs": "",
175
                    "original_actions": "",
176
                    "outputs": "",
177
                    "variables": ""
178
                }
179
            },
180
            "Composition": {
181
                "DefaultTransitions": [],
182
                "States": [],
183
                "Substates": [],
184
                "Type": "EXCLUSIVE_OR"
185
            },
186
            "Id": 3293,
187
            "InnerTransitions": [],
188
            "Name": "A",
189
            "OuterTransitions": [],
190
            "Path": "Single1_Single1/A"
191
        }
192
    ],
193
    "TruthTables": []
194
}