Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Hierarchy4 / Hierarchy4.lusi @ 79ef5fc5

History | View | Annotate | Download (3.72 KB)

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

    
5
type hierarchy4_hierarchy4__type = enum {POINTHierarchy4_Hierarchy4, POINT__TO__HIERARCHY4_A_1, POINT__TO__HIERARCHY4_B_2, HIERARCHY4_A_IDL, HIERARCHY4_B_IDL };
6

    
7

    
8
function Hierarchy4_A_en (idHierarchy4_Hierarchy4_1: int; y_1: int; isInner: bool) returns (idHierarchy4_Hierarchy4: int; y: int);
9

    
10
function Hierarchy4_B_en (idHierarchy4_Hierarchy4_1: int; y_1: int; isInner: bool) returns (idHierarchy4_Hierarchy4: int; y: int);
11

    
12
function hierarchy4_hierarchy4__HIERARCHY4_A_IDL_handler_until (hierarchy4_hierarchy4__restart_act: bool; idHierarchy4_Hierarchy4_1: int; y_1: int) returns (hierarchy4_hierarchy4__restart_in: bool; hierarchy4_hierarchy4__state_in: hierarchy4_hierarchy4__type; idHierarchy4_Hierarchy4_out: int; y_out: int);
13

    
14
function hierarchy4_hierarchy4__HIERARCHY4_A_IDL_unless (hierarchy4_hierarchy4__restart_in: bool) returns (hierarchy4_hierarchy4__restart_act: bool; hierarchy4_hierarchy4__state_act: hierarchy4_hierarchy4__type);
15

    
16
function hierarchy4_hierarchy4__HIERARCHY4_B_IDL_handler_until (hierarchy4_hierarchy4__restart_act: bool; idHierarchy4_Hierarchy4_1: int; y_1: int) returns (hierarchy4_hierarchy4__restart_in: bool; hierarchy4_hierarchy4__state_in: hierarchy4_hierarchy4__type; idHierarchy4_Hierarchy4_out: int; y_out: int);
17

    
18
function hierarchy4_hierarchy4__HIERARCHY4_B_IDL_unless (hierarchy4_hierarchy4__restart_in: bool) returns (hierarchy4_hierarchy4__restart_act: bool; hierarchy4_hierarchy4__state_act: hierarchy4_hierarchy4__type);
19

    
20
function hierarchy4_hierarchy4__POINTHierarchy4_Hierarchy4_handler_until (hierarchy4_hierarchy4__restart_act: bool; idHierarchy4_Hierarchy4_1: int; y_1: int) returns (hierarchy4_hierarchy4__restart_in: bool; hierarchy4_hierarchy4__state_in: hierarchy4_hierarchy4__type; idHierarchy4_Hierarchy4_out: int; y_out: int);
21

    
22
function hierarchy4_hierarchy4__POINTHierarchy4_Hierarchy4_unless (hierarchy4_hierarchy4__restart_in: bool; idHierarchy4_Hierarchy4_1: int; x: int) returns (hierarchy4_hierarchy4__restart_act: bool; hierarchy4_hierarchy4__state_act: hierarchy4_hierarchy4__type);
23

    
24
function hierarchy4_hierarchy4__POINT__TO__HIERARCHY4_A_1_handler_until (hierarchy4_hierarchy4__restart_act: bool; idHierarchy4_Hierarchy4_1: int; y_1: int) returns (hierarchy4_hierarchy4__restart_in: bool; hierarchy4_hierarchy4__state_in: hierarchy4_hierarchy4__type; idHierarchy4_Hierarchy4_out: int; y_out: int);
25

    
26
function hierarchy4_hierarchy4__POINT__TO__HIERARCHY4_A_1_unless (hierarchy4_hierarchy4__restart_in: bool) returns (hierarchy4_hierarchy4__restart_act: bool; hierarchy4_hierarchy4__state_act: hierarchy4_hierarchy4__type);
27

    
28
function hierarchy4_hierarchy4__POINT__TO__HIERARCHY4_B_2_handler_until (hierarchy4_hierarchy4__restart_act: bool; idHierarchy4_Hierarchy4_1: int; y_1: int) returns (hierarchy4_hierarchy4__restart_in: bool; hierarchy4_hierarchy4__state_in: hierarchy4_hierarchy4__type; idHierarchy4_Hierarchy4_out: int; y_out: int);
29

    
30
function hierarchy4_hierarchy4__POINT__TO__HIERARCHY4_B_2_unless (hierarchy4_hierarchy4__restart_in: bool) returns (hierarchy4_hierarchy4__restart_act: bool; hierarchy4_hierarchy4__state_act: hierarchy4_hierarchy4__type);
31

    
32
node Hierarchy4_Hierarchy4_node (idHierarchy4_Hierarchy4_1: int; x: int; y_1: int) returns (idHierarchy4_Hierarchy4: int; y: int);
33

    
34
node Hierarchy4_Hierarchy4 (x: int) returns (y: int);
35

    
36
node Hierarchy4 (In1_1_1: int) returns (Out1_1_1: int);
37

    
38
function Hierarchy4_A_ex (idHierarchy4_Hierarchy4_1: int; isInner: bool) returns (idHierarchy4_Hierarchy4: int);
39

    
40
function Hierarchy4_B_ex (idHierarchy4_Hierarchy4_1: int; isInner: bool) returns (idHierarchy4_Hierarchy4: int);
41