Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super12Modif / Super12Modif.lusi @ 5600dad4

History | View | Annotate | Download (16.4 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Super12Modif.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type super12_b__type = enum {POINTSuper12_B, POINT__TO__B_B0_1, B_B0__TO__B_B1_1, B_B1__TO__A_A0_1, B_B1__TO__B_B0_2, B_B0_IDL, B_B1_IDL };
6
7
8
type super12_a__type = enum {POINTSuper12_A, POINT__TO__A_A0_1, A_A1__TO__A_A0_1, A_A0__TO__B_B1_1, A_A0__TO__A_A1_2, A_A1_IDL, A_A0_IDL };
9
10
11
type super12_super12__type = enum {POINTSuper12_Super12, POINT__TO__SUPER12_A_1, SUPER12_A__TO__SUPER12_B_1, SUPER12_A_IDL, SUPER12_B_IDL };
12
13
14
function A_A0_ex (exA0_1: int; idSuper12_A_1: int; isInner: bool) returns (exA0: int; idSuper12_A: int);
15
16
function A_A1_ex (idSuper12_A_1: int; isInner: bool) returns (idSuper12_A: int);
17
18
function B_B0_en (idSuper12_B_1: int; isInner: bool) returns (idSuper12_B: int);
19
20
function B_B1_en (idSuper12_B_1: int; enB1_1: int; isInner: bool) returns (idSuper12_B: int; enB1: int);
21
22
function A_A0_en (idSuper12_A_1: int; enA0_1: int; isInner: bool) returns (idSuper12_A: int; enA0: int);
23
24
function A_A1_en (idSuper12_A_1: int; isInner: bool) returns (idSuper12_A: int);
25
26
function B_B0_ex (idSuper12_B_1: int; isInner: bool) returns (idSuper12_B: int);
27
28
function B_B1_ex (exB1_1: int; idSuper12_B_1: int; isInner: bool) returns (exB1: int; idSuper12_B: int);
29
30
function A_A0_du (durA0_1: int) returns (durA0: int);
31
32
function Super12_A_ex (idSuper12_A_1: int; exA0_1: int; exA_1: int; idSuper12_Super12_1: int; isInner: bool) returns (idSuper12_A: int; exA0: int; exA: int; idSuper12_Super12: int);
33
34
function Super12_B_en (idSuper12_B_1: int; idSuper12_Super12_1: int; enB_1: int; enB1_1: int; isInner: bool) returns (idSuper12_B: int; idSuper12_Super12: int; enB: int; enB1: int);
35
36
function B_B1_du (durB1_1: int) returns (durB1: int);
37
38
function Super12_A_en (idSuper12_A_1: int; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; isInner: bool) returns (idSuper12_A: int; idSuper12_Super12: int; enA: int; enA0: int);
39
40
function Super12_B_ex (idSuper12_B_1: int; exB1_1: int; exB_1: int; idSuper12_Super12_1: int; isInner: bool) returns (idSuper12_B: int; exB1: int; exB: int; idSuper12_Super12: int);
41
42
function super12_a__A_A0_IDL_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
43
44
function super12_a__A_A0_IDL_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
45
46
function super12_a__A_A0__TO__A_A1_2_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
47
48
function super12_a__A_A0__TO__A_A1_2_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
49
50
function super12_a__A_A0__TO__B_B1_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
51
52
function super12_a__A_A0__TO__B_B1_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
53
54
function super12_a__A_A1_IDL_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
55
56
function super12_a__A_A1_IDL_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
57
58
function super12_a__A_A1__TO__A_A0_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
59
60
function super12_a__A_A1__TO__A_A0_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
61
62
function super12_a__POINTSuper12_A_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
63
64
function super12_a__POINTSuper12_A_unless (super12_a__restart_in: bool; idSuper12_A_1: int; F: bool; E: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
65
66
function super12_a__POINT__TO__A_A0_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
67
68
function super12_a__POINT__TO__A_A0_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
69
70
function super12_b__B_B0_IDL_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
71
72
function super12_b__B_B0_IDL_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
73
74
function super12_b__B_B0__TO__B_B1_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
75
76
function super12_b__B_B0__TO__B_B1_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
77
78
function super12_b__B_B1_IDL_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
79
80
function super12_b__B_B1_IDL_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
81
82
function super12_b__B_B1__TO__A_A0_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
83
84
function super12_b__B_B1__TO__A_A0_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
85
86
function super12_b__B_B1__TO__B_B0_2_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
87
88
function super12_b__B_B1__TO__B_B0_2_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
89
90
function super12_b__POINTSuper12_B_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
91
92
function super12_b__POINTSuper12_B_unless (super12_b__restart_in: bool; idSuper12_B_1: int; E: bool; F: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
93
94
function super12_b__POINT__TO__B_B0_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
95
96
function super12_b__POINT__TO__B_B0_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
97
98
function Super12_A_du (durA_1: int) returns (durA: int);
99
100
node Super12_A_node (idSuper12_A_1: int; enA0_1: int; F: bool; E: bool; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (idSuper12_A: int; enA0: int; exA: int; exA0: int; idSuper12_Super12: int; idSuper12_B: int; enB: int; enB1: int; durA0: int);
101
102
function Super12_B_du (durB_1: int) returns (durB: int);
103
104
node Super12_B_node (idSuper12_B_1: int; E: bool; enB1_1: int; F: bool; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (idSuper12_B: int; enB1: int; exB: int; exB1: int; idSuper12_Super12: int; idSuper12_A: int; enA: int; enA0: int; durB1: int);
105
106
function super12_super12__POINTSuper12_Super12_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
107
108
function super12_super12__POINTSuper12_Super12_unless (super12_super12__restart_in: bool; idSuper12_Super12_1: int; F: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
109
110
function super12_super12__POINT__TO__SUPER12_A_1_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
111
112
function super12_super12__POINT__TO__SUPER12_A_1_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
113
114
node super12_super12__SUPER12_A_IDL_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
115
116
function super12_super12__SUPER12_A_IDL_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
117
118
function super12_super12__SUPER12_A__TO__SUPER12_B_1_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
119
120
function super12_super12__SUPER12_A__TO__SUPER12_B_1_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
121
122
node super12_super12__SUPER12_B_IDL_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
123
124
function super12_super12__SUPER12_B_IDL_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
125
126
node Super12_Super12_node (idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (idSuper12_Super12: int; enA: int; enA0: int; idSuper12_A: int; exA: int; exA0: int; enB: int; enB1: int; idSuper12_B: int; durA: int; durA0: int; durB: int; durB1: int; exB: int; exB1: int);
127
128
node Super12Modif_Super12 (E: bool; F: bool) returns (durA: int; durA0: int; durB: int; durB1: int; enA: int; enA0: int; enB: int; enB1: int; exA: int; exA0: int; exB: int; exB1: int);
129
130
node Super12Modif (E_1_1: real; F_1_1: real) returns (duA_1_1: int; durA0_2_1: int; durB_3_1: int; durB1_4_1: int; enA_5_1: int; enA0_6_1: int; enB_7_1: int; enB1_8_1: int; exA_9_1: int; exA0_10_1: int; exB_11_1: int; exB1_12_1: int);