Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWait / SetResetWait.lusi @ 79ef5fc5

History | View | Annotate | Download (7.76 KB)

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

    
5
type setresetwait_setresetwait__type = enum {POINTSetResetWait_SetResetWait, POINT__TO__SETRESETWAIT_OFF_1, SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1, SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2, SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1, SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2, SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1, SETRESETWAIT_ON_IDL, SETRESETWAIT_OFF_IDL, SETRESETWAIT_WAIT_IDL };
6

    
7

    
8
function SetResetWait_Off_en (idSetResetWait_SetResetWait_1: int; s_1: real; isInner: bool) returns (idSetResetWait_SetResetWait: int; s: real);
9

    
10
function SetResetWait_Off_ex (idSetResetWait_SetResetWait_1: int; isInner: bool) returns (idSetResetWait_SetResetWait: int);
11

    
12
function SetResetWait_On_en (idSetResetWait_SetResetWait_1: int; s_1: real; isInner: bool) returns (idSetResetWait_SetResetWait: int; s: real);
13

    
14
function SetResetWait_Wait_en (idSetResetWait_SetResetWait_1: int; s_1: real; isInner: bool) returns (idSetResetWait_SetResetWait: int; s: real);
15

    
16
function SetResetWait_On_ex (idSetResetWait_SetResetWait_1: int; isInner: bool) returns (idSetResetWait_SetResetWait: int);
17

    
18
function SetResetWait_Wait_ex (idSetResetWait_SetResetWait_1: int; isInner: bool) returns (idSetResetWait_SetResetWait: int);
19

    
20
function setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
21

    
22
function setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless (setresetwait_setresetwait__restart_in: bool; idSetResetWait_SetResetWait_1: int; Suspend: bool; Reset: bool; Set: bool; Clear: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
23

    
24
function setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
25

    
26
function setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
27

    
28
function setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
29

    
30
function setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
31

    
32
function setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
33

    
34
function setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
35

    
36
function setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
37

    
38
function setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
39

    
40
function setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
41

    
42
function setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
43

    
44
function setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
45

    
46
function setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
47

    
48
function setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
49

    
50
function setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
51

    
52
function setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
53

    
54
function setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
55

    
56
function setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until (setresetwait_setresetwait__restart_act: bool; idSetResetWait_SetResetWait_1: int; s_1: real) returns (setresetwait_setresetwait__restart_in: bool; setresetwait_setresetwait__state_in: setresetwait_setresetwait__type; idSetResetWait_SetResetWait_out: int; s_out: real);
57

    
58
function setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless (setresetwait_setresetwait__restart_in: bool) returns (setresetwait_setresetwait__restart_act: bool; setresetwait_setresetwait__state_act: setresetwait_setresetwait__type);
59

    
60
node SetResetWait_SetResetWait_node (idSetResetWait_SetResetWait_1: int; s_1: real; Suspend: bool; Reset: bool; Set: bool; Clear: bool) returns (idSetResetWait_SetResetWait: int; s: real);
61

    
62
node SetResetWait_SetResetWait (Clear: bool; Reset: bool; Suspend: bool; Set: bool) returns (s: real);
63

    
64
node SetResetWait (clear_1_1: real; reset_1_1: real; set_1_1: real; suspend_1_1: real) returns (s_1_1: real);
65