Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / BusCreator_nonvirtual_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (5.31 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:22:19
5
(*
6
Original block name: BusCreator_nonvirtual_PP/Subsystem
7
*)
8
node  Subsystem_48_513(chirp_1 : real;
9
	chirp_2 : real;
10
	sine_1 : int;
11
	sine_2 : int;
12
	sine_3 : int;
13
	step_1 : bool;
14
	step_2 : bool;
15
	step_3 : bool;
16
	step_4 : bool;
17
	__time_step : real;
18
	__nb_step : int;)
19
returns(subSignal_1_BusElem1 : real;
20
	subSignal_1_BusElem2 : real;
21
	subSignal_1_BusElem3 : int;
22
	subSignal_1_BusElem4 : int;
23
	subSignal_1_BusElem5 : int;
24
	Out1_1 : bool;
25
	Out1_2 : bool;
26
	Out1_3 : bool;
27
	Out1_4 : bool;);
28
var BusCreator_1_BusElem1 : real;
29
	BusCreator_1_BusElem2 : real;
30
	BusCreator_1_BusElem3 : int;
31
	BusCreator_1_BusElem4 : int;
32
	BusCreator_1_BusElem5 : int;
33
let
34
	BusCreator_1_BusElem1 = chirp_1;
35
	BusCreator_1_BusElem2 = chirp_2;
36
	BusCreator_1_BusElem3 = sine_1;
37
	BusCreator_1_BusElem4 = sine_2;
38
	BusCreator_1_BusElem5 = sine_3;
39
	subSignal_1_BusElem1 = BusCreator_1_BusElem1;
40
	subSignal_1_BusElem2 = BusCreator_1_BusElem2;
41
	subSignal_1_BusElem3 = BusCreator_1_BusElem3;
42
	subSignal_1_BusElem4 = BusCreator_1_BusElem4;
43
	subSignal_1_BusElem5 = BusCreator_1_BusElem5;
44
	Out1_1 = step_1;
45
	Out1_2 = step_2;
46
	Out1_3 = step_3;
47
	Out1_4 = step_4;
48
tel
49
50
(*
51
Original block name: BusCreator_nonvirtual_PP/Subsystem1
52
*)
53
node  Subsystem1_60_501(subBus_1_BusElem1 : real;
54
	subBus_1_BusElem2 : real;
55
	subBus_1_BusElem3 : int;
56
	subBus_1_BusElem4 : int;
57
	subBus_1_BusElem5 : int;
58
	step_1 : bool;
59
	step_2 : bool;
60
	step_3 : bool;
61
	step_4 : bool;
62
	__time_step : real;
63
	__nb_step : int;)
64
returns(nestedBus_1_BusElem1 : real;
65
	nestedBus_1_BusElem2 : real;
66
	nestedBus_1_BusElem3 : int;
67
	nestedBus_1_BusElem4 : int;
68
	nestedBus_1_BusElem5 : int;
69
	nestedBus_1_BusElem6 : bool;
70
	nestedBus_1_BusElem7 : bool;
71
	nestedBus_1_BusElem8 : bool;
72
	nestedBus_1_BusElem9 : bool;);
73
var BusCreator1_1_BusElem1 : real;
74
	BusCreator1_1_BusElem2 : real;
75
	BusCreator1_1_BusElem3 : int;
76
	BusCreator1_1_BusElem4 : int;
77
	BusCreator1_1_BusElem5 : int;
78
	BusCreator1_1_BusElem6 : bool;
79
	BusCreator1_1_BusElem7 : bool;
80
	BusCreator1_1_BusElem8 : bool;
81
	BusCreator1_1_BusElem9 : bool;
82
let
83
	BusCreator1_1_BusElem1 = subBus_1_BusElem1;
84
	BusCreator1_1_BusElem2 = subBus_1_BusElem2;
85
	BusCreator1_1_BusElem3 = subBus_1_BusElem3;
86
	BusCreator1_1_BusElem4 = subBus_1_BusElem4;
87
	BusCreator1_1_BusElem5 = subBus_1_BusElem5;
88
	BusCreator1_1_BusElem6 = step_1;
89
	BusCreator1_1_BusElem7 = step_2;
90
	BusCreator1_1_BusElem8 = step_3;
91
	BusCreator1_1_BusElem9 = step_4;
92
	nestedBus_1_BusElem1 = BusCreator1_1_BusElem1;
93
	nestedBus_1_BusElem2 = BusCreator1_1_BusElem2;
94
	nestedBus_1_BusElem3 = BusCreator1_1_BusElem3;
95
	nestedBus_1_BusElem4 = BusCreator1_1_BusElem4;
96
	nestedBus_1_BusElem5 = BusCreator1_1_BusElem5;
97
	nestedBus_1_BusElem6 = BusCreator1_1_BusElem6;
98
	nestedBus_1_BusElem7 = BusCreator1_1_BusElem7;
99
	nestedBus_1_BusElem8 = BusCreator1_1_BusElem8;
100
	nestedBus_1_BusElem9 = BusCreator1_1_BusElem9;
101
tel
102
103
(*
104
Original block name: BusCreator_nonvirtual_PP
105
*)
106
node  BusCreator_nonvirtual_PP(In1_1 : real;
107
	In1_2 : real;
108
	In2_1 : int;
109
	In2_2 : int;
110
	In2_3 : int;
111
	In3_1 : bool;
112
	In3_2 : bool;
113
	In3_3 : bool;
114
	In3_4 : bool;)
115
returns(Out1_1 : real;
116
	Out1_2 : real;
117
	Out2_1 : int;
118
	Out2_2 : int;
119
	Out2_3 : int;
120
	Out3_1 : bool;
121
	Out3_2 : bool;
122
	Out3_3 : bool;
123
	Out3_4 : bool;);
124
var BusSelector_1 : real;
125
	BusSelector_2 : real;
126
	BusSelector_3 : int;
127
	BusSelector_4 : int;
128
	BusSelector_5 : int;
129
	BusSelector_6 : bool;
130
	BusSelector_7 : bool;
131
	BusSelector_8 : bool;
132
	BusSelector_9 : bool;
133
	Subsystem_1_BusElem1 : real;
134
	Subsystem_1_BusElem2 : real;
135
	Subsystem_1_BusElem3 : int;
136
	Subsystem_1_BusElem4 : int;
137
	Subsystem_1_BusElem5 : int;
138
	Subsystem_2 : bool;
139
	Subsystem_3 : bool;
140
	Subsystem_4 : bool;
141
	Subsystem_5 : bool;
142
	Subsystem1_1_BusElem1 : real;
143
	Subsystem1_1_BusElem2 : real;
144
	Subsystem1_1_BusElem3 : int;
145
	Subsystem1_1_BusElem4 : int;
146
	Subsystem1_1_BusElem5 : int;
147
	Subsystem1_1_BusElem6 : bool;
148
	Subsystem1_1_BusElem7 : bool;
149
	Subsystem1_1_BusElem8 : bool;
150
	Subsystem1_1_BusElem9 : bool;
151
	__time_step : real;
152
	__nb_step : int;
153
let
154
	BusSelector_1 = Subsystem1_1_BusElem1;
155
	BusSelector_2 = Subsystem1_1_BusElem2;
156
	BusSelector_3 = Subsystem1_1_BusElem3;
157
	BusSelector_4 = Subsystem1_1_BusElem4;
158
	BusSelector_5 = Subsystem1_1_BusElem5;
159
	BusSelector_6 = Subsystem1_1_BusElem6;
160
	BusSelector_7 = Subsystem1_1_BusElem7;
161
	BusSelector_8 = Subsystem1_1_BusElem8;
162
	BusSelector_9 = Subsystem1_1_BusElem9;
163
	(Subsystem_1_BusElem1, Subsystem_1_BusElem2, Subsystem_1_BusElem3, Subsystem_1_BusElem4, Subsystem_1_BusElem5, Subsystem_2, Subsystem_3, Subsystem_4, Subsystem_5) = Subsystem_48_513(In1_1, In1_2, In2_1, In2_2, In2_3, In3_1, In3_2, In3_3, In3_4, __time_step, __nb_step);
164
	(Subsystem1_1_BusElem1, Subsystem1_1_BusElem2, Subsystem1_1_BusElem3, Subsystem1_1_BusElem4, Subsystem1_1_BusElem5, Subsystem1_1_BusElem6, Subsystem1_1_BusElem7, Subsystem1_1_BusElem8, Subsystem1_1_BusElem9) = Subsystem1_60_501(Subsystem_1_BusElem1, Subsystem_1_BusElem2, Subsystem_1_BusElem3, Subsystem_1_BusElem4, Subsystem_1_BusElem5, Subsystem_2, Subsystem_3, Subsystem_4, Subsystem_5, __time_step, __nb_step);
165
	Out1_1 = BusSelector_1;
166
	Out1_2 = BusSelector_2;
167
	Out2_1 = BusSelector_3;
168
	Out2_2 = BusSelector_4;
169
	Out2_3 = BusSelector_5;
170
	Out3_1 = BusSelector_6;
171
	Out3_2 = BusSelector_7;
172
	Out3_3 = BusSelector_8;
173
	Out3_4 = BusSelector_9;
174
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
175
	__nb_step = (0 -> ((pre __nb_step) + 1));
176
tel