Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / old_format.json @ 184630f0

History | View | Annotate | Download (6.13 KB)

1
{
2
    "data": [
3
        {
4
            "array_size": "-1",
5
            "datatype": "real",
6
            "initial_value": "0.0",
7
            "name": "x",
8
            "port": 1,
9
            "scope": "Output"
10
        },
11
        {
12
            "array_size": "-1",
13
            "datatype": "real",
14
            "initial_value": "0.0",
15
            "name": "y",
16
            "port": 2,
17
            "scope": "Output"
18
        },
19
        {
20
            "array_size": "-1",
21
            "datatype": "real",
22
            "initial_value": "0.0",
23
            "name": "l",
24
            "port": null,
25
            "scope": "Local"
26
        },
27
        {
28
            "array_size": "-1",
29
            "datatype": "real",
30
            "initial_value": "0.0",
31
            "name": "p",
32
            "port": null,
33
            "scope": "Parameter"
34
        },
35
        {
36
            "array_size": [],
37
            "datatype": "bool",
38
            "initial_value": "false",
39
            "name": "E",
40
            "port": 1,
41
            "scope": "Input"
42
        }
43
    ],
44
    "junctions": [],
45
    "name": "simple_Chart",
46
    "origin_path": "simple/Chart",
47
    "sffunctions": [],
48
    "states": [
49
        {
50
            "inner_trans": [],
51
            "internal_composition": {
52
                "substates": [
53
                    "A",
54
                    "B"
55
                ],
56
                "tinit": {
57
                    "condition": "",
58
                    "condition_act": "",
59
                    "dest": {
60
                        "name": "simple_Chart/A",
61
                        "type": "State"
62
                    },
63
                    "event": "",
64
                    "id": 183,
65
                    "transition_act": ""
66
                },
67
                "type": "EXCLUSIVE_OR"
68
            },
69
            "outer_trans": [],
70
            "path": "simple_Chart",
71
            "state_actions": {
72
                "during_act": {
73
                    "actions": "",
74
                    "external_fun": "",
75
                    "inputs": "",
76
                    "original_actions": "",
77
                    "outputs": "",
78
                    "variables": ""
79
                },
80
                "entry_act": {
81
                    "actions": "",
82
                    "external_fun": "",
83
                    "inputs": "",
84
                    "original_actions": "",
85
                    "outputs": "",
86
                    "variables": ""
87
                },
88
                "exit_act": {
89
                    "actions": "",
90
                    "external_fun": "",
91
                    "inputs": "",
92
                    "original_actions": "",
93
                    "outputs": "",
94
                    "variables": ""
95
                }
96
            }
97
        },
98
        {
99
            "inner_trans": [],
100
            "internal_composition": {
101
                "substates": [],
102
                "tinit": [],
103
                "type": "EXCLUSIVE_OR"
104
            },
105
            "outer_trans": [],
106
            "path": "simple_Chart/B",
107
            "state_actions": {
108
                "during_act": {
109
                    "actions": "",
110
                    "external_fun": "",
111
                    "inputs": "",
112
                    "original_actions": "",
113
                    "outputs": "",
114
                    "variables": ""
115
                },
116
                "entry_act": {
117
                    "actions": "",
118
                    "external_fun": "",
119
                    "inputs": "",
120
                    "original_actions": "",
121
                    "outputs": "",
122
                    "variables": ""
123
                },
124
                "exit_act": {
125
                    "actions": "",
126
                    "external_fun": "",
127
                    "inputs": "",
128
                    "original_actions": "",
129
                    "outputs": "",
130
                    "variables": ""
131
                }
132
            }
133
        },
134
        {
135
            "inner_trans": [],
136
            "internal_composition": {
137
                "substates": [],
138
                "tinit": [],
139
                "type": "EXCLUSIVE_OR"
140
            },
141
            "outer_trans": {
142
                "condition": {
143
                    "actions": "x + 1.0 > y ",
144
                    "external_fun": "",
145
                    "inputs": "y: real;x: real;",
146
                    "original_actions": "x+1>y",
147
                    "outputs": "",
148
                    "variables": ""
149
                },
150
                "condition_act": {
151
                    "actions": "x = 0.0; ",
152
                    "external_fun": "",
153
                    "inputs": "x: real;",
154
                    "original_actions": "x=0",
155
                    "outputs": "x: real;",
156
                    "variables": ""
157
                },
158
                "dest": {
159
                    "name": "simple_Chart/B",
160
                    "type": "State"
161
                },
162
                "event": "E",
163
                "id": 184,
164
                "transition_act": {
165
                    "actions": "y = y + 1.0; ",
166
                    "external_fun": "",
167
                    "inputs": "y: real;",
168
                    "original_actions": "y=y+1",
169
                    "outputs": "y: real;",
170
                    "variables": ""
171
                }
172
            },
173
            "path": "simple_Chart/A",
174
            "state_actions": {
175
                "during_act": {
176
                    "actions": "x = x + 1.0; y = x - 1.0; x = min(x, y); ",
177
                    "external_fun": "min",
178
                    "inputs": "y: real;x: real;",
179
                    "original_actions": "x = x + 1; y = x -1; x = min(x, y)",
180
                    "outputs": "y: real;x: real;",
181
                    "variables": ""
182
                },
183
                "entry_act": {
184
                    "actions": "x = 0.0; y = 0.0; ",
185
                    "external_fun": "",
186
                    "inputs": "y: real;x: real;",
187
                    "original_actions": "x =  0; y=0",
188
                    "outputs": "y: real;x: real;",
189
                    "variables": ""
190
                },
191
                "exit_act": {
192
                    "actions": "",
193
                    "external_fun": "",
194
                    "inputs": "",
195
                    "original_actions": "",
196
                    "outputs": "",
197
                    "variables": ""
198
                }
199
            }
200
        }
201
    ]
202
}