Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions6 / Junctions6.lusi @ 79ef5fc5

History | View | Annotate | Download (10 KB)

1
(* Generated Lustre Interface file from Junctions6.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 junctions6_top__type = enum {POINTJunctions6_TOP, POINT__TO__TOP_A_1, POINT__TO__TOP_B_2, TOP_A__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1, TOP_B__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1, TOP_C__TO__JUNCTIONS6_TOP_1, TOP_D__TO__TOP_C_1, TOP_A_IDL, TOP_B_IDL, TOP_C_IDL, TOP_D_IDL };
6

    
7

    
8
type junctions6_junctions6__type = enum {POINTJunctions6_Junctions6, POINT__TO__JUNCTIONS6_TOP_1, JUNCTIONS6_TOP_IDL };
9

    
10

    
11
function POINT__To__TOP_A_1_Condition_Action (y_1: int) returns (y: int);
12

    
13
function POINT__To__TOP_B_2_Condition_Action (y_1: int) returns (y: int);
14

    
15
function TOP_A_en (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
16

    
17
function TOP_B_en (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
18

    
19
function TOP_C_en (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
20

    
21
function TOP_D_en (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
22

    
23
function Junctions6_Junctions6Junction1302__To__TOP_C_2_Condition_Action (y_1: int) returns (y: int);
24

    
25
function Junctions6_Junctions6Junction1302__To__TOP_D_1_Condition_Action (y_1: int) returns (y: int);
26

    
27
function TOP_A__To__Junctions6_Junctions6Junction1302_1_Condition_Action (y_1: int) returns (y: int);
28

    
29
function TOP_A_ex (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
30

    
31
function TOP_B__To__Junctions6_Junctions6Junction1302_1_Condition_Action (y_1: int) returns (y: int);
32

    
33
function TOP_B_ex (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
34

    
35
function Junctions6_TOP_en (idJunctions6_TOP_1: int; idJunctions6_Junctions6_1: int; x: int; y_1: int; isInner: bool) returns (idJunctions6_TOP: int; idJunctions6_Junctions6: int; y: int);
36

    
37
function TOP_C_ex (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
38

    
39
function TOP_D_ex (idJunctions6_TOP_1: int; isInner: bool) returns (idJunctions6_TOP: int);
40

    
41
function junctions6_top__POINTJunctions6_TOP_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
42

    
43
function junctions6_top__POINTJunctions6_TOP_unless (junctions6_top__restart_in: bool; idJunctions6_TOP_1: int; x: int) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
44

    
45
function junctions6_top__POINT__TO__TOP_A_1_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
46

    
47
function junctions6_top__POINT__TO__TOP_A_1_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
48

    
49
function junctions6_top__POINT__TO__TOP_B_2_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
50

    
51
function junctions6_top__POINT__TO__TOP_B_2_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
52

    
53
function junctions6_top__TOP_A_IDL_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
54

    
55
function junctions6_top__TOP_A_IDL_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
56

    
57
function junctions6_top__TOP_A__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; x: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
58

    
59
function junctions6_top__TOP_A__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
60

    
61
function junctions6_top__TOP_B_IDL_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
62

    
63
function junctions6_top__TOP_B_IDL_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
64

    
65
function junctions6_top__TOP_B__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; x: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
66

    
67
function junctions6_top__TOP_B__TO__JUNCTIONS6_JUNCTIONS6JUNCTION1302_1_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
68

    
69
function junctions6_top__TOP_C_IDL_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
70

    
71
function junctions6_top__TOP_C_IDL_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
72

    
73
function junctions6_top__TOP_C__TO__JUNCTIONS6_TOP_1_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; x: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
74

    
75
function junctions6_top__TOP_C__TO__JUNCTIONS6_TOP_1_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
76

    
77
function junctions6_top__TOP_D_IDL_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
78

    
79
function junctions6_top__TOP_D_IDL_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
80

    
81
function junctions6_top__TOP_D__TO__TOP_C_1_handler_until (junctions6_top__restart_act: bool; idJunctions6_TOP_1: int; y_1: int; idJunctions6_Junctions6_1: int) returns (junctions6_top__restart_in: bool; junctions6_top__state_in: junctions6_top__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
82

    
83
function junctions6_top__TOP_D__TO__TOP_C_1_unless (junctions6_top__restart_in: bool) returns (junctions6_top__restart_act: bool; junctions6_top__state_act: junctions6_top__type);
84

    
85
node Junctions6_TOP_node (idJunctions6_TOP_1: int; x: int; y_1: int; idJunctions6_Junctions6_1: int) returns (idJunctions6_TOP: int; y: int; idJunctions6_Junctions6: int);
86

    
87
node junctions6_junctions6__JUNCTIONS6_TOP_IDL_handler_until (junctions6_junctions6__restart_act: bool; idJunctions6_Junctions6_1: int; idJunctions6_TOP_1: int; x: int; y_1: int) returns (junctions6_junctions6__restart_in: bool; junctions6_junctions6__state_in: junctions6_junctions6__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
88

    
89
function junctions6_junctions6__JUNCTIONS6_TOP_IDL_unless (junctions6_junctions6__restart_in: bool) returns (junctions6_junctions6__restart_act: bool; junctions6_junctions6__state_act: junctions6_junctions6__type);
90

    
91
function junctions6_junctions6__POINTJunctions6_Junctions6_handler_until (junctions6_junctions6__restart_act: bool; idJunctions6_Junctions6_1: int; idJunctions6_TOP_1: int; y_1: int) returns (junctions6_junctions6__restart_in: bool; junctions6_junctions6__state_in: junctions6_junctions6__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
92

    
93
function junctions6_junctions6__POINTJunctions6_Junctions6_unless (junctions6_junctions6__restart_in: bool; idJunctions6_Junctions6_1: int) returns (junctions6_junctions6__restart_act: bool; junctions6_junctions6__state_act: junctions6_junctions6__type);
94

    
95
function junctions6_junctions6__POINT__TO__JUNCTIONS6_TOP_1_handler_until (junctions6_junctions6__restart_act: bool; idJunctions6_Junctions6_1: int; idJunctions6_TOP_1: int; x: int; y_1: int) returns (junctions6_junctions6__restart_in: bool; junctions6_junctions6__state_in: junctions6_junctions6__type; idJunctions6_Junctions6_out: int; idJunctions6_TOP_out: int; y_out: int);
96

    
97
function junctions6_junctions6__POINT__TO__JUNCTIONS6_TOP_1_unless (junctions6_junctions6__restart_in: bool) returns (junctions6_junctions6__restart_act: bool; junctions6_junctions6__state_act: junctions6_junctions6__type);
98

    
99
node Junctions6_Junctions6_node (idJunctions6_Junctions6_1: int; idJunctions6_TOP_1: int; x: int; y_1: int) returns (idJunctions6_Junctions6: int; idJunctions6_TOP: int; y: int);
100

    
101
node Junctions6_Junctions6 (x: int) returns (y: int);
102

    
103
function Junctions6_TOP_ex (idJunctions6_TOP_1: int; idJunctions6_Junctions6_1: int; isInner: bool) returns (idJunctions6_TOP: int; idJunctions6_Junctions6: int);
104

    
105
node Junctions6 (x_1_1: int) returns (y_1_1: int);
106