Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Outer1 / Outer1.lusi @ 79ef5fc5

History | View | Annotate | Download (2.98 KB)

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

    
5
type outer1_outer1__type = enum {POINTOuter1_Outer1, POINT__TO__OUTER1_A_1, OUTER1_A__TO__OUTER1_A_1, OUTER1_A_IDL };
6

    
7

    
8
function Outer1_A__To__Outer1_A_1_Condition_Action (x_1: int) returns (x: int);
9

    
10
function Outer1_A__To__Outer1_A_1_Transition_Action (y_1: int) returns (y: int);
11

    
12
function Outer1_A_en (idOuter1_Outer1_1: int; z_1: int; isInner: bool) returns (idOuter1_Outer1: int; z: int);
13

    
14
function Outer1_A_ex (w_1: int; idOuter1_Outer1_1: int; isInner: bool) returns (w: int; idOuter1_Outer1: int);
15

    
16
function outer1_outer1__OUTER1_A_IDL_handler_until (outer1_outer1__restart_act: bool; idOuter1_Outer1_1: int; z_1: int; x_1: int; w_1: int; y_1: int) returns (outer1_outer1__restart_in: bool; outer1_outer1__state_in: outer1_outer1__type; idOuter1_Outer1_out: int; w_out: int; x_out: int; y_out: int; z_out: int);
17

    
18
function outer1_outer1__OUTER1_A_IDL_unless (outer1_outer1__restart_in: bool) returns (outer1_outer1__restart_act: bool; outer1_outer1__state_act: outer1_outer1__type);
19

    
20
function outer1_outer1__OUTER1_A__TO__OUTER1_A_1_handler_until (outer1_outer1__restart_act: bool; idOuter1_Outer1_1: int; z_1: int; x_1: int; w_1: int; y_1: int) returns (outer1_outer1__restart_in: bool; outer1_outer1__state_in: outer1_outer1__type; idOuter1_Outer1_out: int; w_out: int; x_out: int; y_out: int; z_out: int);
21

    
22
function outer1_outer1__OUTER1_A__TO__OUTER1_A_1_unless (outer1_outer1__restart_in: bool) returns (outer1_outer1__restart_act: bool; outer1_outer1__state_act: outer1_outer1__type);
23

    
24
function outer1_outer1__POINTOuter1_Outer1_handler_until (outer1_outer1__restart_act: bool; idOuter1_Outer1_1: int; z_1: int; x_1: int; w_1: int; y_1: int) returns (outer1_outer1__restart_in: bool; outer1_outer1__state_in: outer1_outer1__type; idOuter1_Outer1_out: int; w_out: int; x_out: int; y_out: int; z_out: int);
25

    
26
function outer1_outer1__POINTOuter1_Outer1_unless (outer1_outer1__restart_in: bool; idOuter1_Outer1_1: int; E: bool) returns (outer1_outer1__restart_act: bool; outer1_outer1__state_act: outer1_outer1__type);
27

    
28
function outer1_outer1__POINT__TO__OUTER1_A_1_handler_until (outer1_outer1__restart_act: bool; idOuter1_Outer1_1: int; z_1: int; x_1: int; w_1: int; y_1: int) returns (outer1_outer1__restart_in: bool; outer1_outer1__state_in: outer1_outer1__type; idOuter1_Outer1_out: int; w_out: int; x_out: int; y_out: int; z_out: int);
29

    
30
function outer1_outer1__POINT__TO__OUTER1_A_1_unless (outer1_outer1__restart_in: bool) returns (outer1_outer1__restart_act: bool; outer1_outer1__state_act: outer1_outer1__type);
31

    
32
node Outer1_Outer1_node (idOuter1_Outer1_1: int; z_1: int; E: bool; x_1: int; w_1: int; y_1: int) returns (idOuter1_Outer1: int; z: int; x: int; w: int; y: int);
33

    
34
node Outer1_Outer1 (E: bool) returns (w: int; x: int; z: int; y: int);
35

    
36
node Outer1 (E_1_1: real) returns (w_1_1: int; x_2_1: int; z_3_1: int; y_4_1: int);
37