Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Iek1 / Iek1.lusi @ 79ef5fc5

History | View | Annotate | Download (13.7 KB)

1
(* Generated Lustre Interface file from Iek1.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:27 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
type iek1_t2__type = enum {POINTIek1_T2, POINT__TO__T2_C_1, T2_C__TO__T2_D_1, T2_D__TO__T2_C_1, T2_C_IDL, T2_D_IDL };
6

    
7

    
8
type iek1_t1__type = enum {POINTIek1_T1, POINT__TO__T1_A_1, T1_A__TO__T1_B_1, T1_B__TO__T1_A_1, T1_A_IDL, T1_B_IDL };
9

    
10

    
11
type iek1_t3__type = enum {POINTIek1_T3, POINT__TO__T3_A_1, T3_A__TO__T3_C_1, T3_C__TO__T3_D_1, T3_C__TO__T3_B_2, T3_D__TO__T3_B_1, T3_B__TO__T3_A_1, T3_B__TO__T3_C_2, T3_A_IDL, T3_C_IDL, T3_D_IDL, T3_B_IDL };
12

    
13

    
14
type iek1_iek1__type = enum {POINTIek1_Iek1, IEK1_IEK1_PARALLEL_ENTRY, IEK1_IEK1_PARALLEL_IDL };
15

    
16

    
17
function T1_A_en (idIek1_T1_1: int; sT1_1: real; isInner: bool) returns (idIek1_T1: int; sT1: real);
18

    
19
function T1_A_ex (idIek1_T1_1: int; isInner: bool) returns (idIek1_T1: int);
20

    
21
function T1_B_en (idIek1_T1_1: int; sT1_1: real; isInner: bool) returns (idIek1_T1: int; sT1: real);
22

    
23
function T1_B_ex (idIek1_T1_1: int; isInner: bool) returns (idIek1_T1: int);
24

    
25
function T2_C_en (idIek1_T2_1: int; sT2_1: real; isInner: bool) returns (idIek1_T2: int; sT2: real);
26

    
27
function T2_C_ex (idIek1_T2_1: int; isInner: bool) returns (idIek1_T2: int);
28

    
29
function T2_D_en (idIek1_T2_1: int; sT2_1: real; isInner: bool) returns (idIek1_T2: int; sT2: real);
30

    
31
function T2_D_ex (idIek1_T2_1: int; isInner: bool) returns (idIek1_T2: int);
32

    
33
function T3_a_en (idIek1_T3_1: int; sT3_1: real; isInner: bool) returns (idIek1_T3: int; sT3: real);
34

    
35
function T3_a_ex (idIek1_T3_1: int; isInner: bool) returns (idIek1_T3: int);
36

    
37
function T3_c_en (idIek1_T3_1: int; sT3_1: real; isInner: bool) returns (idIek1_T3: int; sT3: real);
38

    
39
function T3_b_ex (idIek1_T3_1: int; isInner: bool) returns (idIek1_T3: int);
40

    
41
function T3_b_en (idIek1_T3_1: int; sT3_1: real; isInner: bool) returns (idIek1_T3: int; sT3: real);
42

    
43
function T3_c_ex (idIek1_T3_1: int; isInner: bool) returns (idIek1_T3: int);
44

    
45
function T3_d_en (idIek1_T3_1: int; sT3_1: real; isInner: bool) returns (idIek1_T3: int; sT3: real);
46

    
47
function T3_d_ex (idIek1_T3_1: int; isInner: bool) returns (idIek1_T3: int);
48

    
49
function iek1_t1__POINTIek1_T1_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
50

    
51
function iek1_t1__POINTIek1_T1_unless (iek1_t1__restart_in: bool; idIek1_T1_1: int; E: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
52

    
53
function iek1_t1__POINT__TO__T1_A_1_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
54

    
55
function iek1_t1__POINT__TO__T1_A_1_unless (iek1_t1__restart_in: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
56

    
57
function iek1_t1__T1_A_IDL_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
58

    
59
function iek1_t1__T1_A_IDL_unless (iek1_t1__restart_in: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
60

    
61
function iek1_t1__T1_A__TO__T1_B_1_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
62

    
63
function iek1_t1__T1_A__TO__T1_B_1_unless (iek1_t1__restart_in: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
64

    
65
function iek1_t1__T1_B_IDL_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
66

    
67
function iek1_t1__T1_B_IDL_unless (iek1_t1__restart_in: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
68

    
69
function iek1_t1__T1_B__TO__T1_A_1_handler_until (iek1_t1__restart_act: bool; idIek1_T1_1: int; sT1_1: real) returns (iek1_t1__restart_in: bool; iek1_t1__state_in: iek1_t1__type; idIek1_T1_out: int; sT1_out: real);
70

    
71
function iek1_t1__T1_B__TO__T1_A_1_unless (iek1_t1__restart_in: bool) returns (iek1_t1__restart_act: bool; iek1_t1__state_act: iek1_t1__type);
72

    
73
function iek1_t2__POINTIek1_T2_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
74

    
75
function iek1_t2__POINTIek1_T2_unless (iek1_t2__restart_in: bool; idIek1_T2_1: int; F: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
76

    
77
function iek1_t2__POINT__TO__T2_C_1_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
78

    
79
function iek1_t2__POINT__TO__T2_C_1_unless (iek1_t2__restart_in: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
80

    
81
function iek1_t2__T2_C_IDL_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
82

    
83
function iek1_t2__T2_C_IDL_unless (iek1_t2__restart_in: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
84

    
85
function iek1_t2__T2_C__TO__T2_D_1_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
86

    
87
function iek1_t2__T2_C__TO__T2_D_1_unless (iek1_t2__restart_in: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
88

    
89
function iek1_t2__T2_D_IDL_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
90

    
91
function iek1_t2__T2_D_IDL_unless (iek1_t2__restart_in: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
92

    
93
function iek1_t2__T2_D__TO__T2_C_1_handler_until (iek1_t2__restart_act: bool; idIek1_T2_1: int; sT2_1: real) returns (iek1_t2__restart_in: bool; iek1_t2__state_in: iek1_t2__type; idIek1_T2_out: int; sT2_out: real);
94

    
95
function iek1_t2__T2_D__TO__T2_C_1_unless (iek1_t2__restart_in: bool) returns (iek1_t2__restart_act: bool; iek1_t2__state_act: iek1_t2__type);
96

    
97
function iek1_t3__POINTIek1_T3_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
98

    
99
function iek1_t3__POINTIek1_T3_unless (iek1_t3__restart_in: bool; idIek1_T3_1: int; idIek1_T1_1: int; idIek1_T2_1: int) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
100

    
101
function iek1_t3__POINT__TO__T3_A_1_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
102

    
103
function iek1_t3__POINT__TO__T3_A_1_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
104

    
105
function iek1_t3__T3_A_IDL_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
106

    
107
function iek1_t3__T3_A_IDL_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
108

    
109
function iek1_t3__T3_A__TO__T3_C_1_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
110

    
111
function iek1_t3__T3_A__TO__T3_C_1_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
112

    
113
function iek1_t3__T3_B_IDL_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
114

    
115
function iek1_t3__T3_B_IDL_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
116

    
117
function iek1_t3__T3_B__TO__T3_A_1_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
118

    
119
function iek1_t3__T3_B__TO__T3_A_1_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
120

    
121
function iek1_t3__T3_B__TO__T3_C_2_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
122

    
123
function iek1_t3__T3_B__TO__T3_C_2_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
124

    
125
function iek1_t3__T3_C_IDL_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
126

    
127
function iek1_t3__T3_C_IDL_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
128

    
129
function iek1_t3__T3_C__TO__T3_B_2_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
130

    
131
function iek1_t3__T3_C__TO__T3_B_2_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
132

    
133
function iek1_t3__T3_C__TO__T3_D_1_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
134

    
135
function iek1_t3__T3_C__TO__T3_D_1_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
136

    
137
function iek1_t3__T3_D_IDL_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
138

    
139
function iek1_t3__T3_D_IDL_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
140

    
141
function iek1_t3__T3_D__TO__T3_B_1_handler_until (iek1_t3__restart_act: bool; idIek1_T3_1: int; sT3_1: real) returns (iek1_t3__restart_in: bool; iek1_t3__state_in: iek1_t3__type; idIek1_T3_out: int; sT3_out: real);
142

    
143
function iek1_t3__T3_D__TO__T3_B_1_unless (iek1_t3__restart_in: bool) returns (iek1_t3__restart_act: bool; iek1_t3__state_act: iek1_t3__type);
144

    
145
function Iek1_T1_en (idIek1_T1_1: int; idIek1_Iek1_1: int; sT1_1: real; isInner: bool) returns (idIek1_T1: int; idIek1_Iek1: int; sT1: real);
146

    
147
function Iek1_T2_en (idIek1_T2_1: int; idIek1_Iek1_1: int; sT2_1: real; isInner: bool) returns (idIek1_T2: int; idIek1_Iek1: int; sT2: real);
148

    
149
function Iek1_T3_en (idIek1_T3_1: int; idIek1_Iek1_1: int; sT3_1: real; isInner: bool) returns (idIek1_T3: int; idIek1_Iek1: int; sT3: real);
150

    
151
node Iek1_T1_node (idIek1_T1_1: int; sT1_1: real; E: bool) returns (idIek1_T1: int; sT1: real);
152

    
153
node Iek1_T2_node (idIek1_T2_1: int; sT2_1: real; F: bool) returns (idIek1_T2: int; sT2: real);
154

    
155
node Iek1_T3_node (idIek1_T3_1: int; sT3_1: real; idIek1_T1_1: int; idIek1_T2_1: int) returns (idIek1_T3: int; sT3: real);
156

    
157
function iek1_iek1__IEK1_IEK1_PARALLEL_ENTRY_handler_until (iek1_iek1__restart_act: bool; idIek1_Iek1_1: int; idIek1_T1_1: int; sT1_1: real; idIek1_T2_1: int; sT2_1: real; idIek1_T3_1: int; sT3_1: real) returns (iek1_iek1__restart_in: bool; iek1_iek1__state_in: iek1_iek1__type; idIek1_Iek1_out: int; idIek1_T1_out: int; idIek1_T2_out: int; idIek1_T3_out: int; sT1_out: real; sT2_out: real; sT3_out: real);
158

    
159
function iek1_iek1__IEK1_IEK1_PARALLEL_ENTRY_unless (iek1_iek1__restart_in: bool) returns (iek1_iek1__restart_act: bool; iek1_iek1__state_act: iek1_iek1__type);
160

    
161
node iek1_iek1__IEK1_IEK1_PARALLEL_IDL_handler_until (iek1_iek1__restart_act: bool; idIek1_Iek1_1: int; idIek1_T1_1: int; sT1_1: real; idIek1_T2_1: int; sT2_1: real; idIek1_T3_1: int; sT3_1: real; E: bool; F: bool) returns (iek1_iek1__restart_in: bool; iek1_iek1__state_in: iek1_iek1__type; idIek1_Iek1_out: int; idIek1_T1_out: int; idIek1_T2_out: int; idIek1_T3_out: int; sT1_out: real; sT2_out: real; sT3_out: real);
162

    
163
function iek1_iek1__IEK1_IEK1_PARALLEL_IDL_unless (iek1_iek1__restart_in: bool) returns (iek1_iek1__restart_act: bool; iek1_iek1__state_act: iek1_iek1__type);
164

    
165
function iek1_iek1__POINTIek1_Iek1_handler_until (iek1_iek1__restart_act: bool; idIek1_Iek1_1: int; idIek1_T1_1: int; sT1_1: real; idIek1_T2_1: int; sT2_1: real; idIek1_T3_1: int; sT3_1: real) returns (iek1_iek1__restart_in: bool; iek1_iek1__state_in: iek1_iek1__type; idIek1_Iek1_out: int; idIek1_T1_out: int; idIek1_T2_out: int; idIek1_T3_out: int; sT1_out: real; sT2_out: real; sT3_out: real);
166

    
167
function iek1_iek1__POINTIek1_Iek1_unless (iek1_iek1__restart_in: bool; idIek1_Iek1_1: int) returns (iek1_iek1__restart_act: bool; iek1_iek1__state_act: iek1_iek1__type);
168

    
169
node Iek1_Iek1_node (idIek1_Iek1_1: int; idIek1_T1_1: int; sT1_1: real; idIek1_T2_1: int; sT2_1: real; idIek1_T3_1: int; sT3_1: real; E: bool; F: bool) returns (idIek1_Iek1: int; idIek1_T1: int; sT1: real; idIek1_T2: int; sT2: real; idIek1_T3: int; sT3: real);
170

    
171
node Iek1_Iek1 (E: bool; F: bool) returns (sT1: real; sT2: real; sT3: real);
172

    
173
node Iek1 (E_1_1: real; F_1_1: real) returns (sT1_1_1: real; sT2_2_1: real; sT3_3_1: real);
174

    
175
function Iek1_T2_ex (idIek1_T2_1: int; idIek1_Iek1_1: int; isInner: bool) returns (idIek1_T2: int; idIek1_Iek1: int);
176

    
177
function Iek1_T1_ex (idIek1_T1_1: int; idIek1_Iek1_1: int; isInner: bool) returns (idIek1_T1: int; idIek1_Iek1: int);
178

    
179
function Iek1_T3_ex (idIek1_T3_1: int; idIek1_Iek1_1: int; isInner: bool) returns (idIek1_T3: int; idIek1_Iek1: int);
180