Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Arrays1 / Arrays1.lusi @ 79ef5fc5

History | View | Annotate | Download (5.4 KB)

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

    
5
type arrays1_arrays1__type = enum {POINTArrays1_Arrays1, POINT__TO__ARRAYS1_A_1, ARRAYS1_A__TO__ARRAYS1_B_1, ARRAYS1_B__TO__ARRAYS1_C_1, ARRAYS1_C__TO__ARRAYS1_A_1, ARRAYS1_A_IDL, ARRAYS1_B_IDL, ARRAYS1_C_IDL };
6

    
7

    
8
function Arrays1_A_ex (idArrays1_Arrays1_1: int; isInner: bool) returns (idArrays1_Arrays1: int);
9

    
10
function Arrays1_B_en (idArrays1_Arrays1_1: int; x_2_1: int; isInner: bool) returns (idArrays1_Arrays1: int; x_2: int);
11

    
12
function Arrays1_B_ex (idArrays1_Arrays1_1: int; isInner: bool) returns (idArrays1_Arrays1: int);
13

    
14
function Arrays1_C_en (idArrays1_Arrays1_1: int; x_3_1: int; isInner: bool) returns (idArrays1_Arrays1: int; x_3: int);
15

    
16
function Arrays1_A_en (idArrays1_Arrays1_1: int; x_1_1: int; isInner: bool) returns (idArrays1_Arrays1: int; x_1: int);
17

    
18
function Arrays1_C_ex (idArrays1_Arrays1_1: int; isInner: bool) returns (idArrays1_Arrays1: int);
19

    
20
function arrays1_arrays1__ARRAYS1_A_IDL_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
21

    
22
function arrays1_arrays1__ARRAYS1_A_IDL_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
23

    
24
function arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
25

    
26
function arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
27

    
28
function arrays1_arrays1__ARRAYS1_B_IDL_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
29

    
30
function arrays1_arrays1__ARRAYS1_B_IDL_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
31

    
32
function arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
33

    
34
function arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
35

    
36
function arrays1_arrays1__ARRAYS1_C_IDL_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
37

    
38
function arrays1_arrays1__ARRAYS1_C_IDL_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
39

    
40
function arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
41

    
42
function arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
43

    
44
function arrays1_arrays1__POINTArrays1_Arrays1_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
45

    
46
function arrays1_arrays1__POINTArrays1_Arrays1_unless (arrays1_arrays1__restart_in: bool; idArrays1_Arrays1_1: int; E: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
47

    
48
function arrays1_arrays1__POINT__TO__ARRAYS1_A_1_handler_until (arrays1_arrays1__restart_act: bool; idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int);
49

    
50
function arrays1_arrays1__POINT__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in: bool) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type);
51

    
52
node Arrays1_Arrays1_node (idArrays1_Arrays1_1: int; x_1_1: int; E: bool; x_2_1: int; x_3_1: int) returns (idArrays1_Arrays1: int; x_1: int; x_2: int; x_3: int);
53

    
54
node Arrays1_Arrays1 (E: bool) returns (x_1: int; x_2: int; x_3: int);
55

    
56
node Arrays1 (E_1_1: real) returns (x1_1_1: int; x2_2_1: int; x3_3_1: int);
57