Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart2 / Flowchart2.lusi @ 79ef5fc5

History | View | Annotate | Download (3.85 KB)

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

    
5
type flowchart2_a__type = enum {POINTFlowchart2_A, POINT__TO__FLOWCHART2_FLOWCHART2JUNCTION783_1 };
6

    
7

    
8
type flowchart2_flowchart2__type = enum {POINTFlowchart2_Flowchart2, POINT__TO__FLOWCHART2_A_1, FLOWCHART2_A_IDL };
9

    
10

    
11
function POINT__To__Flowchart2_Flowchart2Junction783_1_Condition_Action (x_1: int) returns (x: int);
12

    
13
function flowchart2_a__POINTFlowchart2_A_handler_until (flowchart2_a__restart_act: bool; idFlowchart2_A_1: int; x_1: int) returns (flowchart2_a__restart_in: bool; flowchart2_a__state_in: flowchart2_a__type; idFlowchart2_A_out: int; x_out: int);
14

    
15
function flowchart2_a__POINTFlowchart2_A_unless (flowchart2_a__restart_in: bool; idFlowchart2_A_1: int) returns (flowchart2_a__restart_act: bool; flowchart2_a__state_act: flowchart2_a__type);
16

    
17
function flowchart2_a__POINT__TO__FLOWCHART2_FLOWCHART2JUNCTION783_1_handler_until (flowchart2_a__restart_act: bool; idFlowchart2_A_1: int; x_1: int) returns (flowchart2_a__restart_in: bool; flowchart2_a__state_in: flowchart2_a__type; idFlowchart2_A_out: int; x_out: int);
18

    
19
function flowchart2_a__POINT__TO__FLOWCHART2_FLOWCHART2JUNCTION783_1_unless (flowchart2_a__restart_in: bool) returns (flowchart2_a__restart_act: bool; flowchart2_a__state_act: flowchart2_a__type);
20

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

    
23
node Flowchart2_A_node (idFlowchart2_A_1: int; x_1: int) returns (idFlowchart2_A: int; x: int);
24

    
25
function Flowchart2_A_en (idFlowchart2_A_1: int; idFlowchart2_Flowchart2_1: int; x_1: int; isInner: bool) returns (idFlowchart2_A: int; idFlowchart2_Flowchart2: int; x: int);
26

    
27
node flowchart2_flowchart2__FLOWCHART2_A_IDL_handler_until (flowchart2_flowchart2__restart_act: bool; idFlowchart2_Flowchart2_1: int; idFlowchart2_A_1: int; x_1: int) returns (flowchart2_flowchart2__restart_in: bool; flowchart2_flowchart2__state_in: flowchart2_flowchart2__type; idFlowchart2_A_out: int; idFlowchart2_Flowchart2_out: int; x_out: int);
28

    
29
function flowchart2_flowchart2__FLOWCHART2_A_IDL_unless (flowchart2_flowchart2__restart_in: bool) returns (flowchart2_flowchart2__restart_act: bool; flowchart2_flowchart2__state_act: flowchart2_flowchart2__type);
30

    
31
function flowchart2_flowchart2__POINTFlowchart2_Flowchart2_handler_until (flowchart2_flowchart2__restart_act: bool; idFlowchart2_Flowchart2_1: int; idFlowchart2_A_1: int; x_1: int) returns (flowchart2_flowchart2__restart_in: bool; flowchart2_flowchart2__state_in: flowchart2_flowchart2__type; idFlowchart2_A_out: int; idFlowchart2_Flowchart2_out: int; x_out: int);
32

    
33
function flowchart2_flowchart2__POINTFlowchart2_Flowchart2_unless (flowchart2_flowchart2__restart_in: bool; idFlowchart2_Flowchart2_1: int) returns (flowchart2_flowchart2__restart_act: bool; flowchart2_flowchart2__state_act: flowchart2_flowchart2__type);
34

    
35
function flowchart2_flowchart2__POINT__TO__FLOWCHART2_A_1_handler_until (flowchart2_flowchart2__restart_act: bool; idFlowchart2_Flowchart2_1: int; idFlowchart2_A_1: int; x_1: int) returns (flowchart2_flowchart2__restart_in: bool; flowchart2_flowchart2__state_in: flowchart2_flowchart2__type; idFlowchart2_A_out: int; idFlowchart2_Flowchart2_out: int; x_out: int);
36

    
37
function flowchart2_flowchart2__POINT__TO__FLOWCHART2_A_1_unless (flowchart2_flowchart2__restart_in: bool) returns (flowchart2_flowchart2__restart_act: bool; flowchart2_flowchart2__state_act: flowchart2_flowchart2__type);
38

    
39
node Flowchart2_Flowchart2_node (idFlowchart2_Flowchart2_1: int; idFlowchart2_A_1: int; x_1: int) returns (idFlowchart2_Flowchart2: int; idFlowchart2_A: int; x: int);
40

    
41
node Flowchart2_Flowchart2 (noInput: bool) returns (x: int);
42

    
43
node Flowchart2 (i_virtual: real) returns (Out1_1_1: int);
44

    
45
function Flowchart2_A_ex (idFlowchart2_Flowchart2_1: int; isInner: bool) returns (idFlowchart2_Flowchart2: int);
46