Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart3 / Flowchart3.lusi @ 79ef5fc5

History | View | Annotate | Download (4.28 KB)

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

    
5
type flowchart3_a_INNER__type = enum {POINTFlowchart3_A_INNER, FLOWCHART3_A__TO__FLOWCHART3_FLOWCHART3JUNCTION791_1 };
6

    
7

    
8
type flowchart3_a__type = enum {POINTFlowchart3_A }; 
9

    
10
type flowchart3_flowchart3__type = enum {POINTFlowchart3_Flowchart3, POINT__TO__FLOWCHART3_A_1, FLOWCHART3_FLOWCHART3_PARALLEL_IDL };
11

    
12

    
13
function flowchart3_a__POINTFlowchart3_A_handler_until (flowchart3_a__restart_act: bool; idFlowchart3_A_1: int) returns (flowchart3_a__restart_in: bool; flowchart3_a__state_in: flowchart3_a__type; idFlowchart3_A_out: int);
14

    
15
function flowchart3_a__POINTFlowchart3_A_unless (flowchart3_a__restart_in: bool) returns (flowchart3_a__restart_act: bool; flowchart3_a__state_act: flowchart3_a__type);
16

    
17
node Flowchart3_A_node (idFlowchart3_A_1: int) returns (idFlowchart3_A: int);
18

    
19
function Flowchart3_A_en (idFlowchart3_A_1: int; idFlowchart3_Flowchart3_1: int; isInner: bool) returns (idFlowchart3_A: int; idFlowchart3_Flowchart3: int);
20

    
21
node flowchart3_flowchart3__FLOWCHART3_FLOWCHART3_PARALLEL_IDL_handler_until (flowchart3_flowchart3__restart_act: bool; idFlowchart3_Flowchart3_1: int; idFlowchart3_A_1: int) returns (flowchart3_flowchart3__restart_in: bool; flowchart3_flowchart3__state_in: flowchart3_flowchart3__type; idFlowchart3_A_out: int; idFlowchart3_Flowchart3_out: int);
22

    
23
function flowchart3_flowchart3__FLOWCHART3_FLOWCHART3_PARALLEL_IDL_unless (flowchart3_flowchart3__restart_in: bool) returns (flowchart3_flowchart3__restart_act: bool; flowchart3_flowchart3__state_act: flowchart3_flowchart3__type);
24

    
25
function flowchart3_flowchart3__POINTFlowchart3_Flowchart3_handler_until (flowchart3_flowchart3__restart_act: bool; idFlowchart3_Flowchart3_1: int; idFlowchart3_A_1: int) returns (flowchart3_flowchart3__restart_in: bool; flowchart3_flowchart3__state_in: flowchart3_flowchart3__type; idFlowchart3_A_out: int; idFlowchart3_Flowchart3_out: int);
26

    
27
function flowchart3_flowchart3__POINTFlowchart3_Flowchart3_unless (flowchart3_flowchart3__restart_in: bool; idFlowchart3_Flowchart3_1: int) returns (flowchart3_flowchart3__restart_act: bool; flowchart3_flowchart3__state_act: flowchart3_flowchart3__type);
28

    
29
function flowchart3_flowchart3__POINT__TO__FLOWCHART3_A_1_handler_until (flowchart3_flowchart3__restart_act: bool; idFlowchart3_Flowchart3_1: int; idFlowchart3_A_1: int) returns (flowchart3_flowchart3__restart_in: bool; flowchart3_flowchart3__state_in: flowchart3_flowchart3__type; idFlowchart3_A_out: int; idFlowchart3_Flowchart3_out: int);
30

    
31
function flowchart3_flowchart3__POINT__TO__FLOWCHART3_A_1_unless (flowchart3_flowchart3__restart_in: bool) returns (flowchart3_flowchart3__restart_act: bool; flowchart3_flowchart3__state_act: flowchart3_flowchart3__type);
32

    
33
node Flowchart3_Flowchart3_node (idFlowchart3_Flowchart3_1: int; idFlowchart3_A_1: int) returns (idFlowchart3_Flowchart3: int; idFlowchart3_A: int);
34

    
35
function Flowchart3_A__To__Flowchart3_Flowchart3Junction791_1_Condition_Action (x_1: int) returns (x: int);
36

    
37
node Flowchart3_Flowchart3 (noInput: bool) returns (x: int);
38

    
39
function flowchart3_a_INNER__FLOWCHART3_A__TO__FLOWCHART3_FLOWCHART3JUNCTION791_1_handler_until (flowchart3_a_INNER__restart_act: bool; x_1: int) returns (flowchart3_a_INNER__restart_in: bool; flowchart3_a_INNER__state_in: flowchart3_a_INNER__type; x_out: int);
40

    
41
function flowchart3_a_INNER__FLOWCHART3_A__TO__FLOWCHART3_FLOWCHART3JUNCTION791_1_unless (flowchart3_a_INNER__restart_in: bool) returns (flowchart3_a_INNER__restart_act: bool; flowchart3_a_INNER__state_act: flowchart3_a_INNER__type);
42

    
43
function flowchart3_a_INNER__POINTFlowchart3_A_INNER_handler_until (flowchart3_a_INNER__restart_act: bool; x_1: int) returns (flowchart3_a_INNER__restart_in: bool; flowchart3_a_INNER__state_in: flowchart3_a_INNER__type; x_out: int);
44

    
45
function flowchart3_a_INNER__POINTFlowchart3_A_INNER_unless (flowchart3_a_INNER__restart_in: bool) returns (flowchart3_a_INNER__restart_act: bool; flowchart3_a_INNER__state_act: flowchart3_a_INNER__type);
46

    
47
node Flowchart3 (i_virtual: real) returns (Out1_1_1: int);
48

    
49
function Flowchart3_A_ex (idFlowchart3_Flowchart3_1: int; isInner: bool) returns (idFlowchart3_Flowchart3: int);
50

    
51
node Flowchart3_A_du (x_1: int) returns (x: int);
52