Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Inner2 / Inner2.lusi @ 79ef5fc5

History | View | Annotate | Download (7.35 KB)

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

    
5
type inner2_a__type = enum {POINTInner2_A, POINT__TO__A_A2_1, INNER2_A__TO__INNER2_A_1, INNER2_A__TO__A_A1_2, A_A1__TO__INNER2_A_1, A_A1_IDL, A_A2_IDL };
6

    
7

    
8
type inner2_inner2__type = enum {POINTInner2_Inner2, POINT__TO__INNER2_A_1, INNER2_A_IDL };
9

    
10

    
11
function A_A1_en (idInner2_A_1: int; x_1: int; isInner: bool) returns (idInner2_A: int; x: int);
12

    
13
function A_A2_en (idInner2_A_1: int; v_1: int; isInner: bool) returns (idInner2_A: int; v: int);
14

    
15
function POINT__To__A_A2_1_Condition_Action (v_1: int) returns (v: int);
16

    
17
function A_A1_ex (x_1: int; idInner2_A_1: int; isInner: bool) returns (x: int; idInner2_A: int);
18

    
19
function A_A2_ex (v_1: int; idInner2_A_1: int; isInner: bool) returns (v: int; idInner2_A: int);
20

    
21
function A_A1_du (x_1: int) returns (x: int);
22

    
23
function A_A1__To__Inner2_A_1_Condition_Action (z_1: int) returns (z: int);
24

    
25
function Inner2_A_en (idInner2_A_1: int; idInner2_Inner2_1: int; u_1: int; v_1: int; x_1: int; isInner: bool) returns (idInner2_A: int; idInner2_Inner2: int; u: int; v: int; x: int);
26

    
27
function A_A2_du (v_1: int) returns (v: int);
28

    
29
function Inner2_A__To__A_A1_2_Condition_Action (x_1: int) returns (x: int);
30

    
31
function Inner2_A_ex (x_1: int; idInner2_A_1: int; v_1: int; u_1: int; idInner2_Inner2_1: int; isInner: bool) returns (x: int; idInner2_A: int; v: int; u: int; idInner2_Inner2: int);
32

    
33
function Inner2_A__To__Inner2_A_1_Condition_Action (w_1: int) returns (w: int);
34

    
35
function inner2_a__A_A1_IDL_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
36

    
37
function inner2_a__A_A1_IDL_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
38

    
39
function inner2_a__A_A1__TO__INNER2_A_1_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
40

    
41
function inner2_a__A_A1__TO__INNER2_A_1_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
42

    
43
function inner2_a__A_A2_IDL_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
44

    
45
function inner2_a__A_A2_IDL_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
46

    
47
function inner2_a__INNER2_A__TO__A_A1_2_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
48

    
49
function inner2_a__INNER2_A__TO__A_A1_2_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
50

    
51
function inner2_a__INNER2_A__TO__INNER2_A_1_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
52

    
53
function inner2_a__INNER2_A__TO__INNER2_A_1_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
54

    
55
function inner2_a__POINTInner2_A_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
56

    
57
function inner2_a__POINTInner2_A_unless (inner2_a__restart_in: bool; idInner2_A_1: int; E: bool; u_1: int) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
58

    
59
function inner2_a__POINT__TO__A_A2_1_handler_until (inner2_a__restart_act: bool; idInner2_A_1: int; v_1: int; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (inner2_a__restart_in: bool; inner2_a__state_in: inner2_a__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
60

    
61
function inner2_a__POINT__TO__A_A2_1_unless (inner2_a__restart_in: bool) returns (inner2_a__restart_act: bool; inner2_a__state_act: inner2_a__type);
62

    
63
function Inner2_A_du (u_1: int) returns (u: int);
64

    
65
node Inner2_A_node (idInner2_A_1: int; v_1: int; E: bool; u_1: int; w_1: int; idInner2_Inner2_1: int; x_1: int; z_1: int) returns (idInner2_A: int; v: int; w: int; idInner2_Inner2: int; u: int; x: int; z: int);
66

    
67
node inner2_inner2__INNER2_A_IDL_handler_until (inner2_inner2__restart_act: bool; idInner2_Inner2_1: int; idInner2_A_1: int; u_1: int; v_1: int; x_1: int; E: bool; w_1: int; z_1: int) returns (inner2_inner2__restart_in: bool; inner2_inner2__state_in: inner2_inner2__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
68

    
69
function inner2_inner2__INNER2_A_IDL_unless (inner2_inner2__restart_in: bool) returns (inner2_inner2__restart_act: bool; inner2_inner2__state_act: inner2_inner2__type);
70

    
71
function inner2_inner2__POINTInner2_Inner2_handler_until (inner2_inner2__restart_act: bool; idInner2_Inner2_1: int; idInner2_A_1: int; u_1: int; v_1: int; x_1: int; w_1: int; z_1: int) returns (inner2_inner2__restart_in: bool; inner2_inner2__state_in: inner2_inner2__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
72

    
73
function inner2_inner2__POINTInner2_Inner2_unless (inner2_inner2__restart_in: bool; idInner2_Inner2_1: int) returns (inner2_inner2__restart_act: bool; inner2_inner2__state_act: inner2_inner2__type);
74

    
75
function inner2_inner2__POINT__TO__INNER2_A_1_handler_until (inner2_inner2__restart_act: bool; idInner2_Inner2_1: int; idInner2_A_1: int; u_1: int; v_1: int; x_1: int; w_1: int; z_1: int) returns (inner2_inner2__restart_in: bool; inner2_inner2__state_in: inner2_inner2__type; idInner2_A_out: int; idInner2_Inner2_out: int; u_out: int; v_out: int; w_out: int; x_out: int; z_out: int);
76

    
77
function inner2_inner2__POINT__TO__INNER2_A_1_unless (inner2_inner2__restart_in: bool) returns (inner2_inner2__restart_act: bool; inner2_inner2__state_act: inner2_inner2__type);
78

    
79
node Inner2_Inner2_node (idInner2_Inner2_1: int; idInner2_A_1: int; u_1: int; v_1: int; x_1: int; E: bool; w_1: int; z_1: int) returns (idInner2_Inner2: int; idInner2_A: int; u: int; v: int; x: int; w: int; z: int);
80

    
81
node Inner2_Inner2 (E: bool) returns (u: int; v: int; w: int; z: int; x: int);
82

    
83
node Inner2 (E_1_1: real) returns (u_1_1: int; v_2_1: int; w_3_1: int; z_4_1: int; x_5_1: int);
84