Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions4Modified / Junctions4Modified.lusi @ 79ef5fc5

History | View | Annotate | Download (9.26 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Junctions4Modified.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 junctions4_top__type = enum {POINTJunctions4_TOP, POINT__TO__TOP_A_1, POINT__TO__TOP_A_2, TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_1, TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_2, TOP_B__TO__JUNCTIONS4_TOP_1, TOP_A_IDL, TOP_B_IDL };
6
7
8
type junctions4_junctions4__type = enum {POINTJunctions4_Junctions4, POINT__TO__JUNCTIONS4_TOP_1, JUNCTIONS4_TOP_IDL };
9
10
11
function POINT__To__TOP_A_1_Condition_Action (a_1: int) returns (a: int);
12
13
function POINT__To__TOP_A_1_Transition_Action (b_1: int) returns (b: int);
14
15
function POINT__To__TOP_A_2_Condition_Action (a_1: int) returns (a: int);
16
17
function POINT__To__TOP_A_2_Transition_Action (b_1: int) returns (b: int);
18
19
function TOP_A_en (idJunctions4_TOP_1: int; c_1: int; isInner: bool) returns (idJunctions4_TOP: int; c: int);
20
21
function TOP_B_en (idJunctions4_TOP_1: int; c_1: int; isInner: bool) returns (idJunctions4_TOP: int; c: int);
22
23
function Junctions4_Junctions4Junction1265__To__TOP_B_1_Condition_Action (a_1: int) returns (a: int);
24
25
function Junctions4_Junctions4Junction1265__To__TOP_B_1_Transition_Action (b_1: int) returns (b: int);
26
27
function Junctions4_Junctions4Junction1265__To__TOP_B_2_Condition_Action (a_1: int) returns (a: int);
28
29
function Junctions4_Junctions4Junction1265__To__TOP_B_2_Transition_Action (b_1: int) returns (b: int);
30
31
function TOP_A__To__Junctions4_Junctions4Junction1265_1_Condition_Action (a_1: int) returns (a: int);
32
33
function TOP_A_ex (c_1: int; idJunctions4_TOP_1: int; isInner: bool) returns (c: int; idJunctions4_TOP: int);
34
35
function TOP_A__To__Junctions4_Junctions4Junction1265_2_Condition_Action (a_1: int) returns (a: int);
36
37
function TOP_B_du (c_1: int) returns (c: int);
38
39
function Junctions4_TOP_en (idJunctions4_TOP_1: int; idJunctions4_Junctions4_1: int; x: int; a_1: int; b_1: int; c_1: int; isInner: bool) returns (idJunctions4_TOP: int; idJunctions4_Junctions4: int; a: int; b: int; c: int);
40
41
function TOP_B_ex (idJunctions4_TOP_1: int; isInner: bool) returns (idJunctions4_TOP: int);
42
43
function junctions4_top__POINTJunctions4_TOP_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
44
45
function junctions4_top__POINTJunctions4_TOP_unless (junctions4_top__restart_in: bool; idJunctions4_TOP_1: int; x: int) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
46
47
function junctions4_top__POINT__TO__TOP_A_1_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
48
49
function junctions4_top__POINT__TO__TOP_A_1_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
50
51
function junctions4_top__POINT__TO__TOP_A_2_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
52
53
function junctions4_top__POINT__TO__TOP_A_2_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
54
55
function junctions4_top__TOP_A_IDL_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
56
57
function junctions4_top__TOP_A_IDL_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
58
59
function junctions4_top__TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_1_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; x: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
60
61
function junctions4_top__TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_1_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
62
63
function junctions4_top__TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_2_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; x: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
64
65
function junctions4_top__TOP_A__TO__JUNCTIONS4_JUNCTIONS4JUNCTION1265_2_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
66
67
function junctions4_top__TOP_B_IDL_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
68
69
function junctions4_top__TOP_B_IDL_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
70
71
function junctions4_top__TOP_B__TO__JUNCTIONS4_TOP_1_handler_until (junctions4_top__restart_act: bool; idJunctions4_TOP_1: int; x: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (junctions4_top__restart_in: bool; junctions4_top__state_in: junctions4_top__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
72
73
function junctions4_top__TOP_B__TO__JUNCTIONS4_TOP_1_unless (junctions4_top__restart_in: bool) returns (junctions4_top__restart_act: bool; junctions4_top__state_act: junctions4_top__type);
74
75
node Junctions4_TOP_node (idJunctions4_TOP_1: int; x: int; a_1: int; b_1: int; c_1: int; idJunctions4_Junctions4_1: int) returns (idJunctions4_TOP: int; a: int; b: int; c: int; idJunctions4_Junctions4: int);
76
77
node junctions4_junctions4__JUNCTIONS4_TOP_IDL_handler_until (junctions4_junctions4__restart_act: bool; idJunctions4_Junctions4_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_TOP_1: int; x: int) returns (junctions4_junctions4__restart_in: bool; junctions4_junctions4__state_in: junctions4_junctions4__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
78
79
function junctions4_junctions4__JUNCTIONS4_TOP_IDL_unless (junctions4_junctions4__restart_in: bool) returns (junctions4_junctions4__restart_act: bool; junctions4_junctions4__state_act: junctions4_junctions4__type);
80
81
function junctions4_junctions4__POINTJunctions4_Junctions4_handler_until (junctions4_junctions4__restart_act: bool; idJunctions4_Junctions4_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_TOP_1: int) returns (junctions4_junctions4__restart_in: bool; junctions4_junctions4__state_in: junctions4_junctions4__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
82
83
function junctions4_junctions4__POINTJunctions4_Junctions4_unless (junctions4_junctions4__restart_in: bool; idJunctions4_Junctions4_1: int) returns (junctions4_junctions4__restart_act: bool; junctions4_junctions4__state_act: junctions4_junctions4__type);
84
85
function junctions4_junctions4__POINT__TO__JUNCTIONS4_TOP_1_handler_until (junctions4_junctions4__restart_act: bool; idJunctions4_Junctions4_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_TOP_1: int; x: int) returns (junctions4_junctions4__restart_in: bool; junctions4_junctions4__state_in: junctions4_junctions4__type; a_out: int; b_out: int; c_out: int; idJunctions4_Junctions4_out: int; idJunctions4_TOP_out: int);
86
87
function junctions4_junctions4__POINT__TO__JUNCTIONS4_TOP_1_unless (junctions4_junctions4__restart_in: bool) returns (junctions4_junctions4__restart_act: bool; junctions4_junctions4__state_act: junctions4_junctions4__type);
88
89
node Junctions4_Junctions4_node (idJunctions4_Junctions4_1: int; a_1: int; b_1: int; c_1: int; idJunctions4_TOP_1: int; x: int) returns (idJunctions4_Junctions4: int; a: int; b: int; c: int; idJunctions4_TOP: int);
90
91
node Junctions4Modified_Junctions4 (x: int) returns (a: int; b: int; c: int);
92
93
node Junctions4Modified (x_1_1: int) returns (a_1_1: int; b_2_1: int; c_3_1: int);
94
95
function Junctions4_TOP_ex (c_1: int; idJunctions4_TOP_1: int; idJunctions4_Junctions4_1: int; isInner: bool) returns (c: int; idJunctions4_TOP: int; idJunctions4_Junctions4: int);