Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events5 / Events5.lusi @ 79ef5fc5

History | View | Annotate | Download (11.7 KB)

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

    
5
type events5_top2__type = enum {POINTEvents5_Top2, POINT__TO__TOP2_B_1, TOP2_B__TO__TOP2_C_1, TOP2_C__TO__TOP2_B_1, TOP2_B_IDL, TOP2_C_IDL };
6

    
7

    
8
type events5_top1__type = enum {POINTEvents5_Top1, POINT__TO__TOP1_A_1, TOP1_A__TO__TOP1_D_1, TOP1_E__TO__TOP1_A_1, TOP1_D__TO__TOP1_E_1, TOP1_A_IDL, TOP1_E_IDL, TOP1_D_IDL };
9

    
10

    
11
type events5_events5__type = enum {POINTEvents5_Events5, EVENTS5_EVENTS5_PARALLEL_ENTRY, EVENTS5_EVENTS5_PARALLEL_IDL };
12

    
13

    
14
function Top2_B_en (idEvents5_Top2_1: int; x_1: real; isInner: bool) returns (idEvents5_Top2: int; x: real);
15

    
16
function Top2_B_ex (idEvents5_Top2_1: int; isInner: bool) returns (idEvents5_Top2: int);
17

    
18
function Top2_C_en (idEvents5_Top2_1: int; x_1: real; isInner: bool) returns (idEvents5_Top2: int; x: real);
19

    
20
function Top2_C_ex (idEvents5_Top2_1: int; isInner: bool) returns (idEvents5_Top2: int);
21

    
22
function events5_top2__POINTEvents5_Top2_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
23

    
24
function events5_top2__POINTEvents5_Top2_unless (events5_top2__restart_in: bool; idEvents5_Top2_1: int; F: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
25

    
26
function events5_top2__POINT__TO__TOP2_B_1_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
27

    
28
function events5_top2__POINT__TO__TOP2_B_1_unless (events5_top2__restart_in: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
29

    
30
function events5_top2__TOP2_B_IDL_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
31

    
32
function events5_top2__TOP2_B_IDL_unless (events5_top2__restart_in: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
33

    
34
function events5_top2__TOP2_B__TO__TOP2_C_1_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
35

    
36
function events5_top2__TOP2_B__TO__TOP2_C_1_unless (events5_top2__restart_in: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
37

    
38
function events5_top2__TOP2_C_IDL_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
39

    
40
function events5_top2__TOP2_C_IDL_unless (events5_top2__restart_in: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
41

    
42
function events5_top2__TOP2_C__TO__TOP2_B_1_handler_until (events5_top2__restart_act: bool; idEvents5_Top2_1: int; x_1: real) returns (events5_top2__restart_in: bool; events5_top2__state_in: events5_top2__type; idEvents5_Top2_out: int; x_out: real);
43

    
44
function events5_top2__TOP2_C__TO__TOP2_B_1_unless (events5_top2__restart_in: bool) returns (events5_top2__restart_act: bool; events5_top2__state_act: events5_top2__type);
45

    
46
node Events5_Top2_node (idEvents5_Top2_1: int; x_1: real; F: bool) returns (idEvents5_Top2: int; x: real);
47

    
48
function Top1_A_en (idEvents5_Top1_1: int; y_1: real; isInner: bool) returns (idEvents5_Top1: int; y: real);
49

    
50
node Top1_A__To__Top1_D_1_Transition_Action (idEvents5_Top2_1: int; x_1: real; F: bool; z_1: real) returns (idEvents5_Top2: int; x: real; z: real);
51

    
52
function Top1_A_ex (idEvents5_Top1_1: int; isInner: bool) returns (idEvents5_Top1: int);
53

    
54
function Top1_D_en (idEvents5_Top1_1: int; y_1: real; isInner: bool) returns (idEvents5_Top1: int; y: real);
55

    
56
node Top1_D__To__Top1_E_1_Transition_Action (idEvents5_Top2_1: int; x_1: real; F: bool; z_1: real) returns (idEvents5_Top2: int; x: real; z: real);
57

    
58
function Top1_D_ex (idEvents5_Top1_1: int; isInner: bool) returns (idEvents5_Top1: int);
59

    
60
function Top1_E_en (idEvents5_Top1_1: int; y_1: real; isInner: bool) returns (idEvents5_Top1: int; y: real);
61

    
62
node Top1_E__To__Top1_A_1_Transition_Action (idEvents5_Top2_1: int; x_1: real; F: bool; z_1: real) returns (idEvents5_Top2: int; x: real; z: real);
63

    
64
function Top1_E_ex (idEvents5_Top1_1: int; isInner: bool) returns (idEvents5_Top1: int);
65

    
66
function events5_top1__POINTEvents5_Top1_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
67

    
68
function events5_top1__POINTEvents5_Top1_unless (events5_top1__restart_in: bool; idEvents5_Top1_1: int; E: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
69

    
70
function events5_top1__POINT__TO__TOP1_A_1_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
71

    
72
function events5_top1__POINT__TO__TOP1_A_1_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
73

    
74
function events5_top1__TOP1_A_IDL_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
75

    
76
function events5_top1__TOP1_A_IDL_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
77

    
78
node events5_top1__TOP1_A__TO__TOP1_D_1_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; F: bool; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
79

    
80
function events5_top1__TOP1_A__TO__TOP1_D_1_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
81

    
82
function events5_top1__TOP1_D_IDL_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
83

    
84
function events5_top1__TOP1_D_IDL_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
85

    
86
node events5_top1__TOP1_D__TO__TOP1_E_1_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; F: bool; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
87

    
88
function events5_top1__TOP1_D__TO__TOP1_E_1_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
89

    
90
function events5_top1__TOP1_E_IDL_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
91

    
92
function events5_top1__TOP1_E_IDL_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
93

    
94
node events5_top1__TOP1_E__TO__TOP1_A_1_handler_until (events5_top1__restart_act: bool; idEvents5_Top1_1: int; y_1: real; F: bool; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_top1__restart_in: bool; events5_top1__state_in: events5_top1__type; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
95

    
96
function events5_top1__TOP1_E__TO__TOP1_A_1_unless (events5_top1__restart_in: bool) returns (events5_top1__restart_act: bool; events5_top1__state_act: events5_top1__type);
97

    
98
function Events5_Top1_en (idEvents5_Top1_1: int; idEvents5_Events5_1: int; y_1: real; isInner: bool) returns (idEvents5_Top1: int; idEvents5_Events5: int; y: real);
99

    
100
function Events5_Top2_en (idEvents5_Top2_1: int; idEvents5_Events5_1: int; x_1: real; isInner: bool) returns (idEvents5_Top2: int; idEvents5_Events5: int; x: real);
101

    
102
node Events5_Top1_node (idEvents5_Top1_1: int; y_1: real; E: bool; F: bool; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (idEvents5_Top1: int; y: real; idEvents5_Top2: int; x: real; z: real);
103

    
104
function events5_events5__EVENTS5_EVENTS5_PARALLEL_ENTRY_handler_until (events5_events5__restart_act: bool; idEvents5_Events5_1: int; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_events5__restart_in: bool; events5_events5__state_in: events5_events5__type; idEvents5_Events5_out: int; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
105

    
106
function events5_events5__EVENTS5_EVENTS5_PARALLEL_ENTRY_unless (events5_events5__restart_in: bool) returns (events5_events5__restart_act: bool; events5_events5__state_act: events5_events5__type);
107

    
108
node events5_events5__EVENTS5_EVENTS5_PARALLEL_IDL_handler_until (events5_events5__restart_act: bool; idEvents5_Events5_1: int; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; E: bool; F: bool; z_1: real) returns (events5_events5__restart_in: bool; events5_events5__state_in: events5_events5__type; idEvents5_Events5_out: int; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
109

    
110
function events5_events5__EVENTS5_EVENTS5_PARALLEL_IDL_unless (events5_events5__restart_in: bool) returns (events5_events5__restart_act: bool; events5_events5__state_act: events5_events5__type);
111

    
112
function events5_events5__POINTEvents5_Events5_handler_until (events5_events5__restart_act: bool; idEvents5_Events5_1: int; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; z_1: real) returns (events5_events5__restart_in: bool; events5_events5__state_in: events5_events5__type; idEvents5_Events5_out: int; idEvents5_Top1_out: int; idEvents5_Top2_out: int; x_out: real; y_out: real; z_out: real);
113

    
114
function events5_events5__POINTEvents5_Events5_unless (events5_events5__restart_in: bool; idEvents5_Events5_1: int) returns (events5_events5__restart_act: bool; events5_events5__state_act: events5_events5__type);
115

    
116
node Events5_Events5_node (idEvents5_Events5_1: int; idEvents5_Top1_1: int; y_1: real; idEvents5_Top2_1: int; x_1: real; E: bool; F: bool; z_1: real) returns (idEvents5_Events5: int; idEvents5_Top1: int; y: real; idEvents5_Top2: int; x: real; z: real);
117

    
118
node Events5_Events5 (E: bool) returns (y: real; x: real; z: real);
119

    
120
function Events5_Top1_ex (idEvents5_Top1_1: int; idEvents5_Events5_1: int; isInner: bool) returns (idEvents5_Top1: int; idEvents5_Events5: int);
121

    
122
node Events5 (E_1_1: real) returns (y_1_1: real; x_2_1: real; z_3_1: real);
123

    
124
function Events5_Top2_ex (idEvents5_Top2_1: int; idEvents5_Events5_1: int; isInner: bool) returns (idEvents5_Top2: int; idEvents5_Events5: int);
125