1 /* This C header file is generated by NIT to compile modules and programs that requires kernel. */
4 #include <nit_common.h>
6 extern const classtable_elt_t VFT_Object
[];
8 extern const classtable_elt_t VFT_Sys
[];
10 extern const classtable_elt_t VFT_Comparable
[];
12 extern const classtable_elt_t VFT_Discrete
[];
14 extern const classtable_elt_t VFT_Bool
[];
16 extern const classtable_elt_t VFT_Float
[];
17 struct TBOX_Float
{ const classtable_elt_t
* vft
; float val
;};
18 val_t
BOX_Float(float val
);
19 #define UNBOX_Float(x) (((struct TBOX_Float *)(VAL2OBJ(x)))->val)
21 extern const classtable_elt_t VFT_Int
[];
23 extern const classtable_elt_t VFT_Char
[];
25 extern const classtable_elt_t VFT_Pointer
[];
26 struct TBOX_Pointer
{ const classtable_elt_t
* vft
; void * val
;};
27 val_t
BOX_Pointer(void * val
);
28 #define UNBOX_Pointer(x) (((struct TBOX_Pointer *)(VAL2OBJ(x)))->val)
29 extern const char *LOCATE_kernel
;
30 extern const int SFT_kernel
[];
31 #define ID_Object (SFT_kernel[0])
32 #define COLOR_Object (SFT_kernel[1])
33 #define INIT_TABLE_POS_Object (SFT_kernel[2] + 0)
34 #define CALL_kernel___Object___object_id(recv) ((kernel___Object___object_id_t)CALL((recv), (SFT_kernel[2] + 1)))
35 #define CALL_kernel___Object___is_same_type(recv) ((kernel___Object___is_same_type_t)CALL((recv), (SFT_kernel[2] + 2)))
36 #define CALL_kernel___Object_____eqeq(recv) ((kernel___Object_____eqeq_t)CALL((recv), (SFT_kernel[2] + 3)))
37 #define CALL_kernel___Object_____neq(recv) ((kernel___Object_____neq_t)CALL((recv), (SFT_kernel[2] + 4)))
38 #define CALL_kernel___Object___output(recv) ((kernel___Object___output_t)CALL((recv), (SFT_kernel[2] + 5)))
39 #define CALL_kernel___Object___exit(recv) ((kernel___Object___exit_t)CALL((recv), (SFT_kernel[2] + 6)))
40 #define CALL_kernel___Object___sys(recv) ((kernel___Object___sys_t)CALL((recv), (SFT_kernel[2] + 7)))
41 #define ID_Sys (SFT_kernel[3])
42 #define COLOR_Sys (SFT_kernel[4])
43 #define INIT_TABLE_POS_Sys (SFT_kernel[5] + 0)
44 #define CALL_kernel___Sys___main(recv) ((kernel___Sys___main_t)CALL((recv), (SFT_kernel[5] + 1)))
45 #define CALL_kernel___Sys___init(recv) ((kernel___Sys___init_t)CALL((recv), (SFT_kernel[5] + 2)))
46 #define ID_Comparable (SFT_kernel[6])
47 #define COLOR_Comparable (SFT_kernel[7])
48 #define INIT_TABLE_POS_Comparable (SFT_kernel[8] + 0)
49 #define CALL_kernel___Comparable_____l(recv) ((kernel___Comparable_____l_t)CALL((recv), (SFT_kernel[8] + 1)))
50 #define CALL_kernel___Comparable_____leq(recv) ((kernel___Comparable_____leq_t)CALL((recv), (SFT_kernel[8] + 2)))
51 #define CALL_kernel___Comparable_____geq(recv) ((kernel___Comparable_____geq_t)CALL((recv), (SFT_kernel[8] + 3)))
52 #define CALL_kernel___Comparable_____g(recv) ((kernel___Comparable_____g_t)CALL((recv), (SFT_kernel[8] + 4)))
53 #define CALL_kernel___Comparable_____leqg(recv) ((kernel___Comparable_____leqg_t)CALL((recv), (SFT_kernel[8] + 5)))
54 #define CALL_kernel___Comparable___is_between(recv) ((kernel___Comparable___is_between_t)CALL((recv), (SFT_kernel[8] + 6)))
55 #define CALL_kernel___Comparable___max(recv) ((kernel___Comparable___max_t)CALL((recv), (SFT_kernel[8] + 7)))
56 #define CALL_kernel___Comparable___min(recv) ((kernel___Comparable___min_t)CALL((recv), (SFT_kernel[8] + 8)))
57 #define ID_Discrete (SFT_kernel[9])
58 #define COLOR_Discrete (SFT_kernel[10])
59 #define INIT_TABLE_POS_Discrete (SFT_kernel[11] + 0)
60 #define CALL_kernel___Discrete___succ(recv) ((kernel___Discrete___succ_t)CALL((recv), (SFT_kernel[11] + 1)))
61 #define CALL_kernel___Discrete___prec(recv) ((kernel___Discrete___prec_t)CALL((recv), (SFT_kernel[11] + 2)))
62 #define CALL_kernel___Discrete_____plus(recv) ((kernel___Discrete_____plus_t)CALL((recv), (SFT_kernel[11] + 3)))
63 #define CALL_kernel___Discrete_____minus(recv) ((kernel___Discrete_____minus_t)CALL((recv), (SFT_kernel[11] + 4)))
64 #define CALL_kernel___Discrete___distance(recv) ((kernel___Discrete___distance_t)CALL((recv), (SFT_kernel[11] + 5)))
65 #define ID_Bool (SFT_kernel[12])
66 #define COLOR_Bool (SFT_kernel[13])
67 #define INIT_TABLE_POS_Bool (SFT_kernel[14] + 0)
68 #define ID_Float (SFT_kernel[15])
69 #define COLOR_Float (SFT_kernel[16])
70 #define INIT_TABLE_POS_Float (SFT_kernel[17] + 0)
71 #define CALL_kernel___Float_____leq(recv) ((kernel___Float_____leq_t)CALL((recv), (SFT_kernel[17] + 1)))
72 #define CALL_kernel___Float_____l(recv) ((kernel___Float_____l_t)CALL((recv), (SFT_kernel[17] + 2)))
73 #define CALL_kernel___Float_____geq(recv) ((kernel___Float_____geq_t)CALL((recv), (SFT_kernel[17] + 3)))
74 #define CALL_kernel___Float_____g(recv) ((kernel___Float_____g_t)CALL((recv), (SFT_kernel[17] + 4)))
75 #define CALL_kernel___Float_____plus(recv) ((kernel___Float_____plus_t)CALL((recv), (SFT_kernel[17] + 5)))
76 #define CALL_kernel___Float___unary__minus(recv) ((kernel___Float___unary__minus_t)CALL((recv), (SFT_kernel[17] + 6)))
77 #define CALL_kernel___Float_____minus(recv) ((kernel___Float_____minus_t)CALL((recv), (SFT_kernel[17] + 7)))
78 #define CALL_kernel___Float_____star(recv) ((kernel___Float_____star_t)CALL((recv), (SFT_kernel[17] + 8)))
79 #define CALL_kernel___Float_____slash(recv) ((kernel___Float_____slash_t)CALL((recv), (SFT_kernel[17] + 9)))
80 #define CALL_kernel___Float___to_i(recv) ((kernel___Float___to_i_t)CALL((recv), (SFT_kernel[17] + 10)))
81 #define ID_Int (SFT_kernel[18])
82 #define COLOR_Int (SFT_kernel[19])
83 #define INIT_TABLE_POS_Int (SFT_kernel[20] + 0)
84 #define CALL_kernel___Int___unary__minus(recv) ((kernel___Int___unary__minus_t)CALL((recv), (SFT_kernel[20] + 1)))
85 #define CALL_kernel___Int_____star(recv) ((kernel___Int_____star_t)CALL((recv), (SFT_kernel[20] + 2)))
86 #define CALL_kernel___Int_____slash(recv) ((kernel___Int_____slash_t)CALL((recv), (SFT_kernel[20] + 3)))
87 #define CALL_kernel___Int_____percent(recv) ((kernel___Int_____percent_t)CALL((recv), (SFT_kernel[20] + 4)))
88 #define CALL_kernel___Int___lshift(recv) ((kernel___Int___lshift_t)CALL((recv), (SFT_kernel[20] + 5)))
89 #define CALL_kernel___Int___rshift(recv) ((kernel___Int___rshift_t)CALL((recv), (SFT_kernel[20] + 6)))
90 #define CALL_kernel___Int___to_f(recv) ((kernel___Int___to_f_t)CALL((recv), (SFT_kernel[20] + 7)))
91 #define CALL_kernel___Int___ascii(recv) ((kernel___Int___ascii_t)CALL((recv), (SFT_kernel[20] + 8)))
92 #define CALL_kernel___Int___digit_count(recv) ((kernel___Int___digit_count_t)CALL((recv), (SFT_kernel[20] + 9)))
93 #define CALL_kernel___Int___to_c(recv) ((kernel___Int___to_c_t)CALL((recv), (SFT_kernel[20] + 10)))
94 #define ID_Char (SFT_kernel[21])
95 #define COLOR_Char (SFT_kernel[22])
96 #define INIT_TABLE_POS_Char (SFT_kernel[23] + 0)
97 #define CALL_kernel___Char___to_i(recv) ((kernel___Char___to_i_t)CALL((recv), (SFT_kernel[23] + 1)))
98 #define CALL_kernel___Char___ascii(recv) ((kernel___Char___ascii_t)CALL((recv), (SFT_kernel[23] + 2)))
99 #define CALL_kernel___Char___to_lower(recv) ((kernel___Char___to_lower_t)CALL((recv), (SFT_kernel[23] + 3)))
100 #define CALL_kernel___Char___to_upper(recv) ((kernel___Char___to_upper_t)CALL((recv), (SFT_kernel[23] + 4)))
101 #define ID_Pointer (SFT_kernel[24])
102 #define COLOR_Pointer (SFT_kernel[25])
103 #define INIT_TABLE_POS_Pointer (SFT_kernel[26] + 0)
104 typedef val_t (* kernel___Object___object_id_t
)(val_t self
);
105 val_t
kernel___Object___object_id(val_t self
);
106 #define LOCATE_kernel___Object___object_id "kernel::Object::object_id"
107 typedef val_t (* kernel___Object___is_same_type_t
)(val_t self
, val_t param0
);
108 val_t
kernel___Object___is_same_type(val_t self
, val_t param0
);
109 #define LOCATE_kernel___Object___is_same_type "kernel::Object::is_same_type"
110 typedef val_t (* kernel___Object_____eqeq_t
)(val_t self
, val_t param0
);
111 val_t
kernel___Object_____eqeq(val_t self
, val_t param0
);
112 #define LOCATE_kernel___Object_____eqeq "kernel::Object::=="
113 typedef val_t (* kernel___Object_____neq_t
)(val_t self
, val_t param0
);
114 val_t
kernel___Object_____neq(val_t self
, val_t param0
);
115 #define LOCATE_kernel___Object_____neq "kernel::Object::!="
116 typedef void (* kernel___Object___output_t
)(val_t self
);
117 void kernel___Object___output(val_t self
);
118 #define LOCATE_kernel___Object___output "kernel::Object::output"
119 typedef void (* kernel___Object___exit_t
)(val_t self
, val_t param0
);
120 void kernel___Object___exit(val_t self
, val_t param0
);
121 #define LOCATE_kernel___Object___exit "kernel::Object::exit"
122 typedef val_t (* kernel___Object___sys_t
)(val_t self
);
123 val_t
kernel___Object___sys(val_t self
);
124 #define LOCATE_kernel___Object___sys "kernel::Object::sys"
125 typedef void (* kernel___Sys___main_t
)(val_t self
);
126 void kernel___Sys___main(val_t self
);
127 #define LOCATE_kernel___Sys___main "kernel::Sys::main"
128 typedef void (* kernel___Sys___init_t
)(val_t self
, int* init_table
);
129 void kernel___Sys___init(val_t self
, int* init_table
);
130 #define LOCATE_kernel___Sys___init "kernel::Sys::init"
131 val_t
NEW_Sys_kernel___Sys___init();
132 typedef val_t (* kernel___Comparable_____l_t
)(val_t self
, val_t param0
);
133 val_t
kernel___Comparable_____l(val_t self
, val_t param0
);
134 #define LOCATE_kernel___Comparable_____l "kernel::Comparable::<"
135 typedef val_t (* kernel___Comparable_____leq_t
)(val_t self
, val_t param0
);
136 val_t
kernel___Comparable_____leq(val_t self
, val_t param0
);
137 #define LOCATE_kernel___Comparable_____leq "kernel::Comparable::<="
138 typedef val_t (* kernel___Comparable_____geq_t
)(val_t self
, val_t param0
);
139 val_t
kernel___Comparable_____geq(val_t self
, val_t param0
);
140 #define LOCATE_kernel___Comparable_____geq "kernel::Comparable::>="
141 typedef val_t (* kernel___Comparable_____g_t
)(val_t self
, val_t param0
);
142 val_t
kernel___Comparable_____g(val_t self
, val_t param0
);
143 #define LOCATE_kernel___Comparable_____g "kernel::Comparable::>"
144 typedef val_t (* kernel___Comparable_____leqg_t
)(val_t self
, val_t param0
);
145 val_t
kernel___Comparable_____leqg(val_t self
, val_t param0
);
146 #define LOCATE_kernel___Comparable_____leqg "kernel::Comparable::<=>"
147 typedef val_t (* kernel___Comparable___is_between_t
)(val_t self
, val_t param0
, val_t param1
);
148 val_t
kernel___Comparable___is_between(val_t self
, val_t param0
, val_t param1
);
149 #define LOCATE_kernel___Comparable___is_between "kernel::Comparable::is_between"
150 typedef val_t (* kernel___Comparable___max_t
)(val_t self
, val_t param0
);
151 val_t
kernel___Comparable___max(val_t self
, val_t param0
);
152 #define LOCATE_kernel___Comparable___max "kernel::Comparable::max"
153 typedef val_t (* kernel___Comparable___min_t
)(val_t self
, val_t param0
);
154 val_t
kernel___Comparable___min(val_t self
, val_t param0
);
155 #define LOCATE_kernel___Comparable___min "kernel::Comparable::min"
156 typedef val_t (* kernel___Discrete___succ_t
)(val_t self
);
157 val_t
kernel___Discrete___succ(val_t self
);
158 #define LOCATE_kernel___Discrete___succ "kernel::Discrete::succ"
159 typedef val_t (* kernel___Discrete___prec_t
)(val_t self
);
160 val_t
kernel___Discrete___prec(val_t self
);
161 #define LOCATE_kernel___Discrete___prec "kernel::Discrete::prec"
162 typedef val_t (* kernel___Discrete_____plus_t
)(val_t self
, val_t param0
);
163 val_t
kernel___Discrete_____plus(val_t self
, val_t param0
);
164 #define LOCATE_kernel___Discrete_____plus "kernel::Discrete::+"
165 typedef val_t (* kernel___Discrete_____minus_t
)(val_t self
, val_t param0
);
166 val_t
kernel___Discrete_____minus(val_t self
, val_t param0
);
167 #define LOCATE_kernel___Discrete_____minus "kernel::Discrete::-"
168 typedef val_t (* kernel___Discrete___distance_t
)(val_t self
, val_t param0
);
169 val_t
kernel___Discrete___distance(val_t self
, val_t param0
);
170 #define LOCATE_kernel___Discrete___distance "kernel::Discrete::distance"
171 typedef val_t (* kernel___Bool___object_id_t
)(val_t self
);
172 val_t
kernel___Bool___object_id(val_t self
);
173 #define LOCATE_kernel___Bool___object_id "kernel::Bool::(kernel::Object::object_id)"
174 typedef val_t (* kernel___Bool_____eqeq_t
)(val_t self
, val_t param0
);
175 val_t
kernel___Bool_____eqeq(val_t self
, val_t param0
);
176 #define LOCATE_kernel___Bool_____eqeq "kernel::Bool::(kernel::Object::==)"
177 typedef val_t (* kernel___Bool_____neq_t
)(val_t self
, val_t param0
);
178 val_t
kernel___Bool_____neq(val_t self
, val_t param0
);
179 #define LOCATE_kernel___Bool_____neq "kernel::Bool::(kernel::Object::!=)"
180 typedef void (* kernel___Bool___output_t
)(val_t self
);
181 void kernel___Bool___output(val_t self
);
182 #define LOCATE_kernel___Bool___output "kernel::Bool::(kernel::Object::output)"
183 typedef val_t (* kernel___Float___object_id_t
)(val_t self
);
184 val_t
kernel___Float___object_id(val_t self
);
185 #define LOCATE_kernel___Float___object_id "kernel::Float::(kernel::Object::object_id)"
186 typedef void (* kernel___Float___output_t
)(val_t self
);
187 void kernel___Float___output(val_t self
);
188 #define LOCATE_kernel___Float___output "kernel::Float::(kernel::Object::output)"
189 typedef val_t (* kernel___Float_____leq_t
)(val_t self
, val_t param0
);
190 val_t
kernel___Float_____leq(val_t self
, val_t param0
);
191 #define LOCATE_kernel___Float_____leq "kernel::Float::<="
192 typedef val_t (* kernel___Float_____l_t
)(val_t self
, val_t param0
);
193 val_t
kernel___Float_____l(val_t self
, val_t param0
);
194 #define LOCATE_kernel___Float_____l "kernel::Float::<"
195 typedef val_t (* kernel___Float_____geq_t
)(val_t self
, val_t param0
);
196 val_t
kernel___Float_____geq(val_t self
, val_t param0
);
197 #define LOCATE_kernel___Float_____geq "kernel::Float::>="
198 typedef val_t (* kernel___Float_____g_t
)(val_t self
, val_t param0
);
199 val_t
kernel___Float_____g(val_t self
, val_t param0
);
200 #define LOCATE_kernel___Float_____g "kernel::Float::>"
201 typedef val_t (* kernel___Float_____plus_t
)(val_t self
, val_t param0
);
202 val_t
kernel___Float_____plus(val_t self
, val_t param0
);
203 #define LOCATE_kernel___Float_____plus "kernel::Float::+"
204 typedef val_t (* kernel___Float___unary__minus_t
)(val_t self
);
205 val_t
kernel___Float___unary__minus(val_t self
);
206 #define LOCATE_kernel___Float___unary__minus "kernel::Float::unary -"
207 typedef val_t (* kernel___Float_____minus_t
)(val_t self
, val_t param0
);
208 val_t
kernel___Float_____minus(val_t self
, val_t param0
);
209 #define LOCATE_kernel___Float_____minus "kernel::Float::-"
210 typedef val_t (* kernel___Float_____star_t
)(val_t self
, val_t param0
);
211 val_t
kernel___Float_____star(val_t self
, val_t param0
);
212 #define LOCATE_kernel___Float_____star "kernel::Float::*"
213 typedef val_t (* kernel___Float_____slash_t
)(val_t self
, val_t param0
);
214 val_t
kernel___Float_____slash(val_t self
, val_t param0
);
215 #define LOCATE_kernel___Float_____slash "kernel::Float::/"
216 typedef val_t (* kernel___Float___to_i_t
)(val_t self
);
217 val_t
kernel___Float___to_i(val_t self
);
218 #define LOCATE_kernel___Float___to_i "kernel::Float::to_i"
219 typedef val_t (* kernel___Int___object_id_t
)(val_t self
);
220 val_t
kernel___Int___object_id(val_t self
);
221 #define LOCATE_kernel___Int___object_id "kernel::Int::(kernel::Object::object_id)"
222 typedef val_t (* kernel___Int_____eqeq_t
)(val_t self
, val_t param0
);
223 val_t
kernel___Int_____eqeq(val_t self
, val_t param0
);
224 #define LOCATE_kernel___Int_____eqeq "kernel::Int::(kernel::Object::==)"
225 typedef val_t (* kernel___Int_____neq_t
)(val_t self
, val_t param0
);
226 val_t
kernel___Int_____neq(val_t self
, val_t param0
);
227 #define LOCATE_kernel___Int_____neq "kernel::Int::(kernel::Object::!=)"
228 typedef void (* kernel___Int___output_t
)(val_t self
);
229 void kernel___Int___output(val_t self
);
230 #define LOCATE_kernel___Int___output "kernel::Int::(kernel::Object::output)"
231 typedef val_t (* kernel___Int_____l_t
)(val_t self
, val_t param0
);
232 val_t
kernel___Int_____l(val_t self
, val_t param0
);
233 #define LOCATE_kernel___Int_____l "kernel::Int::(kernel::Comparable::<)"
234 typedef val_t (* kernel___Int_____leq_t
)(val_t self
, val_t param0
);
235 val_t
kernel___Int_____leq(val_t self
, val_t param0
);
236 #define LOCATE_kernel___Int_____leq "kernel::Int::(kernel::Comparable::<=)"
237 typedef val_t (* kernel___Int_____geq_t
)(val_t self
, val_t param0
);
238 val_t
kernel___Int_____geq(val_t self
, val_t param0
);
239 #define LOCATE_kernel___Int_____geq "kernel::Int::(kernel::Comparable::>=)"
240 typedef val_t (* kernel___Int_____g_t
)(val_t self
, val_t param0
);
241 val_t
kernel___Int_____g(val_t self
, val_t param0
);
242 #define LOCATE_kernel___Int_____g "kernel::Int::(kernel::Comparable::>)"
243 typedef val_t (* kernel___Int_____leqg_t
)(val_t self
, val_t param0
);
244 val_t
kernel___Int_____leqg(val_t self
, val_t param0
);
245 #define LOCATE_kernel___Int_____leqg "kernel::Int::(kernel::Comparable::<=>)"
246 typedef val_t (* kernel___Int___is_between_t
)(val_t self
, val_t param0
, val_t param1
);
247 val_t
kernel___Int___is_between(val_t self
, val_t param0
, val_t param1
);
248 #define LOCATE_kernel___Int___is_between "kernel::Int::(kernel::Comparable::is_between)"
249 typedef val_t (* kernel___Int___max_t
)(val_t self
, val_t param0
);
250 val_t
kernel___Int___max(val_t self
, val_t param0
);
251 #define LOCATE_kernel___Int___max "kernel::Int::(kernel::Comparable::max)"
252 typedef val_t (* kernel___Int___min_t
)(val_t self
, val_t param0
);
253 val_t
kernel___Int___min(val_t self
, val_t param0
);
254 #define LOCATE_kernel___Int___min "kernel::Int::(kernel::Comparable::min)"
255 typedef val_t (* kernel___Int___succ_t
)(val_t self
);
256 val_t
kernel___Int___succ(val_t self
);
257 #define LOCATE_kernel___Int___succ "kernel::Int::(kernel::Discrete::succ)"
258 typedef val_t (* kernel___Int___prec_t
)(val_t self
);
259 val_t
kernel___Int___prec(val_t self
);
260 #define LOCATE_kernel___Int___prec "kernel::Int::(kernel::Discrete::prec)"
261 typedef val_t (* kernel___Int_____plus_t
)(val_t self
, val_t param0
);
262 val_t
kernel___Int_____plus(val_t self
, val_t param0
);
263 #define LOCATE_kernel___Int_____plus "kernel::Int::(kernel::Discrete::+)"
264 typedef val_t (* kernel___Int_____minus_t
)(val_t self
, val_t param0
);
265 val_t
kernel___Int_____minus(val_t self
, val_t param0
);
266 #define LOCATE_kernel___Int_____minus "kernel::Int::(kernel::Discrete::-)"
267 typedef val_t (* kernel___Int___distance_t
)(val_t self
, val_t param0
);
268 val_t
kernel___Int___distance(val_t self
, val_t param0
);
269 #define LOCATE_kernel___Int___distance "kernel::Int::(kernel::Discrete::distance)"
270 typedef val_t (* kernel___Int___unary__minus_t
)(val_t self
);
271 val_t
kernel___Int___unary__minus(val_t self
);
272 #define LOCATE_kernel___Int___unary__minus "kernel::Int::unary -"
273 typedef val_t (* kernel___Int_____star_t
)(val_t self
, val_t param0
);
274 val_t
kernel___Int_____star(val_t self
, val_t param0
);
275 #define LOCATE_kernel___Int_____star "kernel::Int::*"
276 typedef val_t (* kernel___Int_____slash_t
)(val_t self
, val_t param0
);
277 val_t
kernel___Int_____slash(val_t self
, val_t param0
);
278 #define LOCATE_kernel___Int_____slash "kernel::Int::/"
279 typedef val_t (* kernel___Int_____percent_t
)(val_t self
, val_t param0
);
280 val_t
kernel___Int_____percent(val_t self
, val_t param0
);
281 #define LOCATE_kernel___Int_____percent "kernel::Int::%"
282 typedef val_t (* kernel___Int___lshift_t
)(val_t self
, val_t param0
);
283 val_t
kernel___Int___lshift(val_t self
, val_t param0
);
284 #define LOCATE_kernel___Int___lshift "kernel::Int::lshift"
285 typedef val_t (* kernel___Int___rshift_t
)(val_t self
, val_t param0
);
286 val_t
kernel___Int___rshift(val_t self
, val_t param0
);
287 #define LOCATE_kernel___Int___rshift "kernel::Int::rshift"
288 typedef val_t (* kernel___Int___to_f_t
)(val_t self
);
289 val_t
kernel___Int___to_f(val_t self
);
290 #define LOCATE_kernel___Int___to_f "kernel::Int::to_f"
291 typedef val_t (* kernel___Int___ascii_t
)(val_t self
);
292 val_t
kernel___Int___ascii(val_t self
);
293 #define LOCATE_kernel___Int___ascii "kernel::Int::ascii"
294 typedef val_t (* kernel___Int___digit_count_t
)(val_t self
, val_t param0
);
295 val_t
kernel___Int___digit_count(val_t self
, val_t param0
);
296 #define LOCATE_kernel___Int___digit_count "kernel::Int::digit_count"
297 typedef val_t (* kernel___Int___to_c_t
)(val_t self
);
298 val_t
kernel___Int___to_c(val_t self
);
299 #define LOCATE_kernel___Int___to_c "kernel::Int::to_c"
300 typedef val_t (* kernel___Char___object_id_t
)(val_t self
);
301 val_t
kernel___Char___object_id(val_t self
);
302 #define LOCATE_kernel___Char___object_id "kernel::Char::(kernel::Object::object_id)"
303 typedef val_t (* kernel___Char_____eqeq_t
)(val_t self
, val_t param0
);
304 val_t
kernel___Char_____eqeq(val_t self
, val_t param0
);
305 #define LOCATE_kernel___Char_____eqeq "kernel::Char::(kernel::Object::==)"
306 typedef val_t (* kernel___Char_____neq_t
)(val_t self
, val_t param0
);
307 val_t
kernel___Char_____neq(val_t self
, val_t param0
);
308 #define LOCATE_kernel___Char_____neq "kernel::Char::(kernel::Object::!=)"
309 typedef void (* kernel___Char___output_t
)(val_t self
);
310 void kernel___Char___output(val_t self
);
311 #define LOCATE_kernel___Char___output "kernel::Char::(kernel::Object::output)"
312 typedef val_t (* kernel___Char_____l_t
)(val_t self
, val_t param0
);
313 val_t
kernel___Char_____l(val_t self
, val_t param0
);
314 #define LOCATE_kernel___Char_____l "kernel::Char::(kernel::Comparable::<)"
315 typedef val_t (* kernel___Char_____leq_t
)(val_t self
, val_t param0
);
316 val_t
kernel___Char_____leq(val_t self
, val_t param0
);
317 #define LOCATE_kernel___Char_____leq "kernel::Char::(kernel::Comparable::<=)"
318 typedef val_t (* kernel___Char_____geq_t
)(val_t self
, val_t param0
);
319 val_t
kernel___Char_____geq(val_t self
, val_t param0
);
320 #define LOCATE_kernel___Char_____geq "kernel::Char::(kernel::Comparable::>=)"
321 typedef val_t (* kernel___Char_____g_t
)(val_t self
, val_t param0
);
322 val_t
kernel___Char_____g(val_t self
, val_t param0
);
323 #define LOCATE_kernel___Char_____g "kernel::Char::(kernel::Comparable::>)"
324 typedef val_t (* kernel___Char___succ_t
)(val_t self
);
325 val_t
kernel___Char___succ(val_t self
);
326 #define LOCATE_kernel___Char___succ "kernel::Char::(kernel::Discrete::succ)"
327 typedef val_t (* kernel___Char___prec_t
)(val_t self
);
328 val_t
kernel___Char___prec(val_t self
);
329 #define LOCATE_kernel___Char___prec "kernel::Char::(kernel::Discrete::prec)"
330 typedef val_t (* kernel___Char_____plus_t
)(val_t self
, val_t param0
);
331 val_t
kernel___Char_____plus(val_t self
, val_t param0
);
332 #define LOCATE_kernel___Char_____plus "kernel::Char::(kernel::Discrete::+)"
333 typedef val_t (* kernel___Char_____minus_t
)(val_t self
, val_t param0
);
334 val_t
kernel___Char_____minus(val_t self
, val_t param0
);
335 #define LOCATE_kernel___Char_____minus "kernel::Char::(kernel::Discrete::-)"
336 typedef val_t (* kernel___Char___distance_t
)(val_t self
, val_t param0
);
337 val_t
kernel___Char___distance(val_t self
, val_t param0
);
338 #define LOCATE_kernel___Char___distance "kernel::Char::(kernel::Discrete::distance)"
339 typedef val_t (* kernel___Char___to_i_t
)(val_t self
);
340 val_t
kernel___Char___to_i(val_t self
);
341 #define LOCATE_kernel___Char___to_i "kernel::Char::to_i"
342 typedef val_t (* kernel___Char___ascii_t
)(val_t self
);
343 val_t
kernel___Char___ascii(val_t self
);
344 #define LOCATE_kernel___Char___ascii "kernel::Char::ascii"
345 typedef val_t (* kernel___Char___to_lower_t
)(val_t self
);
346 val_t
kernel___Char___to_lower(val_t self
);
347 #define LOCATE_kernel___Char___to_lower "kernel::Char::to_lower"
348 typedef val_t (* kernel___Char___to_upper_t
)(val_t self
);
349 val_t
kernel___Char___to_upper(val_t self
);
350 #define LOCATE_kernel___Char___to_upper "kernel::Char::to_upper"