Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_EventsOrderV2 / EventsOrderV2.lusi @ 79ef5fc5

History | View | Annotate | Download (11 KB)

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

    
5
type a_a2__type = enum {POINTA_A2, POINT__TO__A2_A2A_1, A2_A2A__TO__A2_A2B_1, A2_A2B__TO__A2_A2A_1, A2_A2A_IDL, A2_A2B_IDL };
6

    
7

    
8
type a_a1__type = enum {POINTA_A1, POINT__TO__A1_A1A_1, A1_A1A__TO__A1_A1B_1, A1_A1B__TO__A1_A1A_1, A1_A1A_IDL, A1_A1B_IDL };
9

    
10

    
11
type events1_a__type = enum {POINTEvents1_A, POINT__TO__A_A1_1, A_A2__TO__A_A1_1, A_A1__TO__A_A2_1, A_A2_IDL, A_A1_IDL };
12

    
13

    
14
type events1_events1__type = enum {POINTEvents1_Events1, POINT__TO__EVENTS1_A_1, EVENTS1_EVENTS1_PARALLEL_IDL };
15

    
16

    
17
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
18

    
19
function A1_A1b_en (idA_A1_1: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
20

    
21
function A1_A1a_en (idA_A1_1: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
22

    
23
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
24

    
25
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
26

    
27
function A2_A2b_en (idA_A2_1: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
28

    
29
function A2_A2a_en (idA_A2_1: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
30

    
31
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
32

    
33
function a_a1__A1_A1A_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
34

    
35
function a_a1__A1_A1A_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
36

    
37
function a_a1__A1_A1A__TO__A1_A1B_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
38

    
39
function a_a1__A1_A1A__TO__A1_A1B_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
40

    
41
function a_a1__A1_A1B_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
42

    
43
function a_a1__A1_A1B_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
44

    
45
function a_a1__A1_A1B__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
46

    
47
function a_a1__A1_A1B__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
48

    
49
function a_a1__POINTA_A1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
50

    
51
function a_a1__POINTA_A1_unless (a_a1__restart_in: bool; idA_A1_1: int; S: bool; R: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
52

    
53
function a_a1__POINT__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
54

    
55
function a_a1__POINT__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
56

    
57
function a_a2__A2_A2A_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
58

    
59
function a_a2__A2_A2A_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
60

    
61
function a_a2__A2_A2A__TO__A2_A2B_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
62

    
63
function a_a2__A2_A2A__TO__A2_A2B_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
64

    
65
function a_a2__A2_A2B_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
66

    
67
function a_a2__A2_A2B_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
68

    
69
function a_a2__A2_A2B__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
70

    
71
function a_a2__A2_A2B__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
72

    
73
function a_a2__POINTA_A2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
74

    
75
function a_a2__POINTA_A2_unless (a_a2__restart_in: bool; idA_A2_1: int; S: bool; R: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
76

    
77
function a_a2__POINT__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
78

    
79
function a_a2__POINT__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
80

    
81
node A_A1_node (idA_A1_1: int; a_1: int; S: bool; R: bool) returns (idA_A1: int; a: int);
82

    
83
function A_A1_ex (idA_A1_1: int; idEvents1_A_1: int; isInner: bool) returns (idA_A1: int; idEvents1_A: int);
84

    
85
function A_A2_en (idA_A2_1: int; idEvents1_A_1: int; a_1: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int; a: int);
86

    
87
node A_A2_node (idA_A2_1: int; a_1: int; S: bool; R: bool) returns (idA_A2: int; a: int);
88

    
89
function A_A1_en (idA_A1_1: int; idEvents1_A_1: int; a_1: int; isInner: bool) returns (idA_A1: int; idEvents1_A: int; a: int);
90

    
91
function A_A2_ex (idA_A2_1: int; idEvents1_A_1: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int);
92

    
93
node events1_a__A_A1_IDL_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; R: bool; S: bool) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
94

    
95
function events1_a__A_A1_IDL_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
96

    
97
function events1_a__A_A1__TO__A_A2_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
98

    
99
function events1_a__A_A1__TO__A_A2_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
100

    
101
node events1_a__A_A2_IDL_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; R: bool; S: bool) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
102

    
103
function events1_a__A_A2_IDL_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
104

    
105
function events1_a__A_A2__TO__A_A1_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
106

    
107
function events1_a__A_A2__TO__A_A1_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
108

    
109
function events1_a__POINTEvents1_A_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
110

    
111
function events1_a__POINTEvents1_A_unless (events1_a__restart_in: bool; idEvents1_A_1: int; T: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
112

    
113
function events1_a__POINT__TO__A_A1_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int);
114

    
115
function events1_a__POINT__TO__A_A1_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
116

    
117
node Events1_A_node (idEvents1_A_1: int; a_1: int; idA_A1_1: int; T: bool; idA_A2_1: int; R: bool; S: bool) returns (idEvents1_A: int; a: int; idA_A1: int; idA_A2: int);
118

    
119
function Events1_A_en (idEvents1_A_1: int; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; isInner: bool) returns (idEvents1_A: int; idEvents1_Events1: int; a: int; idA_A1: int; idA_A2: int);
120

    
121
node events1_events1__EVENTS1_EVENTS1_PARALLEL_IDL_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; R: bool; S: bool; T: bool) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int; idEvents1_Events1_out: int);
122

    
123
function events1_events1__EVENTS1_EVENTS1_PARALLEL_IDL_unless (events1_events1__restart_in: bool) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
124

    
125
function events1_events1__POINTEvents1_Events1_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int; idEvents1_Events1_out: int);
126

    
127
function events1_events1__POINTEvents1_Events1_unless (events1_events1__restart_in: bool; idEvents1_Events1_1: int) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
128

    
129
function events1_events1__POINT__TO__EVENTS1_A_1_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idEvents1_A_out: int; idEvents1_Events1_out: int);
130

    
131
function events1_events1__POINT__TO__EVENTS1_A_1_unless (events1_events1__restart_in: bool) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
132

    
133
node Events1_Events1_node (idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; R: bool; S: bool; T: bool) returns (idEvents1_Events1: int; a: int; idA_A1: int; idA_A2: int; idEvents1_A: int);
134

    
135
node EventsOrderV2_Events1 (R: bool; S: bool; T: bool) returns (a: int);
136

    
137
node EventsOrderV2 (R_1_1: bool; S_1_1: bool; T_1_1: bool) returns (a_1_1: int);
138

    
139
function Events1_A_ex (idA_A2_1: int; idEvents1_A_1: int; idA_A1_1: int; idEvents1_Events1_1: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int; idA_A1: int; idEvents1_Events1: int);
140