Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super4 / Super4.lusi @ 79ef5fc5

History | View | Annotate | Download (13.6 KB)

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

    
5
type super4_b__type = enum {POINTSuper4_B, POINT__TO__B_B1_1, B_B1__TO__SUPER4_D_1, B_B1__TO__A_A1_2, B_B1_IDL };
6

    
7

    
8
type super4_a__type = enum {POINTSuper4_A, POINT__TO__A_A1_1, A_A1__TO__B_B1_1, A_A1__TO__SUPER4_C_2, A_A1_IDL };
9

    
10

    
11
type super4_super4__type = enum {POINTSuper4_Super4, POINT__TO__SUPER4_C_1, SUPER4_A__TO__SUPER4_B_1, SUPER4_B__TO__SUPER4_A_1, SUPER4_C__TO__SUPER4_D_1, SUPER4_C__TO__A_A1_2, SUPER4_D__TO__SUPER4_C_1, SUPER4_D__TO__B_B1_2, SUPER4_A_IDL, SUPER4_B_IDL, SUPER4_C_IDL, SUPER4_D_IDL };
12

    
13

    
14
function A_A1_ex (idSuper4_A_1: int; isInner: bool) returns (idSuper4_A: int);
15

    
16
function B_B1_en (idSuper4_B_1: int; isInner: bool) returns (idSuper4_B: int);
17

    
18
function A_A1_en (idSuper4_A_1: int; isInner: bool) returns (idSuper4_A: int);
19

    
20
function B_B1_ex (idSuper4_B_1: int; isInner: bool) returns (idSuper4_B: int);
21

    
22
function A_A1_du (out_1: real) returns (out: real);
23

    
24
function Super4_A_ex (idSuper4_A_1: int; idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_A: int; idSuper4_Super4: int);
25

    
26
function Super4_B_en (idSuper4_B_1: int; idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_B: int; idSuper4_Super4: int);
27

    
28
function Super4_C_en (idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_Super4: int);
29

    
30
function B_B1_du (out_1: real) returns (out: real);
31

    
32
function Super4_A_en (idSuper4_A_1: int; idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_A: int; idSuper4_Super4: int);
33

    
34
function Super4_B_ex (idSuper4_B_1: int; idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_B: int; idSuper4_Super4: int);
35

    
36
function Super4_D_en (idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_Super4: int);
37

    
38
function super4_a__A_A1_IDL_handler_until (super4_a__restart_act: bool; idSuper4_A_1: int; idSuper4_Super4_1: int; idSuper4_B_1: int; out_1: real) returns (super4_a__restart_in: bool; super4_a__state_in: super4_a__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
39

    
40
function super4_a__A_A1_IDL_unless (super4_a__restart_in: bool) returns (super4_a__restart_act: bool; super4_a__state_act: super4_a__type);
41

    
42
function super4_a__A_A1__TO__B_B1_1_handler_until (super4_a__restart_act: bool; idSuper4_A_1: int; idSuper4_Super4_1: int; out_1: real) returns (super4_a__restart_in: bool; super4_a__state_in: super4_a__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
43

    
44
function super4_a__A_A1__TO__B_B1_1_unless (super4_a__restart_in: bool) returns (super4_a__restart_act: bool; super4_a__state_act: super4_a__type);
45

    
46
function super4_a__A_A1__TO__SUPER4_C_2_handler_until (super4_a__restart_act: bool; idSuper4_A_1: int; idSuper4_Super4_1: int; idSuper4_B_1: int; out_1: real) returns (super4_a__restart_in: bool; super4_a__state_in: super4_a__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
47

    
48
function super4_a__A_A1__TO__SUPER4_C_2_unless (super4_a__restart_in: bool) returns (super4_a__restart_act: bool; super4_a__state_act: super4_a__type);
49

    
50
function super4_a__POINTSuper4_A_handler_until (super4_a__restart_act: bool; idSuper4_A_1: int; idSuper4_Super4_1: int; idSuper4_B_1: int; out_1: real) returns (super4_a__restart_in: bool; super4_a__state_in: super4_a__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
51

    
52
function super4_a__POINTSuper4_A_unless (super4_a__restart_in: bool; idSuper4_A_1: int; E: bool; F: bool) returns (super4_a__restart_act: bool; super4_a__state_act: super4_a__type);
53

    
54
function super4_a__POINT__TO__A_A1_1_handler_until (super4_a__restart_act: bool; idSuper4_A_1: int; idSuper4_Super4_1: int; idSuper4_B_1: int; out_1: real) returns (super4_a__restart_in: bool; super4_a__state_in: super4_a__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
55

    
56
function super4_a__POINT__TO__A_A1_1_unless (super4_a__restart_in: bool) returns (super4_a__restart_act: bool; super4_a__state_act: super4_a__type);
57

    
58
function super4_b__B_B1_IDL_handler_until (super4_b__restart_act: bool; idSuper4_B_1: int; idSuper4_Super4_1: int; idSuper4_A_1: int; out_1: real) returns (super4_b__restart_in: bool; super4_b__state_in: super4_b__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
59

    
60
function super4_b__B_B1_IDL_unless (super4_b__restart_in: bool) returns (super4_b__restart_act: bool; super4_b__state_act: super4_b__type);
61

    
62
function super4_b__B_B1__TO__A_A1_2_handler_until (super4_b__restart_act: bool; idSuper4_B_1: int; idSuper4_Super4_1: int; out_1: real) returns (super4_b__restart_in: bool; super4_b__state_in: super4_b__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
63

    
64
function super4_b__B_B1__TO__A_A1_2_unless (super4_b__restart_in: bool) returns (super4_b__restart_act: bool; super4_b__state_act: super4_b__type);
65

    
66
function super4_b__B_B1__TO__SUPER4_D_1_handler_until (super4_b__restart_act: bool; idSuper4_B_1: int; idSuper4_Super4_1: int; idSuper4_A_1: int; out_1: real) returns (super4_b__restart_in: bool; super4_b__state_in: super4_b__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
67

    
68
function super4_b__B_B1__TO__SUPER4_D_1_unless (super4_b__restart_in: bool) returns (super4_b__restart_act: bool; super4_b__state_act: super4_b__type);
69

    
70
function super4_b__POINTSuper4_B_handler_until (super4_b__restart_act: bool; idSuper4_B_1: int; idSuper4_Super4_1: int; idSuper4_A_1: int; out_1: real) returns (super4_b__restart_in: bool; super4_b__state_in: super4_b__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
71

    
72
function super4_b__POINTSuper4_B_unless (super4_b__restart_in: bool; idSuper4_B_1: int; E: bool; F: bool) returns (super4_b__restart_act: bool; super4_b__state_act: super4_b__type);
73

    
74
function super4_b__POINT__TO__B_B1_1_handler_until (super4_b__restart_act: bool; idSuper4_B_1: int; idSuper4_Super4_1: int; idSuper4_A_1: int; out_1: real) returns (super4_b__restart_in: bool; super4_b__state_in: super4_b__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
75

    
76
function super4_b__POINT__TO__B_B1_1_unless (super4_b__restart_in: bool) returns (super4_b__restart_act: bool; super4_b__state_act: super4_b__type);
77

    
78
function Super4_A_du (out_1: real) returns (out: real);
79

    
80
node Super4_A_node (idSuper4_A_1: int; E: bool; idSuper4_Super4_1: int; idSuper4_B_1: int; F: bool; out_1: real) returns (idSuper4_A: int; idSuper4_Super4: int; idSuper4_B: int; out: real);
81

    
82
function Super4_B_du (out_1: real) returns (out: real);
83

    
84
node Super4_B_node (idSuper4_B_1: int; E: bool; idSuper4_Super4_1: int; F: bool; idSuper4_A_1: int; out_1: real) returns (idSuper4_B: int; idSuper4_Super4: int; idSuper4_A: int; out: real);
85

    
86
function Super4_C_du (out_1: real) returns (out: real);
87

    
88
function Super4_C_ex (idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_Super4: int);
89

    
90
function Super4_D_du (out_1: real) returns (out: real);
91

    
92
function Super4_D_ex (idSuper4_Super4_1: int; isInner: bool) returns (idSuper4_Super4: int);
93

    
94
function super4_super4__POINTSuper4_Super4_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
95

    
96
function super4_super4__POINTSuper4_Super4_unless (super4_super4__restart_in: bool; idSuper4_Super4_1: int; G: bool; F: bool; E: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
97

    
98
function super4_super4__POINT__TO__SUPER4_C_1_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
99

    
100
function super4_super4__POINT__TO__SUPER4_C_1_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
101

    
102
node super4_super4__SUPER4_A_IDL_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; F: bool; E: bool; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
103

    
104
function super4_super4__SUPER4_A_IDL_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
105

    
106
function super4_super4__SUPER4_A__TO__SUPER4_B_1_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
107

    
108
function super4_super4__SUPER4_A__TO__SUPER4_B_1_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
109

    
110
node super4_super4__SUPER4_B_IDL_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; F: bool; E: bool; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
111

    
112
function super4_super4__SUPER4_B_IDL_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
113

    
114
function super4_super4__SUPER4_B__TO__SUPER4_A_1_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
115

    
116
function super4_super4__SUPER4_B__TO__SUPER4_A_1_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
117

    
118
function super4_super4__SUPER4_C_IDL_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
119

    
120
function super4_super4__SUPER4_C_IDL_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
121

    
122
function super4_super4__SUPER4_C__TO__A_A1_2_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
123

    
124
function super4_super4__SUPER4_C__TO__A_A1_2_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
125

    
126
function super4_super4__SUPER4_C__TO__SUPER4_D_1_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
127

    
128
function super4_super4__SUPER4_C__TO__SUPER4_D_1_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
129

    
130
function super4_super4__SUPER4_D_IDL_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
131

    
132
function super4_super4__SUPER4_D_IDL_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
133

    
134
function super4_super4__SUPER4_D__TO__B_B1_2_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
135

    
136
function super4_super4__SUPER4_D__TO__B_B1_2_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
137

    
138
function super4_super4__SUPER4_D__TO__SUPER4_C_1_handler_until (super4_super4__restart_act: bool; idSuper4_Super4_1: int; idSuper4_A_1: int; idSuper4_B_1: int; out_1: real) returns (super4_super4__restart_in: bool; super4_super4__state_in: super4_super4__type; idSuper4_A_out: int; idSuper4_B_out: int; idSuper4_Super4_out: int; out_out: real);
139

    
140
function super4_super4__SUPER4_D__TO__SUPER4_C_1_unless (super4_super4__restart_in: bool) returns (super4_super4__restart_act: bool; super4_super4__state_act: super4_super4__type);
141

    
142
node Super4_Super4_node (idSuper4_Super4_1: int; G: bool; idSuper4_A_1: int; idSuper4_B_1: int; F: bool; E: bool; out_1: real) returns (idSuper4_Super4: int; idSuper4_A: int; idSuper4_B: int; out: real);
143

    
144
node Super4_Super4 (E: bool; G: bool; F: bool) returns (out: real);
145

    
146
node Super4 (E_1_1: real; F_1_1: real; E2_1_1: real) returns (Out_1_1: real);
147