Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions2 / Junctions2.lusi @ 79ef5fc5

History | View | Annotate | Download (7.55 KB)

1
(* Generated Lustre Interface file from Junctions2.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 junctions2_junctions2__type = enum {POINTJunctions2_Junctions2, POINT__TO__JUNCTIONS2_A_1, JUNCTIONS2_A__TO__JUNCTIONS2_JUNCTIONS2JUNCTION1209_1, JUNCTIONS2_B__TO__JUNCTIONS2_C_1, JUNCTIONS2_C__TO__JUNCTIONS2_D_1, JUNCTIONS2_D__TO__JUNCTIONS2_A_1, JUNCTIONS2_A_IDL, JUNCTIONS2_B_IDL, JUNCTIONS2_C_IDL, JUNCTIONS2_D_IDL };
6

    
7

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

    
10
function Junctions2_A_ex (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
11

    
12
function Junctions2_B_en (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
13

    
14
function Junctions2_C_en (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
15

    
16
function Junctions2_D_en (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
17

    
18
function Junctions2_Junctions2Junction1209__To__Junctions2_B_2_Condition_Action (y_1: int) returns (y: int);
19

    
20
function Junctions2_Junctions2Junction1209__To__Junctions2_Junctions2Junction1210_1_Condition_Action (y_1: int) returns (y: int);
21

    
22
function Junctions2_Junctions2Junction1210__To__Junctions2_C_2_Condition_Action (y_1: int) returns (y: int);
23

    
24
function Junctions2_Junctions2Junction1210__To__Junctions2_D_1_Condition_Action (y_1: int) returns (y: int);
25

    
26
function Junctions2_B_ex (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
27

    
28
function Junctions2_C_ex (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
29

    
30
function Junctions2_A_en (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
31

    
32
function Junctions2_D_ex (idJunctions2_Junctions2_1: int; isInner: bool) returns (idJunctions2_Junctions2: int);
33

    
34
function junctions2_junctions2__JUNCTIONS2_A_IDL_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
35

    
36
function junctions2_junctions2__JUNCTIONS2_A_IDL_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
37

    
38
function junctions2_junctions2__JUNCTIONS2_A__TO__JUNCTIONS2_JUNCTIONS2JUNCTION1209_1_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; x: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
39

    
40
function junctions2_junctions2__JUNCTIONS2_A__TO__JUNCTIONS2_JUNCTIONS2JUNCTION1209_1_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
41

    
42
function junctions2_junctions2__JUNCTIONS2_B_IDL_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
43

    
44
function junctions2_junctions2__JUNCTIONS2_B_IDL_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
45

    
46
function junctions2_junctions2__JUNCTIONS2_B__TO__JUNCTIONS2_C_1_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
47

    
48
function junctions2_junctions2__JUNCTIONS2_B__TO__JUNCTIONS2_C_1_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
49

    
50
function junctions2_junctions2__JUNCTIONS2_C_IDL_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
51

    
52
function junctions2_junctions2__JUNCTIONS2_C_IDL_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
53

    
54
function junctions2_junctions2__JUNCTIONS2_C__TO__JUNCTIONS2_D_1_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
55

    
56
function junctions2_junctions2__JUNCTIONS2_C__TO__JUNCTIONS2_D_1_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
57

    
58
function junctions2_junctions2__JUNCTIONS2_D_IDL_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
59

    
60
function junctions2_junctions2__JUNCTIONS2_D_IDL_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
61

    
62
function junctions2_junctions2__JUNCTIONS2_D__TO__JUNCTIONS2_A_1_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
63

    
64
function junctions2_junctions2__JUNCTIONS2_D__TO__JUNCTIONS2_A_1_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
65

    
66
function junctions2_junctions2__POINTJunctions2_Junctions2_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
67

    
68
function junctions2_junctions2__POINTJunctions2_Junctions2_unless (junctions2_junctions2__restart_in: bool; idJunctions2_Junctions2_1: int; x: int) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
69

    
70
function junctions2_junctions2__POINT__TO__JUNCTIONS2_A_1_handler_until (junctions2_junctions2__restart_act: bool; idJunctions2_Junctions2_1: int; y_1: int) returns (junctions2_junctions2__restart_in: bool; junctions2_junctions2__state_in: junctions2_junctions2__type; idJunctions2_Junctions2_out: int; y_out: int);
71

    
72
function junctions2_junctions2__POINT__TO__JUNCTIONS2_A_1_unless (junctions2_junctions2__restart_in: bool) returns (junctions2_junctions2__restart_act: bool; junctions2_junctions2__state_act: junctions2_junctions2__type);
73

    
74
node Junctions2_Junctions2_node (idJunctions2_Junctions2_1: int; x: int; y_1: int) returns (idJunctions2_Junctions2: int; y: int);
75

    
76
node Junctions2_Junctions2 (x: int) returns (y: int);
77

    
78
node Junctions2 (In1_1_1: int) returns (y_1_1: int);
79