Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart8 / Flowchart8.lusi @ 79ef5fc5

History | View | Annotate | Download (3.77 KB)

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

    
5
type flowchart8_flowchart8__type = enum {POINTFlowchart8_Flowchart8, POINT__TO__FLOWCHART8_A_1, FLOWCHART8_A__TO__FLOWCHART8_FLOWCHART8JUNCTION849_1, FLOWCHART8_A_IDL };
6

    
7

    
8
function Flowchart8_A__To__Flowchart8_Flowchart8Junction849_1_Condition_Action (cent_1: int) returns (cent: int);
9

    
10
function Flowchart8_Flowchart8Junction849__To__Flowchart8_Flowchart8Junction850_1_Condition_Action (cent_1: int; sec_1: int) returns (cent: int; sec: int);
11

    
12
function Flowchart8_Flowchart8Junction850__To__Flowchart8_Flowchart8Junction851_1_Condition_Action (sec_1: int; min_1: int) returns (sec: int; min: int);
13

    
14
function Flowchart8_A_en (idFlowchart8_Flowchart8_1: int; isInner: bool) returns (idFlowchart8_Flowchart8: int);
15

    
16
function flowchart8_flowchart8__FLOWCHART8_A_IDL_handler_until (flowchart8_flowchart8__restart_act: bool; idFlowchart8_Flowchart8_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart8_flowchart8__restart_in: bool; flowchart8_flowchart8__state_in: flowchart8_flowchart8__type; cent_out: int; idFlowchart8_Flowchart8_out: int; min_out: int; sec_out: int);
17

    
18
function flowchart8_flowchart8__FLOWCHART8_A_IDL_unless (flowchart8_flowchart8__restart_in: bool) returns (flowchart8_flowchart8__restart_act: bool; flowchart8_flowchart8__state_act: flowchart8_flowchart8__type);
19

    
20
function flowchart8_flowchart8__FLOWCHART8_A__TO__FLOWCHART8_FLOWCHART8JUNCTION849_1_handler_until (flowchart8_flowchart8__restart_act: bool; idFlowchart8_Flowchart8_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart8_flowchart8__restart_in: bool; flowchart8_flowchart8__state_in: flowchart8_flowchart8__type; cent_out: int; idFlowchart8_Flowchart8_out: int; min_out: int; sec_out: int);
21

    
22
function flowchart8_flowchart8__FLOWCHART8_A__TO__FLOWCHART8_FLOWCHART8JUNCTION849_1_unless (flowchart8_flowchart8__restart_in: bool) returns (flowchart8_flowchart8__restart_act: bool; flowchart8_flowchart8__state_act: flowchart8_flowchart8__type);
23

    
24
function flowchart8_flowchart8__POINTFlowchart8_Flowchart8_handler_until (flowchart8_flowchart8__restart_act: bool; idFlowchart8_Flowchart8_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart8_flowchart8__restart_in: bool; flowchart8_flowchart8__state_in: flowchart8_flowchart8__type; cent_out: int; idFlowchart8_Flowchart8_out: int; min_out: int; sec_out: int);
25

    
26
function flowchart8_flowchart8__POINTFlowchart8_Flowchart8_unless (flowchart8_flowchart8__restart_in: bool; idFlowchart8_Flowchart8_1: int; TIC: bool) returns (flowchart8_flowchart8__restart_act: bool; flowchart8_flowchart8__state_act: flowchart8_flowchart8__type);
27

    
28
function flowchart8_flowchart8__POINT__TO__FLOWCHART8_A_1_handler_until (flowchart8_flowchart8__restart_act: bool; idFlowchart8_Flowchart8_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart8_flowchart8__restart_in: bool; flowchart8_flowchart8__state_in: flowchart8_flowchart8__type; cent_out: int; idFlowchart8_Flowchart8_out: int; min_out: int; sec_out: int);
29

    
30
function flowchart8_flowchart8__POINT__TO__FLOWCHART8_A_1_unless (flowchart8_flowchart8__restart_in: bool) returns (flowchart8_flowchart8__restart_act: bool; flowchart8_flowchart8__state_act: flowchart8_flowchart8__type);
31

    
32
node Flowchart8_Flowchart8_node (idFlowchart8_Flowchart8_1: int; TIC: bool; cent_1: int; sec_1: int; min_1: int) returns (idFlowchart8_Flowchart8: int; cent: int; sec: int; min: int);
33

    
34
node Flowchart8_Flowchart8 (TIC: bool) returns (cent: int; sec: int; min: int);
35

    
36
node Flowchart8 (In1_1_1: real) returns (cent_1_1: int; sec_2_1: int; Out3_3_1: int);
37

    
38
function Flowchart8_A_ex (idFlowchart8_Flowchart8_1: int; isInner: bool) returns (idFlowchart8_Flowchart8: int);
39