Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events7 / Events7.lusi @ 79ef5fc5

History | View | Annotate | Download (8.89 KB)

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

    
5
type events7_t2__type = enum {POINTEvents7_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 events7_t1__type = enum {POINTEvents7_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 events7_events7__type = enum {POINTEvents7_Events7, EVENTS7_EVENTS7_PARALLEL_ENTRY, EVENTS7_EVENTS7_PARALLEL_IDL };
12

    
13

    
14
function T1_A_en (idEvents7_T1_1: int; sT1_1: real; isInner: bool) returns (idEvents7_T1: int; sT1: real);
15

    
16
function T1_A_ex (idEvents7_T1_1: int; isInner: bool) returns (idEvents7_T1: int);
17

    
18
function T1_B_en (idEvents7_T1_1: int; sT1_1: real; isInner: bool) returns (idEvents7_T1: int; sT1: real);
19

    
20
function T1_B_ex (idEvents7_T1_1: int; isInner: bool) returns (idEvents7_T1: int);
21

    
22
function T2_C_en (idEvents7_T2_1: int; sT2_1: real; isInner: bool) returns (idEvents7_T2: int; sT2: real);
23

    
24
function T2_C_ex (idEvents7_T2_1: int; isInner: bool) returns (idEvents7_T2: int);
25

    
26
function T2_D_en (idEvents7_T2_1: int; sT2_1: real; isInner: bool) returns (idEvents7_T2: int; sT2: real);
27

    
28
function T2_D_ex (idEvents7_T2_1: int; isInner: bool) returns (idEvents7_T2: int);
29

    
30
function events7_t1__POINTEvents7_T1_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
31

    
32
function events7_t1__POINTEvents7_T1_unless (events7_t1__restart_in: bool; idEvents7_T1_1: int; E: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
33

    
34
function events7_t1__POINT__TO__T1_A_1_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
35

    
36
function events7_t1__POINT__TO__T1_A_1_unless (events7_t1__restart_in: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
37

    
38
function events7_t1__T1_A_IDL_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
39

    
40
function events7_t1__T1_A_IDL_unless (events7_t1__restart_in: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
41

    
42
function events7_t1__T1_A__TO__T1_B_1_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
43

    
44
function events7_t1__T1_A__TO__T1_B_1_unless (events7_t1__restart_in: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
45

    
46
function events7_t1__T1_B_IDL_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
47

    
48
function events7_t1__T1_B_IDL_unless (events7_t1__restart_in: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
49

    
50
function events7_t1__T1_B__TO__T1_A_1_handler_until (events7_t1__restart_act: bool; idEvents7_T1_1: int; sT1_1: real) returns (events7_t1__restart_in: bool; events7_t1__state_in: events7_t1__type; idEvents7_T1_out: int; sT1_out: real);
51

    
52
function events7_t1__T1_B__TO__T1_A_1_unless (events7_t1__restart_in: bool) returns (events7_t1__restart_act: bool; events7_t1__state_act: events7_t1__type);
53

    
54
function events7_t2__POINTEvents7_T2_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
55

    
56
function events7_t2__POINTEvents7_T2_unless (events7_t2__restart_in: bool; idEvents7_T2_1: int; idEvents7_T1_1: int) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
57

    
58
function events7_t2__POINT__TO__T2_C_1_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
59

    
60
function events7_t2__POINT__TO__T2_C_1_unless (events7_t2__restart_in: bool) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
61

    
62
function events7_t2__T2_C_IDL_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
63

    
64
function events7_t2__T2_C_IDL_unless (events7_t2__restart_in: bool) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
65

    
66
function events7_t2__T2_C__TO__T2_D_1_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
67

    
68
function events7_t2__T2_C__TO__T2_D_1_unless (events7_t2__restart_in: bool) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
69

    
70
function events7_t2__T2_D_IDL_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
71

    
72
function events7_t2__T2_D_IDL_unless (events7_t2__restart_in: bool) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
73

    
74
function events7_t2__T2_D__TO__T2_C_1_handler_until (events7_t2__restart_act: bool; idEvents7_T2_1: int; sT2_1: real) returns (events7_t2__restart_in: bool; events7_t2__state_in: events7_t2__type; idEvents7_T2_out: int; sT2_out: real);
75

    
76
function events7_t2__T2_D__TO__T2_C_1_unless (events7_t2__restart_in: bool) returns (events7_t2__restart_act: bool; events7_t2__state_act: events7_t2__type);
77

    
78
function Events7_T1_en (idEvents7_T1_1: int; idEvents7_Events7_1: int; sT1_1: real; isInner: bool) returns (idEvents7_T1: int; idEvents7_Events7: int; sT1: real);
79

    
80
function Events7_T2_en (idEvents7_T2_1: int; idEvents7_Events7_1: int; sT2_1: real; isInner: bool) returns (idEvents7_T2: int; idEvents7_Events7: int; sT2: real);
81

    
82
node Events7_T1_node (idEvents7_T1_1: int; sT1_1: real; E: bool) returns (idEvents7_T1: int; sT1: real);
83

    
84
node Events7_T2_node (idEvents7_T2_1: int; sT2_1: real; idEvents7_T1_1: int) returns (idEvents7_T2: int; sT2: real);
85

    
86
function events7_events7__EVENTS7_EVENTS7_PARALLEL_ENTRY_handler_until (events7_events7__restart_act: bool; idEvents7_Events7_1: int; idEvents7_T1_1: int; sT1_1: real; idEvents7_T2_1: int; sT2_1: real) returns (events7_events7__restart_in: bool; events7_events7__state_in: events7_events7__type; idEvents7_Events7_out: int; idEvents7_T1_out: int; idEvents7_T2_out: int; sT1_out: real; sT2_out: real);
87

    
88
function events7_events7__EVENTS7_EVENTS7_PARALLEL_ENTRY_unless (events7_events7__restart_in: bool) returns (events7_events7__restart_act: bool; events7_events7__state_act: events7_events7__type);
89

    
90
node events7_events7__EVENTS7_EVENTS7_PARALLEL_IDL_handler_until (events7_events7__restart_act: bool; idEvents7_Events7_1: int; idEvents7_T1_1: int; sT1_1: real; idEvents7_T2_1: int; sT2_1: real; E: bool) returns (events7_events7__restart_in: bool; events7_events7__state_in: events7_events7__type; idEvents7_Events7_out: int; idEvents7_T1_out: int; idEvents7_T2_out: int; sT1_out: real; sT2_out: real);
91

    
92
function events7_events7__EVENTS7_EVENTS7_PARALLEL_IDL_unless (events7_events7__restart_in: bool) returns (events7_events7__restart_act: bool; events7_events7__state_act: events7_events7__type);
93

    
94
function events7_events7__POINTEvents7_Events7_handler_until (events7_events7__restart_act: bool; idEvents7_Events7_1: int; idEvents7_T1_1: int; sT1_1: real; idEvents7_T2_1: int; sT2_1: real) returns (events7_events7__restart_in: bool; events7_events7__state_in: events7_events7__type; idEvents7_Events7_out: int; idEvents7_T1_out: int; idEvents7_T2_out: int; sT1_out: real; sT2_out: real);
95

    
96
function events7_events7__POINTEvents7_Events7_unless (events7_events7__restart_in: bool; idEvents7_Events7_1: int) returns (events7_events7__restart_act: bool; events7_events7__state_act: events7_events7__type);
97

    
98
node Events7_Events7_node (idEvents7_Events7_1: int; idEvents7_T1_1: int; sT1_1: real; idEvents7_T2_1: int; sT2_1: real; E: bool) returns (idEvents7_Events7: int; idEvents7_T1: int; sT1: real; idEvents7_T2: int; sT2: real);
99

    
100
node Events7_Events7 (E: bool) returns (sT1: real; sT2: real);
101

    
102
function Events7_T1_ex (idEvents7_T1_1: int; idEvents7_Events7_1: int; isInner: bool) returns (idEvents7_T1: int; idEvents7_Events7: int);
103

    
104
node Events7 (E_1_1: real) returns (sT1_1_1: real; sT2_2_1: real);
105

    
106
function Events7_T2_ex (idEvents7_T2_1: int; idEvents7_Events7_1: int; isInner: bool) returns (idEvents7_T2: int; idEvents7_Events7: int);
107