Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Single1 / Single1.lusi @ 79ef5fc5

History | View | Annotate | Download (2.12 KB)

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

    
5
type single1_single1__type = enum {POINTSingle1_Single1, POINT__TO__SINGLE1_A_1, SINGLE1_A_IDL };
6

    
7

    
8
function Single1_A_en (idSingle1_Single1_1: int; isInner: bool) returns (idSingle1_Single1: int);
9

    
10
function Single1_A_du (x_1: real) returns (x: real);
11

    
12
function single1_single1__POINTSingle1_Single1_handler_until (single1_single1__restart_act: bool; idSingle1_Single1_1: int; x_1: real) returns (single1_single1__restart_in: bool; single1_single1__state_in: single1_single1__type; idSingle1_Single1_out: int; x_out: real);
13

    
14
function single1_single1__POINTSingle1_Single1_unless (single1_single1__restart_in: bool; idSingle1_Single1_1: int) returns (single1_single1__restart_act: bool; single1_single1__state_act: single1_single1__type);
15

    
16
function single1_single1__POINT__TO__SINGLE1_A_1_handler_until (single1_single1__restart_act: bool; idSingle1_Single1_1: int; x_1: real) returns (single1_single1__restart_in: bool; single1_single1__state_in: single1_single1__type; idSingle1_Single1_out: int; x_out: real);
17

    
18
function single1_single1__POINT__TO__SINGLE1_A_1_unless (single1_single1__restart_in: bool) returns (single1_single1__restart_act: bool; single1_single1__state_act: single1_single1__type);
19

    
20
function single1_single1__SINGLE1_A_IDL_handler_until (single1_single1__restart_act: bool; idSingle1_Single1_1: int; x_1: real) returns (single1_single1__restart_in: bool; single1_single1__state_in: single1_single1__type; idSingle1_Single1_out: int; x_out: real);
21

    
22
function single1_single1__SINGLE1_A_IDL_unless (single1_single1__restart_in: bool) returns (single1_single1__restart_act: bool; single1_single1__state_act: single1_single1__type);
23

    
24
node Single1_Single1_node (idSingle1_Single1_1: int; x_1: real) returns (idSingle1_Single1: int; x: real);
25

    
26
node Single1_Single1 (noInput: bool) returns (x: real);
27

    
28
function Single1_A_ex (idSingle1_Single1_1: int; isInner: bool) returns (idSingle1_Single1: int);
29

    
30
node Single1 (i_virtual: real) returns (x_1_1: real);
31