Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWaitOut / SetResetWaitOut.lusi @ 79ef5fc5

History | View | Annotate | Download (9.38 KB)

1
(* Generated Lustre Interface file from SetResetWaitOut.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 setresetwaitout_setresetwaitout__type = enum {POINTSetResetWaitOut_SetResetWaitOut, POINT__TO__SETRESETWAITOUT_OFF_1, SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1, SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1, SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2, SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1, SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2, SETRESETWAITOUT_WAIT_IDL, SETRESETWAITOUT_OFF_IDL, SETRESETWAITOUT_ON_IDL };
6

    
7

    
8
function SetResetWaitOut_Off_en (idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; isInner: bool) returns (idSetResetWaitOut_SetResetWaitOut: int; on_off: int);
9

    
10
function SetResetWaitOut_Off_ex (idSetResetWaitOut_SetResetWaitOut_1: int; isInner: bool) returns (idSetResetWaitOut_SetResetWaitOut: int);
11

    
12
function SetResetWaitOut_On_en (idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; isInner: bool) returns (idSetResetWaitOut_SetResetWaitOut: int; on_off: int);
13

    
14
function SetResetWaitOut_Wait_en (idSetResetWaitOut_SetResetWaitOut_1: int; suspended_1: int; isInner: bool) returns (idSetResetWaitOut_SetResetWaitOut: int; suspended: int);
15

    
16
function SetResetWaitOut_On_ex (idSetResetWaitOut_SetResetWaitOut_1: int; isInner: bool) returns (idSetResetWaitOut_SetResetWaitOut: int);
17

    
18
function SetResetWaitOut_Wait_ex (suspended_1: int; idSetResetWaitOut_SetResetWaitOut_1: int; isInner: bool) returns (suspended: int; idSetResetWaitOut_SetResetWaitOut: int);
19

    
20
function setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
21

    
22
function setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless (setresetwaitout_setresetwaitout__restart_in: bool; idSetResetWaitOut_SetResetWaitOut_1: int; Clear: bool; Set: bool; Suspend: bool; Reset: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
23

    
24
function setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
25

    
26
function setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
27

    
28
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
29

    
30
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
31

    
32
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
33

    
34
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
35

    
36
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
37

    
38
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
39

    
40
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
41

    
42
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
43

    
44
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
45

    
46
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
47

    
48
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
49

    
50
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
51

    
52
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
53

    
54
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
55

    
56
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until (setresetwaitout_setresetwaitout__restart_act: bool; idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; suspended_1: int) returns (setresetwaitout_setresetwaitout__restart_in: bool; setresetwaitout_setresetwaitout__state_in: setresetwaitout_setresetwaitout__type; idSetResetWaitOut_SetResetWaitOut_out: int; on_off_out: int; suspended_out: int);
57

    
58
function setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless (setresetwaitout_setresetwaitout__restart_in: bool) returns (setresetwaitout_setresetwaitout__restart_act: bool; setresetwaitout_setresetwaitout__state_act: setresetwaitout_setresetwaitout__type);
59

    
60
node SetResetWaitOut_SetResetWaitOut_node (idSetResetWaitOut_SetResetWaitOut_1: int; on_off_1: int; Clear: bool; suspended_1: int; Set: bool; Suspend: bool; Reset: bool) returns (idSetResetWaitOut_SetResetWaitOut: int; on_off: int; suspended: int);
61

    
62
node SetResetWaitOut_SetResetWaitOut (off_val: int; on_val: int; Clear: bool; Reset: bool; Set: bool; Suspend: bool) returns (on_off: int; suspended: int);
63

    
64
node SetResetWaitOut (clear_1_1: real; reset_1_1: real; set_1_1: real; suspend_1_1: real; off_val_1_1: int; on_val_1_1: int) returns (on_off_1_1: int; suspended_2_1: int);
65