Project

General

Profile

Download (12.3 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
(* Generated Lustre Interface file from EnableBio1_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:11 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type enabled_ChangeMode_equal_MMAddtosequence_96_045__type = enum {Active_ChangeMode_equal_MMAddtosequence_96_045, Inactive_ChangeMode_equal_MMAddtosequence_96_045 };
6
7
function abs_int (x: int) returns (y: int);
8
9
function rem_int_int (x: int;
10
y: int) returns (z: int);
11
12
function int_to_uint16 (x: int) returns (y: int);
13
14
function IncrementStoredInteger_108_047 (u_1: int;
15
__time_step: real;
16
__nb_step: int) returns (y_1: int);
17
18
function ChangeMode_equal_MMAddtosequence_96_045 (mm_flag_1: int;
19
cmp_cmd_msg_1_BusElem1: int;
20
cmp_cmd_msg_1_BusElem2: int;
21
cmp_cmd_msg_1_BusElem3: int;
22
cmp_cmd_msg_1_BusElem4: int;
23
cmp_cmd_msg_1_BusElem5: int;
24
cmp_cmd_msg_1_BusElem6: int;
25
cmp_cmd_msg_1_BusElem7: int;
26
cmp_cmd_msg_1_BusElem8: int;
27
cmp_cmd_msg_1_BusElem9: int;
28
cmp_cmd_msg_1_BusElem10: int;
29
cmp_cmd_msg_1_BusElem11: int;
30
cmp_cmd_msg_1_BusElem12: int;
31
cmp_cmd_msg_1_BusElem13: int;
32
cmp_cmd_msg_1_BusElem14: int;
33
cmp_cmd_msg_1_BusElem15: int;
34
cmp_cmd_msg_1_BusElem16: int;
35
cmp_cmd_msg_1_BusElem17: int;
36
cmp_cmd_msg_1_BusElem18: int;
37
cmp_cmd_msg_1_BusElem19: int;
38
cmp_cmd_msg_1_BusElem20: int;
39
cmp_cmd_msg_1_BusElem21: int;
40
cmp_cmd_msg_1_BusElem22: int;
41
cmp_cmd_msg_1_BusElem23: int;
42
cmp_cmd_msg_1_BusElem24: int;
43
cmp_cmd_msg_1_BusElem25: int;
44
cmp_cmd_msg_1_BusElem26: int;
45
cmp_cmd_msg_1_BusElem27: int;
46
cmp_cmd_msg_1_BusElem28: int;
47
cmp_cmd_msg_1_BusElem29: int;
48
cmp_cmd_msg_1_BusElem30: int;
49
cmp_cmd_msg_1_BusElem31: int;
50
cmp_cmd_msg_1_BusElem32: int;
51
cmp_cmd_msg_1_BusElem33: int;
52
cmp_cmd_msg_1_BusElem34: int;
53
cmp_cmd_msg_1_BusElem35: int;
54
cmp_cmd_msg_1_BusElem36: int;
55
cmp_cmd_msg_1_BusElem37: int;
56
cmp_cmd_msg_1_BusElem38: int;
57
cmp_cmd_msg_1_BusElem39: int;
58
__time_step: real;
59
__nb_step: int) returns (fm_command_1_BusElem1: int;
60
fm_command_1_BusElem2: int;
61
fm_command_1_BusElem3: int;
62
fm_command_1_BusElem4: int;
63
fm_command_1_BusElem5: int;
64
fm_command_1_BusElem6: int;
65
fm_command_1_BusElem7: int;
66
fm_command_1_BusElem8: int;
67
fm_command_1_BusElem9: int;
68
fm_command_1_BusElem10: int;
69
fm_command_1_BusElem11: int;
70
fm_command_1_BusElem12: int;
71
fm_command_1_BusElem13: int;
72
fm_command_1_BusElem14: int;
73
fm_command_1_BusElem15: int;
74
fm_command_1_BusElem16: int;
75
fm_command_1_BusElem17: int;
76
fm_command_1_BusElem18: int;
77
fm_command_1_BusElem19: int;
78
fm_command_1_BusElem20: int;
79
fm_command_1_BusElem21: int;
80
fm_command_1_BusElem22: int;
81
fm_command_1_BusElem23: int;
82
fm_command_1_BusElem24: int;
83
fm_command_1_BusElem25: int;
84
fm_command_1_BusElem26: int;
85
fm_command_1_BusElem27: int;
86
fm_command_1_BusElem28: int;
87
fm_command_1_BusElem29: int;
88
fm_command_1_BusElem30: int;
89
fm_command_1_BusElem31: int;
90
fm_command_1_BusElem32: int;
91
fm_command_1_BusElem33: int;
92
fm_command_1_BusElem34: int;
93
fm_command_1_BusElem35: int;
94
fm_command_1_BusElem36: int;
95
fm_command_1_BusElem37: int;
96
fm_command_1_BusElem38: int;
97
fm_command_1_BusElem39: int);
98
99
function enabled_ChangeMode_equal_MMAddtosequence_96_045__Active_ChangeMode_equal_MMAddtosequence_96_045_handler_until (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_act: bool;
100
mm_flag_1: int;
101
cmp_cmd_msg_1_BusElem1: int;
102
cmp_cmd_msg_1_BusElem2: int;
103
cmp_cmd_msg_1_BusElem3: int;
104
cmp_cmd_msg_1_BusElem4: int;
105
cmp_cmd_msg_1_BusElem5: int;
106
cmp_cmd_msg_1_BusElem6: int;
107
cmp_cmd_msg_1_BusElem7: int;
108
cmp_cmd_msg_1_BusElem8: int;
109
cmp_cmd_msg_1_BusElem9: int;
110
cmp_cmd_msg_1_BusElem10: int;
111
cmp_cmd_msg_1_BusElem11: int;
112
cmp_cmd_msg_1_BusElem12: int;
113
cmp_cmd_msg_1_BusElem13: int;
114
cmp_cmd_msg_1_BusElem14: int;
115
cmp_cmd_msg_1_BusElem15: int;
116
cmp_cmd_msg_1_BusElem16: int;
117
cmp_cmd_msg_1_BusElem17: int;
118
cmp_cmd_msg_1_BusElem18: int;
119
cmp_cmd_msg_1_BusElem19: int;
120
cmp_cmd_msg_1_BusElem20: int;
121
cmp_cmd_msg_1_BusElem21: int;
122
cmp_cmd_msg_1_BusElem22: int;
123
cmp_cmd_msg_1_BusElem23: int;
124
cmp_cmd_msg_1_BusElem24: int;
125
cmp_cmd_msg_1_BusElem25: int;
126
cmp_cmd_msg_1_BusElem26: int;
127
cmp_cmd_msg_1_BusElem27: int;
128
cmp_cmd_msg_1_BusElem28: int;
129
cmp_cmd_msg_1_BusElem29: int;
130
cmp_cmd_msg_1_BusElem30: int;
131
cmp_cmd_msg_1_BusElem31: int;
132
cmp_cmd_msg_1_BusElem32: int;
133
cmp_cmd_msg_1_BusElem33: int;
134
cmp_cmd_msg_1_BusElem34: int;
135
cmp_cmd_msg_1_BusElem35: int;
136
cmp_cmd_msg_1_BusElem36: int;
137
cmp_cmd_msg_1_BusElem37: int;
138
cmp_cmd_msg_1_BusElem38: int;
139
cmp_cmd_msg_1_BusElem39: int;
140
__time_step: real;
141
__nb_step: int) returns (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_in: bool;
142
enabled_ChangeMode_equal_MMAddtosequence_96_045__state_in: enabled_ChangeMode_equal_MMAddtosequence_96_045__type;
143
fm_command_1_BusElem1_out: int;
144
fm_command_1_BusElem10_out: int;
145
fm_command_1_BusElem11_out: int;
146
fm_command_1_BusElem12_out: int;
147
fm_command_1_BusElem13_out: int;
148
fm_command_1_BusElem14_out: int;
149
fm_command_1_BusElem15_out: int;
150
fm_command_1_BusElem16_out: int;
151
fm_command_1_BusElem17_out: int;
152
fm_command_1_BusElem18_out: int;
153
fm_command_1_BusElem19_out: int;
154
fm_command_1_BusElem2_out: int;
155
fm_command_1_BusElem20_out: int;
156
fm_command_1_BusElem21_out: int;
157
fm_command_1_BusElem22_out: int;
158
fm_command_1_BusElem23_out: int;
159
fm_command_1_BusElem24_out: int;
160
fm_command_1_BusElem25_out: int;
161
fm_command_1_BusElem26_out: int;
162
fm_command_1_BusElem27_out: int;
163
fm_command_1_BusElem28_out: int;
164
fm_command_1_BusElem29_out: int;
165
fm_command_1_BusElem3_out: int;
166
fm_command_1_BusElem30_out: int;
167
fm_command_1_BusElem31_out: int;
168
fm_command_1_BusElem32_out: int;
169
fm_command_1_BusElem33_out: int;
170
fm_command_1_BusElem34_out: int;
171
fm_command_1_BusElem35_out: int;
172
fm_command_1_BusElem36_out: int;
173
fm_command_1_BusElem37_out: int;
174
fm_command_1_BusElem38_out: int;
175
fm_command_1_BusElem39_out: int;
176
fm_command_1_BusElem4_out: int;
177
fm_command_1_BusElem5_out: int;
178
fm_command_1_BusElem6_out: int;
179
fm_command_1_BusElem7_out: int;
180
fm_command_1_BusElem8_out: int;
181
fm_command_1_BusElem9_out: int);
182
183
function enabled_ChangeMode_equal_MMAddtosequence_96_045__Active_ChangeMode_equal_MMAddtosequence_96_045_unless (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_in: bool;
184
_isEnabled: bool) returns (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_act: bool;
185
enabled_ChangeMode_equal_MMAddtosequence_96_045__state_act: enabled_ChangeMode_equal_MMAddtosequence_96_045__type);
186
187
function enabled_ChangeMode_equal_MMAddtosequence_96_045__Inactive_ChangeMode_equal_MMAddtosequence_96_045_handler_until (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_act: bool;
188
pre_fm_command_1_BusElem1: int;
189
pre_fm_command_1_BusElem2: int;
190
pre_fm_command_1_BusElem3: int;
191
pre_fm_command_1_BusElem4: int;
192
pre_fm_command_1_BusElem5: int;
193
pre_fm_command_1_BusElem6: int;
194
pre_fm_command_1_BusElem7: int;
195
pre_fm_command_1_BusElem8: int;
196
pre_fm_command_1_BusElem9: int;
197
pre_fm_command_1_BusElem10: int;
198
pre_fm_command_1_BusElem11: int;
199
pre_fm_command_1_BusElem12: int;
200
pre_fm_command_1_BusElem13: int;
201
pre_fm_command_1_BusElem14: int;
202
pre_fm_command_1_BusElem15: int;
203
pre_fm_command_1_BusElem16: int;
204
pre_fm_command_1_BusElem17: int;
205
pre_fm_command_1_BusElem18: int;
206
pre_fm_command_1_BusElem19: int;
207
pre_fm_command_1_BusElem20: int;
208
pre_fm_command_1_BusElem21: int;
209
pre_fm_command_1_BusElem22: int;
210
pre_fm_command_1_BusElem23: int;
211
pre_fm_command_1_BusElem24: int;
212
pre_fm_command_1_BusElem25: int;
213
pre_fm_command_1_BusElem26: int;
214
pre_fm_command_1_BusElem27: int;
215
pre_fm_command_1_BusElem28: int;
216
pre_fm_command_1_BusElem29: int;
217
pre_fm_command_1_BusElem30: int;
218
pre_fm_command_1_BusElem31: int;
219
pre_fm_command_1_BusElem32: int;
220
pre_fm_command_1_BusElem33: int;
221
pre_fm_command_1_BusElem34: int;
222
pre_fm_command_1_BusElem35: int;
223
pre_fm_command_1_BusElem36: int;
224
pre_fm_command_1_BusElem37: int;
225
pre_fm_command_1_BusElem38: int;
226
pre_fm_command_1_BusElem39: int) returns (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_in: bool;
227
enabled_ChangeMode_equal_MMAddtosequence_96_045__state_in: enabled_ChangeMode_equal_MMAddtosequence_96_045__type;
228
fm_command_1_BusElem1_out: int;
229
fm_command_1_BusElem10_out: int;
230
fm_command_1_BusElem11_out: int;
231
fm_command_1_BusElem12_out: int;
232
fm_command_1_BusElem13_out: int;
233
fm_command_1_BusElem14_out: int;
234
fm_command_1_BusElem15_out: int;
235
fm_command_1_BusElem16_out: int;
236
fm_command_1_BusElem17_out: int;
237
fm_command_1_BusElem18_out: int;
238
fm_command_1_BusElem19_out: int;
239
fm_command_1_BusElem2_out: int;
240
fm_command_1_BusElem20_out: int;
241
fm_command_1_BusElem21_out: int;
242
fm_command_1_BusElem22_out: int;
243
fm_command_1_BusElem23_out: int;
244
fm_command_1_BusElem24_out: int;
245
fm_command_1_BusElem25_out: int;
246
fm_command_1_BusElem26_out: int;
247
fm_command_1_BusElem27_out: int;
248
fm_command_1_BusElem28_out: int;
249
fm_command_1_BusElem29_out: int;
250
fm_command_1_BusElem3_out: int;
251
fm_command_1_BusElem30_out: int;
252
fm_command_1_BusElem31_out: int;
253
fm_command_1_BusElem32_out: int;
254
fm_command_1_BusElem33_out: int;
255
fm_command_1_BusElem34_out: int;
256
fm_command_1_BusElem35_out: int;
257
fm_command_1_BusElem36_out: int;
258
fm_command_1_BusElem37_out: int;
259
fm_command_1_BusElem38_out: int;
260
fm_command_1_BusElem39_out: int;
261
fm_command_1_BusElem4_out: int;
262
fm_command_1_BusElem5_out: int;
263
fm_command_1_BusElem6_out: int;
264
fm_command_1_BusElem7_out: int;
265
fm_command_1_BusElem8_out: int;
266
fm_command_1_BusElem9_out: int);
267
268
function enabled_ChangeMode_equal_MMAddtosequence_96_045__Inactive_ChangeMode_equal_MMAddtosequence_96_045_unless (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_in: bool;
269
_isEnabled: bool) returns (enabled_ChangeMode_equal_MMAddtosequence_96_045__restart_act: bool;
270
enabled_ChangeMode_equal_MMAddtosequence_96_045__state_act: enabled_ChangeMode_equal_MMAddtosequence_96_045__type);
271
272
node ChangeMode_equal_MMAddtosequence_96_045_automaton (mm_flag_1: int;
273
cmp_cmd_msg_1_BusElem1: int;
274
cmp_cmd_msg_1_BusElem2: int;
275
cmp_cmd_msg_1_BusElem3: int;
276
cmp_cmd_msg_1_BusElem4: int;
277
cmp_cmd_msg_1_BusElem5: int;
278
cmp_cmd_msg_1_BusElem6: int;
279
cmp_cmd_msg_1_BusElem7: int;
280
cmp_cmd_msg_1_BusElem8: int;
281
cmp_cmd_msg_1_BusElem9: int;
282
cmp_cmd_msg_1_BusElem10: int;
283
cmp_cmd_msg_1_BusElem11: int;
284
cmp_cmd_msg_1_BusElem12: int;
285
cmp_cmd_msg_1_BusElem13: int;
286
cmp_cmd_msg_1_BusElem14: int;
287
cmp_cmd_msg_1_BusElem15: int;
288
cmp_cmd_msg_1_BusElem16: int;
289
cmp_cmd_msg_1_BusElem17: int;
290
cmp_cmd_msg_1_BusElem18: int;
291
cmp_cmd_msg_1_BusElem19: int;
292
cmp_cmd_msg_1_BusElem20: int;
293
cmp_cmd_msg_1_BusElem21: int;
294
cmp_cmd_msg_1_BusElem22: int;
295
cmp_cmd_msg_1_BusElem23: int;
296
cmp_cmd_msg_1_BusElem24: int;
297
cmp_cmd_msg_1_BusElem25: int;
298
cmp_cmd_msg_1_BusElem26: int;
299
cmp_cmd_msg_1_BusElem27: int;
300
cmp_cmd_msg_1_BusElem28: int;
301
cmp_cmd_msg_1_BusElem29: int;
302
cmp_cmd_msg_1_BusElem30: int;
303
cmp_cmd_msg_1_BusElem31: int;
304
cmp_cmd_msg_1_BusElem32: int;
305
cmp_cmd_msg_1_BusElem33: int;
306
cmp_cmd_msg_1_BusElem34: int;
307
cmp_cmd_msg_1_BusElem35: int;
308
cmp_cmd_msg_1_BusElem36: int;
309
cmp_cmd_msg_1_BusElem37: int;
310
cmp_cmd_msg_1_BusElem38: int;
311
cmp_cmd_msg_1_BusElem39: int;
312
_isEnabled: bool;
313
__time_step: real;
314
__nb_step: int) returns (fm_command_1_BusElem1: int;
315
fm_command_1_BusElem2: int;
316
fm_command_1_BusElem3: int;
317
fm_command_1_BusElem4: int;
318
fm_command_1_BusElem5: int;
319
fm_command_1_BusElem6: int;
320
fm_command_1_BusElem7: int;
321
fm_command_1_BusElem8: int;
322
fm_command_1_BusElem9: int;
323
fm_command_1_BusElem10: int;
324
fm_command_1_BusElem11: int;
325
fm_command_1_BusElem12: int;
326
fm_command_1_BusElem13: int;
327
fm_command_1_BusElem14: int;
328
fm_command_1_BusElem15: int;
329
fm_command_1_BusElem16: int;
330
fm_command_1_BusElem17: int;
331
fm_command_1_BusElem18: int;
332
fm_command_1_BusElem19: int;
333
fm_command_1_BusElem20: int;
334
fm_command_1_BusElem21: int;
335
fm_command_1_BusElem22: int;
336
fm_command_1_BusElem23: int;
337
fm_command_1_BusElem24: int;
338
fm_command_1_BusElem25: int;
339
fm_command_1_BusElem26: int;
340
fm_command_1_BusElem27: int;
341
fm_command_1_BusElem28: int;
342
fm_command_1_BusElem29: int;
343
fm_command_1_BusElem30: int;
344
fm_command_1_BusElem31: int;
345
fm_command_1_BusElem32: int;
346
fm_command_1_BusElem33: int;
347
fm_command_1_BusElem34: int;
348
fm_command_1_BusElem35: int;
349
fm_command_1_BusElem36: int;
350
fm_command_1_BusElem37: int;
351
fm_command_1_BusElem38: int;
352
fm_command_1_BusElem39: int);
353
354
node EnableBio1_PP (Enable_1: bool;
355
In1_1: int) returns (Out1_1: int;
356
Out2_1: int;
357
Out2_2: int;
358
Out2_3: int;
359
Out2_4: int;
360
Out2_5: int;
361
Out2_6: int;
362
Out2_7: int;
363
Out2_8: int;
364
Out2_9: int;
365
Out2_10: int;
366
Out2_11: int;
367
Out2_12: int;
368
Out2_13: int;
369
Out2_14: int;
370
Out2_15: int;
371
Out2_16: int;
372
Out2_17: int;
373
Out2_18: int;
374
Out2_19: int;
375
Out2_20: int;
376
Out2_21: int;
377
Out2_22: int;
378
Out2_23: int;
379
Out2_24: int;
380
Out2_25: int;
381
Out2_26: int;
382
Out2_27: int;
383
Out2_28: int;
384
Out2_29: int;
385
Out2_30: int;
386
Out2_31: int;
387
Out2_32: int;
388
Out2_33: int;
389
Out2_34: int);
390