Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart6 / Flowchart6.lusi @ 79ef5fc5

History | View | Annotate | Download (4.91 KB)

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

    
5
type flowchart6_a_INNER__type = enum {POINTFlowchart6_A_INNER, FLOWCHART6_A__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1 };
6

    
7

    
8
type flowchart6_a__type = enum {POINTFlowchart6_A, POINT__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1 };
9

    
10

    
11
type flowchart6_flowchart6__type = enum {POINTFlowchart6_Flowchart6, POINT__TO__FLOWCHART6_A_1, FLOWCHART6_A_IDL };
12

    
13

    
14
function Flowchart6_Flowchart6Junction818__To__Flowchart6_Flowchart6Junction819_1_Condition_Action (x_1: int) returns (x: int);
15

    
16
function flowchart6_a_INNER__FLOWCHART6_A__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1_handler_until (flowchart6_a_INNER__restart_act: bool; x_1: int) returns (flowchart6_a_INNER__restart_in: bool; flowchart6_a_INNER__state_in: flowchart6_a_INNER__type; x_out: int);
17

    
18
function flowchart6_a_INNER__FLOWCHART6_A__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1_unless (flowchart6_a_INNER__restart_in: bool) returns (flowchart6_a_INNER__restart_act: bool; flowchart6_a_INNER__state_act: flowchart6_a_INNER__type);
19

    
20
function flowchart6_a_INNER__POINTFlowchart6_A_INNER_handler_until (flowchart6_a_INNER__restart_act: bool; x_1: int) returns (flowchart6_a_INNER__restart_in: bool; flowchart6_a_INNER__state_in: flowchart6_a_INNER__type; x_out: int);
21

    
22
function flowchart6_a_INNER__POINTFlowchart6_A_INNER_unless (flowchart6_a_INNER__restart_in: bool) returns (flowchart6_a_INNER__restart_act: bool; flowchart6_a_INNER__state_act: flowchart6_a_INNER__type);
23

    
24
function flowchart6_a__POINTFlowchart6_A_handler_until (flowchart6_a__restart_act: bool; idFlowchart6_A_1: int; x_1: int) returns (flowchart6_a__restart_in: bool; flowchart6_a__state_in: flowchart6_a__type; idFlowchart6_A_out: int; x_out: int);
25

    
26
function flowchart6_a__POINTFlowchart6_A_unless (flowchart6_a__restart_in: bool; idFlowchart6_A_1: int) returns (flowchart6_a__restart_act: bool; flowchart6_a__state_act: flowchart6_a__type);
27

    
28
function flowchart6_a__POINT__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1_handler_until (flowchart6_a__restart_act: bool; idFlowchart6_A_1: int; x_1: int) returns (flowchart6_a__restart_in: bool; flowchart6_a__state_in: flowchart6_a__type; idFlowchart6_A_out: int; x_out: int);
29

    
30
function flowchart6_a__POINT__TO__FLOWCHART6_FLOWCHART6JUNCTION818_1_unless (flowchart6_a__restart_in: bool) returns (flowchart6_a__restart_act: bool; flowchart6_a__state_act: flowchart6_a__type);
31

    
32
node Flowchart6_A_du (x_1: int) returns (x: int);
33

    
34
node Flowchart6_A_node (idFlowchart6_A_1: int; x_1: int) returns (idFlowchart6_A: int; x: int);
35

    
36
function Flowchart6_A_en (idFlowchart6_A_1: int; idFlowchart6_Flowchart6_1: int; x_1: int; isInner: bool) returns (idFlowchart6_A: int; idFlowchart6_Flowchart6: int; x: int);
37

    
38
node flowchart6_flowchart6__FLOWCHART6_A_IDL_handler_until (flowchart6_flowchart6__restart_act: bool; idFlowchart6_Flowchart6_1: int; idFlowchart6_A_1: int; x_1: int) returns (flowchart6_flowchart6__restart_in: bool; flowchart6_flowchart6__state_in: flowchart6_flowchart6__type; idFlowchart6_A_out: int; idFlowchart6_Flowchart6_out: int; x_out: int);
39

    
40
function flowchart6_flowchart6__FLOWCHART6_A_IDL_unless (flowchart6_flowchart6__restart_in: bool) returns (flowchart6_flowchart6__restart_act: bool; flowchart6_flowchart6__state_act: flowchart6_flowchart6__type);
41

    
42
function flowchart6_flowchart6__POINTFlowchart6_Flowchart6_handler_until (flowchart6_flowchart6__restart_act: bool; idFlowchart6_Flowchart6_1: int; idFlowchart6_A_1: int; x_1: int) returns (flowchart6_flowchart6__restart_in: bool; flowchart6_flowchart6__state_in: flowchart6_flowchart6__type; idFlowchart6_A_out: int; idFlowchart6_Flowchart6_out: int; x_out: int);
43

    
44
function flowchart6_flowchart6__POINTFlowchart6_Flowchart6_unless (flowchart6_flowchart6__restart_in: bool; idFlowchart6_Flowchart6_1: int) returns (flowchart6_flowchart6__restart_act: bool; flowchart6_flowchart6__state_act: flowchart6_flowchart6__type);
45

    
46
function flowchart6_flowchart6__POINT__TO__FLOWCHART6_A_1_handler_until (flowchart6_flowchart6__restart_act: bool; idFlowchart6_Flowchart6_1: int; idFlowchart6_A_1: int; x_1: int) returns (flowchart6_flowchart6__restart_in: bool; flowchart6_flowchart6__state_in: flowchart6_flowchart6__type; idFlowchart6_A_out: int; idFlowchart6_Flowchart6_out: int; x_out: int);
47

    
48
function flowchart6_flowchart6__POINT__TO__FLOWCHART6_A_1_unless (flowchart6_flowchart6__restart_in: bool) returns (flowchart6_flowchart6__restart_act: bool; flowchart6_flowchart6__state_act: flowchart6_flowchart6__type);
49

    
50
node Flowchart6_Flowchart6_node (idFlowchart6_Flowchart6_1: int; idFlowchart6_A_1: int; x_1: int) returns (idFlowchart6_Flowchart6: int; idFlowchart6_A: int; x: int);
51

    
52
node Flowchart6_Flowchart6 (noInput: bool) returns (x: int);
53

    
54
function Flowchart6_A_ex (idFlowchart6_Flowchart6_1: int; isInner: bool) returns (idFlowchart6_Flowchart6: int);
55

    
56
node Flowchart6 (i_virtual: real) returns (Out1_1_1: int);
57