Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super3 / Super3.lusi @ 79ef5fc5

History | View | Annotate | Download (10.9 KB)

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

    
5
type super3_b__type = enum {POINTSuper3_B, POINT__TO__B_B1_1, B_B2__TO__SUPER3_B_1, B_B1__TO__SUPER3_A_1, B_B1__TO__SUPER3_SUPER3JUNCTION1976_2, B_B1__TO__SUPER3_SUPER3JUNCTION1977_3, B_B2_IDL, B_B1_IDL };
6

    
7

    
8
type super3_super3__type = enum {POINTSuper3_Super3, POINT__TO__SUPER3_A_1, SUPER3_A__TO__SUPER3_SUPER3JUNCTION1987_1, SUPER3_C__TO__SUPER3_A_1, SUPER3_B__TO__SUPER3_C_1, SUPER3_D__TO__SUPER3_B_1, SUPER3_D__TO__SUPER3_A_2, SUPER3_A_IDL, SUPER3_C_IDL, SUPER3_B_IDL, SUPER3_D_IDL };
9

    
10

    
11
function B_B1_ex (idSuper3_B_1: int; isInner: bool) returns (idSuper3_B: int);
12

    
13
function B_B2_ex (idSuper3_B_1: int; isInner: bool) returns (idSuper3_B: int);
14

    
15
function B_B1_en (idSuper3_B_1: int; s_1: real; isInner: bool) returns (idSuper3_B: int; s: real);
16

    
17
function B_B2_en (idSuper3_B_1: int; s_1: real; isInner: bool) returns (idSuper3_B: int; s: real);
18

    
19
function Super3_A_en (idSuper3_Super3_1: int; s_1: real; isInner: bool) returns (idSuper3_Super3: int; s: real);
20

    
21
function Super3_B_ex (idSuper3_B_1: int; idSuper3_Super3_1: int; isInner: bool) returns (idSuper3_B: int; idSuper3_Super3: int);
22

    
23
function Super3_D_en (idSuper3_Super3_1: int; s_1: real; isInner: bool) returns (idSuper3_Super3: int; s: real);
24

    
25
function Super3_C_en (idSuper3_Super3_1: int; s_1: real; isInner: bool) returns (idSuper3_Super3: int; s: real);
26

    
27
function Super3_B_en (idSuper3_B_1: int; idSuper3_Super3_1: int; s_1: real; isInner: bool) returns (idSuper3_B: int; idSuper3_Super3: int; s: real);
28

    
29
function super3_b__B_B1_IDL_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
30

    
31
function super3_b__B_B1_IDL_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
32

    
33
function super3_b__B_B1__TO__SUPER3_A_1_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
34

    
35
function super3_b__B_B1__TO__SUPER3_A_1_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
36

    
37
function super3_b__B_B1__TO__SUPER3_SUPER3JUNCTION1976_2_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; x: int; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
38

    
39
function super3_b__B_B1__TO__SUPER3_SUPER3JUNCTION1976_2_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
40

    
41
function super3_b__B_B1__TO__SUPER3_SUPER3JUNCTION1977_3_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; x: int; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
42

    
43
function super3_b__B_B1__TO__SUPER3_SUPER3JUNCTION1977_3_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
44

    
45
function super3_b__B_B2_IDL_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
46

    
47
function super3_b__B_B2_IDL_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
48

    
49
function super3_b__B_B2__TO__SUPER3_B_1_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
50

    
51
function super3_b__B_B2__TO__SUPER3_B_1_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
52

    
53
function super3_b__POINTSuper3_B_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
54

    
55
function super3_b__POINTSuper3_B_unless (super3_b__restart_in: bool; idSuper3_B_1: int; E: bool; x: int) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
56

    
57
function super3_b__POINT__TO__B_B1_1_handler_until (super3_b__restart_act: bool; idSuper3_B_1: int; s_1: real; idSuper3_Super3_1: int) returns (super3_b__restart_in: bool; super3_b__state_in: super3_b__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
58

    
59
function super3_b__POINT__TO__B_B1_1_unless (super3_b__restart_in: bool) returns (super3_b__restart_act: bool; super3_b__state_act: super3_b__type);
60

    
61
function Super3_A_ex (idSuper3_Super3_1: int; isInner: bool) returns (idSuper3_Super3: int);
62

    
63
node Super3_B_node (idSuper3_B_1: int; s_1: real; E: bool; x: int; idSuper3_Super3_1: int) returns (idSuper3_B: int; s: real; idSuper3_Super3: int);
64

    
65
function Super3_C_ex (idSuper3_Super3_1: int; isInner: bool) returns (idSuper3_Super3: int);
66

    
67
function Super3_D_ex (idSuper3_Super3_1: int; isInner: bool) returns (idSuper3_Super3: int);
68

    
69
function super3_super3__POINTSuper3_Super3_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
70

    
71
function super3_super3__POINTSuper3_Super3_unless (super3_super3__restart_in: bool; idSuper3_Super3_1: int; E: bool; x: int) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
72

    
73
function super3_super3__POINT__TO__SUPER3_A_1_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
74

    
75
function super3_super3__POINT__TO__SUPER3_A_1_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
76

    
77
function super3_super3__SUPER3_A_IDL_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
78

    
79
function super3_super3__SUPER3_A_IDL_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
80

    
81
function super3_super3__SUPER3_A__TO__SUPER3_SUPER3JUNCTION1987_1_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; x: int; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
82

    
83
function super3_super3__SUPER3_A__TO__SUPER3_SUPER3JUNCTION1987_1_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
84

    
85
node super3_super3__SUPER3_B_IDL_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; E: bool; x: int; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
86

    
87
function super3_super3__SUPER3_B_IDL_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
88

    
89
function super3_super3__SUPER3_B__TO__SUPER3_C_1_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
90

    
91
function super3_super3__SUPER3_B__TO__SUPER3_C_1_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
92

    
93
function super3_super3__SUPER3_C_IDL_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
94

    
95
function super3_super3__SUPER3_C_IDL_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
96

    
97
function super3_super3__SUPER3_C__TO__SUPER3_A_1_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
98

    
99
function super3_super3__SUPER3_C__TO__SUPER3_A_1_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
100

    
101
function super3_super3__SUPER3_D_IDL_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
102

    
103
function super3_super3__SUPER3_D_IDL_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
104

    
105
function super3_super3__SUPER3_D__TO__SUPER3_A_2_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
106

    
107
function super3_super3__SUPER3_D__TO__SUPER3_A_2_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
108

    
109
function super3_super3__SUPER3_D__TO__SUPER3_B_1_handler_until (super3_super3__restart_act: bool; idSuper3_Super3_1: int; s_1: real; idSuper3_B_1: int) returns (super3_super3__restart_in: bool; super3_super3__state_in: super3_super3__type; idSuper3_B_out: int; idSuper3_Super3_out: int; s_out: real);
110

    
111
function super3_super3__SUPER3_D__TO__SUPER3_B_1_unless (super3_super3__restart_in: bool) returns (super3_super3__restart_act: bool; super3_super3__state_act: super3_super3__type);
112

    
113
node Super3_Super3_node (idSuper3_Super3_1: int; s_1: real; E: bool; x: int; idSuper3_B_1: int) returns (idSuper3_Super3: int; s: real; idSuper3_B: int);
114

    
115
node Super3_Super3 (x: int; E: bool) returns (s: real);
116

    
117
node Super3 (x_1_1: int; E_1_1: real) returns (state_1_1: real);
118