Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions7 / Junctions7.lusi @ 79ef5fc5

History | View | Annotate | Download (4.63 KB)

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

    
5
type junctions7_junctions7__type = enum {POINTJunctions7_Junctions7, POINT__TO__JUNCTIONS7_A_1, JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_1, JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_2, JUNCTIONS7_A_IDL, JUNCTIONS7_B_IDL };
6

    
7

    
8
function Junctions7_A__To__Junctions7_Junctions7Junction1322_1_Condition_Action (y_1: int) returns (y: int);
9

    
10
function Junctions7_A_ex (idJunctions7_Junctions7_1: int; isInner: bool) returns (idJunctions7_Junctions7: int);
11

    
12
function Junctions7_B_en (idJunctions7_Junctions7_1: int; isInner: bool) returns (idJunctions7_Junctions7: int);
13

    
14
function Junctions7_A__To__Junctions7_Junctions7Junction1322_2_Condition_Action (y_1: int) returns (y: int);
15

    
16
function Junctions7_A_en (idJunctions7_Junctions7_1: int; isInner: bool) returns (idJunctions7_Junctions7: int);
17

    
18
function junctions7_junctions7__JUNCTIONS7_A_IDL_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
19

    
20
function junctions7_junctions7__JUNCTIONS7_A_IDL_unless (junctions7_junctions7__restart_in: bool) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
21

    
22
function junctions7_junctions7__JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_1_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; x: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
23

    
24
function junctions7_junctions7__JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_1_unless (junctions7_junctions7__restart_in: bool) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
25

    
26
function junctions7_junctions7__JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_2_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; x: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
27

    
28
function junctions7_junctions7__JUNCTIONS7_A__TO__JUNCTIONS7_JUNCTIONS7JUNCTION1322_2_unless (junctions7_junctions7__restart_in: bool) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
29

    
30
function junctions7_junctions7__JUNCTIONS7_B_IDL_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
31

    
32
function junctions7_junctions7__JUNCTIONS7_B_IDL_unless (junctions7_junctions7__restart_in: bool) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
33

    
34
function junctions7_junctions7__POINTJunctions7_Junctions7_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
35

    
36
function junctions7_junctions7__POINTJunctions7_Junctions7_unless (junctions7_junctions7__restart_in: bool; idJunctions7_Junctions7_1: int; x: int) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
37

    
38
function junctions7_junctions7__POINT__TO__JUNCTIONS7_A_1_handler_until (junctions7_junctions7__restart_act: bool; idJunctions7_Junctions7_1: int; y_1: int) returns (junctions7_junctions7__restart_in: bool; junctions7_junctions7__state_in: junctions7_junctions7__type; idJunctions7_Junctions7_out: int; y_out: int);
39

    
40
function junctions7_junctions7__POINT__TO__JUNCTIONS7_A_1_unless (junctions7_junctions7__restart_in: bool) returns (junctions7_junctions7__restart_act: bool; junctions7_junctions7__state_act: junctions7_junctions7__type);
41

    
42
node Junctions7_Junctions7_node (idJunctions7_Junctions7_1: int; x: int; y_1: int) returns (idJunctions7_Junctions7: int; y: int);
43

    
44
node Junctions7_Junctions7 (x: int) returns (y: int);
45

    
46
node Junctions7 (x_1_1: int) returns (y_1_1: int);
47

    
48
function Junctions7_B_ex (idJunctions7_Junctions7_1: int; isInner: bool) returns (idJunctions7_Junctions7: int);
49