Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetOut / SetResetOut.lusi @ 79ef5fc5

History | View | Annotate | Download (5.71 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from SetResetOut.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:34 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type setresetout_setresetout__type = enum {POINTSetResetOut_SetResetOut, POINT__TO__SETRESETOUT_OFF_1, SETRESETOUT_ON__TO__SETRESETOUT_OFF_1, SETRESETOUT_OFF__TO__SETRESETOUT_ON_1, SETRESETOUT_ON_IDL, SETRESETOUT_OFF_IDL };
6
7
8
function SetResetOut_Off_en (idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; isInner: bool) returns (idSetResetOut_SetResetOut: int; is_set: int; offcnt: int);
9
10
function SetResetOut_Off_du (offcnt_1: int) returns (offcnt: int);
11
12
function SetResetOut_Off_ex (is_reset_1: int; idSetResetOut_SetResetOut_1: int; isInner: bool) returns (is_reset: int; idSetResetOut_SetResetOut: int);
13
14
function SetResetOut_On_en (idSetResetOut_SetResetOut_1: int; is_set_1: int; oncnt_1: int; isInner: bool) returns (idSetResetOut_SetResetOut: int; is_set: int; oncnt: int);
15
16
function SetResetOut_On_du (oncnt_1: int) returns (oncnt: int);
17
18
function SetResetOut_On_ex (is_reset_1: int; idSetResetOut_SetResetOut_1: int; isInner: bool) returns (is_reset: int; idSetResetOut_SetResetOut: int);
19
20
function setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
21
22
function setresetout_setresetout__POINTSetResetOut_SetResetOut_unless (setresetout_setresetout__restart_in: bool; idSetResetOut_SetResetOut_1: int; Reset: bool; Set: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
23
24
function setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
25
26
function setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
27
28
function setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
29
30
function setresetout_setresetout__SETRESETOUT_OFF_IDL_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
31
32
function setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
33
34
function setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
35
36
function setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
37
38
function setresetout_setresetout__SETRESETOUT_ON_IDL_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
39
40
function setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
41
42
function setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
43
44
node SetResetOut_SetResetOut_node (idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; Reset: bool; is_reset_1: int; Set: bool; oncnt_1: int) returns (idSetResetOut_SetResetOut: int; is_set: int; offcnt: int; is_reset: int; oncnt: int);
45
46
node SetResetOut_SetResetOut (Set: bool; Reset: bool) returns (is_set: int; oncnt: int; offcnt: int; is_reset: int);
47
48
node SetResetOut (Set_1_1: real; Reset_1_1: real) returns (is_set_1_1: int; oncnt_2_1: int; offcnt_3_1: int; is_reset_4_1: int);