Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Arrays2 / Arrays2.lusi @ 79ef5fc5

History | View | Annotate | Download (6.6 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Arrays2.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:32 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type arrays2_arrays2__type = enum {POINTArrays2_Arrays2, POINT__TO__ARRAYS2_A_1, ARRAYS2_A__TO__ARRAYS2_B_1, ARRAYS2_B__TO__ARRAYS2_C_1, ARRAYS2_C__TO__ARRAYS2_A_1, ARRAYS2_A_IDL, ARRAYS2_B_IDL, ARRAYS2_C_IDL };
6
7
8
function Arrays2_A_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);
9
10
function Arrays2_B_en (idArrays2_Arrays2_1: int; x_1_2_1: real; x_2_2_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_2: real; x_2_2: real);
11
12
function Arrays2_B_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);
13
14
function Arrays2_C_en (idArrays2_Arrays2_1: int; x_1_3_1: real; x_2_3_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_3: real; x_2_3: real);
15
16
function Arrays2_A_en (idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_1: real; x_2_1: real);
17
18
function Arrays2_C_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);
19
20
function arrays2_arrays2__ARRAYS2_A_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
21
22
function arrays2_arrays2__ARRAYS2_A_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
23
24
function arrays2_arrays2__ARRAYS2_A__TO__ARRAYS2_B_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
25
26
function arrays2_arrays2__ARRAYS2_A__TO__ARRAYS2_B_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
27
28
function arrays2_arrays2__ARRAYS2_B_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
29
30
function arrays2_arrays2__ARRAYS2_B_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
31
32
function arrays2_arrays2__ARRAYS2_B__TO__ARRAYS2_C_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
33
34
function arrays2_arrays2__ARRAYS2_B__TO__ARRAYS2_C_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
35
36
function arrays2_arrays2__ARRAYS2_C_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
37
38
function arrays2_arrays2__ARRAYS2_C_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
39
40
function arrays2_arrays2__ARRAYS2_C__TO__ARRAYS2_A_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
41
42
function arrays2_arrays2__ARRAYS2_C__TO__ARRAYS2_A_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
43
44
function arrays2_arrays2__POINTArrays2_Arrays2_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
45
46
function arrays2_arrays2__POINTArrays2_Arrays2_unless (arrays2_arrays2__restart_in: bool; idArrays2_Arrays2_1: int; E: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
47
48
function arrays2_arrays2__POINT__TO__ARRAYS2_A_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);
49
50
function arrays2_arrays2__POINT__TO__ARRAYS2_A_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);
51
52
node Arrays2_Arrays2_node (idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; E: bool; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (idArrays2_Arrays2: int; x_1_1: real; x_2_1: real; x_1_2: real; x_2_2: real; x_1_3: real; x_2_3: real);
53
54
node Arrays2_Arrays2 (E: bool) returns (x_1_1: real; x_1_2: real; x_1_3: real; x_2_1: real; x_2_2: real; x_2_3: real);
55
56
node Arrays2 (In1_1_1: real) returns (Out1_1_1: real; Out1_1_2: real; Out1_1_3: real; Out1_1_4: real; Out1_1_5: real; Out1_1_6: real);