1 /* This C file is generated by NIT to compile module standard___kernel. */
2 #include "standard___kernel._sep.h"
3 static const char LOCATE_standard___kernel___Object___object_id
[] = "kernel::Object::object_id";
4 val_t
standard___kernel___Object___object_id(val_t p0
){
5 struct {struct stack_frame_t me
;} fra
;
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_standard___kernel
;
11 fra
.me
.meth
= LOCATE_standard___kernel___Object___object_id
;
14 fra
.me
.nitni_local_ref_head
= NULL
;
15 fra
.me
.REG
[0] = NIT_NULL
;
17 /* ../lib/standard/kernel.nit:29 */
18 REGB0
= TAG_Int((bigint
)((obj_t
)fra
.me
.REG
[0])[1].object_id
);
19 stack_frame_head
= fra
.me
.prev
;
22 static const char LOCATE_standard___kernel___Object___is_same_type
[] = "kernel::Object::is_same_type";
23 val_t
standard___kernel___Object___is_same_type(val_t p0
, val_t p1
){
24 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
27 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
28 fra
.me
.file
= LOCATE_standard___kernel
;
30 fra
.me
.meth
= LOCATE_standard___kernel___Object___is_same_type
;
33 fra
.me
.nitni_local_ref_head
= NULL
;
34 fra
.me
.REG
[0] = NIT_NULL
;
35 fra
.me
.REG
[1] = NIT_NULL
;
38 /* ../lib/standard/kernel.nit:34 */
39 REGB0
= TAG_Bool((VAL2VFT(fra
.me
.REG
[0])==VAL2VFT(fra
.me
.REG
[1])));
40 stack_frame_head
= fra
.me
.prev
;
43 static const char LOCATE_standard___kernel___Object_____eqeq
[] = "kernel::Object::==";
44 val_t
standard___kernel___Object_____eqeq(val_t p0
, val_t p1
){
45 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
48 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
49 fra
.me
.file
= LOCATE_standard___kernel
;
51 fra
.me
.meth
= LOCATE_standard___kernel___Object_____eqeq
;
54 fra
.me
.nitni_local_ref_head
= NULL
;
55 fra
.me
.REG
[0] = NIT_NULL
;
56 fra
.me
.REG
[1] = NIT_NULL
;
59 /* ../lib/standard/kernel.nit:42 */
60 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
63 stack_frame_head
= fra
.me
.prev
;
66 static const char LOCATE_standard___kernel___Object_____neq
[] = "kernel::Object::!=";
67 val_t
standard___kernel___Object_____neq(val_t p0
, val_t p1
){
68 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
72 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
73 fra
.me
.file
= LOCATE_standard___kernel
;
75 fra
.me
.meth
= LOCATE_standard___kernel___Object_____neq
;
78 fra
.me
.nitni_local_ref_head
= NULL
;
79 fra
.me
.REG
[0] = NIT_NULL
;
80 fra
.me
.REG
[1] = NIT_NULL
;
83 /* ../lib/standard/kernel.nit:47 */
84 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
85 if (UNTAG_Bool(REGB0
)) {
87 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
90 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
93 stack_frame_head
= fra
.me
.prev
;
96 static const char LOCATE_standard___kernel___Object___output
[] = "kernel::Object::output";
97 void standard___kernel___Object___output(val_t p0
){
98 struct {struct stack_frame_t me
;} fra
;
101 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
102 fra
.me
.file
= LOCATE_standard___kernel
;
104 fra
.me
.meth
= LOCATE_standard___kernel___Object___output
;
105 fra
.me
.has_broke
= 0;
107 fra
.me
.nitni_local_ref_head
= NULL
;
108 fra
.me
.REG
[0] = NIT_NULL
;
110 /* ../lib/standard/kernel.nit:54 */
111 REGB0
= TAG_Char('<');
112 /* ../lib/standard/kernel.nit:383 */
113 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
114 /* ../lib/standard/kernel.nit:55 */
115 REGB0
= CALL_standard___kernel___Object___object_id(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
116 /* ../lib/standard/kernel.nit:232 */
117 printf("%ld\n", UNTAG_Int(REGB0
));;
118 /* ../lib/standard/kernel.nit:56 */
119 REGB0
= TAG_Char('>');
120 /* ../lib/standard/kernel.nit:383 */
121 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
122 stack_frame_head
= fra
.me
.prev
;
125 static const char LOCATE_standard___kernel___Object___output_class_name
[] = "kernel::Object::output_class_name";
126 void standard___kernel___Object___output_class_name(val_t p0
){
127 struct {struct stack_frame_t me
;} fra
;
129 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
130 fra
.me
.file
= LOCATE_standard___kernel
;
132 fra
.me
.meth
= LOCATE_standard___kernel___Object___output_class_name
;
133 fra
.me
.has_broke
= 0;
135 fra
.me
.nitni_local_ref_head
= NULL
;
136 fra
.me
.REG
[0] = NIT_NULL
;
138 /* ../lib/standard/kernel.nit:59 */
139 printf("%s\n", VAL2VFT(fra
.me
.REG
[0])[2].cname
);;
140 stack_frame_head
= fra
.me
.prev
;
143 static const char LOCATE_standard___kernel___Object___exit
[] = "kernel::Object::exit";
144 void standard___kernel___Object___exit(val_t p0
, val_t p1
){
145 struct {struct stack_frame_t me
;} fra
;
148 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
149 fra
.me
.file
= LOCATE_standard___kernel
;
151 fra
.me
.meth
= LOCATE_standard___kernel___Object___exit
;
152 fra
.me
.has_broke
= 0;
154 fra
.me
.nitni_local_ref_head
= NULL
;
155 fra
.me
.REG
[0] = NIT_NULL
;
158 /* ../lib/standard/kernel.nit:64 */
159 exit(UNTAG_Int(REGB0
));;
160 stack_frame_head
= fra
.me
.prev
;
163 static const char LOCATE_standard___kernel___Object___sys
[] = "kernel::Object::sys";
164 val_t
standard___kernel___Object___sys(val_t p0
){
165 struct {struct stack_frame_t me
;} fra
;
167 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
168 fra
.me
.file
= LOCATE_standard___kernel
;
170 fra
.me
.meth
= LOCATE_standard___kernel___Object___sys
;
171 fra
.me
.has_broke
= 0;
173 fra
.me
.nitni_local_ref_head
= NULL
;
174 fra
.me
.REG
[0] = NIT_NULL
;
176 /* ../lib/standard/kernel.nit:67 */
177 fra
.me
.REG
[0] = (G_sys
);
178 stack_frame_head
= fra
.me
.prev
;
179 return fra
.me
.REG
[0];
181 static const char LOCATE_standard___kernel___Sys___main
[] = "kernel::Sys::main";
182 void standard___kernel___Sys___main(val_t p0
){
183 struct {struct stack_frame_t me
;} fra
;
185 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
186 fra
.me
.file
= LOCATE_standard___kernel
;
188 fra
.me
.meth
= LOCATE_standard___kernel___Sys___main
;
189 fra
.me
.has_broke
= 0;
191 fra
.me
.nitni_local_ref_head
= NULL
;
192 fra
.me
.REG
[0] = NIT_NULL
;
194 stack_frame_head
= fra
.me
.prev
;
197 static const char LOCATE_standard___kernel___Sys___init
[] = "kernel::Sys::init";
198 void standard___kernel___Sys___init(val_t p0
, int* init_table
){
199 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_standard___kernel___Sys
].i
;
200 struct {struct stack_frame_t me
;} fra
;
202 if (init_table
[itpos0
]) return;
203 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
204 fra
.me
.file
= LOCATE_standard___kernel
;
206 fra
.me
.meth
= LOCATE_standard___kernel___Sys___init
;
207 fra
.me
.has_broke
= 0;
209 fra
.me
.nitni_local_ref_head
= NULL
;
210 stack_frame_head
= fra
.me
.prev
;
211 init_table
[itpos0
] = 1;
214 static const char LOCATE_standard___kernel___Comparable_____l
[] = "kernel::Comparable::<";
215 val_t
standard___kernel___Comparable_____l(val_t p0
, val_t p1
){
216 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
219 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
220 fra
.me
.file
= LOCATE_standard___kernel
;
222 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____l
;
223 fra
.me
.has_broke
= 0;
225 fra
.me
.nitni_local_ref_head
= NULL
;
226 fra
.me
.REG
[0] = NIT_NULL
;
227 fra
.me
.REG
[1] = NIT_NULL
;
230 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
231 if (UNTAG_Bool(REGB0
)) {
233 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
235 /* ../lib/standard/kernel.nit:89 */
236 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 89);
237 stack_frame_head
= fra
.me
.prev
;
240 static const char LOCATE_standard___kernel___Comparable_____leq
[] = "kernel::Comparable::<=";
241 val_t
standard___kernel___Comparable_____leq(val_t p0
, val_t p1
){
242 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
245 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
246 fra
.me
.file
= LOCATE_standard___kernel
;
248 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leq
;
249 fra
.me
.has_broke
= 0;
251 fra
.me
.nitni_local_ref_head
= NULL
;
252 fra
.me
.REG
[0] = NIT_NULL
;
253 fra
.me
.REG
[1] = NIT_NULL
;
256 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
257 if (UNTAG_Bool(REGB0
)) {
259 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
261 /* ../lib/standard/kernel.nit:94 */
262 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
263 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
266 stack_frame_head
= fra
.me
.prev
;
269 static const char LOCATE_standard___kernel___Comparable_____geq
[] = "kernel::Comparable::>=";
270 val_t
standard___kernel___Comparable_____geq(val_t p0
, val_t p1
){
271 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
274 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
275 fra
.me
.file
= LOCATE_standard___kernel
;
277 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____geq
;
278 fra
.me
.has_broke
= 0;
280 fra
.me
.nitni_local_ref_head
= NULL
;
281 fra
.me
.REG
[0] = NIT_NULL
;
282 fra
.me
.REG
[1] = NIT_NULL
;
285 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
286 if (UNTAG_Bool(REGB0
)) {
288 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
290 /* ../lib/standard/kernel.nit:98 */
291 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
292 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
295 stack_frame_head
= fra
.me
.prev
;
298 static const char LOCATE_standard___kernel___Comparable_____g
[] = "kernel::Comparable::>";
299 val_t
standard___kernel___Comparable_____g(val_t p0
, val_t p1
){
300 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
303 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
304 fra
.me
.file
= LOCATE_standard___kernel
;
306 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____g
;
307 fra
.me
.has_broke
= 0;
309 fra
.me
.nitni_local_ref_head
= NULL
;
310 fra
.me
.REG
[0] = NIT_NULL
;
311 fra
.me
.REG
[1] = NIT_NULL
;
314 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
315 if (UNTAG_Bool(REGB0
)) {
317 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
319 /* ../lib/standard/kernel.nit:101 */
320 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
323 stack_frame_head
= fra
.me
.prev
;
326 static const char LOCATE_standard___kernel___Comparable_____leqg
[] = "kernel::Comparable::<=>";
327 val_t
standard___kernel___Comparable_____leqg(val_t p0
, val_t p1
){
328 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
332 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
333 fra
.me
.file
= LOCATE_standard___kernel
;
335 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leqg
;
336 fra
.me
.has_broke
= 0;
338 fra
.me
.nitni_local_ref_head
= NULL
;
339 fra
.me
.REG
[0] = NIT_NULL
;
340 fra
.me
.REG
[1] = NIT_NULL
;
343 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
344 if (UNTAG_Bool(REGB0
)) {
346 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
348 /* ../lib/standard/kernel.nit:107 */
349 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
350 if (UNTAG_Bool(REGB0
)) {
351 /* ../lib/standard/kernel.nit:108 */
353 /* ../lib/standard/kernel.nit:239 */
354 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
355 /* ../lib/standard/kernel.nit:108 */
358 /* ../lib/standard/kernel.nit:109 */
359 REGB1
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
360 if (UNTAG_Bool(REGB1
)) {
361 /* ../lib/standard/kernel.nit:110 */
366 /* ../lib/standard/kernel.nit:112 */
373 stack_frame_head
= fra
.me
.prev
;
376 static const char LOCATE_standard___kernel___Comparable___is_between
[] = "kernel::Comparable::is_between";
377 val_t
standard___kernel___Comparable___is_between(val_t p0
, val_t p1
, val_t p2
){
378 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
382 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
383 fra
.me
.file
= LOCATE_standard___kernel
;
385 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___is_between
;
386 fra
.me
.has_broke
= 0;
388 fra
.me
.nitni_local_ref_head
= NULL
;
389 fra
.me
.REG
[0] = NIT_NULL
;
390 fra
.me
.REG
[1] = NIT_NULL
;
391 fra
.me
.REG
[2] = NIT_NULL
;
395 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
396 if (UNTAG_Bool(REGB0
)) {
398 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
400 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[2], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
401 if (UNTAG_Bool(REGB0
)) {
403 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
405 /* ../lib/standard/kernel.nit:119 */
406 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
407 if (UNTAG_Bool(REGB0
)) {
408 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
415 stack_frame_head
= fra
.me
.prev
;
418 static const char LOCATE_standard___kernel___Comparable___max
[] = "kernel::Comparable::max";
419 val_t
standard___kernel___Comparable___max(val_t p0
, val_t p1
){
420 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
423 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
424 fra
.me
.file
= LOCATE_standard___kernel
;
426 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___max
;
427 fra
.me
.has_broke
= 0;
429 fra
.me
.nitni_local_ref_head
= NULL
;
430 fra
.me
.REG
[0] = NIT_NULL
;
431 fra
.me
.REG
[1] = NIT_NULL
;
434 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
435 if (UNTAG_Bool(REGB0
)) {
437 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
439 /* ../lib/standard/kernel.nit:125 */
440 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
441 if (UNTAG_Bool(REGB0
)) {
442 /* ../lib/standard/kernel.nit:126 */
445 /* ../lib/standard/kernel.nit:128 */
446 fra
.me
.REG
[1] = fra
.me
.REG
[0];
450 stack_frame_head
= fra
.me
.prev
;
451 return fra
.me
.REG
[1];
453 static const char LOCATE_standard___kernel___Comparable___min
[] = "kernel::Comparable::min";
454 val_t
standard___kernel___Comparable___min(val_t p0
, val_t p1
){
455 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
458 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
459 fra
.me
.file
= LOCATE_standard___kernel
;
461 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___min
;
462 fra
.me
.has_broke
= 0;
464 fra
.me
.nitni_local_ref_head
= NULL
;
465 fra
.me
.REG
[0] = NIT_NULL
;
466 fra
.me
.REG
[1] = NIT_NULL
;
469 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
470 if (UNTAG_Bool(REGB0
)) {
472 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
474 /* ../lib/standard/kernel.nit:135 */
475 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
476 if (UNTAG_Bool(REGB0
)) {
477 /* ../lib/standard/kernel.nit:136 */
480 /* ../lib/standard/kernel.nit:138 */
481 fra
.me
.REG
[1] = fra
.me
.REG
[0];
485 stack_frame_head
= fra
.me
.prev
;
486 return fra
.me
.REG
[1];
488 static const char LOCATE_standard___kernel___Discrete___succ
[] = "kernel::Discrete::succ";
489 val_t
standard___kernel___Discrete___succ(val_t p0
){
490 struct {struct stack_frame_t me
;} fra
;
493 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
494 fra
.me
.file
= LOCATE_standard___kernel
;
496 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___succ
;
497 fra
.me
.has_broke
= 0;
499 fra
.me
.nitni_local_ref_head
= NULL
;
500 fra
.me
.REG
[0] = NIT_NULL
;
502 /* ../lib/standard/kernel.nit:150 */
504 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____plus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
507 stack_frame_head
= fra
.me
.prev
;
508 return fra
.me
.REG
[0];
510 static const char LOCATE_standard___kernel___Discrete___prec
[] = "kernel::Discrete::prec";
511 val_t
standard___kernel___Discrete___prec(val_t p0
){
512 struct {struct stack_frame_t me
;} fra
;
515 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
516 fra
.me
.file
= LOCATE_standard___kernel
;
518 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___prec
;
519 fra
.me
.has_broke
= 0;
521 fra
.me
.nitni_local_ref_head
= NULL
;
522 fra
.me
.REG
[0] = NIT_NULL
;
524 /* ../lib/standard/kernel.nit:153 */
526 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____minus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
529 stack_frame_head
= fra
.me
.prev
;
530 return fra
.me
.REG
[0];
532 static const char LOCATE_standard___kernel___Discrete_____plus
[] = "kernel::Discrete::+";
533 val_t
standard___kernel___Discrete_____plus(val_t p0
, val_t p1
){
534 struct {struct stack_frame_t me
;} fra
;
536 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
537 fra
.me
.file
= LOCATE_standard___kernel
;
539 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____plus
;
540 fra
.me
.has_broke
= 0;
542 fra
.me
.nitni_local_ref_head
= NULL
;
543 /* ../lib/standard/kernel.nit:155 */
544 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 155);
545 stack_frame_head
= fra
.me
.prev
;
548 static const char LOCATE_standard___kernel___Discrete_____minus
[] = "kernel::Discrete::-";
549 val_t
standard___kernel___Discrete_____minus(val_t p0
, val_t p1
){
550 struct {struct stack_frame_t me
;} fra
;
552 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
553 fra
.me
.file
= LOCATE_standard___kernel
;
555 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____minus
;
556 fra
.me
.has_broke
= 0;
558 fra
.me
.nitni_local_ref_head
= NULL
;
559 /* ../lib/standard/kernel.nit:158 */
560 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 158);
561 stack_frame_head
= fra
.me
.prev
;
564 static const char LOCATE_standard___kernel___Discrete___distance
[] = "kernel::Discrete::distance";
565 val_t
standard___kernel___Discrete___distance(val_t p0
, val_t p1
){
566 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
571 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
572 fra
.me
.file
= LOCATE_standard___kernel
;
574 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___distance
;
575 fra
.me
.has_broke
= 0;
577 fra
.me
.nitni_local_ref_head
= NULL
;
578 fra
.me
.REG
[0] = NIT_NULL
;
579 fra
.me
.REG
[1] = NIT_NULL
;
580 fra
.me
.REG
[2] = NIT_NULL
;
581 fra
.me
.REG
[3] = NIT_NULL
;
584 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
585 if (UNTAG_Bool(REGB0
)) {
587 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
589 /* ../lib/standard/kernel.nit:168 */
590 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
591 if (UNTAG_Bool(REGB0
)) {
592 /* ../lib/standard/kernel.nit:169 */
593 fra
.me
.REG
[2] = fra
.me
.REG
[0];
594 /* ../lib/standard/kernel.nit:170 */
595 fra
.me
.REG
[3] = fra
.me
.REG
[1];
597 /* ../lib/standard/kernel.nit:171 */
598 REGB0
= CALL_standard___kernel___Comparable_____g(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
599 if (UNTAG_Bool(REGB0
)) {
600 /* ../lib/standard/kernel.nit:172 */
601 fra
.me
.REG
[2] = fra
.me
.REG
[1];
602 /* ../lib/standard/kernel.nit:173 */
603 fra
.me
.REG
[3] = fra
.me
.REG
[0];
605 /* ../lib/standard/kernel.nit:175 */
610 /* ../lib/standard/kernel.nit:178 */
612 /* ../lib/standard/kernel.nit:179 */
614 REGB2
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
615 if (UNTAG_Bool(REGB2
)) {
616 /* ../lib/standard/kernel.nit:180 */
617 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete___succ(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
618 fra
.me
.REG
[2] = fra
.me
.REG
[0];
619 /* ../lib/standard/kernel.nit:181 */
621 /* ../lib/standard/kernel.nit:238 */
622 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
623 /* ../lib/standard/kernel.nit:181 */
626 /* ../lib/standard/kernel.nit:179 */
631 /* ../lib/standard/kernel.nit:183 */
635 stack_frame_head
= fra
.me
.prev
;
638 static const char LOCATE_standard___kernel___Bool___object_id
[] = "kernel::Bool::(kernel::Object::object_id)";
639 val_t
standard___kernel___Bool___object_id(val_t p0
){
640 struct {struct stack_frame_t me
;} fra
;
643 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
644 fra
.me
.file
= LOCATE_standard___kernel
;
646 fra
.me
.meth
= LOCATE_standard___kernel___Bool___object_id
;
647 fra
.me
.has_broke
= 0;
649 fra
.me
.nitni_local_ref_head
= NULL
;
651 /* ../lib/standard/kernel.nit:197 */
652 REGB0
= TAG_Int(UNTAG_Bool(REGB0
));
653 stack_frame_head
= fra
.me
.prev
;
656 static const char LOCATE_standard___kernel___Bool_____eqeq
[] = "kernel::Bool::(kernel::Object::==)";
657 val_t
standard___kernel___Bool_____eqeq(val_t p0
, val_t p1
){
658 struct {struct stack_frame_t me
;} fra
;
661 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
662 fra
.me
.file
= LOCATE_standard___kernel
;
664 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____eqeq
;
665 fra
.me
.has_broke
= 0;
667 fra
.me
.nitni_local_ref_head
= NULL
;
668 fra
.me
.REG
[0] = NIT_NULL
;
671 /* ../lib/standard/kernel.nit:198 */
672 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
673 stack_frame_head
= fra
.me
.prev
;
676 static const char LOCATE_standard___kernel___Bool_____neq
[] = "kernel::Bool::(kernel::Object::!=)";
677 val_t
standard___kernel___Bool_____neq(val_t p0
, val_t p1
){
678 struct {struct stack_frame_t me
;} fra
;
681 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
682 fra
.me
.file
= LOCATE_standard___kernel
;
684 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____neq
;
685 fra
.me
.has_broke
= 0;
687 fra
.me
.nitni_local_ref_head
= NULL
;
688 fra
.me
.REG
[0] = NIT_NULL
;
691 /* ../lib/standard/kernel.nit:199 */
692 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
693 stack_frame_head
= fra
.me
.prev
;
696 static const char LOCATE_standard___kernel___Bool___output
[] = "kernel::Bool::(kernel::Object::output)";
697 void standard___kernel___Bool___output(val_t p0
){
698 struct {struct stack_frame_t me
;} fra
;
701 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
702 fra
.me
.file
= LOCATE_standard___kernel
;
704 fra
.me
.meth
= LOCATE_standard___kernel___Bool___output
;
705 fra
.me
.has_broke
= 0;
707 fra
.me
.nitni_local_ref_head
= NULL
;
709 /* ../lib/standard/kernel.nit:200 */
710 (void)printf(UNTAG_Bool(REGB0
)?
"true\n":"false\n");;
711 stack_frame_head
= fra
.me
.prev
;
714 static const char LOCATE_standard___kernel___Float___object_id
[] = "kernel::Float::(kernel::Object::object_id)";
715 val_t
standard___kernel___Float___object_id(val_t p0
){
716 struct {struct stack_frame_t me
;} fra
;
719 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
720 fra
.me
.file
= LOCATE_standard___kernel
;
722 fra
.me
.meth
= LOCATE_standard___kernel___Float___object_id
;
723 fra
.me
.has_broke
= 0;
725 fra
.me
.nitni_local_ref_head
= NULL
;
726 fra
.me
.REG
[0] = NIT_NULL
;
728 /* ../lib/standard/kernel.nit:206 */
729 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
730 stack_frame_head
= fra
.me
.prev
;
733 static const char LOCATE_standard___kernel___Float___output
[] = "kernel::Float::(kernel::Object::output)";
734 void standard___kernel___Float___output(val_t p0
){
735 struct {struct stack_frame_t me
;} fra
;
737 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
738 fra
.me
.file
= LOCATE_standard___kernel
;
740 fra
.me
.meth
= LOCATE_standard___kernel___Float___output
;
741 fra
.me
.has_broke
= 0;
743 fra
.me
.nitni_local_ref_head
= NULL
;
744 fra
.me
.REG
[0] = NIT_NULL
;
746 /* ../lib/standard/kernel.nit:207 */
747 printf("%f\n", UNBOX_Float(fra
.me
.REG
[0]));;
748 stack_frame_head
= fra
.me
.prev
;
751 static const char LOCATE_standard___kernel___Float_____leq
[] = "kernel::Float::<=";
752 val_t
standard___kernel___Float_____leq(val_t p0
, val_t p1
){
753 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
756 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
757 fra
.me
.file
= LOCATE_standard___kernel
;
759 fra
.me
.meth
= LOCATE_standard___kernel___Float_____leq
;
760 fra
.me
.has_broke
= 0;
762 fra
.me
.nitni_local_ref_head
= NULL
;
763 fra
.me
.REG
[0] = NIT_NULL
;
764 fra
.me
.REG
[1] = NIT_NULL
;
767 /* ../lib/standard/kernel.nit:209 */
768 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<=UNBOX_Float(fra
.me
.REG
[1]));
769 stack_frame_head
= fra
.me
.prev
;
772 static const char LOCATE_standard___kernel___Float_____l
[] = "kernel::Float::<";
773 val_t
standard___kernel___Float_____l(val_t p0
, val_t p1
){
774 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
777 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
778 fra
.me
.file
= LOCATE_standard___kernel
;
780 fra
.me
.meth
= LOCATE_standard___kernel___Float_____l
;
781 fra
.me
.has_broke
= 0;
783 fra
.me
.nitni_local_ref_head
= NULL
;
784 fra
.me
.REG
[0] = NIT_NULL
;
785 fra
.me
.REG
[1] = NIT_NULL
;
788 /* ../lib/standard/kernel.nit:210 */
789 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<UNBOX_Float(fra
.me
.REG
[1]));
790 stack_frame_head
= fra
.me
.prev
;
793 static const char LOCATE_standard___kernel___Float_____geq
[] = "kernel::Float::>=";
794 val_t
standard___kernel___Float_____geq(val_t p0
, val_t p1
){
795 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
798 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
799 fra
.me
.file
= LOCATE_standard___kernel
;
801 fra
.me
.meth
= LOCATE_standard___kernel___Float_____geq
;
802 fra
.me
.has_broke
= 0;
804 fra
.me
.nitni_local_ref_head
= NULL
;
805 fra
.me
.REG
[0] = NIT_NULL
;
806 fra
.me
.REG
[1] = NIT_NULL
;
809 /* ../lib/standard/kernel.nit:211 */
810 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>=UNBOX_Float(fra
.me
.REG
[1]));
811 stack_frame_head
= fra
.me
.prev
;
814 static const char LOCATE_standard___kernel___Float_____g
[] = "kernel::Float::>";
815 val_t
standard___kernel___Float_____g(val_t p0
, val_t p1
){
816 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
819 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
820 fra
.me
.file
= LOCATE_standard___kernel
;
822 fra
.me
.meth
= LOCATE_standard___kernel___Float_____g
;
823 fra
.me
.has_broke
= 0;
825 fra
.me
.nitni_local_ref_head
= NULL
;
826 fra
.me
.REG
[0] = NIT_NULL
;
827 fra
.me
.REG
[1] = NIT_NULL
;
830 /* ../lib/standard/kernel.nit:212 */
831 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>UNBOX_Float(fra
.me
.REG
[1]));
832 stack_frame_head
= fra
.me
.prev
;
835 static const char LOCATE_standard___kernel___Float_____plus
[] = "kernel::Float::+";
836 val_t
standard___kernel___Float_____plus(val_t p0
, val_t p1
){
837 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
839 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
840 fra
.me
.file
= LOCATE_standard___kernel
;
842 fra
.me
.meth
= LOCATE_standard___kernel___Float_____plus
;
843 fra
.me
.has_broke
= 0;
845 fra
.me
.nitni_local_ref_head
= NULL
;
846 fra
.me
.REG
[0] = NIT_NULL
;
847 fra
.me
.REG
[1] = NIT_NULL
;
850 /* ../lib/standard/kernel.nit:213 */
851 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])+UNBOX_Float(fra
.me
.REG
[1]));
852 stack_frame_head
= fra
.me
.prev
;
853 return fra
.me
.REG
[1];
855 static const char LOCATE_standard___kernel___Float___unary__minus
[] = "kernel::Float::unary -";
856 val_t
standard___kernel___Float___unary__minus(val_t p0
){
857 struct {struct stack_frame_t me
;} fra
;
859 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
860 fra
.me
.file
= LOCATE_standard___kernel
;
862 fra
.me
.meth
= LOCATE_standard___kernel___Float___unary__minus
;
863 fra
.me
.has_broke
= 0;
865 fra
.me
.nitni_local_ref_head
= NULL
;
866 fra
.me
.REG
[0] = NIT_NULL
;
868 /* ../lib/standard/kernel.nit:214 */
869 fra
.me
.REG
[0] = BOX_Float(-UNBOX_Float(fra
.me
.REG
[0]));
870 stack_frame_head
= fra
.me
.prev
;
871 return fra
.me
.REG
[0];
873 static const char LOCATE_standard___kernel___Float_____minus
[] = "kernel::Float::-";
874 val_t
standard___kernel___Float_____minus(val_t p0
, val_t p1
){
875 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
877 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
878 fra
.me
.file
= LOCATE_standard___kernel
;
880 fra
.me
.meth
= LOCATE_standard___kernel___Float_____minus
;
881 fra
.me
.has_broke
= 0;
883 fra
.me
.nitni_local_ref_head
= NULL
;
884 fra
.me
.REG
[0] = NIT_NULL
;
885 fra
.me
.REG
[1] = NIT_NULL
;
888 /* ../lib/standard/kernel.nit:215 */
889 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])-UNBOX_Float(fra
.me
.REG
[1]));
890 stack_frame_head
= fra
.me
.prev
;
891 return fra
.me
.REG
[1];
893 static const char LOCATE_standard___kernel___Float_____star
[] = "kernel::Float::*";
894 val_t
standard___kernel___Float_____star(val_t p0
, val_t p1
){
895 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
897 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
898 fra
.me
.file
= LOCATE_standard___kernel
;
900 fra
.me
.meth
= LOCATE_standard___kernel___Float_____star
;
901 fra
.me
.has_broke
= 0;
903 fra
.me
.nitni_local_ref_head
= NULL
;
904 fra
.me
.REG
[0] = NIT_NULL
;
905 fra
.me
.REG
[1] = NIT_NULL
;
908 /* ../lib/standard/kernel.nit:216 */
909 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])*UNBOX_Float(fra
.me
.REG
[1]));
910 stack_frame_head
= fra
.me
.prev
;
911 return fra
.me
.REG
[1];
913 static const char LOCATE_standard___kernel___Float_____slash
[] = "kernel::Float::/";
914 val_t
standard___kernel___Float_____slash(val_t p0
, val_t p1
){
915 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
917 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
918 fra
.me
.file
= LOCATE_standard___kernel
;
920 fra
.me
.meth
= LOCATE_standard___kernel___Float_____slash
;
921 fra
.me
.has_broke
= 0;
923 fra
.me
.nitni_local_ref_head
= NULL
;
924 fra
.me
.REG
[0] = NIT_NULL
;
925 fra
.me
.REG
[1] = NIT_NULL
;
928 /* ../lib/standard/kernel.nit:217 */
929 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])/UNBOX_Float(fra
.me
.REG
[1]));
930 stack_frame_head
= fra
.me
.prev
;
931 return fra
.me
.REG
[1];
933 static const char LOCATE_standard___kernel___Float___to_i
[] = "kernel::Float::to_i";
934 val_t
standard___kernel___Float___to_i(val_t p0
){
935 struct {struct stack_frame_t me
;} fra
;
938 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
939 fra
.me
.file
= LOCATE_standard___kernel
;
941 fra
.me
.meth
= LOCATE_standard___kernel___Float___to_i
;
942 fra
.me
.has_broke
= 0;
944 fra
.me
.nitni_local_ref_head
= NULL
;
945 fra
.me
.REG
[0] = NIT_NULL
;
947 /* ../lib/standard/kernel.nit:219 */
948 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
949 stack_frame_head
= fra
.me
.prev
;
952 static const char LOCATE_standard___kernel___Int___object_id
[] = "kernel::Int::(kernel::Object::object_id)";
953 val_t
standard___kernel___Int___object_id(val_t p0
){
954 struct {struct stack_frame_t me
;} fra
;
957 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
958 fra
.me
.file
= LOCATE_standard___kernel
;
960 fra
.me
.meth
= LOCATE_standard___kernel___Int___object_id
;
961 fra
.me
.has_broke
= 0;
963 fra
.me
.nitni_local_ref_head
= NULL
;
965 /* ../lib/standard/kernel.nit:229 */
967 stack_frame_head
= fra
.me
.prev
;
970 static const char LOCATE_standard___kernel___Int_____eqeq
[] = "kernel::Int::(kernel::Object::==)";
971 val_t
standard___kernel___Int_____eqeq(val_t p0
, val_t p1
){
972 struct {struct stack_frame_t me
;} fra
;
975 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
976 fra
.me
.file
= LOCATE_standard___kernel
;
978 fra
.me
.meth
= LOCATE_standard___kernel___Int_____eqeq
;
979 fra
.me
.has_broke
= 0;
981 fra
.me
.nitni_local_ref_head
= NULL
;
982 fra
.me
.REG
[0] = NIT_NULL
;
985 /* ../lib/standard/kernel.nit:230 */
986 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
987 stack_frame_head
= fra
.me
.prev
;
990 static const char LOCATE_standard___kernel___Int_____neq
[] = "kernel::Int::(kernel::Object::!=)";
991 val_t
standard___kernel___Int_____neq(val_t p0
, val_t p1
){
992 struct {struct stack_frame_t me
;} fra
;
995 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
996 fra
.me
.file
= LOCATE_standard___kernel
;
998 fra
.me
.meth
= LOCATE_standard___kernel___Int_____neq
;
999 fra
.me
.has_broke
= 0;
1000 fra
.me
.REG_size
= 1;
1001 fra
.me
.nitni_local_ref_head
= NULL
;
1002 fra
.me
.REG
[0] = NIT_NULL
;
1005 /* ../lib/standard/kernel.nit:231 */
1006 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
1007 stack_frame_head
= fra
.me
.prev
;
1010 static const char LOCATE_standard___kernel___Int___output
[] = "kernel::Int::(kernel::Object::output)";
1011 void standard___kernel___Int___output(val_t p0
){
1012 struct {struct stack_frame_t me
;} fra
;
1015 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1016 fra
.me
.file
= LOCATE_standard___kernel
;
1018 fra
.me
.meth
= LOCATE_standard___kernel___Int___output
;
1019 fra
.me
.has_broke
= 0;
1020 fra
.me
.REG_size
= 0;
1021 fra
.me
.nitni_local_ref_head
= NULL
;
1023 /* ../lib/standard/kernel.nit:232 */
1024 printf("%ld\n", UNTAG_Int(REGB0
));;
1025 stack_frame_head
= fra
.me
.prev
;
1028 static const char LOCATE_standard___kernel___Int_____leq
[] = "kernel::Int::(kernel::Comparable::<=)";
1029 val_t
standard___kernel___Int_____leq(val_t p0
, val_t p1
){
1030 struct {struct stack_frame_t me
;} fra
;
1035 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1036 fra
.me
.file
= LOCATE_standard___kernel
;
1038 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leq
;
1039 fra
.me
.has_broke
= 0;
1040 fra
.me
.REG_size
= 0;
1041 fra
.me
.nitni_local_ref_head
= NULL
;
1044 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1045 if (UNTAG_Bool(REGB2
)) {
1047 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1049 /* ../lib/standard/kernel.nit:234 */
1050 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1051 stack_frame_head
= fra
.me
.prev
;
1054 static const char LOCATE_standard___kernel___Int_____l
[] = "kernel::Int::(kernel::Comparable::<)";
1055 val_t
standard___kernel___Int_____l(val_t p0
, val_t p1
){
1056 struct {struct stack_frame_t me
;} fra
;
1061 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1062 fra
.me
.file
= LOCATE_standard___kernel
;
1064 fra
.me
.meth
= LOCATE_standard___kernel___Int_____l
;
1065 fra
.me
.has_broke
= 0;
1066 fra
.me
.REG_size
= 0;
1067 fra
.me
.nitni_local_ref_head
= NULL
;
1070 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1071 if (UNTAG_Bool(REGB2
)) {
1073 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1075 /* ../lib/standard/kernel.nit:235 */
1076 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1077 stack_frame_head
= fra
.me
.prev
;
1080 static const char LOCATE_standard___kernel___Int_____geq
[] = "kernel::Int::(kernel::Comparable::>=)";
1081 val_t
standard___kernel___Int_____geq(val_t p0
, val_t p1
){
1082 struct {struct stack_frame_t me
;} fra
;
1087 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1088 fra
.me
.file
= LOCATE_standard___kernel
;
1090 fra
.me
.meth
= LOCATE_standard___kernel___Int_____geq
;
1091 fra
.me
.has_broke
= 0;
1092 fra
.me
.REG_size
= 0;
1093 fra
.me
.nitni_local_ref_head
= NULL
;
1096 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1097 if (UNTAG_Bool(REGB2
)) {
1099 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1101 /* ../lib/standard/kernel.nit:236 */
1102 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1103 stack_frame_head
= fra
.me
.prev
;
1106 static const char LOCATE_standard___kernel___Int_____g
[] = "kernel::Int::(kernel::Comparable::>)";
1107 val_t
standard___kernel___Int_____g(val_t p0
, val_t p1
){
1108 struct {struct stack_frame_t me
;} fra
;
1113 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1114 fra
.me
.file
= LOCATE_standard___kernel
;
1116 fra
.me
.meth
= LOCATE_standard___kernel___Int_____g
;
1117 fra
.me
.has_broke
= 0;
1118 fra
.me
.REG_size
= 0;
1119 fra
.me
.nitni_local_ref_head
= NULL
;
1122 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1123 if (UNTAG_Bool(REGB2
)) {
1125 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1127 /* ../lib/standard/kernel.nit:237 */
1128 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
1129 stack_frame_head
= fra
.me
.prev
;
1132 static const char LOCATE_standard___kernel___Int_____plus
[] = "kernel::Int::(kernel::Discrete::+)";
1133 val_t
standard___kernel___Int_____plus(val_t p0
, val_t p1
){
1134 struct {struct stack_frame_t me
;} fra
;
1138 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1139 fra
.me
.file
= LOCATE_standard___kernel
;
1141 fra
.me
.meth
= LOCATE_standard___kernel___Int_____plus
;
1142 fra
.me
.has_broke
= 0;
1143 fra
.me
.REG_size
= 0;
1144 fra
.me
.nitni_local_ref_head
= NULL
;
1147 /* ../lib/standard/kernel.nit:238 */
1148 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1149 stack_frame_head
= fra
.me
.prev
;
1152 static const char LOCATE_standard___kernel___Int___unary__minus
[] = "kernel::Int::unary -";
1153 val_t
standard___kernel___Int___unary__minus(val_t p0
){
1154 struct {struct stack_frame_t me
;} fra
;
1157 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1158 fra
.me
.file
= LOCATE_standard___kernel
;
1160 fra
.me
.meth
= LOCATE_standard___kernel___Int___unary__minus
;
1161 fra
.me
.has_broke
= 0;
1162 fra
.me
.REG_size
= 0;
1163 fra
.me
.nitni_local_ref_head
= NULL
;
1165 /* ../lib/standard/kernel.nit:239 */
1166 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
1167 stack_frame_head
= fra
.me
.prev
;
1170 static const char LOCATE_standard___kernel___Int_____minus
[] = "kernel::Int::(kernel::Discrete::-)";
1171 val_t
standard___kernel___Int_____minus(val_t p0
, val_t p1
){
1172 struct {struct stack_frame_t me
;} fra
;
1176 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1177 fra
.me
.file
= LOCATE_standard___kernel
;
1179 fra
.me
.meth
= LOCATE_standard___kernel___Int_____minus
;
1180 fra
.me
.has_broke
= 0;
1181 fra
.me
.REG_size
= 0;
1182 fra
.me
.nitni_local_ref_head
= NULL
;
1185 /* ../lib/standard/kernel.nit:240 */
1186 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1187 stack_frame_head
= fra
.me
.prev
;
1190 static const char LOCATE_standard___kernel___Int_____star
[] = "kernel::Int::*";
1191 val_t
standard___kernel___Int_____star(val_t p0
, val_t p1
){
1192 struct {struct stack_frame_t me
;} fra
;
1196 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1197 fra
.me
.file
= LOCATE_standard___kernel
;
1199 fra
.me
.meth
= LOCATE_standard___kernel___Int_____star
;
1200 fra
.me
.has_broke
= 0;
1201 fra
.me
.REG_size
= 0;
1202 fra
.me
.nitni_local_ref_head
= NULL
;
1205 /* ../lib/standard/kernel.nit:241 */
1206 REGB1
= TAG_Int(UNTAG_Int(REGB0
)*UNTAG_Int(REGB1
));
1207 stack_frame_head
= fra
.me
.prev
;
1210 static const char LOCATE_standard___kernel___Int_____slash
[] = "kernel::Int::/";
1211 val_t
standard___kernel___Int_____slash(val_t p0
, val_t p1
){
1212 struct {struct stack_frame_t me
;} fra
;
1216 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1217 fra
.me
.file
= LOCATE_standard___kernel
;
1219 fra
.me
.meth
= LOCATE_standard___kernel___Int_____slash
;
1220 fra
.me
.has_broke
= 0;
1221 fra
.me
.REG_size
= 0;
1222 fra
.me
.nitni_local_ref_head
= NULL
;
1225 /* ../lib/standard/kernel.nit:242 */
1226 REGB1
= TAG_Int(UNTAG_Int(REGB0
)/UNTAG_Int(REGB1
));
1227 stack_frame_head
= fra
.me
.prev
;
1230 static const char LOCATE_standard___kernel___Int_____percent
[] = "kernel::Int::%";
1231 val_t
standard___kernel___Int_____percent(val_t p0
, val_t p1
){
1232 struct {struct stack_frame_t me
;} fra
;
1236 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1237 fra
.me
.file
= LOCATE_standard___kernel
;
1239 fra
.me
.meth
= LOCATE_standard___kernel___Int_____percent
;
1240 fra
.me
.has_broke
= 0;
1241 fra
.me
.REG_size
= 0;
1242 fra
.me
.nitni_local_ref_head
= NULL
;
1245 /* ../lib/standard/kernel.nit:243 */
1246 REGB1
= TAG_Int(UNTAG_Int(REGB0
)%UNTAG_Int(REGB1
));
1247 stack_frame_head
= fra
.me
.prev
;
1250 static const char LOCATE_standard___kernel___Int___lshift
[] = "kernel::Int::lshift";
1251 val_t
standard___kernel___Int___lshift(val_t p0
, val_t p1
){
1252 struct {struct stack_frame_t me
;} fra
;
1256 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1257 fra
.me
.file
= LOCATE_standard___kernel
;
1259 fra
.me
.meth
= LOCATE_standard___kernel___Int___lshift
;
1260 fra
.me
.has_broke
= 0;
1261 fra
.me
.REG_size
= 0;
1262 fra
.me
.nitni_local_ref_head
= NULL
;
1265 /* ../lib/standard/kernel.nit:244 */
1266 REGB1
= TAG_Int(UNTAG_Int(REGB0
)<<UNTAG_Int(REGB1
));
1267 stack_frame_head
= fra
.me
.prev
;
1270 static const char LOCATE_standard___kernel___Int___rshift
[] = "kernel::Int::rshift";
1271 val_t
standard___kernel___Int___rshift(val_t p0
, val_t p1
){
1272 struct {struct stack_frame_t me
;} fra
;
1276 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1277 fra
.me
.file
= LOCATE_standard___kernel
;
1279 fra
.me
.meth
= LOCATE_standard___kernel___Int___rshift
;
1280 fra
.me
.has_broke
= 0;
1281 fra
.me
.REG_size
= 0;
1282 fra
.me
.nitni_local_ref_head
= NULL
;
1285 /* ../lib/standard/kernel.nit:245 */
1286 REGB1
= TAG_Int(UNTAG_Int(REGB0
)>>UNTAG_Int(REGB1
));
1287 stack_frame_head
= fra
.me
.prev
;
1290 static const char LOCATE_standard___kernel___Int___to_f
[] = "kernel::Int::to_f";
1291 val_t
standard___kernel___Int___to_f(val_t p0
){
1292 struct {struct stack_frame_t me
;} fra
;
1295 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1296 fra
.me
.file
= LOCATE_standard___kernel
;
1298 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_f
;
1299 fra
.me
.has_broke
= 0;
1300 fra
.me
.REG_size
= 1;
1301 fra
.me
.nitni_local_ref_head
= NULL
;
1302 fra
.me
.REG
[0] = NIT_NULL
;
1304 /* ../lib/standard/kernel.nit:247 */
1305 fra
.me
.REG
[0] = BOX_Float((float)UNTAG_Int(REGB0
));
1306 stack_frame_head
= fra
.me
.prev
;
1307 return fra
.me
.REG
[0];
1309 static const char LOCATE_standard___kernel___Int___succ
[] = "kernel::Int::(kernel::Discrete::succ)";
1310 val_t
standard___kernel___Int___succ(val_t p0
){
1311 struct {struct stack_frame_t me
;} fra
;
1314 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1315 fra
.me
.file
= LOCATE_standard___kernel
;
1317 fra
.me
.meth
= LOCATE_standard___kernel___Int___succ
;
1318 fra
.me
.has_broke
= 0;
1319 fra
.me
.REG_size
= 0;
1320 fra
.me
.nitni_local_ref_head
= NULL
;
1322 /* ../lib/standard/kernel.nit:250 */
1323 REGB0
= TAG_Int(UNTAG_Int(REGB0
)+1);
1324 stack_frame_head
= fra
.me
.prev
;
1327 static const char LOCATE_standard___kernel___Int___prec
[] = "kernel::Int::(kernel::Discrete::prec)";
1328 val_t
standard___kernel___Int___prec(val_t p0
){
1329 struct {struct stack_frame_t me
;} fra
;
1332 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1333 fra
.me
.file
= LOCATE_standard___kernel
;
1335 fra
.me
.meth
= LOCATE_standard___kernel___Int___prec
;
1336 fra
.me
.has_broke
= 0;
1337 fra
.me
.REG_size
= 0;
1338 fra
.me
.nitni_local_ref_head
= NULL
;
1340 /* ../lib/standard/kernel.nit:251 */
1341 REGB0
= TAG_Int(UNTAG_Int(REGB0
)-1);
1342 stack_frame_head
= fra
.me
.prev
;
1345 static const char LOCATE_standard___kernel___Int___distance
[] = "kernel::Int::(kernel::Discrete::distance)";
1346 val_t
standard___kernel___Int___distance(val_t p0
, val_t p1
){
1347 struct {struct stack_frame_t me
;} fra
;
1352 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1353 fra
.me
.file
= LOCATE_standard___kernel
;
1355 fra
.me
.meth
= LOCATE_standard___kernel___Int___distance
;
1356 fra
.me
.has_broke
= 0;
1357 fra
.me
.REG_size
= 0;
1358 fra
.me
.nitni_local_ref_head
= NULL
;
1361 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1362 if (UNTAG_Bool(REGB2
)) {
1364 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1366 /* ../lib/standard/kernel.nit:240 */
1367 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1368 /* ../lib/standard/kernel.nit:255 */
1370 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1371 if (UNTAG_Bool(REGB2
)) {
1373 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1375 /* ../lib/standard/kernel.nit:236 */
1376 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
1377 /* ../lib/standard/kernel.nit:255 */
1378 if (UNTAG_Bool(REGB0
)) {
1379 /* ../lib/standard/kernel.nit:256 */
1383 /* ../lib/standard/kernel.nit:239 */
1384 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
1385 /* ../lib/standard/kernel.nit:258 */
1390 stack_frame_head
= fra
.me
.prev
;
1393 static const char LOCATE_standard___kernel___Int_____leqg
[] = "kernel::Int::(kernel::Comparable::<=>)";
1394 val_t
standard___kernel___Int_____leqg(val_t p0
, val_t p1
){
1395 struct {struct stack_frame_t me
;} fra
;
1401 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1402 fra
.me
.file
= LOCATE_standard___kernel
;
1404 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leqg
;
1405 fra
.me
.has_broke
= 0;
1406 fra
.me
.REG_size
= 0;
1407 fra
.me
.nitni_local_ref_head
= NULL
;
1410 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1411 if (UNTAG_Bool(REGB2
)) {
1413 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1415 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1416 if (UNTAG_Bool(REGB2
)) {
1418 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1420 /* ../lib/standard/kernel.nit:235 */
1421 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1422 /* ../lib/standard/kernel.nit:264 */
1423 if (UNTAG_Bool(REGB2
)) {
1424 /* ../lib/standard/kernel.nit:265 */
1426 /* ../lib/standard/kernel.nit:239 */
1427 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
1428 /* ../lib/standard/kernel.nit:265 */
1431 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1432 if (UNTAG_Bool(REGB3
)) {
1434 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1436 /* ../lib/standard/kernel.nit:235 */
1437 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1438 /* ../lib/standard/kernel.nit:266 */
1439 if (UNTAG_Bool(REGB0
)) {
1440 /* ../lib/standard/kernel.nit:267 */
1445 /* ../lib/standard/kernel.nit:269 */
1452 stack_frame_head
= fra
.me
.prev
;
1455 static const char LOCATE_standard___kernel___Int___is_between
[] = "kernel::Int::(kernel::Comparable::is_between)";
1456 val_t
standard___kernel___Int___is_between(val_t p0
, val_t p1
, val_t p2
){
1457 struct {struct stack_frame_t me
;} fra
;
1463 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1464 fra
.me
.file
= LOCATE_standard___kernel
;
1466 fra
.me
.meth
= LOCATE_standard___kernel___Int___is_between
;
1467 fra
.me
.has_broke
= 0;
1468 fra
.me
.REG_size
= 0;
1469 fra
.me
.nitni_local_ref_head
= NULL
;
1473 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1474 if (UNTAG_Bool(REGB3
)) {
1476 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1478 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1479 if (UNTAG_Bool(REGB3
)) {
1481 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1483 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1484 if (UNTAG_Bool(REGB3
)) {
1486 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1488 /* ../lib/standard/kernel.nit:235 */
1489 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1490 /* ../lib/standard/kernel.nit:275 */
1491 if (UNTAG_Bool(REGB1
)) {
1492 REGB1
= TAG_Bool(1);
1494 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1495 if (UNTAG_Bool(REGB3
)) {
1497 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1499 /* ../lib/standard/kernel.nit:235 */
1500 REGB0
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB0
));
1501 /* ../lib/standard/kernel.nit:275 */
1504 if (UNTAG_Bool(REGB1
)) {
1505 /* ../lib/standard/kernel.nit:276 */
1506 REGB1
= TAG_Bool(0);
1509 /* ../lib/standard/kernel.nit:278 */
1510 REGB0
= TAG_Bool(1);
1515 stack_frame_head
= fra
.me
.prev
;
1518 static const char LOCATE_standard___kernel___Int___max
[] = "kernel::Int::(kernel::Comparable::max)";
1519 val_t
standard___kernel___Int___max(val_t p0
, val_t p1
){
1520 struct {struct stack_frame_t me
;} fra
;
1525 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1526 fra
.me
.file
= LOCATE_standard___kernel
;
1528 fra
.me
.meth
= LOCATE_standard___kernel___Int___max
;
1529 fra
.me
.has_broke
= 0;
1530 fra
.me
.REG_size
= 0;
1531 fra
.me
.nitni_local_ref_head
= NULL
;
1534 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1535 if (UNTAG_Bool(REGB2
)) {
1537 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1539 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1540 if (UNTAG_Bool(REGB2
)) {
1542 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1544 /* ../lib/standard/kernel.nit:235 */
1545 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1546 /* ../lib/standard/kernel.nit:284 */
1547 if (UNTAG_Bool(REGB2
)) {
1548 /* ../lib/standard/kernel.nit:285 */
1551 /* ../lib/standard/kernel.nit:287 */
1556 stack_frame_head
= fra
.me
.prev
;
1559 static const char LOCATE_standard___kernel___Int___min
[] = "kernel::Int::(kernel::Comparable::min)";
1560 val_t
standard___kernel___Int___min(val_t p0
, val_t p1
){
1561 struct {struct stack_frame_t me
;} fra
;
1566 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1567 fra
.me
.file
= LOCATE_standard___kernel
;
1569 fra
.me
.meth
= LOCATE_standard___kernel___Int___min
;
1570 fra
.me
.has_broke
= 0;
1571 fra
.me
.REG_size
= 0;
1572 fra
.me
.nitni_local_ref_head
= NULL
;
1575 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1576 if (UNTAG_Bool(REGB2
)) {
1578 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1580 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1581 if (UNTAG_Bool(REGB2
)) {
1583 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1585 /* ../lib/standard/kernel.nit:235 */
1586 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1587 /* ../lib/standard/kernel.nit:293 */
1588 if (UNTAG_Bool(REGB2
)) {
1589 /* ../lib/standard/kernel.nit:294 */
1592 /* ../lib/standard/kernel.nit:296 */
1597 stack_frame_head
= fra
.me
.prev
;
1600 static const char LOCATE_standard___kernel___Int___ascii
[] = "kernel::Int::ascii";
1601 val_t
standard___kernel___Int___ascii(val_t p0
){
1602 struct {struct stack_frame_t me
;} fra
;
1605 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1606 fra
.me
.file
= LOCATE_standard___kernel
;
1608 fra
.me
.meth
= LOCATE_standard___kernel___Int___ascii
;
1609 fra
.me
.has_broke
= 0;
1610 fra
.me
.REG_size
= 0;
1611 fra
.me
.nitni_local_ref_head
= NULL
;
1613 /* ../lib/standard/kernel.nit:300 */
1614 REGB0
= TAG_Char(UNTAG_Int(REGB0
));
1615 stack_frame_head
= fra
.me
.prev
;
1618 static const char LOCATE_standard___kernel___Int___digit_count
[] = "kernel::Int::digit_count";
1619 val_t
standard___kernel___Int___digit_count(val_t p0
, val_t p1
){
1620 struct {struct stack_frame_t me
;} fra
;
1628 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1629 fra
.me
.file
= LOCATE_standard___kernel
;
1631 fra
.me
.meth
= LOCATE_standard___kernel___Int___digit_count
;
1632 fra
.me
.has_broke
= 0;
1633 fra
.me
.REG_size
= 0;
1634 fra
.me
.nitni_local_ref_head
= NULL
;
1637 /* ../lib/standard/kernel.nit:309 */
1639 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1640 if (UNTAG_Bool(REGB3
)) {
1642 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1644 /* ../lib/standard/kernel.nit:235 */
1645 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB2
));
1646 /* ../lib/standard/kernel.nit:309 */
1647 if (UNTAG_Bool(REGB2
)) {
1648 /* ../lib/standard/kernel.nit:310 */
1650 /* ../lib/standard/kernel.nit:239 */
1651 REGB3
= TAG_Int(-UNTAG_Int(REGB0
));
1653 /* ../lib/standard/kernel.nit:312 */
1655 REGB5
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB4
));
1656 if (UNTAG_Bool(REGB5
)) {
1658 /* ../lib/standard/kernel.nit:230 */
1659 REGB4
= TAG_Bool((REGB0
)==(REGB4
));
1660 /* ../lib/standard/kernel.nit:312 */
1663 if (UNTAG_Bool(REGB5
)) {
1664 /* ../lib/standard/kernel.nit:313 */
1668 /* ../lib/standard/kernel.nit:315 */
1671 /* ../lib/standard/kernel.nit:316 */
1675 /* ../lib/standard/kernel.nit:319 */
1678 REGB4
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
1679 if (UNTAG_Bool(REGB4
)) {
1681 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1683 /* ../lib/standard/kernel.nit:237 */
1684 REGB0
= TAG_Bool(UNTAG_Int(REGB3
)>UNTAG_Int(REGB0
));
1685 /* ../lib/standard/kernel.nit:319 */
1686 if (UNTAG_Bool(REGB0
)) {
1687 /* ../lib/standard/kernel.nit:320 */
1689 /* ../lib/standard/kernel.nit:238 */
1690 REGB0
= TAG_Int(UNTAG_Int(REGB2
)+UNTAG_Int(REGB0
));
1691 /* ../lib/standard/kernel.nit:320 */
1693 /* ../lib/standard/kernel.nit:242 */
1694 REGB0
= TAG_Int(UNTAG_Int(REGB3
)/UNTAG_Int(REGB1
));
1695 /* ../lib/standard/kernel.nit:321 */
1698 /* ../lib/standard/kernel.nit:319 */
1703 /* ../lib/standard/kernel.nit:323 */
1707 stack_frame_head
= fra
.me
.prev
;
1710 static const char LOCATE_standard___kernel___Int___to_c
[] = "kernel::Int::to_c";
1711 val_t
standard___kernel___Int___to_c(val_t p0
){
1712 struct {struct stack_frame_t me
;} fra
;
1718 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1719 fra
.me
.file
= LOCATE_standard___kernel
;
1721 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_c
;
1722 fra
.me
.has_broke
= 0;
1723 fra
.me
.REG_size
= 0;
1724 fra
.me
.nitni_local_ref_head
= NULL
;
1726 /* ../lib/standard/kernel.nit:331 */
1728 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1729 if (UNTAG_Bool(REGB2
)) {
1731 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1733 /* ../lib/standard/kernel.nit:236 */
1734 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1735 /* ../lib/standard/kernel.nit:331 */
1736 if (UNTAG_Bool(REGB1
)) {
1737 REGB1
= TAG_Int(36);
1738 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1739 if (UNTAG_Bool(REGB2
)) {
1741 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1743 /* ../lib/standard/kernel.nit:234 */
1744 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1746 /* ../lib/standard/kernel.nit:331 */
1747 REGB2
= TAG_Bool(0);
1750 if (UNTAG_Bool(REGB1
)) {
1752 nit_abort("Assert failed", NULL
, LOCATE_standard___kernel
, 331);
1754 /* ../lib/standard/kernel.nit:332 */
1755 REGB1
= TAG_Int(10);
1756 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1757 if (UNTAG_Bool(REGB2
)) {
1759 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1761 /* ../lib/standard/kernel.nit:235 */
1762 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1763 /* ../lib/standard/kernel.nit:332 */
1764 if (UNTAG_Bool(REGB1
)) {
1765 /* ../lib/standard/kernel.nit:333 */
1766 REGB1
= TAG_Char('0');
1767 /* ../lib/standard/kernel.nit:416 */
1768 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
1769 /* ../lib/standard/kernel.nit:238 */
1770 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1771 /* ../lib/standard/kernel.nit:300 */
1772 REGB1
= TAG_Char(UNTAG_Int(REGB1
));
1773 /* ../lib/standard/kernel.nit:333 */
1776 /* ../lib/standard/kernel.nit:335 */
1777 REGB2
= TAG_Char('a');
1778 /* ../lib/standard/kernel.nit:416 */
1779 REGB2
= TAG_Int((unsigned char)UNTAG_Char(REGB2
));
1780 /* ../lib/standard/kernel.nit:335 */
1781 REGB3
= TAG_Int(10);
1782 /* ../lib/standard/kernel.nit:240 */
1783 REGB3
= TAG_Int(UNTAG_Int(REGB2
)-UNTAG_Int(REGB3
));
1784 /* ../lib/standard/kernel.nit:238 */
1785 REGB3
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB3
));
1786 /* ../lib/standard/kernel.nit:300 */
1787 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
1788 /* ../lib/standard/kernel.nit:335 */
1793 stack_frame_head
= fra
.me
.prev
;
1796 static const char LOCATE_standard___kernel___Int___enumerate_to
[] = "kernel::Int::enumerate_to";
1797 void standard___kernel___Int___enumerate_to(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1798 struct {struct stack_frame_t me
;} fra
;
1804 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1805 fra
.me
.file
= LOCATE_standard___kernel
;
1807 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_to
;
1808 fra
.me
.has_broke
= 0;
1809 fra
.me
.REG_size
= 0;
1810 fra
.me
.nitni_local_ref_head
= NULL
;
1811 fra
.me
.closure_ctx
= closctx_param
;
1812 fra
.me
.closure_funs
= CREG
;
1815 CREG
[0] = clos_fun0
;
1816 /* ../lib/standard/kernel.nit:344 */
1818 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1819 if (UNTAG_Bool(REGB2
)) {
1821 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1823 /* ../lib/standard/kernel.nit:234 */
1824 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1825 /* ../lib/standard/kernel.nit:344 */
1826 if (UNTAG_Bool(REGB2
)) {
1827 /* ../lib/standard/kernel.nit:345 */
1828 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
1829 if (closctx_param
->has_broke
) {
1832 /* ../lib/standard/kernel.nit:346 */
1834 /* ../lib/standard/kernel.nit:238 */
1835 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
1836 /* ../lib/standard/kernel.nit:346 */
1839 /* ../lib/standard/kernel.nit:344 */
1845 stack_frame_head
= fra
.me
.prev
;
1848 static const char LOCATE_standard___kernel___Int___enumerate_before
[] = "kernel::Int::enumerate_before";
1849 void standard___kernel___Int___enumerate_before(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1850 struct {struct stack_frame_t me
;} fra
;
1856 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1857 fra
.me
.file
= LOCATE_standard___kernel
;
1859 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_before
;
1860 fra
.me
.has_broke
= 0;
1861 fra
.me
.REG_size
= 0;
1862 fra
.me
.nitni_local_ref_head
= NULL
;
1863 fra
.me
.closure_ctx
= closctx_param
;
1864 fra
.me
.closure_funs
= CREG
;
1867 CREG
[0] = clos_fun0
;
1868 /* ../lib/standard/kernel.nit:355 */
1870 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1871 if (UNTAG_Bool(REGB2
)) {
1873 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1875 /* ../lib/standard/kernel.nit:235 */
1876 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1877 /* ../lib/standard/kernel.nit:355 */
1878 if (UNTAG_Bool(REGB2
)) {
1879 /* ../lib/standard/kernel.nit:356 */
1880 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
1881 if (closctx_param
->has_broke
) {
1884 /* ../lib/standard/kernel.nit:357 */
1886 /* ../lib/standard/kernel.nit:238 */
1887 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
1888 /* ../lib/standard/kernel.nit:357 */
1891 /* ../lib/standard/kernel.nit:355 */
1897 stack_frame_head
= fra
.me
.prev
;
1900 static const char LOCATE_standard___kernel___Int___abs
[] = "kernel::Int::abs";
1901 val_t
standard___kernel___Int___abs(val_t p0
){
1902 struct {struct stack_frame_t me
;} fra
;
1907 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1908 fra
.me
.file
= LOCATE_standard___kernel
;
1910 fra
.me
.meth
= LOCATE_standard___kernel___Int___abs
;
1911 fra
.me
.has_broke
= 0;
1912 fra
.me
.REG_size
= 0;
1913 fra
.me
.nitni_local_ref_head
= NULL
;
1915 /* ../lib/standard/kernel.nit:364 */
1917 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1918 if (UNTAG_Bool(REGB2
)) {
1920 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1922 /* ../lib/standard/kernel.nit:236 */
1923 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1924 /* ../lib/standard/kernel.nit:364 */
1925 if (UNTAG_Bool(REGB1
)) {
1926 /* ../lib/standard/kernel.nit:366 */
1930 /* ../lib/standard/kernel.nit:368 */
1932 /* ../lib/standard/kernel.nit:239 */
1933 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
1934 /* ../lib/standard/kernel.nit:241 */
1935 REGB0
= TAG_Int(UNTAG_Int(REGB2
)*UNTAG_Int(REGB0
));
1936 /* ../lib/standard/kernel.nit:368 */
1941 stack_frame_head
= fra
.me
.prev
;
1944 static const char LOCATE_standard___kernel___Char___object_id
[] = "kernel::Char::(kernel::Object::object_id)";
1945 val_t
standard___kernel___Char___object_id(val_t p0
){
1946 struct {struct stack_frame_t me
;} fra
;
1949 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1950 fra
.me
.file
= LOCATE_standard___kernel
;
1952 fra
.me
.meth
= LOCATE_standard___kernel___Char___object_id
;
1953 fra
.me
.has_broke
= 0;
1954 fra
.me
.REG_size
= 0;
1955 fra
.me
.nitni_local_ref_head
= NULL
;
1957 /* ../lib/standard/kernel.nit:380 */
1958 REGB0
= TAG_Int(UNTAG_Char(REGB0
));
1959 stack_frame_head
= fra
.me
.prev
;
1962 static const char LOCATE_standard___kernel___Char_____eqeq
[] = "kernel::Char::(kernel::Object::==)";
1963 val_t
standard___kernel___Char_____eqeq(val_t p0
, val_t p1
){
1964 struct {struct stack_frame_t me
;} fra
;
1967 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1968 fra
.me
.file
= LOCATE_standard___kernel
;
1970 fra
.me
.meth
= LOCATE_standard___kernel___Char_____eqeq
;
1971 fra
.me
.has_broke
= 0;
1972 fra
.me
.REG_size
= 1;
1973 fra
.me
.nitni_local_ref_head
= NULL
;
1974 fra
.me
.REG
[0] = NIT_NULL
;
1977 /* ../lib/standard/kernel.nit:381 */
1978 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
1979 stack_frame_head
= fra
.me
.prev
;
1982 static const char LOCATE_standard___kernel___Char_____neq
[] = "kernel::Char::(kernel::Object::!=)";
1983 val_t
standard___kernel___Char_____neq(val_t p0
, val_t p1
){
1984 struct {struct stack_frame_t me
;} fra
;
1987 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1988 fra
.me
.file
= LOCATE_standard___kernel
;
1990 fra
.me
.meth
= LOCATE_standard___kernel___Char_____neq
;
1991 fra
.me
.has_broke
= 0;
1992 fra
.me
.REG_size
= 1;
1993 fra
.me
.nitni_local_ref_head
= NULL
;
1994 fra
.me
.REG
[0] = NIT_NULL
;
1997 /* ../lib/standard/kernel.nit:382 */
1998 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
1999 stack_frame_head
= fra
.me
.prev
;
2002 static const char LOCATE_standard___kernel___Char___output
[] = "kernel::Char::(kernel::Object::output)";
2003 void standard___kernel___Char___output(val_t p0
){
2004 struct {struct stack_frame_t me
;} fra
;
2007 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2008 fra
.me
.file
= LOCATE_standard___kernel
;
2010 fra
.me
.meth
= LOCATE_standard___kernel___Char___output
;
2011 fra
.me
.has_broke
= 0;
2012 fra
.me
.REG_size
= 0;
2013 fra
.me
.nitni_local_ref_head
= NULL
;
2015 /* ../lib/standard/kernel.nit:383 */
2016 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
2017 stack_frame_head
= fra
.me
.prev
;
2020 static const char LOCATE_standard___kernel___Char_____leq
[] = "kernel::Char::(kernel::Comparable::<=)";
2021 val_t
standard___kernel___Char_____leq(val_t p0
, val_t p1
){
2022 struct {struct stack_frame_t me
;} fra
;
2027 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2028 fra
.me
.file
= LOCATE_standard___kernel
;
2030 fra
.me
.meth
= LOCATE_standard___kernel___Char_____leq
;
2031 fra
.me
.has_broke
= 0;
2032 fra
.me
.REG_size
= 0;
2033 fra
.me
.nitni_local_ref_head
= NULL
;
2036 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2037 if (UNTAG_Bool(REGB2
)) {
2039 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2041 /* ../lib/standard/kernel.nit:385 */
2042 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2043 stack_frame_head
= fra
.me
.prev
;
2046 static const char LOCATE_standard___kernel___Char_____l
[] = "kernel::Char::(kernel::Comparable::<)";
2047 val_t
standard___kernel___Char_____l(val_t p0
, val_t p1
){
2048 struct {struct stack_frame_t me
;} fra
;
2053 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2054 fra
.me
.file
= LOCATE_standard___kernel
;
2056 fra
.me
.meth
= LOCATE_standard___kernel___Char_____l
;
2057 fra
.me
.has_broke
= 0;
2058 fra
.me
.REG_size
= 0;
2059 fra
.me
.nitni_local_ref_head
= NULL
;
2062 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2063 if (UNTAG_Bool(REGB2
)) {
2065 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2067 /* ../lib/standard/kernel.nit:386 */
2068 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<UNTAG_Char(REGB1
));
2069 stack_frame_head
= fra
.me
.prev
;
2072 static const char LOCATE_standard___kernel___Char_____geq
[] = "kernel::Char::(kernel::Comparable::>=)";
2073 val_t
standard___kernel___Char_____geq(val_t p0
, val_t p1
){
2074 struct {struct stack_frame_t me
;} fra
;
2079 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2080 fra
.me
.file
= LOCATE_standard___kernel
;
2082 fra
.me
.meth
= LOCATE_standard___kernel___Char_____geq
;
2083 fra
.me
.has_broke
= 0;
2084 fra
.me
.REG_size
= 0;
2085 fra
.me
.nitni_local_ref_head
= NULL
;
2088 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2089 if (UNTAG_Bool(REGB2
)) {
2091 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2093 /* ../lib/standard/kernel.nit:387 */
2094 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2095 stack_frame_head
= fra
.me
.prev
;
2098 static const char LOCATE_standard___kernel___Char_____g
[] = "kernel::Char::(kernel::Comparable::>)";
2099 val_t
standard___kernel___Char_____g(val_t p0
, val_t p1
){
2100 struct {struct stack_frame_t me
;} fra
;
2105 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2106 fra
.me
.file
= LOCATE_standard___kernel
;
2108 fra
.me
.meth
= LOCATE_standard___kernel___Char_____g
;
2109 fra
.me
.has_broke
= 0;
2110 fra
.me
.REG_size
= 0;
2111 fra
.me
.nitni_local_ref_head
= NULL
;
2114 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2115 if (UNTAG_Bool(REGB2
)) {
2117 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2119 /* ../lib/standard/kernel.nit:388 */
2120 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>UNTAG_Char(REGB1
));
2121 stack_frame_head
= fra
.me
.prev
;
2124 static const char LOCATE_standard___kernel___Char___succ
[] = "kernel::Char::(kernel::Discrete::succ)";
2125 val_t
standard___kernel___Char___succ(val_t p0
){
2126 struct {struct stack_frame_t me
;} fra
;
2129 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2130 fra
.me
.file
= LOCATE_standard___kernel
;
2132 fra
.me
.meth
= LOCATE_standard___kernel___Char___succ
;
2133 fra
.me
.has_broke
= 0;
2134 fra
.me
.REG_size
= 0;
2135 fra
.me
.nitni_local_ref_head
= NULL
;
2137 /* ../lib/standard/kernel.nit:390 */
2138 REGB0
= TAG_Char(UNTAG_Char(REGB0
)+1);
2139 stack_frame_head
= fra
.me
.prev
;
2142 static const char LOCATE_standard___kernel___Char___prec
[] = "kernel::Char::(kernel::Discrete::prec)";
2143 val_t
standard___kernel___Char___prec(val_t p0
){
2144 struct {struct stack_frame_t me
;} fra
;
2147 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2148 fra
.me
.file
= LOCATE_standard___kernel
;
2150 fra
.me
.meth
= LOCATE_standard___kernel___Char___prec
;
2151 fra
.me
.has_broke
= 0;
2152 fra
.me
.REG_size
= 0;
2153 fra
.me
.nitni_local_ref_head
= NULL
;
2155 /* ../lib/standard/kernel.nit:391 */
2156 REGB0
= TAG_Char(UNTAG_Char(REGB0
)-1);
2157 stack_frame_head
= fra
.me
.prev
;
2160 static const char LOCATE_standard___kernel___Char___distance
[] = "kernel::Char::(kernel::Discrete::distance)";
2161 val_t
standard___kernel___Char___distance(val_t p0
, val_t p1
){
2162 struct {struct stack_frame_t me
;} fra
;
2167 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2168 fra
.me
.file
= LOCATE_standard___kernel
;
2170 fra
.me
.meth
= LOCATE_standard___kernel___Char___distance
;
2171 fra
.me
.has_broke
= 0;
2172 fra
.me
.REG_size
= 0;
2173 fra
.me
.nitni_local_ref_head
= NULL
;
2176 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2177 if (UNTAG_Bool(REGB2
)) {
2179 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2181 /* ../lib/standard/kernel.nit:416 */
2182 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2183 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
2184 /* ../lib/standard/kernel.nit:240 */
2185 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2186 /* ../lib/standard/kernel.nit:396 */
2188 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
2189 if (UNTAG_Bool(REGB2
)) {
2191 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2193 /* ../lib/standard/kernel.nit:236 */
2194 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
2195 /* ../lib/standard/kernel.nit:396 */
2196 if (UNTAG_Bool(REGB0
)) {
2197 /* ../lib/standard/kernel.nit:397 */
2201 /* ../lib/standard/kernel.nit:239 */
2202 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
2203 /* ../lib/standard/kernel.nit:399 */
2208 stack_frame_head
= fra
.me
.prev
;
2211 static const char LOCATE_standard___kernel___Char___to_i
[] = "kernel::Char::to_i";
2212 val_t
standard___kernel___Char___to_i(val_t p0
){
2213 struct {struct stack_frame_t me
;} fra
;
2219 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2220 fra
.me
.file
= LOCATE_standard___kernel
;
2222 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_i
;
2223 fra
.me
.has_broke
= 0;
2224 fra
.me
.REG_size
= 0;
2225 fra
.me
.nitni_local_ref_head
= NULL
;
2227 /* ../lib/standard/kernel.nit:407 */
2228 REGB1
= TAG_Char('-');
2229 REGB2
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB1
));
2230 if (UNTAG_Bool(REGB2
)) {
2232 /* ../lib/standard/kernel.nit:381 */
2233 REGB1
= TAG_Bool((REGB0
)==(REGB1
));
2234 /* ../lib/standard/kernel.nit:407 */
2237 if (UNTAG_Bool(REGB2
)) {
2238 /* ../lib/standard/kernel.nit:408 */
2240 /* ../lib/standard/kernel.nit:239 */
2241 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
2242 /* ../lib/standard/kernel.nit:408 */
2245 /* ../lib/standard/kernel.nit:409 */
2246 REGB1
= CALL_standard___kernel___Char___is_digit(REGB0
)(REGB0
);
2247 if (UNTAG_Bool(REGB1
)) {
2248 /* ../lib/standard/kernel.nit:416 */
2249 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2250 /* ../lib/standard/kernel.nit:410 */
2251 REGB3
= TAG_Char('0');
2252 /* ../lib/standard/kernel.nit:416 */
2253 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2254 /* ../lib/standard/kernel.nit:240 */
2255 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2256 /* ../lib/standard/kernel.nit:410 */
2260 /* ../lib/standard/kernel.nit:412 */
2261 REGB0
= CALL_standard___kernel___Char___to_lower(REGB0
)(REGB0
);
2262 /* ../lib/standard/kernel.nit:416 */
2263 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2264 /* ../lib/standard/kernel.nit:412 */
2265 REGB3
= TAG_Char('a');
2266 /* ../lib/standard/kernel.nit:416 */
2267 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2268 /* ../lib/standard/kernel.nit:412 */
2269 REGB1
= TAG_Int(10);
2270 /* ../lib/standard/kernel.nit:238 */
2271 REGB1
= TAG_Int(UNTAG_Int(REGB3
)+UNTAG_Int(REGB1
));
2272 /* ../lib/standard/kernel.nit:240 */
2273 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2274 /* ../lib/standard/kernel.nit:412 */
2280 stack_frame_head
= fra
.me
.prev
;
2283 static const char LOCATE_standard___kernel___Char___ascii
[] = "kernel::Char::ascii";
2284 val_t
standard___kernel___Char___ascii(val_t p0
){
2285 struct {struct stack_frame_t me
;} fra
;
2288 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2289 fra
.me
.file
= LOCATE_standard___kernel
;
2291 fra
.me
.meth
= LOCATE_standard___kernel___Char___ascii
;
2292 fra
.me
.has_broke
= 0;
2293 fra
.me
.REG_size
= 0;
2294 fra
.me
.nitni_local_ref_head
= NULL
;
2296 /* ../lib/standard/kernel.nit:416 */
2297 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2298 stack_frame_head
= fra
.me
.prev
;
2301 static const char LOCATE_standard___kernel___Char_____plus
[] = "kernel::Char::(kernel::Discrete::+)";
2302 val_t
standard___kernel___Char_____plus(val_t p0
, val_t p1
){
2303 struct {struct stack_frame_t me
;} fra
;
2307 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2308 fra
.me
.file
= LOCATE_standard___kernel
;
2310 fra
.me
.meth
= LOCATE_standard___kernel___Char_____plus
;
2311 fra
.me
.has_broke
= 0;
2312 fra
.me
.REG_size
= 0;
2313 fra
.me
.nitni_local_ref_head
= NULL
;
2316 /* ../lib/standard/kernel.nit:419 */
2317 REGB1
= TAG_Char(UNTAG_Char(REGB0
)+UNTAG_Char(REGB1
));
2318 stack_frame_head
= fra
.me
.prev
;
2321 static const char LOCATE_standard___kernel___Char_____minus
[] = "kernel::Char::(kernel::Discrete::-)";
2322 val_t
standard___kernel___Char_____minus(val_t p0
, val_t p1
){
2323 struct {struct stack_frame_t me
;} fra
;
2327 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2328 fra
.me
.file
= LOCATE_standard___kernel
;
2330 fra
.me
.meth
= LOCATE_standard___kernel___Char_____minus
;
2331 fra
.me
.has_broke
= 0;
2332 fra
.me
.REG_size
= 0;
2333 fra
.me
.nitni_local_ref_head
= NULL
;
2336 /* ../lib/standard/kernel.nit:420 */
2337 REGB1
= TAG_Char(UNTAG_Char(REGB0
)-UNTAG_Char(REGB1
));
2338 stack_frame_head
= fra
.me
.prev
;
2341 static const char LOCATE_standard___kernel___Char___to_lower
[] = "kernel::Char::to_lower";
2342 val_t
standard___kernel___Char___to_lower(val_t p0
){
2343 struct {struct stack_frame_t me
;} fra
;
2349 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2350 fra
.me
.file
= LOCATE_standard___kernel
;
2352 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_lower
;
2353 fra
.me
.has_broke
= 0;
2354 fra
.me
.REG_size
= 0;
2355 fra
.me
.nitni_local_ref_head
= NULL
;
2357 /* ../lib/standard/kernel.nit:426 */
2358 REGB1
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2359 if (UNTAG_Bool(REGB1
)) {
2360 /* ../lib/standard/kernel.nit:416 */
2361 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2362 /* ../lib/standard/kernel.nit:427 */
2363 REGB2
= TAG_Char('a');
2364 REGB3
= TAG_Char('A');
2365 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2366 /* ../lib/standard/kernel.nit:238 */
2367 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
2368 /* ../lib/standard/kernel.nit:300 */
2369 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2370 /* ../lib/standard/kernel.nit:427 */
2373 /* ../lib/standard/kernel.nit:429 */
2378 stack_frame_head
= fra
.me
.prev
;
2381 static const char LOCATE_standard___kernel___Char___to_upper
[] = "kernel::Char::to_upper";
2382 val_t
standard___kernel___Char___to_upper(val_t p0
){
2383 struct {struct stack_frame_t me
;} fra
;
2389 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2390 fra
.me
.file
= LOCATE_standard___kernel
;
2392 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_upper
;
2393 fra
.me
.has_broke
= 0;
2394 fra
.me
.REG_size
= 0;
2395 fra
.me
.nitni_local_ref_head
= NULL
;
2397 /* ../lib/standard/kernel.nit:437 */
2398 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2399 if (UNTAG_Bool(REGB1
)) {
2400 /* ../lib/standard/kernel.nit:416 */
2401 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2402 /* ../lib/standard/kernel.nit:438 */
2403 REGB2
= TAG_Char('a');
2404 REGB3
= TAG_Char('A');
2405 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2406 /* ../lib/standard/kernel.nit:240 */
2407 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2408 /* ../lib/standard/kernel.nit:300 */
2409 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2410 /* ../lib/standard/kernel.nit:438 */
2413 /* ../lib/standard/kernel.nit:440 */
2418 stack_frame_head
= fra
.me
.prev
;
2421 static const char LOCATE_standard___kernel___Char___is_digit
[] = "kernel::Char::is_digit";
2422 val_t
standard___kernel___Char___is_digit(val_t p0
){
2423 struct {struct stack_frame_t me
;} fra
;
2428 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2429 fra
.me
.file
= LOCATE_standard___kernel
;
2431 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_digit
;
2432 fra
.me
.has_broke
= 0;
2433 fra
.me
.REG_size
= 0;
2434 fra
.me
.nitni_local_ref_head
= NULL
;
2436 /* ../lib/standard/kernel.nit:447 */
2437 REGB1
= TAG_Char('0');
2438 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2439 if (UNTAG_Bool(REGB2
)) {
2441 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2443 /* ../lib/standard/kernel.nit:387 */
2444 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2445 /* ../lib/standard/kernel.nit:447 */
2446 if (UNTAG_Bool(REGB1
)) {
2447 REGB1
= TAG_Char('9');
2448 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2449 if (UNTAG_Bool(REGB2
)) {
2451 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2453 /* ../lib/standard/kernel.nit:385 */
2454 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2456 /* ../lib/standard/kernel.nit:447 */
2457 REGB0
= TAG_Bool(0);
2462 stack_frame_head
= fra
.me
.prev
;
2465 static const char LOCATE_standard___kernel___Char___is_lower
[] = "kernel::Char::is_lower";
2466 val_t
standard___kernel___Char___is_lower(val_t p0
){
2467 struct {struct stack_frame_t me
;} fra
;
2472 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2473 fra
.me
.file
= LOCATE_standard___kernel
;
2475 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_lower
;
2476 fra
.me
.has_broke
= 0;
2477 fra
.me
.REG_size
= 0;
2478 fra
.me
.nitni_local_ref_head
= NULL
;
2480 /* ../lib/standard/kernel.nit:453 */
2481 REGB1
= TAG_Char('a');
2482 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2483 if (UNTAG_Bool(REGB2
)) {
2485 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2487 /* ../lib/standard/kernel.nit:387 */
2488 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2489 /* ../lib/standard/kernel.nit:453 */
2490 if (UNTAG_Bool(REGB1
)) {
2491 REGB1
= TAG_Char('z');
2492 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2493 if (UNTAG_Bool(REGB2
)) {
2495 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2497 /* ../lib/standard/kernel.nit:385 */
2498 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2500 /* ../lib/standard/kernel.nit:453 */
2501 REGB0
= TAG_Bool(0);
2506 stack_frame_head
= fra
.me
.prev
;
2509 static const char LOCATE_standard___kernel___Char___is_upper
[] = "kernel::Char::is_upper";
2510 val_t
standard___kernel___Char___is_upper(val_t p0
){
2511 struct {struct stack_frame_t me
;} fra
;
2516 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2517 fra
.me
.file
= LOCATE_standard___kernel
;
2519 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_upper
;
2520 fra
.me
.has_broke
= 0;
2521 fra
.me
.REG_size
= 0;
2522 fra
.me
.nitni_local_ref_head
= NULL
;
2524 /* ../lib/standard/kernel.nit:459 */
2525 REGB1
= TAG_Char('A');
2526 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2527 if (UNTAG_Bool(REGB2
)) {
2529 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2531 /* ../lib/standard/kernel.nit:387 */
2532 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2533 /* ../lib/standard/kernel.nit:459 */
2534 if (UNTAG_Bool(REGB1
)) {
2535 REGB1
= TAG_Char('Z');
2536 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2537 if (UNTAG_Bool(REGB2
)) {
2539 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2541 /* ../lib/standard/kernel.nit:385 */
2542 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2544 /* ../lib/standard/kernel.nit:459 */
2545 REGB0
= TAG_Bool(0);
2550 stack_frame_head
= fra
.me
.prev
;
2553 static const char LOCATE_standard___kernel___Char___is_letter
[] = "kernel::Char::is_letter";
2554 val_t
standard___kernel___Char___is_letter(val_t p0
){
2555 struct {struct stack_frame_t me
;} fra
;
2559 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2560 fra
.me
.file
= LOCATE_standard___kernel
;
2562 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_letter
;
2563 fra
.me
.has_broke
= 0;
2564 fra
.me
.REG_size
= 0;
2565 fra
.me
.nitni_local_ref_head
= NULL
;
2567 /* ../lib/standard/kernel.nit:465 */
2568 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2569 if (UNTAG_Bool(REGB1
)) {
2570 REGB1
= TAG_Bool(1);
2572 REGB0
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2577 stack_frame_head
= fra
.me
.prev
;