Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super1 / Super1.lusi @ 79ef5fc5

History | View | Annotate | Download (9.78 KB)

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

    
5
type super1_c__type = enum {POINTSuper1_C, POINT__TO__C_C1_1, C_C1__TO__SUPER1_B_1, C_C1__TO__C_C2_2, C_C2__TO__SUPER1_SUPER1JUNCTION1852_1, C_C2__TO__C_C1_2, C_C1_IDL, C_C2_IDL };
6

    
7

    
8
type super1_super1__type = enum {POINTSuper1_Super1, POINT__TO__SUPER1_A_1, SUPER1_A__TO__SUPER1_SUPER1JUNCTION1851_1, SUPER1_B__TO__C_C2_1, SUPER1_D__TO__SUPER1_A_1, SUPER1_A_IDL, SUPER1_B_IDL, SUPER1_C_IDL, SUPER1_D_IDL };
9

    
10

    
11
function C_C1_ex (idSuper1_C_1: int; isInner: bool) returns (idSuper1_C: int);
12

    
13
function C_C2_ex (idSuper1_C_1: int; isInner: bool) returns (idSuper1_C: int);
14

    
15
function C_C2_en (idSuper1_C_1: int; s_1: int; isInner: bool) returns (idSuper1_C: int; s: int);
16

    
17
function Super1_B_en (idSuper1_Super1_1: int; s_1: int; isInner: bool) returns (idSuper1_Super1: int; s: int);
18

    
19
function Super1_C_ex (idSuper1_C_1: int; idSuper1_Super1_1: int; isInner: bool) returns (idSuper1_C: int; idSuper1_Super1: int);
20

    
21
function C_C1_en (idSuper1_C_1: int; s_1: int; isInner: bool) returns (idSuper1_C: int; s: int);
22

    
23
function Super1_A_en (idSuper1_Super1_1: int; s_1: int; isInner: bool) returns (idSuper1_Super1: int; s: int);
24

    
25
function Super1_D_en (idSuper1_Super1_1: int; s_1: int; isInner: bool) returns (idSuper1_Super1: int; s: int);
26

    
27
function super1_c__C_C1_IDL_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
28

    
29
function super1_c__C_C1_IDL_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
30

    
31
function super1_c__C_C1__TO__C_C2_2_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
32

    
33
function super1_c__C_C1__TO__C_C2_2_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
34

    
35
function super1_c__C_C1__TO__SUPER1_B_1_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
36

    
37
function super1_c__C_C1__TO__SUPER1_B_1_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
38

    
39
function super1_c__C_C2_IDL_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
40

    
41
function super1_c__C_C2_IDL_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
42

    
43
function super1_c__C_C2__TO__C_C1_2_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
44

    
45
function super1_c__C_C2__TO__C_C1_2_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
46

    
47
function super1_c__C_C2__TO__SUPER1_SUPER1JUNCTION1852_1_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int; x: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
48

    
49
function super1_c__C_C2__TO__SUPER1_SUPER1JUNCTION1852_1_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
50

    
51
function super1_c__POINTSuper1_C_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
52

    
53
function super1_c__POINTSuper1_C_unless (super1_c__restart_in: bool; idSuper1_C_1: int; E: bool; F: bool; x: int) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
54

    
55
function super1_c__POINT__TO__C_C1_1_handler_until (super1_c__restart_act: bool; idSuper1_C_1: int; s_1: int; idSuper1_Super1_1: int) returns (super1_c__restart_in: bool; super1_c__state_in: super1_c__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
56

    
57
function super1_c__POINT__TO__C_C1_1_unless (super1_c__restart_in: bool) returns (super1_c__restart_act: bool; super1_c__state_act: super1_c__type);
58

    
59
function Super1_A_ex (idSuper1_Super1_1: int; isInner: bool) returns (idSuper1_Super1: int);
60

    
61
function Super1_C_en (idSuper1_C_1: int; idSuper1_Super1_1: int; s_1: int; isInner: bool) returns (idSuper1_C: int; idSuper1_Super1: int; s: int);
62

    
63
function Super1_B_ex (idSuper1_Super1_1: int; isInner: bool) returns (idSuper1_Super1: int);
64

    
65
node Super1_C_node (idSuper1_C_1: int; s_1: int; E: bool; idSuper1_Super1_1: int; F: bool; x: int) returns (idSuper1_C: int; s: int; idSuper1_Super1: int);
66

    
67
function Super1_D_ex (idSuper1_Super1_1: int; isInner: bool) returns (idSuper1_Super1: int);
68

    
69
function super1_super1__POINTSuper1_Super1_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
70

    
71
function super1_super1__POINTSuper1_Super1_unless (super1_super1__restart_in: bool; idSuper1_Super1_1: int; E: bool; F: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
72

    
73
function super1_super1__POINT__TO__SUPER1_A_1_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
74

    
75
function super1_super1__POINT__TO__SUPER1_A_1_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
76

    
77
function super1_super1__SUPER1_A_IDL_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
78

    
79
function super1_super1__SUPER1_A_IDL_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
80

    
81
function super1_super1__SUPER1_A__TO__SUPER1_SUPER1JUNCTION1851_1_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; x: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
82

    
83
function super1_super1__SUPER1_A__TO__SUPER1_SUPER1JUNCTION1851_1_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
84

    
85
function super1_super1__SUPER1_B_IDL_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
86

    
87
function super1_super1__SUPER1_B_IDL_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
88

    
89
function super1_super1__SUPER1_B__TO__C_C2_1_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
90

    
91
function super1_super1__SUPER1_B__TO__C_C2_1_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
92

    
93
node super1_super1__SUPER1_C_IDL_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; E: bool; x: int; idSuper1_C_1: int; F: bool) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
94

    
95
function super1_super1__SUPER1_C_IDL_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
96

    
97
function super1_super1__SUPER1_D_IDL_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
98

    
99
function super1_super1__SUPER1_D_IDL_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
100

    
101
function super1_super1__SUPER1_D__TO__SUPER1_A_1_handler_until (super1_super1__restart_act: bool; idSuper1_Super1_1: int; s_1: int; idSuper1_C_1: int) returns (super1_super1__restart_in: bool; super1_super1__state_in: super1_super1__type; idSuper1_C_out: int; idSuper1_Super1_out: int; s_out: int);
102

    
103
function super1_super1__SUPER1_D__TO__SUPER1_A_1_unless (super1_super1__restart_in: bool) returns (super1_super1__restart_act: bool; super1_super1__state_act: super1_super1__type);
104

    
105
node Super1_Super1_node (idSuper1_Super1_1: int; s_1: int; E: bool; x: int; idSuper1_C_1: int; F: bool) returns (idSuper1_Super1: int; s: int; idSuper1_C: int);
106

    
107
node Super1_Super1 (x: int; E: bool; F: bool) returns (s: int);
108

    
109
node Super1 (x_1_1: int; E_1_1: real; F_1_1: real) returns (s_1_1: int);
110