Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super2 / Super2.lusi @ 79ef5fc5

History | View | Annotate | Download (7.67 KB)

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

    
5
type super2_c__type = enum {POINTSuper2_C, POINT__TO__C_C1_1, C_C1__TO__SUPER2_B_1, C_C1_IDL };
6

    
7

    
8
type super2_super2__type = enum {POINTSuper2_Super2, POINT__TO__SUPER2_A_1, SUPER2_A__TO__SUPER2_C_1, SUPER2_A__TO__C_C1_2, SUPER2_B__TO__SUPER2_A_1, SUPER2_C__TO__SUPER2_B_1, SUPER2_A_IDL, SUPER2_B_IDL, SUPER2_C_IDL };
9

    
10

    
11
function C_C1_ex (idSuper2_C_1: int; isInner: bool) returns (idSuper2_C: int);
12

    
13
function Super2_B_en (idSuper2_Super2_1: int; s_1: real; isInner: bool) returns (idSuper2_Super2: int; s: real);
14

    
15
function Super2_C_ex (idSuper2_C_1: int; idSuper2_Super2_1: int; isInner: bool) returns (idSuper2_C: int; idSuper2_Super2: int);
16

    
17
function C_C1_en (idSuper2_C_1: int; s_1: real; isInner: bool) returns (idSuper2_C: int; s: real);
18

    
19
function super2_c__C_C1_IDL_handler_until (super2_c__restart_act: bool; idSuper2_C_1: int; s_1: real; idSuper2_Super2_1: int) returns (super2_c__restart_in: bool; super2_c__state_in: super2_c__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
20

    
21
function super2_c__C_C1_IDL_unless (super2_c__restart_in: bool) returns (super2_c__restart_act: bool; super2_c__state_act: super2_c__type);
22

    
23
function super2_c__C_C1__TO__SUPER2_B_1_handler_until (super2_c__restart_act: bool; idSuper2_C_1: int; s_1: real; idSuper2_Super2_1: int) returns (super2_c__restart_in: bool; super2_c__state_in: super2_c__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
24

    
25
function super2_c__C_C1__TO__SUPER2_B_1_unless (super2_c__restart_in: bool) returns (super2_c__restart_act: bool; super2_c__state_act: super2_c__type);
26

    
27
function super2_c__POINTSuper2_C_handler_until (super2_c__restart_act: bool; idSuper2_C_1: int; s_1: real; idSuper2_Super2_1: int) returns (super2_c__restart_in: bool; super2_c__state_in: super2_c__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
28

    
29
function super2_c__POINTSuper2_C_unless (super2_c__restart_in: bool; idSuper2_C_1: int; E: bool) returns (super2_c__restart_act: bool; super2_c__state_act: super2_c__type);
30

    
31
function super2_c__POINT__TO__C_C1_1_handler_until (super2_c__restart_act: bool; idSuper2_C_1: int; s_1: real; idSuper2_Super2_1: int) returns (super2_c__restart_in: bool; super2_c__state_in: super2_c__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
32

    
33
function super2_c__POINT__TO__C_C1_1_unless (super2_c__restart_in: bool) returns (super2_c__restart_act: bool; super2_c__state_act: super2_c__type);
34

    
35
function Super2_A_en (idSuper2_Super2_1: int; s_1: real; isInner: bool) returns (idSuper2_Super2: int; s: real);
36

    
37
function Super2_A_ex (idSuper2_Super2_1: int; isInner: bool) returns (idSuper2_Super2: int);
38

    
39
function Super2_C_en (idSuper2_C_1: int; idSuper2_Super2_1: int; s_1: real; isInner: bool) returns (idSuper2_C: int; idSuper2_Super2: int; s: real);
40

    
41
function Super2_B_ex (idSuper2_Super2_1: int; isInner: bool) returns (idSuper2_Super2: int);
42

    
43
node Super2_C_node (idSuper2_C_1: int; s_1: real; E: bool; idSuper2_Super2_1: int) returns (idSuper2_C: int; s: real; idSuper2_Super2: int);
44

    
45
function super2_super2__POINTSuper2_Super2_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
46

    
47
function super2_super2__POINTSuper2_Super2_unless (super2_super2__restart_in: bool; idSuper2_Super2_1: int; F: bool; E: bool; G: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
48

    
49
function super2_super2__POINT__TO__SUPER2_A_1_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
50

    
51
function super2_super2__POINT__TO__SUPER2_A_1_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
52

    
53
function super2_super2__SUPER2_A_IDL_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
54

    
55
function super2_super2__SUPER2_A_IDL_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
56

    
57
function super2_super2__SUPER2_A__TO__C_C1_2_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
58

    
59
function super2_super2__SUPER2_A__TO__C_C1_2_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
60

    
61
function super2_super2__SUPER2_A__TO__SUPER2_C_1_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
62

    
63
function super2_super2__SUPER2_A__TO__SUPER2_C_1_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
64

    
65
function super2_super2__SUPER2_B_IDL_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
66

    
67
function super2_super2__SUPER2_B_IDL_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
68

    
69
function super2_super2__SUPER2_B__TO__SUPER2_A_1_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
70

    
71
function super2_super2__SUPER2_B__TO__SUPER2_A_1_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
72

    
73
node super2_super2__SUPER2_C_IDL_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int; E: bool) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
74

    
75
function super2_super2__SUPER2_C_IDL_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
76

    
77
function super2_super2__SUPER2_C__TO__SUPER2_B_1_handler_until (super2_super2__restart_act: bool; idSuper2_Super2_1: int; s_1: real; idSuper2_C_1: int) returns (super2_super2__restart_in: bool; super2_super2__state_in: super2_super2__type; idSuper2_C_out: int; idSuper2_Super2_out: int; s_out: real);
78

    
79
function super2_super2__SUPER2_C__TO__SUPER2_B_1_unless (super2_super2__restart_in: bool) returns (super2_super2__restart_act: bool; super2_super2__state_act: super2_super2__type);
80

    
81
node Super2_Super2_node (idSuper2_Super2_1: int; s_1: real; F: bool; idSuper2_C_1: int; E: bool; G: bool) returns (idSuper2_Super2: int; s: real; idSuper2_C: int);
82

    
83
node Super2_Super2 (x: int; E: bool; F: bool; G: bool) returns (s: real);
84

    
85
node Super2 (x_1_1: int; E_1_1: real; F_1_1: real; G_1_1: real) returns (state_1_1: real);
86