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 79ef5fc5 bourbouh
(* 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);