Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart10 / Flowchart10.lusi @ 79ef5fc5

History | View | Annotate | Download (6.58 KB)

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

    
5
type flowchart10_a_INNER__type = enum {POINTFlowchart10_A_INNER, FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1, FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2 };
6

    
7

    
8
type flowchart10_a__type = enum {POINTFlowchart10_A, POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1, POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2 };
9

    
10

    
11
type flowchart10_flowchart10__type = enum {POINTFlowchart10_Flowchart10, POINT__TO__FLOWCHART10_A_1, FLOWCHART10_FLOWCHART10_PARALLEL_IDL };
12

    
13

    
14
function POINT__To__Flowchart10_Flowchart10Junction753_1_Condition_Action (y_1: int) returns (y: int);
15

    
16
function POINT__To__Flowchart10_Flowchart10Junction754_2_Condition_Action (y_1: int) returns (y: int);
17

    
18
function flowchart10_a__POINTFlowchart10_A_handler_until (flowchart10_a__restart_act: bool; idFlowchart10_A_1: int; y_1: int) returns (flowchart10_a__restart_in: bool; flowchart10_a__state_in: flowchart10_a__type; idFlowchart10_A_out: int; y_out: int);
19

    
20
function flowchart10_a__POINTFlowchart10_A_unless (flowchart10_a__restart_in: bool; idFlowchart10_A_1: int; x: int) returns (flowchart10_a__restart_act: bool; flowchart10_a__state_act: flowchart10_a__type);
21

    
22
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_handler_until (flowchart10_a__restart_act: bool; idFlowchart10_A_1: int; y_1: int) returns (flowchart10_a__restart_in: bool; flowchart10_a__state_in: flowchart10_a__type; idFlowchart10_A_out: int; y_out: int);
23

    
24
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION753_1_unless (flowchart10_a__restart_in: bool) returns (flowchart10_a__restart_act: bool; flowchart10_a__state_act: flowchart10_a__type);
25

    
26
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_handler_until (flowchart10_a__restart_act: bool; idFlowchart10_A_1: int; y_1: int) returns (flowchart10_a__restart_in: bool; flowchart10_a__state_in: flowchart10_a__type; idFlowchart10_A_out: int; y_out: int);
27

    
28
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION754_2_unless (flowchart10_a__restart_in: bool) returns (flowchart10_a__restart_act: bool; flowchart10_a__state_act: flowchart10_a__type);
29

    
30
node Flowchart10_A_node (idFlowchart10_A_1: int; x: int; y_1: int) returns (idFlowchart10_A: int; y: int);
31

    
32
function Flowchart10_A_en (idFlowchart10_A_1: int; idFlowchart10_Flowchart10_1: int; x: int; y_1: int; isInner: bool) returns (idFlowchart10_A: int; idFlowchart10_Flowchart10: int; y: int);
33

    
34
node flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_handler_until (flowchart10_flowchart10__restart_act: bool; idFlowchart10_Flowchart10_1: int; idFlowchart10_A_1: int; x: int; y_1: int) returns (flowchart10_flowchart10__restart_in: bool; flowchart10_flowchart10__state_in: flowchart10_flowchart10__type; idFlowchart10_A_out: int; idFlowchart10_Flowchart10_out: int; y_out: int);
35

    
36
function flowchart10_flowchart10__FLOWCHART10_FLOWCHART10_PARALLEL_IDL_unless (flowchart10_flowchart10__restart_in: bool) returns (flowchart10_flowchart10__restart_act: bool; flowchart10_flowchart10__state_act: flowchart10_flowchart10__type);
37

    
38
function flowchart10_flowchart10__POINTFlowchart10_Flowchart10_handler_until (flowchart10_flowchart10__restart_act: bool; idFlowchart10_Flowchart10_1: int; idFlowchart10_A_1: int; y_1: int) returns (flowchart10_flowchart10__restart_in: bool; flowchart10_flowchart10__state_in: flowchart10_flowchart10__type; idFlowchart10_A_out: int; idFlowchart10_Flowchart10_out: int; y_out: int);
39

    
40
function flowchart10_flowchart10__POINTFlowchart10_Flowchart10_unless (flowchart10_flowchart10__restart_in: bool; idFlowchart10_Flowchart10_1: int) returns (flowchart10_flowchart10__restart_act: bool; flowchart10_flowchart10__state_act: flowchart10_flowchart10__type);
41

    
42
function flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_handler_until (flowchart10_flowchart10__restart_act: bool; idFlowchart10_Flowchart10_1: int; idFlowchart10_A_1: int; x: int; y_1: int) returns (flowchart10_flowchart10__restart_in: bool; flowchart10_flowchart10__state_in: flowchart10_flowchart10__type; idFlowchart10_A_out: int; idFlowchart10_Flowchart10_out: int; y_out: int);
43

    
44
function flowchart10_flowchart10__POINT__TO__FLOWCHART10_A_1_unless (flowchart10_flowchart10__restart_in: bool) returns (flowchart10_flowchart10__restart_act: bool; flowchart10_flowchart10__state_act: flowchart10_flowchart10__type);
45

    
46
node Flowchart10_Flowchart10_node (idFlowchart10_Flowchart10_1: int; idFlowchart10_A_1: int; x: int; y_1: int) returns (idFlowchart10_Flowchart10: int; idFlowchart10_A: int; y: int);
47

    
48
function Flowchart10_A__To__Flowchart10_Flowchart10Junction755_2_Condition_Action (y_1: int) returns (y: int);
49

    
50
function Flowchart10_A__To__Flowchart10_Flowchart10Junction756_1_Condition_Action (y_1: int) returns (y: int);
51

    
52
node Flowchart10_Flowchart10 (x: int) returns (y: int);
53

    
54
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_handler_until (flowchart10_a_INNER__restart_act: bool; y_1: int) returns (flowchart10_a_INNER__restart_in: bool; flowchart10_a_INNER__state_in: flowchart10_a_INNER__type; y_out: int);
55

    
56
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION755_2_unless (flowchart10_a_INNER__restart_in: bool) returns (flowchart10_a_INNER__restart_act: bool; flowchart10_a_INNER__state_act: flowchart10_a_INNER__type);
57

    
58
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_handler_until (flowchart10_a_INNER__restart_act: bool; y_1: int) returns (flowchart10_a_INNER__restart_in: bool; flowchart10_a_INNER__state_in: flowchart10_a_INNER__type; y_out: int);
59

    
60
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION756_1_unless (flowchart10_a_INNER__restart_in: bool) returns (flowchart10_a_INNER__restart_act: bool; flowchart10_a_INNER__state_act: flowchart10_a_INNER__type);
61

    
62
function flowchart10_a_INNER__POINTFlowchart10_A_INNER_handler_until (flowchart10_a_INNER__restart_act: bool; y_1: int) returns (flowchart10_a_INNER__restart_in: bool; flowchart10_a_INNER__state_in: flowchart10_a_INNER__type; y_out: int);
63

    
64
function flowchart10_a_INNER__POINTFlowchart10_A_INNER_unless (flowchart10_a_INNER__restart_in: bool; x: int) returns (flowchart10_a_INNER__restart_act: bool; flowchart10_a_INNER__state_act: flowchart10_a_INNER__type);
65

    
66
node Flowchart10 (x_1_1: int) returns (y_1_1: int);
67

    
68
function Flowchart10_A_ex (idFlowchart10_Flowchart10_1: int; isInner: bool) returns (idFlowchart10_Flowchart10: int);
69

    
70
node Flowchart10_A_du (x: int; y_1: int) returns (y: int);
71