3 #include <nit_common.h>
5 extern const classtable_elt_t VFT_Object
[];
7 extern const classtable_elt_t VFT_Sys
[];
9 extern const classtable_elt_t VFT_Comparable
[];
11 extern const classtable_elt_t VFT_Discrete
[];
13 extern const classtable_elt_t VFT_Bool
[];
15 extern const classtable_elt_t VFT_Float
[];
16 struct TBOX_Float
{ const classtable_elt_t
* vft
; float val
;};
17 val_t
BOX_Float(float val
);
18 #define UNBOX_Float(x) (((struct TBOX_Float *)(VAL2OBJ(x)))->val)
20 extern const classtable_elt_t VFT_Int
[];
22 extern const classtable_elt_t VFT_Char
[];
24 extern const classtable_elt_t VFT_Pointer
[];
25 struct TBOX_Pointer
{ const classtable_elt_t
* vft
; void * val
;};
26 val_t
BOX_Pointer(void * val
);
27 #define UNBOX_Pointer(x) (((struct TBOX_Pointer *)(VAL2OBJ(x)))->val)
28 extern const int SFT_kernel
[];
29 #define ID_Object SFT_kernel[0]
30 #define COLOR_Object SFT_kernel[1]
31 #define INIT_TABLE_POS_Object SFT_kernel[2]
32 #define COLOR_kernel___Object___object_id SFT_kernel[3]
33 #define COLOR_kernel___Object___is_same_type SFT_kernel[4]
34 #define COLOR_kernel___Object_____eqeq SFT_kernel[5]
35 #define COLOR_kernel___Object_____neq SFT_kernel[6]
36 #define COLOR_kernel___Object___output SFT_kernel[7]
37 #define COLOR_kernel___Object___exit SFT_kernel[8]
38 #define COLOR_kernel___Object___sys SFT_kernel[9]
39 #define ID_Sys SFT_kernel[10]
40 #define COLOR_Sys SFT_kernel[11]
41 #define INIT_TABLE_POS_Sys SFT_kernel[12]
42 #define COLOR_kernel___Sys___main SFT_kernel[13]
43 #define ID_Comparable SFT_kernel[14]
44 #define COLOR_Comparable SFT_kernel[15]
45 #define INIT_TABLE_POS_Comparable SFT_kernel[16]
46 #define COLOR_kernel___Comparable_____l SFT_kernel[17]
47 #define COLOR_kernel___Comparable_____leq SFT_kernel[18]
48 #define COLOR_kernel___Comparable_____geq SFT_kernel[19]
49 #define COLOR_kernel___Comparable_____g SFT_kernel[20]
50 #define COLOR_kernel___Comparable_____leqg SFT_kernel[21]
51 #define COLOR_kernel___Comparable___is_between SFT_kernel[22]
52 #define COLOR_kernel___Comparable___max SFT_kernel[23]
53 #define COLOR_kernel___Comparable___min SFT_kernel[24]
54 #define ID_Discrete SFT_kernel[25]
55 #define COLOR_Discrete SFT_kernel[26]
56 #define INIT_TABLE_POS_Discrete SFT_kernel[27]
57 #define COLOR_kernel___Discrete___succ SFT_kernel[28]
58 #define COLOR_kernel___Discrete___prec SFT_kernel[29]
59 #define COLOR_kernel___Discrete_____plus SFT_kernel[30]
60 #define COLOR_kernel___Discrete_____minus SFT_kernel[31]
61 #define COLOR_kernel___Discrete___distance SFT_kernel[32]
62 #define ID_Bool SFT_kernel[33]
63 #define COLOR_Bool SFT_kernel[34]
64 #define INIT_TABLE_POS_Bool SFT_kernel[35]
65 #define ID_Float SFT_kernel[36]
66 #define COLOR_Float SFT_kernel[37]
67 #define INIT_TABLE_POS_Float SFT_kernel[38]
68 #define COLOR_kernel___Float_____leq SFT_kernel[39]
69 #define COLOR_kernel___Float_____l SFT_kernel[40]
70 #define COLOR_kernel___Float_____geq SFT_kernel[41]
71 #define COLOR_kernel___Float_____g SFT_kernel[42]
72 #define COLOR_kernel___Float_____plus SFT_kernel[43]
73 #define COLOR_kernel___Float___unary__minus SFT_kernel[44]
74 #define COLOR_kernel___Float_____minus SFT_kernel[45]
75 #define COLOR_kernel___Float_____star SFT_kernel[46]
76 #define COLOR_kernel___Float_____slash SFT_kernel[47]
77 #define COLOR_kernel___Float___to_i SFT_kernel[48]
78 #define ID_Int SFT_kernel[49]
79 #define COLOR_Int SFT_kernel[50]
80 #define INIT_TABLE_POS_Int SFT_kernel[51]
81 #define COLOR_kernel___Int___unary__minus SFT_kernel[52]
82 #define COLOR_kernel___Int_____star SFT_kernel[53]
83 #define COLOR_kernel___Int_____slash SFT_kernel[54]
84 #define COLOR_kernel___Int_____percent SFT_kernel[55]
85 #define COLOR_kernel___Int___lshift SFT_kernel[56]
86 #define COLOR_kernel___Int___rshift SFT_kernel[57]
87 #define COLOR_kernel___Int___to_f SFT_kernel[58]
88 #define COLOR_kernel___Int___ascii SFT_kernel[59]
89 #define COLOR_kernel___Int___digit_count SFT_kernel[60]
90 #define COLOR_kernel___Int___to_c SFT_kernel[61]
91 #define ID_Char SFT_kernel[62]
92 #define COLOR_Char SFT_kernel[63]
93 #define INIT_TABLE_POS_Char SFT_kernel[64]
94 #define COLOR_kernel___Char___to_i SFT_kernel[65]
95 #define COLOR_kernel___Char___ascii SFT_kernel[66]
96 #define COLOR_kernel___Char___to_lower SFT_kernel[67]
97 #define COLOR_kernel___Char___to_upper SFT_kernel[68]
98 #define ID_Pointer SFT_kernel[69]
99 #define COLOR_Pointer SFT_kernel[70]
100 #define INIT_TABLE_POS_Pointer SFT_kernel[71]
101 typedef val_t (* kernel___Object___object_id_t
)(val_t self
);
102 val_t
kernel___Object___object_id(val_t self
);
103 typedef val_t (* kernel___Object___is_same_type_t
)(val_t self
, val_t param0
);
104 val_t
kernel___Object___is_same_type(val_t self
, val_t param0
);
105 typedef val_t (* kernel___Object_____eqeq_t
)(val_t self
, val_t param0
);
106 val_t
kernel___Object_____eqeq(val_t self
, val_t param0
);
107 typedef val_t (* kernel___Object_____neq_t
)(val_t self
, val_t param0
);
108 val_t
kernel___Object_____neq(val_t self
, val_t param0
);
109 typedef void (* kernel___Object___output_t
)(val_t self
);
110 void kernel___Object___output(val_t self
);
111 typedef void (* kernel___Object___exit_t
)(val_t self
, val_t param0
);
112 void kernel___Object___exit(val_t self
, val_t param0
);
113 typedef val_t (* kernel___Object___sys_t
)(val_t self
);
114 val_t
kernel___Object___sys(val_t self
);
115 typedef void (* kernel___Sys___main_t
)(val_t self
);
116 void kernel___Sys___main(val_t self
);
117 typedef val_t (* kernel___Comparable_____l_t
)(val_t self
, val_t param0
);
118 val_t
kernel___Comparable_____l(val_t self
, val_t param0
);
119 typedef val_t (* kernel___Comparable_____leq_t
)(val_t self
, val_t param0
);
120 val_t
kernel___Comparable_____leq(val_t self
, val_t param0
);
121 typedef val_t (* kernel___Comparable_____geq_t
)(val_t self
, val_t param0
);
122 val_t
kernel___Comparable_____geq(val_t self
, val_t param0
);
123 typedef val_t (* kernel___Comparable_____g_t
)(val_t self
, val_t param0
);
124 val_t
kernel___Comparable_____g(val_t self
, val_t param0
);
125 typedef val_t (* kernel___Comparable_____leqg_t
)(val_t self
, val_t param0
);
126 val_t
kernel___Comparable_____leqg(val_t self
, val_t param0
);
127 typedef val_t (* kernel___Comparable___is_between_t
)(val_t self
, val_t param0
, val_t param1
);
128 val_t
kernel___Comparable___is_between(val_t self
, val_t param0
, val_t param1
);
129 typedef val_t (* kernel___Comparable___max_t
)(val_t self
, val_t param0
);
130 val_t
kernel___Comparable___max(val_t self
, val_t param0
);
131 typedef val_t (* kernel___Comparable___min_t
)(val_t self
, val_t param0
);
132 val_t
kernel___Comparable___min(val_t self
, val_t param0
);
133 typedef val_t (* kernel___Discrete___succ_t
)(val_t self
);
134 val_t
kernel___Discrete___succ(val_t self
);
135 typedef val_t (* kernel___Discrete___prec_t
)(val_t self
);
136 val_t
kernel___Discrete___prec(val_t self
);
137 typedef val_t (* kernel___Discrete_____plus_t
)(val_t self
, val_t param0
);
138 val_t
kernel___Discrete_____plus(val_t self
, val_t param0
);
139 typedef val_t (* kernel___Discrete_____minus_t
)(val_t self
, val_t param0
);
140 val_t
kernel___Discrete_____minus(val_t self
, val_t param0
);
141 typedef val_t (* kernel___Discrete___distance_t
)(val_t self
, val_t param0
);
142 val_t
kernel___Discrete___distance(val_t self
, val_t param0
);
143 typedef val_t (* kernel___Bool___object_id_t
)(val_t self
);
144 val_t
kernel___Bool___object_id(val_t self
);
145 typedef val_t (* kernel___Bool_____eqeq_t
)(val_t self
, val_t param0
);
146 val_t
kernel___Bool_____eqeq(val_t self
, val_t param0
);
147 typedef val_t (* kernel___Bool_____neq_t
)(val_t self
, val_t param0
);
148 val_t
kernel___Bool_____neq(val_t self
, val_t param0
);
149 typedef void (* kernel___Bool___output_t
)(val_t self
);
150 void kernel___Bool___output(val_t self
);
151 typedef val_t (* kernel___Float___object_id_t
)(val_t self
);
152 val_t
kernel___Float___object_id(val_t self
);
153 typedef void (* kernel___Float___output_t
)(val_t self
);
154 void kernel___Float___output(val_t self
);
155 typedef val_t (* kernel___Float_____leq_t
)(val_t self
, val_t param0
);
156 val_t
kernel___Float_____leq(val_t self
, val_t param0
);
157 typedef val_t (* kernel___Float_____l_t
)(val_t self
, val_t param0
);
158 val_t
kernel___Float_____l(val_t self
, val_t param0
);
159 typedef val_t (* kernel___Float_____geq_t
)(val_t self
, val_t param0
);
160 val_t
kernel___Float_____geq(val_t self
, val_t param0
);
161 typedef val_t (* kernel___Float_____g_t
)(val_t self
, val_t param0
);
162 val_t
kernel___Float_____g(val_t self
, val_t param0
);
163 typedef val_t (* kernel___Float_____plus_t
)(val_t self
, val_t param0
);
164 val_t
kernel___Float_____plus(val_t self
, val_t param0
);
165 typedef val_t (* kernel___Float___unary__minus_t
)(val_t self
);
166 val_t
kernel___Float___unary__minus(val_t self
);
167 typedef val_t (* kernel___Float_____minus_t
)(val_t self
, val_t param0
);
168 val_t
kernel___Float_____minus(val_t self
, val_t param0
);
169 typedef val_t (* kernel___Float_____star_t
)(val_t self
, val_t param0
);
170 val_t
kernel___Float_____star(val_t self
, val_t param0
);
171 typedef val_t (* kernel___Float_____slash_t
)(val_t self
, val_t param0
);
172 val_t
kernel___Float_____slash(val_t self
, val_t param0
);
173 typedef val_t (* kernel___Float___to_i_t
)(val_t self
);
174 val_t
kernel___Float___to_i(val_t self
);
175 typedef val_t (* kernel___Int___object_id_t
)(val_t self
);
176 val_t
kernel___Int___object_id(val_t self
);
177 typedef val_t (* kernel___Int_____eqeq_t
)(val_t self
, val_t param0
);
178 val_t
kernel___Int_____eqeq(val_t self
, val_t param0
);
179 typedef val_t (* kernel___Int_____neq_t
)(val_t self
, val_t param0
);
180 val_t
kernel___Int_____neq(val_t self
, val_t param0
);
181 typedef void (* kernel___Int___output_t
)(val_t self
);
182 void kernel___Int___output(val_t self
);
183 typedef val_t (* kernel___Int_____leq_t
)(val_t self
, val_t param0
);
184 val_t
kernel___Int_____leq(val_t self
, val_t param0
);
185 typedef val_t (* kernel___Int_____l_t
)(val_t self
, val_t param0
);
186 val_t
kernel___Int_____l(val_t self
, val_t param0
);
187 typedef val_t (* kernel___Int_____geq_t
)(val_t self
, val_t param0
);
188 val_t
kernel___Int_____geq(val_t self
, val_t param0
);
189 typedef val_t (* kernel___Int_____g_t
)(val_t self
, val_t param0
);
190 val_t
kernel___Int_____g(val_t self
, val_t param0
);
191 typedef val_t (* kernel___Int_____plus_t
)(val_t self
, val_t param0
);
192 val_t
kernel___Int_____plus(val_t self
, val_t param0
);
193 typedef val_t (* kernel___Int___unary__minus_t
)(val_t self
);
194 val_t
kernel___Int___unary__minus(val_t self
);
195 typedef val_t (* kernel___Int_____minus_t
)(val_t self
, val_t param0
);
196 val_t
kernel___Int_____minus(val_t self
, val_t param0
);
197 typedef val_t (* kernel___Int_____star_t
)(val_t self
, val_t param0
);
198 val_t
kernel___Int_____star(val_t self
, val_t param0
);
199 typedef val_t (* kernel___Int_____slash_t
)(val_t self
, val_t param0
);
200 val_t
kernel___Int_____slash(val_t self
, val_t param0
);
201 typedef val_t (* kernel___Int_____percent_t
)(val_t self
, val_t param0
);
202 val_t
kernel___Int_____percent(val_t self
, val_t param0
);
203 typedef val_t (* kernel___Int___lshift_t
)(val_t self
, val_t param0
);
204 val_t
kernel___Int___lshift(val_t self
, val_t param0
);
205 typedef val_t (* kernel___Int___rshift_t
)(val_t self
, val_t param0
);
206 val_t
kernel___Int___rshift(val_t self
, val_t param0
);
207 typedef val_t (* kernel___Int___to_f_t
)(val_t self
);
208 val_t
kernel___Int___to_f(val_t self
);
209 typedef val_t (* kernel___Int___succ_t
)(val_t self
);
210 val_t
kernel___Int___succ(val_t self
);
211 typedef val_t (* kernel___Int___prec_t
)(val_t self
);
212 val_t
kernel___Int___prec(val_t self
);
213 typedef val_t (* kernel___Int___distance_t
)(val_t self
, val_t param0
);
214 val_t
kernel___Int___distance(val_t self
, val_t param0
);
215 typedef val_t (* kernel___Int_____leqg_t
)(val_t self
, val_t param0
);
216 val_t
kernel___Int_____leqg(val_t self
, val_t param0
);
217 typedef val_t (* kernel___Int___is_between_t
)(val_t self
, val_t param0
, val_t param1
);
218 val_t
kernel___Int___is_between(val_t self
, val_t param0
, val_t param1
);
219 typedef val_t (* kernel___Int___max_t
)(val_t self
, val_t param0
);
220 val_t
kernel___Int___max(val_t self
, val_t param0
);
221 typedef val_t (* kernel___Int___min_t
)(val_t self
, val_t param0
);
222 val_t
kernel___Int___min(val_t self
, val_t param0
);
223 typedef val_t (* kernel___Int___ascii_t
)(val_t self
);
224 val_t
kernel___Int___ascii(val_t self
);
225 typedef val_t (* kernel___Int___digit_count_t
)(val_t self
, val_t param0
);
226 val_t
kernel___Int___digit_count(val_t self
, val_t param0
);
227 typedef val_t (* kernel___Int___to_c_t
)(val_t self
);
228 val_t
kernel___Int___to_c(val_t self
);
229 typedef val_t (* kernel___Char___object_id_t
)(val_t self
);
230 val_t
kernel___Char___object_id(val_t self
);
231 typedef val_t (* kernel___Char_____eqeq_t
)(val_t self
, val_t param0
);
232 val_t
kernel___Char_____eqeq(val_t self
, val_t param0
);
233 typedef val_t (* kernel___Char_____neq_t
)(val_t self
, val_t param0
);
234 val_t
kernel___Char_____neq(val_t self
, val_t param0
);
235 typedef void (* kernel___Char___output_t
)(val_t self
);
236 void kernel___Char___output(val_t self
);
237 typedef val_t (* kernel___Char_____leq_t
)(val_t self
, val_t param0
);
238 val_t
kernel___Char_____leq(val_t self
, val_t param0
);
239 typedef val_t (* kernel___Char_____l_t
)(val_t self
, val_t param0
);
240 val_t
kernel___Char_____l(val_t self
, val_t param0
);
241 typedef val_t (* kernel___Char_____geq_t
)(val_t self
, val_t param0
);
242 val_t
kernel___Char_____geq(val_t self
, val_t param0
);
243 typedef val_t (* kernel___Char_____g_t
)(val_t self
, val_t param0
);
244 val_t
kernel___Char_____g(val_t self
, val_t param0
);
245 typedef val_t (* kernel___Char___succ_t
)(val_t self
);
246 val_t
kernel___Char___succ(val_t self
);
247 typedef val_t (* kernel___Char___prec_t
)(val_t self
);
248 val_t
kernel___Char___prec(val_t self
);
249 typedef val_t (* kernel___Char___distance_t
)(val_t self
, val_t param0
);
250 val_t
kernel___Char___distance(val_t self
, val_t param0
);
251 typedef val_t (* kernel___Char___to_i_t
)(val_t self
);
252 val_t
kernel___Char___to_i(val_t self
);
253 typedef val_t (* kernel___Char___ascii_t
)(val_t self
);
254 val_t
kernel___Char___ascii(val_t self
);
255 typedef val_t (* kernel___Char_____plus_t
)(val_t self
, val_t param0
);
256 val_t
kernel___Char_____plus(val_t self
, val_t param0
);
257 typedef val_t (* kernel___Char_____minus_t
)(val_t self
, val_t param0
);
258 val_t
kernel___Char_____minus(val_t self
, val_t param0
);
259 typedef val_t (* kernel___Char___to_lower_t
)(val_t self
);
260 val_t
kernel___Char___to_lower(val_t self
);
261 typedef val_t (* kernel___Char___to_upper_t
)(val_t self
);
262 val_t
kernel___Char___to_upper(val_t self
);
nitlanguage / nit.git / blob