Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Inner3 / Inner3.lusi @ 79ef5fc5

History | View | Annotate | Download (9.97 KB)

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

    
5
type inner3_a__type = enum {POINTInner3_A, POINT__TO__A_A1_1, INNER3_A__TO__INNER3_INNER3JUNCTION1086_1, A_A2_IDL, A_A3_IDL, A_A1_IDL };
6

    
7

    
8
type inner3_inner3__type = enum {POINTInner3_Inner3, POINT__TO__INNER3_A_1, INNER3_A_IDL };
9

    
10

    
11
function A_A1_ex (exA1cnt_1: int; idInner3_A_1: int; isInner: bool) returns (exA1cnt: int; idInner3_A: int);
12

    
13
function A_A2_ex (exA2cnt_1: int; idInner3_A_1: int; isInner: bool) returns (exA2cnt: int; idInner3_A: int);
14

    
15
function A_A3_ex (exA3cnt_1: int; idInner3_A_1: int; isInner: bool) returns (exA3cnt: int; idInner3_A: int);
16

    
17
function A_A1_du (duA1cnt_1: int) returns (duA1cnt: int);
18

    
19
function A_A2_du (duA2cnt_1: int) returns (duA2cnt: int);
20

    
21
function A_A3_du (duA3cnt_1: int) returns (duA3cnt: int);
22

    
23
function A_A1_en (idInner3_A_1: int; enA1cnt_1: int; isInner: bool) returns (idInner3_A: int; enA1cnt: int);
24

    
25
function A_A2_en (idInner3_A_1: int; enA2cnt_1: int; isInner: bool) returns (idInner3_A: int; enA2cnt: int);
26

    
27
function A_A3_en (idInner3_A_1: int; enA3cnt_1: int; isInner: bool) returns (idInner3_A: int; enA3cnt: int);
28

    
29
function Inner3_A_ex (exA2cnt_1: int; idInner3_A_1: int; exA3cnt_1: int; exA1cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; isInner: bool) returns (exA2cnt: int; idInner3_A: int; exA3cnt: int; exA1cnt: int; exAcnt: int; idInner3_Inner3: int);
30

    
31
function inner3_a__A_A1_IDL_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
32

    
33
function inner3_a__A_A1_IDL_unless (inner3_a__restart_in: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
34

    
35
function inner3_a__A_A2_IDL_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
36

    
37
function inner3_a__A_A2_IDL_unless (inner3_a__restart_in: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
38

    
39
function inner3_a__A_A3_IDL_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
40

    
41
function inner3_a__A_A3_IDL_unless (inner3_a__restart_in: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
42

    
43
function inner3_a__INNER3_A__TO__INNER3_INNER3JUNCTION1086_1_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; duAcnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
44

    
45
function inner3_a__INNER3_A__TO__INNER3_INNER3JUNCTION1086_1_unless (inner3_a__restart_in: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
46

    
47
function inner3_a__POINTInner3_A_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
48

    
49
function inner3_a__POINTInner3_A_unless (inner3_a__restart_in: bool; idInner3_A_1: int; E: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
50

    
51
function inner3_a__POINT__TO__A_A1_1_handler_until (inner3_a__restart_act: bool; idInner3_A_1: int; enA1cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner3_a__restart_in: bool; inner3_a__state_in: inner3_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
52

    
53
function inner3_a__POINT__TO__A_A1_1_unless (inner3_a__restart_in: bool) returns (inner3_a__restart_act: bool; inner3_a__state_act: inner3_a__type);
54

    
55
function Inner3_A_du (duAcnt_1: int) returns (duAcnt: int);
56

    
57
node Inner3_A_node (idInner3_A_1: int; enA1cnt_1: int; E: bool; duAcnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int; idInner3_Inner3_1: int; enA3cnt_1: int; enA2cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (idInner3_A: int; enA1cnt: int; exA1cnt: int; exA2cnt: int; exA3cnt: int; exAcnt: int; idInner3_Inner3: int; enA3cnt: int; enA2cnt: int; duA2cnt: int; duA3cnt: int; duA1cnt: int);
58

    
59
function Inner3_A_en (idInner3_A_1: int; idInner3_Inner3_1: int; enAcnt_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; isInner: bool) returns (idInner3_A: int; idInner3_Inner3: int; enAcnt: int; enA1cnt: int; enA2cnt: int; enA3cnt: int);
60

    
61
node inner3_inner3__INNER3_A_IDL_handler_until (inner3_inner3__restart_act: bool; idInner3_Inner3_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner3_A_1: int; duAcnt_1: int; E: bool; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int) returns (inner3_inner3__restart_in: bool; inner3_inner3__state_in: inner3_inner3__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
62

    
63
function inner3_inner3__INNER3_A_IDL_unless (inner3_inner3__restart_in: bool) returns (inner3_inner3__restart_act: bool; inner3_inner3__state_act: inner3_inner3__type);
64

    
65
function inner3_inner3__POINTInner3_Inner3_handler_until (inner3_inner3__restart_act: bool; idInner3_Inner3_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner3_A_1: int; duAcnt_1: int; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int) returns (inner3_inner3__restart_in: bool; inner3_inner3__state_in: inner3_inner3__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
66

    
67
function inner3_inner3__POINTInner3_Inner3_unless (inner3_inner3__restart_in: bool; idInner3_Inner3_1: int) returns (inner3_inner3__restart_act: bool; inner3_inner3__state_act: inner3_inner3__type);
68

    
69
function inner3_inner3__POINT__TO__INNER3_A_1_handler_until (inner3_inner3__restart_act: bool; idInner3_Inner3_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner3_A_1: int; duAcnt_1: int; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int) returns (inner3_inner3__restart_in: bool; inner3_inner3__state_in: inner3_inner3__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; exAcnt_out: int; idInner3_A_out: int; idInner3_Inner3_out: int);
70

    
71
function inner3_inner3__POINT__TO__INNER3_A_1_unless (inner3_inner3__restart_in: bool) returns (inner3_inner3__restart_act: bool; inner3_inner3__state_act: inner3_inner3__type);
72

    
73
node Inner3_Inner3_node (idInner3_Inner3_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner3_A_1: int; duAcnt_1: int; E: bool; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int; exAcnt_1: int) returns (idInner3_Inner3: int; enA1cnt: int; enA2cnt: int; enA3cnt: int; enAcnt: int; idInner3_A: int; duAcnt: int; duA1cnt: int; duA2cnt: int; duA3cnt: int; exA1cnt: int; exA2cnt: int; exA3cnt: int; exAcnt: int);
74

    
75
node Inner3_Inner3 (E: bool) returns (exAcnt: int; enAcnt: int; duAcnt: int; enA1cnt: int; duA1cnt: int; exA1cnt: int; enA2cnt: int; duA2cnt: int; exA2cnt: int; enA3cnt: int; duA3cnt: int; exA3cnt: int);
76

    
77
node Inner3 (E_1_1: real) returns (exAcnt_1_1: int; enAcnt_2_1: int; duAcnt_3_1: int; enA1cnt_4_1: int; duA1cnt_5_1: int; exA1cnt_6_1: int; enA2cnt_7_1: int; duA2cnt_8_1: int; exA2cnt_9_1: int; enA3cnt_10_1: int; duA3cnt_11_1: int; exA3cnt_12_1: int);
78