Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / simple_Chart_SFIR_pp.json @ b9724665

History | View | Annotate | Download (5.57 KB)

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