Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart9 / Flowchart9.lusi @ 79ef5fc5

History | View | Annotate | Download (9.77 KB)

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

    
5
type top_a_INNER__type = enum {POINTTOP_A_INNER, TOP_A__TO__FLOWCHART9_FLOWCHART9JUNCTION865_1 };
6

    
7

    
8
type top_b_INNER__type = enum {POINTTOP_B_INNER, TOP_B__TO__FLOWCHART9_FLOWCHART9JUNCTION867_1 };
9

    
10

    
11
type top_a__type = enum {POINTTOP_A }; 
12

    
13
type top_b__type = enum {POINTTOP_B }; 
14

    
15
type flowchart9_top__type = enum {POINTFlowchart9_TOP, POINT__TO__TOP_A_1, TOP_A__TO__TOP_B_1, TOP_B__TO__TOP_A_1, TOP_A_IDL, TOP_B_IDL };
16

    
17

    
18
type flowchart9_flowchart9__type = enum {POINTFlowchart9_Flowchart9, POINT__TO__FLOWCHART9_TOP_1, FLOWCHART9_FLOWCHART9_PARALLEL_IDL };
19

    
20

    
21
function TOP_A__To__Flowchart9_Flowchart9Junction865_1_Condition_Action (x_1: int) returns (x: int);
22

    
23
function TOP_B__To__Flowchart9_Flowchart9Junction867_1_Condition_Action (y_1: int) returns (y: int);
24

    
25
function top_a_INNER__POINTTOP_A_INNER_handler_until (top_a_INNER__restart_act: bool; x_1: int) returns (top_a_INNER__restart_in: bool; top_a_INNER__state_in: top_a_INNER__type; x_out: int);
26

    
27
function top_a_INNER__POINTTOP_A_INNER_unless (top_a_INNER__restart_in: bool) returns (top_a_INNER__restart_act: bool; top_a_INNER__state_act: top_a_INNER__type);
28

    
29
function top_a_INNER__TOP_A__TO__FLOWCHART9_FLOWCHART9JUNCTION865_1_handler_until (top_a_INNER__restart_act: bool; x_1: int) returns (top_a_INNER__restart_in: bool; top_a_INNER__state_in: top_a_INNER__type; x_out: int);
30

    
31
function top_a_INNER__TOP_A__TO__FLOWCHART9_FLOWCHART9JUNCTION865_1_unless (top_a_INNER__restart_in: bool) returns (top_a_INNER__restart_act: bool; top_a_INNER__state_act: top_a_INNER__type);
32

    
33
function top_a__POINTTOP_A_handler_until (top_a__restart_act: bool; idTOP_A_1: int) returns (top_a__restart_in: bool; top_a__state_in: top_a__type; idTOP_A_out: int);
34

    
35
function top_a__POINTTOP_A_unless (top_a__restart_in: bool) returns (top_a__restart_act: bool; top_a__state_act: top_a__type);
36

    
37
function top_b_INNER__POINTTOP_B_INNER_handler_until (top_b_INNER__restart_act: bool; y_1: int) returns (top_b_INNER__restart_in: bool; top_b_INNER__state_in: top_b_INNER__type; y_out: int);
38

    
39
function top_b_INNER__POINTTOP_B_INNER_unless (top_b_INNER__restart_in: bool) returns (top_b_INNER__restart_act: bool; top_b_INNER__state_act: top_b_INNER__type);
40

    
41
function top_b_INNER__TOP_B__TO__FLOWCHART9_FLOWCHART9JUNCTION867_1_handler_until (top_b_INNER__restart_act: bool; y_1: int) returns (top_b_INNER__restart_in: bool; top_b_INNER__state_in: top_b_INNER__type; y_out: int);
42

    
43
function top_b_INNER__TOP_B__TO__FLOWCHART9_FLOWCHART9JUNCTION867_1_unless (top_b_INNER__restart_in: bool) returns (top_b_INNER__restart_act: bool; top_b_INNER__state_act: top_b_INNER__type);
44

    
45
function top_b__POINTTOP_B_handler_until (top_b__restart_act: bool; idTOP_B_1: int) returns (top_b__restart_in: bool; top_b__state_in: top_b__type; idTOP_B_out: int);
46

    
47
function top_b__POINTTOP_B_unless (top_b__restart_in: bool) returns (top_b__restart_act: bool; top_b__state_act: top_b__type);
48

    
49
function TOP_A_en (idTOP_A_1: int; idFlowchart9_TOP_1: int; isInner: bool) returns (idTOP_A: int; idFlowchart9_TOP: int);
50

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

    
53
node TOP_A_node (idTOP_A_1: int) returns (idTOP_A: int);
54

    
55
function TOP_A_ex (idFlowchart9_TOP_1: int; isInner: bool) returns (idFlowchart9_TOP: int);
56

    
57
function TOP_B_en (idTOP_B_1: int; idFlowchart9_TOP_1: int; isInner: bool) returns (idTOP_B: int; idFlowchart9_TOP: int);
58

    
59
node TOP_B_du (y_1: int) returns (y: int);
60

    
61
node TOP_B_node (idTOP_B_1: int) returns (idTOP_B: int);
62

    
63
function TOP_B_ex (idFlowchart9_TOP_1: int; isInner: bool) returns (idFlowchart9_TOP: int);
64

    
65
function flowchart9_top__POINTFlowchart9_TOP_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
66

    
67
function flowchart9_top__POINTFlowchart9_TOP_unless (flowchart9_top__restart_in: bool; idFlowchart9_TOP_1: int; E: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
68

    
69
function flowchart9_top__POINT__TO__TOP_A_1_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
70

    
71
function flowchart9_top__POINT__TO__TOP_A_1_unless (flowchart9_top__restart_in: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
72

    
73
node flowchart9_top__TOP_A_IDL_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
74

    
75
function flowchart9_top__TOP_A_IDL_unless (flowchart9_top__restart_in: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
76

    
77
function flowchart9_top__TOP_A__TO__TOP_B_1_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
78

    
79
function flowchart9_top__TOP_A__TO__TOP_B_1_unless (flowchart9_top__restart_in: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
80

    
81
node flowchart9_top__TOP_B_IDL_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
82

    
83
function flowchart9_top__TOP_B_IDL_unless (flowchart9_top__restart_in: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
84

    
85
function flowchart9_top__TOP_B__TO__TOP_A_1_handler_until (flowchart9_top__restart_act: bool; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_top__restart_in: bool; flowchart9_top__state_in: flowchart9_top__type; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
86

    
87
function flowchart9_top__TOP_B__TO__TOP_A_1_unless (flowchart9_top__restart_in: bool) returns (flowchart9_top__restart_act: bool; flowchart9_top__state_act: flowchart9_top__type);
88

    
89
node Flowchart9_TOP_node (idFlowchart9_TOP_1: int; idTOP_A_1: int; E: bool; idTOP_B_1: int; x_1: int; y_1: int) returns (idFlowchart9_TOP: int; idTOP_A: int; idTOP_B: int; x: int; y: int);
90

    
91
function Flowchart9_TOP_en (idFlowchart9_TOP_1: int; idFlowchart9_Flowchart9_1: int; idTOP_A_1: int; idTOP_B_1: int; isInner: bool) returns (idFlowchart9_TOP: int; idFlowchart9_Flowchart9: int; idTOP_A: int; idTOP_B: int);
92

    
93
node flowchart9_flowchart9__FLOWCHART9_FLOWCHART9_PARALLEL_IDL_handler_until (flowchart9_flowchart9__restart_act: bool; idFlowchart9_Flowchart9_1: int; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; E: bool; x_1: int; y_1: int) returns (flowchart9_flowchart9__restart_in: bool; flowchart9_flowchart9__state_in: flowchart9_flowchart9__type; idFlowchart9_Flowchart9_out: int; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
94

    
95
function flowchart9_flowchart9__FLOWCHART9_FLOWCHART9_PARALLEL_IDL_unless (flowchart9_flowchart9__restart_in: bool) returns (flowchart9_flowchart9__restart_act: bool; flowchart9_flowchart9__state_act: flowchart9_flowchart9__type);
96

    
97
function flowchart9_flowchart9__POINTFlowchart9_Flowchart9_handler_until (flowchart9_flowchart9__restart_act: bool; idFlowchart9_Flowchart9_1: int; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_flowchart9__restart_in: bool; flowchart9_flowchart9__state_in: flowchart9_flowchart9__type; idFlowchart9_Flowchart9_out: int; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
98

    
99
function flowchart9_flowchart9__POINTFlowchart9_Flowchart9_unless (flowchart9_flowchart9__restart_in: bool; idFlowchart9_Flowchart9_1: int) returns (flowchart9_flowchart9__restart_act: bool; flowchart9_flowchart9__state_act: flowchart9_flowchart9__type);
100

    
101
function flowchart9_flowchart9__POINT__TO__FLOWCHART9_TOP_1_handler_until (flowchart9_flowchart9__restart_act: bool; idFlowchart9_Flowchart9_1: int; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; x_1: int; y_1: int) returns (flowchart9_flowchart9__restart_in: bool; flowchart9_flowchart9__state_in: flowchart9_flowchart9__type; idFlowchart9_Flowchart9_out: int; idFlowchart9_TOP_out: int; idTOP_A_out: int; idTOP_B_out: int; x_out: int; y_out: int);
102

    
103
function flowchart9_flowchart9__POINT__TO__FLOWCHART9_TOP_1_unless (flowchart9_flowchart9__restart_in: bool) returns (flowchart9_flowchart9__restart_act: bool; flowchart9_flowchart9__state_act: flowchart9_flowchart9__type);
104

    
105
node Flowchart9_Flowchart9_node (idFlowchart9_Flowchart9_1: int; idFlowchart9_TOP_1: int; idTOP_A_1: int; idTOP_B_1: int; E: bool; x_1: int; y_1: int) returns (idFlowchart9_Flowchart9: int; idFlowchart9_TOP: int; idTOP_A: int; idTOP_B: int; x: int; y: int);
106

    
107
node Flowchart9_Flowchart9 (E: bool) returns (x: int; y: int);
108

    
109
function Flowchart9_TOP_ex (idFlowchart9_TOP_1: int; idFlowchart9_Flowchart9_1: int; isInner: bool) returns (idFlowchart9_TOP: int; idFlowchart9_Flowchart9: int);
110

    
111
node Flowchart9 (In1_1_1: real) returns (Out1_1_1: int; Out2_2_1: int);
112