Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart11 / Flowchart11.lusi @ 79ef5fc5

History | View | Annotate | Download (6.52 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Flowchart11.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 flowchart10_a_INNER__type = enum {POINTFlowchart10_A_INNER, FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1, FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2 };
6
7
8
type flowchart10_a__type = enum {POINTFlowchart10_A, POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1, POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2 };
9
10
11
type flowchart10_flowchart10__type = enum {POINTFlowchart10_Flowchart10, POINT__TO__FLOWCHART10_A_1, FLOWCHART10_A_IDL };
12
13
14
function Flowchart10_A__To__Flowchart10_Flowchart10Junction770_2_Condition_Action (y_1: int) returns (y: int);
15
16
function Flowchart10_A__To__Flowchart10_Flowchart10Junction771_1_Condition_Action (y_1: int) returns (y: int);
17
18
function POINT__To__Flowchart10_Flowchart10Junction768_1_Condition_Action (y_1: int) returns (y: int);
19
20
function POINT__To__Flowchart10_Flowchart10Junction769_2_Condition_Action (y_1: int) returns (y: int);
21
22
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_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);
23
24
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION770_2_unless (flowchart10_a_INNER__restart_in: bool) returns (flowchart10_a_INNER__restart_act: bool; flowchart10_a_INNER__state_act: flowchart10_a_INNER__type);
25
26
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_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);
27
28
function flowchart10_a_INNER__FLOWCHART10_A__TO__FLOWCHART10_FLOWCHART10JUNCTION771_1_unless (flowchart10_a_INNER__restart_in: bool) returns (flowchart10_a_INNER__restart_act: bool; flowchart10_a_INNER__state_act: flowchart10_a_INNER__type);
29
30
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);
31
32
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);
33
34
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);
35
36
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);
37
38
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_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);
39
40
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION768_1_unless (flowchart10_a__restart_in: bool) returns (flowchart10_a__restart_act: bool; flowchart10_a__state_act: flowchart10_a__type);
41
42
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_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);
43
44
function flowchart10_a__POINT__TO__FLOWCHART10_FLOWCHART10JUNCTION769_2_unless (flowchart10_a__restart_in: bool) returns (flowchart10_a__restart_act: bool; flowchart10_a__state_act: flowchart10_a__type);
45
46
node Flowchart10_A_du (x: int; y_1: int) returns (y: int);
47
48
node Flowchart10_A_node (idFlowchart10_A_1: int; x: int; y_1: int) returns (idFlowchart10_A: int; y: int);
49
50
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);
51
52
node flowchart10_flowchart10__FLOWCHART10_A_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);
53
54
function flowchart10_flowchart10__FLOWCHART10_A_IDL_unless (flowchart10_flowchart10__restart_in: bool) returns (flowchart10_flowchart10__restart_act: bool; flowchart10_flowchart10__state_act: flowchart10_flowchart10__type);
55
56
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);
57
58
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);
59
60
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);
61
62
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);
63
64
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);
65
66
node Flowchart11_Flowchart10 (x: int) returns (y: int);
67
68
node Flowchart11 (x_1_1: int) returns (y_1_1: int);
69
70
function Flowchart10_A_ex (idFlowchart10_Flowchart10_1: int; isInner: bool) returns (idFlowchart10_Flowchart10: int);