Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Flowchart7 / Flowchart7.lusi @ 79ef5fc5

History | View | Annotate | Download (2.32 KB)

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

    
5
type flowchart7_flowchart7__type = enum {POINTFlowchart7_Flowchart7, POINT__TO__FLOWCHART7_FLOWCHART7JUNCTION832_1 };
6

    
7

    
8
function Flowchart7_Flowchart7Junction832__To__Flowchart7_Flowchart7Junction833_1_Condition_Action (cent_1: int; sec_1: int) returns (cent: int; sec: int);
9

    
10
function Flowchart7_Flowchart7Junction833__To__Flowchart7_Flowchart7Junction834_1_Condition_Action (sec_1: int; min_1: int) returns (sec: int; min: int);
11

    
12
function POINT__To__Flowchart7_Flowchart7Junction832_1_Condition_Action (cent_1: int) returns (cent: int);
13

    
14
function flowchart7_flowchart7__POINTFlowchart7_Flowchart7_handler_until (flowchart7_flowchart7__restart_act: bool; idFlowchart7_Flowchart7_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart7_flowchart7__restart_in: bool; flowchart7_flowchart7__state_in: flowchart7_flowchart7__type; cent_out: int; idFlowchart7_Flowchart7_out: int; min_out: int; sec_out: int);
15

    
16
function flowchart7_flowchart7__POINTFlowchart7_Flowchart7_unless (flowchart7_flowchart7__restart_in: bool; idFlowchart7_Flowchart7_1: int; TIC: bool) returns (flowchart7_flowchart7__restart_act: bool; flowchart7_flowchart7__state_act: flowchart7_flowchart7__type);
17

    
18
function flowchart7_flowchart7__POINT__TO__FLOWCHART7_FLOWCHART7JUNCTION832_1_handler_until (flowchart7_flowchart7__restart_act: bool; idFlowchart7_Flowchart7_1: int; cent_1: int; sec_1: int; min_1: int) returns (flowchart7_flowchart7__restart_in: bool; flowchart7_flowchart7__state_in: flowchart7_flowchart7__type; cent_out: int; idFlowchart7_Flowchart7_out: int; min_out: int; sec_out: int);
19

    
20
function flowchart7_flowchart7__POINT__TO__FLOWCHART7_FLOWCHART7JUNCTION832_1_unless (flowchart7_flowchart7__restart_in: bool) returns (flowchart7_flowchart7__restart_act: bool; flowchart7_flowchart7__state_act: flowchart7_flowchart7__type);
21

    
22
node Flowchart7_Flowchart7_node (idFlowchart7_Flowchart7_1: int; TIC: bool; cent_1: int; sec_1: int; min_1: int) returns (idFlowchart7_Flowchart7: int; cent: int; sec: int; min: int);
23

    
24
node Flowchart7_Flowchart7 (TIC: bool) returns (cent: int; sec: int; min: int);
25

    
26
node Flowchart7 (TIC_1_1: real) returns (Out1_1_1: int; Out2_2_1: int; Out3_3_1: int);
27