/regression_tests/lustre_files/success/Stateflow/src_Subsys1/Subsys1.lusi - Annotate - Lustrec-Tests

79ef5fc5

bourbouh

(* Generated Lustre Interface file from Subsys1.lus *)

2

(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:28 *)

3

(* Feel free to mask some of the definitions by removing them from this file. *)

4

5

type chart_d__type = enum {POINTchart_D, POINT__TO__D_DA_1, D_DA__TO__D_DB_1, D_DB__TO__D_DA_1, D_DA_IDL, D_DB_IDL };

6

7

8

type chart_c__type = enum {POINTchart_C, POINT__TO__C_CA_1, C_CA__TO__C_CB_1, C_CB__TO__C_CA_1, C_CA_IDL, C_CB_IDL };

9

10

11

type chart_b__type = enum {POINTchart_B, POINT__TO__B_BA_1, B_BA__TO__B_BB_1, B_BB__TO__B_BA_1, B_BA_IDL, B_BB_IDL };

12

13

14

type chart_a__type = enum {POINTchart_A, POINT__TO__A_AA_1, A_AA__TO__A_AB_1, A_AB__TO__A_AA_1, A_AA_IDL, A_AB_IDL };

15

16

17

type chart_chart__type = enum {POINTchart_chart, CHART_CHART_PARALLEL_ENTRY, CHART_CHART_PARALLEL_IDL };

18

19

20

function D_Da_ex (idchart_D_1: int; isInner: bool) returns (idchart_D: int);

21

22

function D_Db_en (idchart_D_1: int; x: int; d_1: int; isInner: bool) returns (idchart_D: int; d: int);

23

24

function D_Da_en (idchart_D_1: int; x: int; d_1: int; isInner: bool) returns (idchart_D: int; d: int);

25

26

function D_Db_ex (idchart_D_1: int; isInner: bool) returns (idchart_D: int);

27

28

function chart_d__D_DA_IDL_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

29

30

function chart_d__D_DA_IDL_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

31

32

function chart_d__D_DA__TO__D_DB_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

33

34

function chart_d__D_DA__TO__D_DB_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

35

36

function chart_d__D_DB_IDL_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

37

38

function chart_d__D_DB_IDL_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

39

40

function chart_d__D_DB__TO__D_DA_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

41

42

function chart_d__D_DB__TO__D_DA_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

43

44

function chart_d__POINT__TO__D_DA_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

45

46

function chart_d__POINT__TO__D_DA_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

47

48

function chart_d__POINTchart_D_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);

49

50

function chart_d__POINTchart_D_unless (chart_d__restart_in: bool; idchart_D_1: int; S3: bool; R3: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);

51

52

node chart_D_node (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);

53

54

node C_Ca__To__C_Cb_1_Transition_Action (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);

55

56

function C_Ca_ex (idchart_C_1: int; isInner: bool) returns (idchart_C: int);

57

58

function C_Cb_en (idchart_C_1: int; x: int; c_1: int; isInner: bool) returns (idchart_C: int; c: int);

59

60

function C_Ca_en (idchart_C_1: int; x: int; c_1: int; isInner: bool) returns (idchart_C: int; c: int);

61

62

node C_Cb__To__C_Ca_1_Transition_Action (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);

63

64

function C_Cb_ex (idchart_C_1: int; isInner: bool) returns (idchart_C: int);

65

66

function chart_c__C_CA_IDL_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

67

68

function chart_c__C_CA_IDL_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

69

70

node chart_c__C_CA__TO__C_CB_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

71

72

function chart_c__C_CA__TO__C_CB_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

73

74

function chart_c__C_CB_IDL_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

75

76

function chart_c__C_CB_IDL_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

77

78

node chart_c__C_CB__TO__C_CA_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

79

80

function chart_c__C_CB__TO__C_CA_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

81

82

function chart_c__POINT__TO__C_CA_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

83

84

function chart_c__POINT__TO__C_CA_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

85

86

function chart_c__POINTchart_C_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);

87

88

function chart_c__POINTchart_C_unless (chart_c__restart_in: bool; idchart_C_1: int; S2: bool; R2: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);

89

90

node chart_C_node (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);

91

92

node B_Ba__To__B_Bb_1_Transition_Action (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);

93

94

function B_Ba_ex (idchart_B_1: int; isInner: bool) returns (idchart_B: int);

95

96

function B_Bb_en (idchart_B_1: int; x: int; b_1: int; isInner: bool) returns (idchart_B: int; b: int);

97

98

function B_Ba_en (idchart_B_1: int; x: int; b_1: int; isInner: bool) returns (idchart_B: int; b: int);

99

100

node B_Bb__To__B_Ba_1_Transition_Action (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);

101

102

function B_Bb_ex (idchart_B_1: int; isInner: bool) returns (idchart_B: int);

103

104

function chart_b__B_BA_IDL_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

105

106

function chart_b__B_BA_IDL_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

107

108

node chart_b__B_BA__TO__B_BB_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

109

110

function chart_b__B_BA__TO__B_BB_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

111

112

function chart_b__B_BB_IDL_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

113

114

function chart_b__B_BB_IDL_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

115

116

node chart_b__B_BB__TO__B_BA_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

117

118

function chart_b__B_BB__TO__B_BA_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

119

120

function chart_b__POINT__TO__B_BA_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

121

122

function chart_b__POINT__TO__B_BA_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

123

124

function chart_b__POINTchart_B_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

125

126

function chart_b__POINTchart_B_unless (chart_b__restart_in: bool; idchart_B_1: int; S1: bool; R1: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);

127

128

node chart_B_node (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);

129

130

node A_Aa__To__A_Ab_1_Transition_Action (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);

131

132

function A_Aa_ex (idchart_A_1: int; isInner: bool) returns (idchart_A: int);

133

134

function A_Ab_en (idchart_A_1: int; x: int; a_1: int; isInner: bool) returns (idchart_A: int; a: int);

135

136

function A_Aa_en (idchart_A_1: int; x: int; a_1: int; isInner: bool) returns (idchart_A: int; a: int);

137

138

node A_Ab__To__A_Aa_1_Transition_Action (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);

139

140

function A_Ab_ex (idchart_A_1: int; isInner: bool) returns (idchart_A: int);

141

142

function chart_a__A_AA_IDL_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

143

144

function chart_a__A_AA_IDL_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

145

146

node chart_a__A_AA__TO__A_AB_1_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; x: int; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

147

148

function chart_a__A_AA__TO__A_AB_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

149

150

function chart_a__A_AB_IDL_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

151

152

function chart_a__A_AB_IDL_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

153

154

node chart_a__A_AB__TO__A_AA_1_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; x: int; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

155

156

function chart_a__A_AB__TO__A_AA_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

157

158

function chart_a__POINT__TO__A_AA_1_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; x: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

159

160

function chart_a__POINT__TO__A_AA_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

161

162

function chart_a__POINTchart_A_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);

163

164

function chart_a__POINTchart_A_unless (chart_a__restart_in: bool; idchart_A_1: int; S: bool; R: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);

165

166

function chart_A_en (idchart_A_1: int; idchart_chart_1: int; a_1: int; x: int; isInner: bool) returns (idchart_A: int; idchart_chart: int; a: int);

167

168

function chart_B_en (idchart_B_1: int; idchart_chart_1: int; b_1: int; x: int; isInner: bool) returns (idchart_B: int; idchart_chart: int; b: int);

169

170

function chart_C_en (idchart_C_1: int; idchart_chart_1: int; c_1: int; x: int; isInner: bool) returns (idchart_C: int; idchart_chart: int; c: int);

171

172

function chart_D_en (idchart_D_1: int; idchart_chart_1: int; d_1: int; x: int; isInner: bool) returns (idchart_D: int; idchart_chart: int; d: int);

173

174

node chart_A_node (idchart_A_1: int; a_1: int; x: int; S: bool; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int; R: bool) returns (idchart_A: int; a: int; b: int; c: int; d: int; idchart_B: int; idchart_C: int; idchart_D: int);

175

176

function chart_chart__CHART_CHART_PARALLEL_ENTRY_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);

177

178

function chart_chart__CHART_CHART_PARALLEL_ENTRY_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);

179

180

node chart_chart__CHART_CHART_PARALLEL_IDL_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);

181

182

function chart_chart__CHART_CHART_PARALLEL_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);

183

184

function chart_chart__POINTchart_chart_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);

185

186

function chart_chart__POINTchart_chart_unless (chart_chart__restart_in: bool; idchart_chart_1: int) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);

187

188

node chart_chart_node (idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (idchart_chart: int; a: int; idchart_A: int; b: int; idchart_B: int; c: int; idchart_C: int; d: int; idchart_D: int);

189

190

node Subsys1_Odysssubsys_chart (x: int; y: int; R: bool; S: bool) returns (a: int; b: int; c: int; d: int);

191

192

function chart_A_ex (idchart_A_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_A: int; idchart_chart: int);

193

194

function chart_B_ex (idchart_B_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_B: int; idchart_chart: int);

195

196

function chart_C_ex (idchart_C_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_C: int; idchart_chart: int);

197

198

function chart_D_ex (idchart_D_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_D: int; idchart_chart: int);

199

200

node Subsys1 (R_1_1: real; S_1_1: real; In3_1_1: int; In4_1_1: int) returns (Out1_1_1: int; Out2_2_1: int; Out3_3_1: int; Out4_4_1: int);

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success/Stateflow/src_Subsys1/Subsys1.lusi @ 79ef5fc5