1 #include "kernel.sep.0.h"
2 /* method kernel#Object#object_id for (self: Object): Int */
3 long kernel__Object__object_id(val
* self
) {
12 /* method kernel#Object#object_id for (self: Object): Int */
13 long VIRTUAL_kernel__Object__object_id(val
* self
) {
15 long var1
/* : Int */;
16 long var3
/* : Int */;
17 { /* Inline kernel#Object#object_id (self) */
27 /* method kernel#Object#is_same_type for (self: Object, Object): Bool */
28 short int kernel__Object__is_same_type(val
* self
, val
* p0
) {
29 short int var
/* : Bool */;
30 short int var1
/* : Bool */;
31 var1
= (self
== p0
) || (self
!= NULL
&& p0
!= NULL
&& self
->class == p0
->class); /* is_same_type_test */
37 /* method kernel#Object#is_same_type for (self: Object, Object): Bool */
38 short int VIRTUAL_kernel__Object__is_same_type(val
* self
, val
* p0
) {
39 short int var
/* : Bool */;
40 short int var1
/* : Bool */;
41 short int var3
/* : Bool */;
42 { /* Inline kernel#Object#is_same_type (self,p0) */
43 var3
= (self
== p0
) || (self
!= NULL
&& p0
!= NULL
&& self
->class == p0
->class); /* is_same_type_test */
52 /* method kernel#Object#is_same_instance for (self: Object, nullable Object): Bool */
53 short int kernel__Object__is_same_instance(val
* self
, val
* p0
) {
54 short int var
/* : Bool */;
55 short int var1
/* : Bool */;
56 var1
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((self
->class->box_kind
== 1 && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
) || (self
->class->box_kind
== 2 && ((struct instance_kernel__Bool
*)self
)->value
== ((struct instance_kernel__Bool
*)p0
)->value
) || (self
->class->box_kind
== 3 && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
) || (self
->class->box_kind
== 4 && ((struct instance_kernel__Float
*)self
)->value
== ((struct instance_kernel__Float
*)p0
)->value
) || (self
->class->box_kind
== 5 && ((struct instance_string__NativeString
*)self
)->value
== ((struct instance_string__NativeString
*)p0
)->value
) || (self
->class->box_kind
== 6 && ((struct instance_kernel__Pointer
*)self
)->value
== ((struct instance_kernel__Pointer
*)p0
)->value
)));
62 /* method kernel#Object#is_same_instance for (self: Object, nullable Object): Bool */
63 short int VIRTUAL_kernel__Object__is_same_instance(val
* self
, val
* p0
) {
64 short int var
/* : Bool */;
65 short int var1
/* : Bool */;
66 short int var3
/* : Bool */;
67 { /* Inline kernel#Object#is_same_instance (self,p0) */
68 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((self
->class->box_kind
== 1 && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
) || (self
->class->box_kind
== 2 && ((struct instance_kernel__Bool
*)self
)->value
== ((struct instance_kernel__Bool
*)p0
)->value
) || (self
->class->box_kind
== 3 && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
) || (self
->class->box_kind
== 4 && ((struct instance_kernel__Float
*)self
)->value
== ((struct instance_kernel__Float
*)p0
)->value
) || (self
->class->box_kind
== 5 && ((struct instance_string__NativeString
*)self
)->value
== ((struct instance_string__NativeString
*)p0
)->value
) || (self
->class->box_kind
== 6 && ((struct instance_kernel__Pointer
*)self
)->value
== ((struct instance_kernel__Pointer
*)p0
)->value
)));
77 /* method kernel#Object#== for (self: Object, nullable Object): Bool */
78 short int kernel__Object___61d_61d(val
* self
, val
* p0
) {
79 short int var
/* : Bool */;
80 val
* var_other
/* var other: nullable Object */;
81 short int var1
/* : Bool */;
83 var1
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Object__is_same_instance
]))(self
, var_other
) /* is_same_instance on <self:Object>*/;
89 /* method kernel#Object#== for (self: Object, nullable Object): Bool */
90 short int VIRTUAL_kernel__Object___61d_61d(val
* self
, val
* p0
) {
91 short int var
/* : Bool */;
92 short int var1
/* : Bool */;
93 var1
= kernel__Object___61d_61d(self
, p0
);
98 /* method kernel#Object#!= for (self: Object, nullable Object): Bool */
99 short int kernel__Object___33d_61d(val
* self
, val
* p0
) {
100 short int var
/* : Bool */;
101 val
* var_other
/* var other: nullable Object */;
102 short int var1
/* : Bool */;
103 short int var2
/* : Bool */;
105 var1
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Object___61d_61d
]))(self
, var_other
) /* == on <self:Object>*/;
112 /* method kernel#Object#!= for (self: Object, nullable Object): Bool */
113 short int VIRTUAL_kernel__Object___33d_61d(val
* self
, val
* p0
) {
114 short int var
/* : Bool */;
115 short int var1
/* : Bool */;
116 var1
= kernel__Object___33d_61d(self
, p0
);
121 /* method kernel#Object#output for (self: Object) */
122 void kernel__Object__output(val
* self
) {
123 char var
/* : Char */;
124 long var2
/* : Int */;
125 char var4
/* : Char */;
127 { /* Inline kernel#Char#output (var) */
131 var2
= ((long (*)(val
*))(self
->class->vft
[COLOR_kernel__Object__object_id
]))(self
) /* object_id on <self:Object>*/;
132 { /* Inline kernel#Int#output (var2) */
133 printf("%ld\n", var2
);
137 { /* Inline kernel#Char#output (var4) */
143 /* method kernel#Object#output for (self: Object) */
144 void VIRTUAL_kernel__Object__output(val
* self
) {
145 kernel__Object__output(self
);
148 /* method kernel#Object#output_class_name for (self: Object) */
149 void kernel__Object__output_class_name(val
* self
) {
150 const char* var_class_name
;
151 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
152 printf("%s\n", var_class_name
);
155 /* method kernel#Object#output_class_name for (self: Object) */
156 void VIRTUAL_kernel__Object__output_class_name(val
* self
) {
157 const char* var_class_name
;
158 { /* Inline kernel#Object#output_class_name (self) */
159 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
160 printf("%s\n", var_class_name
);
165 /* method kernel#Object#exit for (self: Object, Int) */
166 void kernel__Object__exit(val
* self
, long p0
) {
170 /* method kernel#Object#exit for (self: Object, Int) */
171 void VIRTUAL_kernel__Object__exit(val
* self
, long p0
) {
172 { /* Inline kernel#Object#exit (self,p0) */
178 /* method kernel#Object#sys for (self: Object): Sys */
179 val
* kernel__Object__sys(val
* self
) {
180 val
* var
/* : Sys */;
181 val
* var1
/* : Sys */;
188 /* method kernel#Object#sys for (self: Object): Sys */
189 val
* VIRTUAL_kernel__Object__sys(val
* self
) {
190 val
* var
/* : Sys */;
191 val
* var1
/* : Sys */;
192 val
* var3
/* : Sys */;
193 { /* Inline kernel#Object#sys (self) */
203 /* method kernel#Object#hash for (self: Object): Int */
204 long kernel__Object__hash(val
* self
) {
205 long var
/* : Int */;
206 long var1
/* : Int */;
207 long var2
/* : Int */;
208 long var3
/* : Int */;
209 long var5
/* : Int */;
210 var1
= ((long (*)(val
*))(self
->class->vft
[COLOR_kernel__Object__object_id
]))(self
) /* object_id on <self:Object>*/;
212 { /* Inline kernel#Int#/ (var1,var2) */
223 /* method kernel#Object#hash for (self: Object): Int */
224 long VIRTUAL_kernel__Object__hash(val
* self
) {
225 long var
/* : Int */;
226 long var1
/* : Int */;
227 var1
= kernel__Object__hash(self
);
232 /* method kernel#Sys#main for (self: Sys) */
233 void kernel__Sys__main(val
* self
) {
236 /* method kernel#Sys#main for (self: Object) */
237 void VIRTUAL_kernel__Sys__main(val
* self
) {
238 kernel__Sys__main(self
);
241 /* method kernel#Sys#init for (self: Sys) */
242 void kernel__Sys__init(val
* self
) {
245 /* method kernel#Sys#init for (self: Object) */
246 void VIRTUAL_kernel__Sys__init(val
* self
) {
247 kernel__Sys__init(self
);
250 /* method kernel#Comparable#< for (self: Comparable, Comparable): Bool */
251 short int kernel__Comparable___60d(val
* self
, val
* p0
) {
252 short int var
/* : Bool */;
253 short int var1
/* : Bool */;
256 const struct type
* type_struct
;
257 const char* var_class_name
;
258 const char* var_class_name2
;
259 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
260 /* <p0:Comparable> isa OTHER */
261 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
262 cltype
= type_struct
->color
;
263 idtype
= type_struct
->id
;
264 if(cltype
>= p0
->type
->table_size
) {
267 var1
= p0
->type
->type_table
[cltype
] == idtype
;
270 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
271 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
272 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 99);
275 var_class_name2
= self
== NULL ?
"null" : self
->type
->name
;
276 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "<", var_class_name2
);
277 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 99);
282 /* method kernel#Comparable#< for (self: Object, Comparable): Bool */
283 short int VIRTUAL_kernel__Comparable___60d(val
* self
, val
* p0
) {
284 short int var
/* : Bool */;
285 short int var1
/* : Bool */;
286 var1
= kernel__Comparable___60d(self
, p0
);
291 /* method kernel#Comparable#<= for (self: Comparable, Comparable): Bool */
292 short int kernel__Comparable___60d_61d(val
* self
, val
* p0
) {
293 short int var
/* : Bool */;
294 short int var1
/* : Bool */;
297 const struct type
* type_struct
;
298 const char* var_class_name
;
299 val
* var_other
/* var other: Comparable */;
300 short int var2
/* : Bool */;
301 short int var3
/* : Bool */;
302 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
303 /* <p0:Comparable> isa OTHER */
304 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
305 cltype
= type_struct
->color
;
306 idtype
= type_struct
->id
;
307 if(cltype
>= p0
->type
->table_size
) {
310 var1
= p0
->type
->type_table
[cltype
] == idtype
;
313 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
314 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
315 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 102);
319 var2
= ((short int (*)(val
*, val
*))(var_other
->class->vft
[COLOR_kernel__Comparable___60d
]))(var_other
, self
) /* < on <var_other:Comparable>*/;
326 /* method kernel#Comparable#<= for (self: Object, Comparable): Bool */
327 short int VIRTUAL_kernel__Comparable___60d_61d(val
* self
, val
* p0
) {
328 short int var
/* : Bool */;
329 short int var1
/* : Bool */;
330 var1
= kernel__Comparable___60d_61d(self
, p0
);
335 /* method kernel#Comparable#>= for (self: Comparable, Comparable): Bool */
336 short int kernel__Comparable___62d_61d(val
* self
, val
* p0
) {
337 short int var
/* : Bool */;
338 short int var1
/* : Bool */;
341 const struct type
* type_struct
;
342 const char* var_class_name
;
343 val
* var_other
/* var other: Comparable */;
344 short int var2
/* : Bool */;
345 short int var3
/* : Bool */;
346 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
347 /* <p0:Comparable> isa OTHER */
348 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
349 cltype
= type_struct
->color
;
350 idtype
= type_struct
->id
;
351 if(cltype
>= p0
->type
->table_size
) {
354 var1
= p0
->type
->type_table
[cltype
] == idtype
;
357 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
358 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
359 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 106);
363 var2
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___60d
]))(self
, var_other
) /* < on <self:Comparable>*/;
370 /* method kernel#Comparable#>= for (self: Object, Comparable): Bool */
371 short int VIRTUAL_kernel__Comparable___62d_61d(val
* self
, val
* p0
) {
372 short int var
/* : Bool */;
373 short int var1
/* : Bool */;
374 var1
= kernel__Comparable___62d_61d(self
, p0
);
379 /* method kernel#Comparable#> for (self: Comparable, Comparable): Bool */
380 short int kernel__Comparable___62d(val
* self
, val
* p0
) {
381 short int var
/* : Bool */;
382 short int var1
/* : Bool */;
385 const struct type
* type_struct
;
386 const char* var_class_name
;
387 val
* var_other
/* var other: Comparable */;
388 short int var2
/* : Bool */;
389 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
390 /* <p0:Comparable> isa OTHER */
391 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
392 cltype
= type_struct
->color
;
393 idtype
= type_struct
->id
;
394 if(cltype
>= p0
->type
->table_size
) {
397 var1
= p0
->type
->type_table
[cltype
] == idtype
;
400 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
401 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
402 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 110);
406 var2
= ((short int (*)(val
*, val
*))(var_other
->class->vft
[COLOR_kernel__Comparable___60d
]))(var_other
, self
) /* < on <var_other:Comparable>*/;
412 /* method kernel#Comparable#> for (self: Object, Comparable): Bool */
413 short int VIRTUAL_kernel__Comparable___62d(val
* self
, val
* p0
) {
414 short int var
/* : Bool */;
415 short int var1
/* : Bool */;
416 var1
= kernel__Comparable___62d(self
, p0
);
421 /* method kernel#Comparable#<=> for (self: Comparable, Comparable): Int */
422 long kernel__Comparable___60d_61d_62d(val
* self
, val
* p0
) {
423 long var
/* : Int */;
424 short int var1
/* : Bool */;
427 const struct type
* type_struct
;
428 const char* var_class_name
;
429 val
* var_other
/* var other: Comparable */;
430 short int var2
/* : Bool */;
431 long var3
/* : Int */;
432 long var4
/* : Int */;
433 long var6
/* : Int */;
434 short int var7
/* : Bool */;
435 long var8
/* : Int */;
436 long var9
/* : Int */;
437 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
438 /* <p0:Comparable> isa OTHER */
439 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
440 cltype
= type_struct
->color
;
441 idtype
= type_struct
->id
;
442 if(cltype
>= p0
->type
->table_size
) {
445 var1
= p0
->type
->type_table
[cltype
] == idtype
;
448 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
449 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
450 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 113);
454 var2
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___60d
]))(self
, var_other
) /* < on <self:Comparable>*/;
457 { /* Inline kernel#Int#unary - (var3) */
466 var7
= ((short int (*)(val
*, val
*))(var_other
->class->vft
[COLOR_kernel__Comparable___60d
]))(var_other
, self
) /* < on <var_other:Comparable>*/;
480 /* method kernel#Comparable#<=> for (self: Object, Comparable): Int */
481 long VIRTUAL_kernel__Comparable___60d_61d_62d(val
* self
, val
* p0
) {
482 long var
/* : Int */;
483 long var1
/* : Int */;
484 var1
= kernel__Comparable___60d_61d_62d(self
, p0
);
489 /* method kernel#Comparable#is_between for (self: Comparable, Comparable, Comparable): Bool */
490 short int kernel__Comparable__is_between(val
* self
, val
* p0
, val
* p1
) {
491 short int var
/* : Bool */;
492 short int var1
/* : Bool */;
495 const struct type
* type_struct
;
496 const char* var_class_name
;
497 short int var2
/* : Bool */;
500 const struct type
* type_struct5
;
501 const char* var_class_name6
;
502 val
* var_c
/* var c: Comparable */;
503 val
* var_d
/* var d: Comparable */;
504 short int var7
/* : Bool */;
505 short int var8
/* : Bool */;
506 short int var_
/* var : Bool */;
507 short int var9
/* : Bool */;
508 /* Covariant cast for argument 0 (c) <p0:Comparable> isa OTHER */
509 /* <p0:Comparable> isa OTHER */
510 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
511 cltype
= type_struct
->color
;
512 idtype
= type_struct
->id
;
513 if(cltype
>= p0
->type
->table_size
) {
516 var1
= p0
->type
->type_table
[cltype
] == idtype
;
519 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
520 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
521 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 126);
524 /* Covariant cast for argument 1 (d) <p1:Comparable> isa OTHER */
525 /* <p1:Comparable> isa OTHER */
526 type_struct5
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
527 cltype3
= type_struct5
->color
;
528 idtype4
= type_struct5
->id
;
529 if(cltype3
>= p1
->type
->table_size
) {
532 var2
= p1
->type
->type_table
[cltype3
] == idtype4
;
535 var_class_name6
= p1
== NULL ?
"null" : p1
->type
->name
;
536 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name6
);
537 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 126);
542 var8
= ((short int (*)(val
*, val
*))(var_c
->class->vft
[COLOR_kernel__Comparable___60d_61d
]))(var_c
, self
) /* <= on <var_c:Comparable>*/;
545 var9
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___60d_61d
]))(self
, var_d
) /* <= on <self:Comparable>*/;
555 /* method kernel#Comparable#is_between for (self: Object, Comparable, Comparable): Bool */
556 short int VIRTUAL_kernel__Comparable__is_between(val
* self
, val
* p0
, val
* p1
) {
557 short int var
/* : Bool */;
558 short int var1
/* : Bool */;
559 var1
= kernel__Comparable__is_between(self
, p0
, p1
);
564 /* method kernel#Comparable#max for (self: Comparable, Comparable): Comparable */
565 val
* kernel__Comparable__max(val
* self
, val
* p0
) {
566 val
* var
/* : Comparable */;
567 short int var1
/* : Bool */;
570 const struct type
* type_struct
;
571 const char* var_class_name
;
572 val
* var_other
/* var other: Comparable */;
573 short int var2
/* : Bool */;
574 short int var3
/* : Bool */;
577 const struct type
* type_struct6
;
578 const char* var_class_name7
;
579 /* Covariant cast for argument 0 (other) <p0:Comparable> isa OTHER */
580 /* <p0:Comparable> isa OTHER */
581 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
582 cltype
= type_struct
->color
;
583 idtype
= type_struct
->id
;
584 if(cltype
>= p0
->type
->table_size
) {
587 var1
= p0
->type
->type_table
[cltype
] == idtype
;
590 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
591 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
592 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 132);
596 var2
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___60d
]))(self
, var_other
) /* < on <self:Comparable>*/;
601 /* <self:Comparable> isa OTHER */
602 type_struct6
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
603 cltype4
= type_struct6
->color
;
604 idtype5
= type_struct6
->id
;
605 if(cltype4
>= self
->type
->table_size
) {
608 var3
= self
->type
->type_table
[cltype4
] == idtype5
;
611 var_class_name7
= self
== NULL ?
"null" : self
->type
->name
;
612 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
613 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 138);
622 /* method kernel#Comparable#max for (self: Object, Comparable): Comparable */
623 val
* VIRTUAL_kernel__Comparable__max(val
* self
, val
* p0
) {
624 val
* var
/* : Comparable */;
625 val
* var1
/* : Comparable */;
626 var1
= kernel__Comparable__max(self
, p0
);
631 /* method kernel#Comparable#min for (self: Comparable, Comparable): Comparable */
632 val
* kernel__Comparable__min(val
* self
, val
* p0
) {
633 val
* var
/* : Comparable */;
634 short int var1
/* : Bool */;
637 const struct type
* type_struct
;
638 const char* var_class_name
;
639 val
* var_c
/* var c: Comparable */;
640 short int var2
/* : Bool */;
641 short int var3
/* : Bool */;
644 const struct type
* type_struct6
;
645 const char* var_class_name7
;
646 /* Covariant cast for argument 0 (c) <p0:Comparable> isa OTHER */
647 /* <p0:Comparable> isa OTHER */
648 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
649 cltype
= type_struct
->color
;
650 idtype
= type_struct
->id
;
651 if(cltype
>= p0
->type
->table_size
) {
654 var1
= p0
->type
->type_table
[cltype
] == idtype
;
657 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
658 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
659 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 142);
663 var2
= ((short int (*)(val
*, val
*))(var_c
->class->vft
[COLOR_kernel__Comparable___60d
]))(var_c
, self
) /* < on <var_c:Comparable>*/;
668 /* <self:Comparable> isa OTHER */
669 type_struct6
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
670 cltype4
= type_struct6
->color
;
671 idtype5
= type_struct6
->id
;
672 if(cltype4
>= self
->type
->table_size
) {
675 var3
= self
->type
->type_table
[cltype4
] == idtype5
;
678 var_class_name7
= self
== NULL ?
"null" : self
->type
->name
;
679 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
680 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 148);
689 /* method kernel#Comparable#min for (self: Object, Comparable): Comparable */
690 val
* VIRTUAL_kernel__Comparable__min(val
* self
, val
* p0
) {
691 val
* var
/* : Comparable */;
692 val
* var1
/* : Comparable */;
693 var1
= kernel__Comparable__min(self
, p0
);
698 /* method kernel#Discrete#succ for (self: Discrete): Discrete */
699 val
* kernel__Discrete__succ(val
* self
) {
700 val
* var
/* : Discrete */;
701 long var1
/* : Int */;
702 val
* var2
/* : Discrete */;
704 var2
= ((val
* (*)(val
*, long))(self
->class->vft
[COLOR_kernel__Discrete___43d
]))(self
, var1
) /* + on <self:Discrete>*/;
710 /* method kernel#Discrete#succ for (self: Object): Discrete */
711 val
* VIRTUAL_kernel__Discrete__succ(val
* self
) {
712 val
* var
/* : Discrete */;
713 val
* var1
/* : Discrete */;
714 var1
= kernel__Discrete__succ(self
);
719 /* method kernel#Discrete#prec for (self: Discrete): Discrete */
720 val
* kernel__Discrete__prec(val
* self
) {
721 val
* var
/* : Discrete */;
722 long var1
/* : Int */;
723 val
* var2
/* : Discrete */;
725 var2
= ((val
* (*)(val
*, long))(self
->class->vft
[COLOR_kernel__Discrete___45d
]))(self
, var1
) /* - on <self:Discrete>*/;
731 /* method kernel#Discrete#prec for (self: Object): Discrete */
732 val
* VIRTUAL_kernel__Discrete__prec(val
* self
) {
733 val
* var
/* : Discrete */;
734 val
* var1
/* : Discrete */;
735 var1
= kernel__Discrete__prec(self
);
740 /* method kernel#Discrete#+ for (self: Discrete, Int): Discrete */
741 val
* kernel__Discrete___43d(val
* self
, long p0
) {
742 val
* var
/* : Discrete */;
743 const char* var_class_name
;
744 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
745 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "+", var_class_name
);
746 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 165);
751 /* method kernel#Discrete#+ for (self: Object, Int): Discrete */
752 val
* VIRTUAL_kernel__Discrete___43d(val
* self
, long p0
) {
753 val
* var
/* : Discrete */;
754 val
* var1
/* : Discrete */;
755 var1
= kernel__Discrete___43d(self
, p0
);
760 /* method kernel#Discrete#- for (self: Discrete, Int): Discrete */
761 val
* kernel__Discrete___45d(val
* self
, long p0
) {
762 val
* var
/* : Discrete */;
763 const char* var_class_name
;
764 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
765 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "-", var_class_name
);
766 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 168);
771 /* method kernel#Discrete#- for (self: Object, Int): Discrete */
772 val
* VIRTUAL_kernel__Discrete___45d(val
* self
, long p0
) {
773 val
* var
/* : Discrete */;
774 val
* var1
/* : Discrete */;
775 var1
= kernel__Discrete___45d(self
, p0
);
780 /* method kernel#Discrete#distance for (self: Discrete, Discrete): Int */
781 long kernel__Discrete__distance(val
* self
, val
* p0
) {
782 long var
/* : Int */;
783 short int var1
/* : Bool */;
786 const struct type
* type_struct
;
787 const char* var_class_name
;
788 val
* var_d
/* var d: Discrete */;
789 short int var2
/* : Bool */;
790 short int var3
/* : Bool */;
793 const struct type
* type_struct6
;
794 const char* var_class_name7
;
795 val
* var_cursor
/* var cursor: Discrete */;
796 val
* var_stop
/* var stop: Discrete */;
797 short int var8
/* : Bool */;
798 short int var9
/* : Bool */;
801 const struct type
* type_struct12
;
802 const char* var_class_name13
;
803 long var14
/* : Int */;
804 long var15
/* : Int */;
805 long var_nb
/* var nb: Int */;
806 short int var16
/* : Bool */;
807 val
* var17
/* : Discrete */;
808 short int var18
/* : Bool */;
811 const struct type
* type_struct21
;
812 const char* var_class_name22
;
813 long var23
/* : Int */;
814 long var24
/* : Int */;
815 long var26
/* : Int */;
816 /* Covariant cast for argument 0 (d) <p0:Discrete> isa OTHER */
817 /* <p0:Discrete> isa OTHER */
818 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
819 cltype
= type_struct
->color
;
820 idtype
= type_struct
->id
;
821 if(cltype
>= p0
->type
->table_size
) {
824 var1
= p0
->type
->type_table
[cltype
] == idtype
;
827 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
828 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
829 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 171);
833 var2
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___60d
]))(self
, var_d
) /* < on <self:Discrete>*/;
835 /* <self:Discrete> isa OTHER */
836 type_struct6
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
837 cltype4
= type_struct6
->color
;
838 idtype5
= type_struct6
->id
;
839 if(cltype4
>= self
->type
->table_size
) {
842 var3
= self
->type
->type_table
[cltype4
] == idtype5
;
845 var_class_name7
= self
== NULL ?
"null" : self
->type
->name
;
846 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
847 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 180);
853 var8
= ((short int (*)(val
*, val
*))(self
->class->vft
[COLOR_kernel__Comparable___62d
]))(self
, var_d
) /* > on <self:Discrete>*/;
856 /* <self:Discrete> isa OTHER */
857 type_struct12
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
858 cltype10
= type_struct12
->color
;
859 idtype11
= type_struct12
->id
;
860 if(cltype10
>= self
->type
->table_size
) {
863 var9
= self
->type
->type_table
[cltype10
] == idtype11
;
866 var_class_name13
= self
== NULL ?
"null" : self
->type
->name
;
867 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
868 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 184);
881 var16
= ((short int (*)(val
*, val
*))(var_cursor
->class->vft
[COLOR_kernel__Comparable___60d
]))(var_cursor
, var_stop
) /* < on <var_cursor:Discrete>*/;
883 var17
= ((val
* (*)(val
*))(var_cursor
->class->vft
[COLOR_kernel__Discrete__succ
]))(var_cursor
) /* succ on <var_cursor:Discrete>*/;
884 /* <var17:Discrete> isa OTHER */
885 type_struct21
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
886 cltype19
= type_struct21
->color
;
887 idtype20
= type_struct21
->id
;
888 if(cltype19
>= var17
->type
->table_size
) {
891 var18
= var17
->type
->type_table
[cltype19
] == idtype20
;
894 var_class_name22
= var17
== NULL ?
"null" : var17
->type
->name
;
895 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22
);
896 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 191);
901 { /* Inline kernel#Int#+ (var_nb,var23) */
902 var26
= var_nb
+ var23
;
908 CONTINUE_label
: (void)0;
910 BREAK_label
: (void)0;
916 /* method kernel#Discrete#distance for (self: Object, Discrete): Int */
917 long VIRTUAL_kernel__Discrete__distance(val
* self
, val
* p0
) {
918 long var
/* : Int */;
919 long var1
/* : Int */;
920 var1
= kernel__Discrete__distance(self
, p0
);
925 /* method kernel#Bool#object_id for (self: Bool): Int */
926 long kernel__Bool__object_id(short int self
) {
927 long var
/* : Int */;
928 long var1
/* : Int */;
935 /* method kernel#Bool#object_id for (self: Object): Int */
936 long VIRTUAL_kernel__Bool__object_id(val
* self
) {
937 long var
/* : Int */;
938 long var1
/* : Int */;
939 short int var3
/* : Bool */;
940 long var4
/* : Int */;
941 { /* Inline kernel#Bool#object_id (self) */
942 var3
= ((struct instance_kernel__Bool
*)self
)->value
; /* autounbox from Object to Bool */;
952 /* method kernel#Bool#== for (self: Bool, nullable Object): Bool */
953 short int kernel__Bool___61d_61d(short int self
, val
* p0
) {
954 short int var
/* : Bool */;
955 short int var1
/* : Bool */;
956 short int var2
/* : Bool */;
957 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Bool
);
959 var2
= ((struct instance_kernel__Bool
*)p0
)->value
; /* autounbox from nullable Object to Bool */;
960 var1
= (var2
== self
);
967 /* method kernel#Bool#== for (self: Object, nullable Object): Bool */
968 short int VIRTUAL_kernel__Bool___61d_61d(val
* self
, val
* p0
) {
969 short int var
/* : Bool */;
970 short int var1
/* : Bool */;
971 short int var3
/* : Bool */;
972 { /* Inline kernel#Bool#== (self,p0) */
973 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Bool
*)self
)->value
== ((struct instance_kernel__Bool
*)p0
)->value
);
982 /* method kernel#Bool#!= for (self: Bool, nullable Object): Bool */
983 short int kernel__Bool___33d_61d(short int self
, val
* p0
) {
984 short int var
/* : Bool */;
985 short int var1
/* : Bool */;
986 short int var2
/* : Bool */;
987 short int var3
/* : Bool */;
988 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Bool
);
990 var2
= ((struct instance_kernel__Bool
*)p0
)->value
; /* autounbox from nullable Object to Bool */;
991 var1
= (var2
== self
);
999 /* method kernel#Bool#!= for (self: Object, nullable Object): Bool */
1000 short int VIRTUAL_kernel__Bool___33d_61d(val
* self
, val
* p0
) {
1001 short int var
/* : Bool */;
1002 short int var1
/* : Bool */;
1003 short int var3
/* : Bool */;
1004 short int var4
/* : Bool */;
1005 { /* Inline kernel#Bool#!= (self,p0) */
1006 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Bool
*)self
)->value
== ((struct instance_kernel__Bool
*)p0
)->value
);
1016 /* method kernel#Bool#output for (self: Bool) */
1017 void kernel__Bool__output(short int self
) {
1018 printf(self?
"true\n":"false\n");
1021 /* method kernel#Bool#output for (self: Object) */
1022 void VIRTUAL_kernel__Bool__output(val
* self
) {
1023 short int var
/* : Bool */;
1024 { /* Inline kernel#Bool#output (self) */
1025 var
= ((struct instance_kernel__Bool
*)self
)->value
; /* autounbox from Object to Bool */;
1026 printf(var?
"true\n":"false\n");
1031 /* method kernel#Bool#hash for (self: Bool): Int */
1032 long kernel__Bool__hash(short int self
) {
1033 long var
/* : Int */;
1034 long var1
/* : Int */;
1035 long var2
/* : Int */;
1048 /* method kernel#Bool#hash for (self: Object): Int */
1049 long VIRTUAL_kernel__Bool__hash(val
* self
) {
1050 long var
/* : Int */;
1051 long var1
/* : Int */;
1052 short int var2
/* : Bool */;
1053 var2
= ((struct instance_kernel__Bool
*)self
)->value
; /* autounbox from Object to Bool */;
1054 var1
= kernel__Bool__hash(var2
);
1059 /* method kernel#Float#object_id for (self: Float): Int */
1060 long kernel__Float__object_id(double self
) {
1061 long var
/* : Int */;
1062 long var1
/* : Int */;
1063 var1
= (double)self
;
1069 /* method kernel#Float#object_id for (self: Object): Int */
1070 long VIRTUAL_kernel__Float__object_id(val
* self
) {
1071 long var
/* : Int */;
1072 long var1
/* : Int */;
1073 double var3
/* : Float */;
1074 long var4
/* : Int */;
1075 { /* Inline kernel#Float#object_id (self) */
1076 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1077 var4
= (double)var3
;
1086 /* method kernel#Float#output for (self: Float) */
1087 void kernel__Float__output(double self
) {
1088 printf("%f\n", self
);
1091 /* method kernel#Float#output for (self: Object) */
1092 void VIRTUAL_kernel__Float__output(val
* self
) {
1093 double var
/* : Float */;
1094 { /* Inline kernel#Float#output (self) */
1095 var
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1096 printf("%f\n", var
);
1101 /* method kernel#Float#<= for (self: Float, Float): Bool */
1102 short int kernel__Float___60d_61d(double self
, double p0
) {
1103 short int var
/* : Bool */;
1104 short int var1
/* : Bool */;
1111 /* method kernel#Float#<= for (self: Object, Float): Bool */
1112 short int VIRTUAL_kernel__Float___60d_61d(val
* self
, double p0
) {
1113 short int var
/* : Bool */;
1114 short int var1
/* : Bool */;
1115 double var3
/* : Float */;
1116 short int var4
/* : Bool */;
1117 { /* Inline kernel#Float#<= (self,p0) */
1118 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1128 /* method kernel#Float#< for (self: Float, Float): Bool */
1129 short int kernel__Float___60d(double self
, double p0
) {
1130 short int var
/* : Bool */;
1131 short int var1
/* : Bool */;
1138 /* method kernel#Float#< for (self: Object, Float): Bool */
1139 short int VIRTUAL_kernel__Float___60d(val
* self
, double p0
) {
1140 short int var
/* : Bool */;
1141 short int var1
/* : Bool */;
1142 double var3
/* : Float */;
1143 short int var4
/* : Bool */;
1144 { /* Inline kernel#Float#< (self,p0) */
1145 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1155 /* method kernel#Float#>= for (self: Float, Float): Bool */
1156 short int kernel__Float___62d_61d(double self
, double p0
) {
1157 short int var
/* : Bool */;
1158 short int var1
/* : Bool */;
1165 /* method kernel#Float#>= for (self: Object, Float): Bool */
1166 short int VIRTUAL_kernel__Float___62d_61d(val
* self
, double p0
) {
1167 short int var
/* : Bool */;
1168 short int var1
/* : Bool */;
1169 double var3
/* : Float */;
1170 short int var4
/* : Bool */;
1171 { /* Inline kernel#Float#>= (self,p0) */
1172 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1182 /* method kernel#Float#> for (self: Float, Float): Bool */
1183 short int kernel__Float___62d(double self
, double p0
) {
1184 short int var
/* : Bool */;
1185 short int var1
/* : Bool */;
1192 /* method kernel#Float#> for (self: Object, Float): Bool */
1193 short int VIRTUAL_kernel__Float___62d(val
* self
, double p0
) {
1194 short int var
/* : Bool */;
1195 short int var1
/* : Bool */;
1196 double var3
/* : Float */;
1197 short int var4
/* : Bool */;
1198 { /* Inline kernel#Float#> (self,p0) */
1199 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1209 /* method kernel#Float#+ for (self: Float, Float): Float */
1210 double kernel__Float___43d(double self
, double p0
) {
1211 double var
/* : Float */;
1212 double var1
/* : Float */;
1219 /* method kernel#Float#+ for (self: Object, Float): Float */
1220 double VIRTUAL_kernel__Float___43d(val
* self
, double p0
) {
1221 double var
/* : Float */;
1222 double var1
/* : Float */;
1223 double var3
/* : Float */;
1224 double var4
/* : Float */;
1225 { /* Inline kernel#Float#+ (self,p0) */
1226 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1236 /* method kernel#Float#unary - for (self: Float): Float */
1237 double kernel__Float__unary_32d_45d(double self
) {
1238 double var
/* : Float */;
1239 double var1
/* : Float */;
1246 /* method kernel#Float#unary - for (self: Object): Float */
1247 double VIRTUAL_kernel__Float__unary_32d_45d(val
* self
) {
1248 double var
/* : Float */;
1249 double var1
/* : Float */;
1250 double var3
/* : Float */;
1251 double var4
/* : Float */;
1252 { /* Inline kernel#Float#unary - (self) */
1253 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1263 /* method kernel#Float#- for (self: Float, Float): Float */
1264 double kernel__Float___45d(double self
, double p0
) {
1265 double var
/* : Float */;
1266 double var1
/* : Float */;
1273 /* method kernel#Float#- for (self: Object, Float): Float */
1274 double VIRTUAL_kernel__Float___45d(val
* self
, double p0
) {
1275 double var
/* : Float */;
1276 double var1
/* : Float */;
1277 double var3
/* : Float */;
1278 double var4
/* : Float */;
1279 { /* Inline kernel#Float#- (self,p0) */
1280 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1290 /* method kernel#Float#* for (self: Float, Float): Float */
1291 double kernel__Float___42d(double self
, double p0
) {
1292 double var
/* : Float */;
1293 double var1
/* : Float */;
1300 /* method kernel#Float#* for (self: Object, Float): Float */
1301 double VIRTUAL_kernel__Float___42d(val
* self
, double p0
) {
1302 double var
/* : Float */;
1303 double var1
/* : Float */;
1304 double var3
/* : Float */;
1305 double var4
/* : Float */;
1306 { /* Inline kernel#Float#* (self,p0) */
1307 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1317 /* method kernel#Float#/ for (self: Float, Float): Float */
1318 double kernel__Float___47d(double self
, double p0
) {
1319 double var
/* : Float */;
1320 double var1
/* : Float */;
1327 /* method kernel#Float#/ for (self: Object, Float): Float */
1328 double VIRTUAL_kernel__Float___47d(val
* self
, double p0
) {
1329 double var
/* : Float */;
1330 double var1
/* : Float */;
1331 double var3
/* : Float */;
1332 double var4
/* : Float */;
1333 { /* Inline kernel#Float#/ (self,p0) */
1334 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1344 /* method kernel#Float#to_i for (self: Float): Int */
1345 long kernel__Float__to_i(double self
) {
1346 long var
/* : Int */;
1347 long var1
/* : Int */;
1354 /* method kernel#Float#to_i for (self: Object): Int */
1355 long VIRTUAL_kernel__Float__to_i(val
* self
) {
1356 long var
/* : Int */;
1357 long var1
/* : Int */;
1358 double var3
/* : Float */;
1359 long var4
/* : Int */;
1360 { /* Inline kernel#Float#to_i (self) */
1361 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1371 /* method kernel#Int#object_id for (self: Int): Int */
1372 long kernel__Int__object_id(long self
) {
1373 long var
/* : Int */;
1379 /* method kernel#Int#object_id for (self: Object): Int */
1380 long VIRTUAL_kernel__Int__object_id(val
* self
) {
1381 long var
/* : Int */;
1382 long var1
/* : Int */;
1383 long var3
/* : Int */;
1384 { /* Inline kernel#Int#object_id (self) */
1385 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1394 /* method kernel#Int#hash for (self: Int): Int */
1395 long kernel__Int__hash(long self
) {
1396 long var
/* : Int */;
1402 /* method kernel#Int#hash for (self: Object): Int */
1403 long VIRTUAL_kernel__Int__hash(val
* self
) {
1404 long var
/* : Int */;
1405 long var1
/* : Int */;
1406 long var2
/* : Int */;
1407 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1408 var1
= kernel__Int__hash(var2
);
1413 /* method kernel#Int#== for (self: Int, nullable Object): Bool */
1414 short int kernel__Int___61d_61d(long self
, val
* p0
) {
1415 short int var
/* : Bool */;
1416 short int var1
/* : Bool */;
1417 long var2
/* : Int */;
1418 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Int
);
1420 var2
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from nullable Object to Int */;
1421 var1
= (var2
== self
);
1428 /* method kernel#Int#== for (self: Object, nullable Object): Bool */
1429 short int VIRTUAL_kernel__Int___61d_61d(val
* self
, val
* p0
) {
1430 short int var
/* : Bool */;
1431 short int var1
/* : Bool */;
1432 short int var3
/* : Bool */;
1433 { /* Inline kernel#Int#== (self,p0) */
1434 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
);
1443 /* method kernel#Int#!= for (self: Int, nullable Object): Bool */
1444 short int kernel__Int___33d_61d(long self
, val
* p0
) {
1445 short int var
/* : Bool */;
1446 short int var1
/* : Bool */;
1447 long var2
/* : Int */;
1448 short int var3
/* : Bool */;
1449 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Int
);
1451 var2
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from nullable Object to Int */;
1452 var1
= (var2
== self
);
1460 /* method kernel#Int#!= for (self: Object, nullable Object): Bool */
1461 short int VIRTUAL_kernel__Int___33d_61d(val
* self
, val
* p0
) {
1462 short int var
/* : Bool */;
1463 short int var1
/* : Bool */;
1464 short int var3
/* : Bool */;
1465 short int var4
/* : Bool */;
1466 { /* Inline kernel#Int#!= (self,p0) */
1467 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
);
1477 /* method kernel#Int#output for (self: Int) */
1478 void kernel__Int__output(long self
) {
1479 printf("%ld\n", self
);
1482 /* method kernel#Int#output for (self: Object) */
1483 void VIRTUAL_kernel__Int__output(val
* self
) {
1484 long var
/* : Int */;
1485 { /* Inline kernel#Int#output (self) */
1486 var
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1487 printf("%ld\n", var
);
1492 /* method kernel#Int#<= for (self: Int, Int): Bool */
1493 short int kernel__Int___60d_61d(long self
, long p0
) {
1494 short int var
/* : Bool */;
1495 short int var1
/* : Bool */;
1498 const char* var_class_name
;
1499 short int var2
/* : Bool */;
1500 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1501 /* <p0:Int> isa OTHER */
1502 var1
= 1; /* easy <p0:Int> isa OTHER*/
1504 var_class_name
= type_kernel__Int
.name
;
1505 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1506 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
1515 /* method kernel#Int#<= for (self: Object, Comparable): Bool */
1516 short int VIRTUAL_kernel__Int___60d_61d(val
* self
, val
* p0
) {
1517 short int var
/* : Bool */;
1518 short int var1
/* : Bool */;
1519 short int var3
/* : Bool */;
1522 const struct type
* type_struct
;
1523 const char* var_class_name
;
1524 long var4
/* : Int */;
1525 long var5
/* : Int */;
1526 short int var6
/* : Bool */;
1527 { /* Inline kernel#Int#<= (self,p0) */
1528 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1529 /* <p0:Comparable> isa OTHER */
1530 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1531 cltype
= type_struct
->color
;
1532 idtype
= type_struct
->id
;
1533 if(cltype
>= p0
->type
->table_size
) {
1536 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1539 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1540 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1541 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
1544 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1545 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1546 var6
= var4
<= var5
;
1555 /* method kernel#Int#< for (self: Int, Int): Bool */
1556 short int kernel__Int___60d(long self
, long p0
) {
1557 short int var
/* : Bool */;
1558 short int var1
/* : Bool */;
1561 const char* var_class_name
;
1562 short int var2
/* : Bool */;
1563 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1564 /* <p0:Int> isa OTHER */
1565 var1
= 1; /* easy <p0:Int> isa OTHER*/
1567 var_class_name
= type_kernel__Int
.name
;
1568 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1569 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
1578 /* method kernel#Int#< for (self: Object, Comparable): Bool */
1579 short int VIRTUAL_kernel__Int___60d(val
* self
, val
* p0
) {
1580 short int var
/* : Bool */;
1581 short int var1
/* : Bool */;
1582 short int var3
/* : Bool */;
1585 const struct type
* type_struct
;
1586 const char* var_class_name
;
1587 long var4
/* : Int */;
1588 long var5
/* : Int */;
1589 short int var6
/* : Bool */;
1590 { /* Inline kernel#Int#< (self,p0) */
1591 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1592 /* <p0:Comparable> isa OTHER */
1593 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1594 cltype
= type_struct
->color
;
1595 idtype
= type_struct
->id
;
1596 if(cltype
>= p0
->type
->table_size
) {
1599 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1602 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1603 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1604 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
1607 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1608 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1618 /* method kernel#Int#>= for (self: Int, Int): Bool */
1619 short int kernel__Int___62d_61d(long self
, long p0
) {
1620 short int var
/* : Bool */;
1621 short int var1
/* : Bool */;
1624 const char* var_class_name
;
1625 short int var2
/* : Bool */;
1626 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1627 /* <p0:Int> isa OTHER */
1628 var1
= 1; /* easy <p0:Int> isa OTHER*/
1630 var_class_name
= type_kernel__Int
.name
;
1631 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1632 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
1641 /* method kernel#Int#>= for (self: Object, Comparable): Bool */
1642 short int VIRTUAL_kernel__Int___62d_61d(val
* self
, val
* p0
) {
1643 short int var
/* : Bool */;
1644 short int var1
/* : Bool */;
1645 short int var3
/* : Bool */;
1648 const struct type
* type_struct
;
1649 const char* var_class_name
;
1650 long var4
/* : Int */;
1651 long var5
/* : Int */;
1652 short int var6
/* : Bool */;
1653 { /* Inline kernel#Int#>= (self,p0) */
1654 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1655 /* <p0:Comparable> isa OTHER */
1656 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1657 cltype
= type_struct
->color
;
1658 idtype
= type_struct
->id
;
1659 if(cltype
>= p0
->type
->table_size
) {
1662 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1665 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1666 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1667 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
1670 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1671 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1672 var6
= var4
>= var5
;
1681 /* method kernel#Int#> for (self: Int, Int): Bool */
1682 short int kernel__Int___62d(long self
, long p0
) {
1683 short int var
/* : Bool */;
1684 short int var1
/* : Bool */;
1687 const char* var_class_name
;
1688 short int var2
/* : Bool */;
1689 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1690 /* <p0:Int> isa OTHER */
1691 var1
= 1; /* easy <p0:Int> isa OTHER*/
1693 var_class_name
= type_kernel__Int
.name
;
1694 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1695 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
1704 /* method kernel#Int#> for (self: Object, Comparable): Bool */
1705 short int VIRTUAL_kernel__Int___62d(val
* self
, val
* p0
) {
1706 short int var
/* : Bool */;
1707 short int var1
/* : Bool */;
1708 short int var3
/* : Bool */;
1711 const struct type
* type_struct
;
1712 const char* var_class_name
;
1713 long var4
/* : Int */;
1714 long var5
/* : Int */;
1715 short int var6
/* : Bool */;
1716 { /* Inline kernel#Int#> (self,p0) */
1717 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1718 /* <p0:Comparable> isa OTHER */
1719 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1720 cltype
= type_struct
->color
;
1721 idtype
= type_struct
->id
;
1722 if(cltype
>= p0
->type
->table_size
) {
1725 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1728 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1729 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1730 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
1733 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1734 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1744 /* method kernel#Int#+ for (self: Int, Int): Int */
1745 long kernel__Int___43d(long self
, long p0
) {
1746 long var
/* : Int */;
1747 long var1
/* : Int */;
1754 /* method kernel#Int#+ for (self: Object, Int): Discrete */
1755 val
* VIRTUAL_kernel__Int___43d(val
* self
, long p0
) {
1756 val
* var
/* : Discrete */;
1757 long var1
/* : Int */;
1758 long var3
/* : Int */;
1759 long var4
/* : Int */;
1760 val
* var5
/* : Discrete */;
1761 { /* Inline kernel#Int#+ (self,p0) */
1762 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1768 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
1773 /* method kernel#Int#unary - for (self: Int): Int */
1774 long kernel__Int__unary_32d_45d(long self
) {
1775 long var
/* : Int */;
1776 long var1
/* : Int */;
1783 /* method kernel#Int#unary - for (self: Object): Int */
1784 long VIRTUAL_kernel__Int__unary_32d_45d(val
* self
) {
1785 long var
/* : Int */;
1786 long var1
/* : Int */;
1787 long var3
/* : Int */;
1788 long var4
/* : Int */;
1789 { /* Inline kernel#Int#unary - (self) */
1790 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1800 /* method kernel#Int#- for (self: Int, Int): Int */
1801 long kernel__Int___45d(long self
, long p0
) {
1802 long var
/* : Int */;
1803 long var1
/* : Int */;
1810 /* method kernel#Int#- for (self: Object, Int): Discrete */
1811 val
* VIRTUAL_kernel__Int___45d(val
* self
, long p0
) {
1812 val
* var
/* : Discrete */;
1813 long var1
/* : Int */;
1814 long var3
/* : Int */;
1815 long var4
/* : Int */;
1816 val
* var5
/* : Discrete */;
1817 { /* Inline kernel#Int#- (self,p0) */
1818 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1824 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
1829 /* method kernel#Int#* for (self: Int, Int): Int */
1830 long kernel__Int___42d(long self
, long p0
) {
1831 long var
/* : Int */;
1832 long var1
/* : Int */;
1839 /* method kernel#Int#* for (self: Object, Int): Int */
1840 long VIRTUAL_kernel__Int___42d(val
* self
, long p0
) {
1841 long var
/* : Int */;
1842 long var1
/* : Int */;
1843 long var3
/* : Int */;
1844 long var4
/* : Int */;
1845 { /* Inline kernel#Int#* (self,p0) */
1846 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1856 /* method kernel#Int#/ for (self: Int, Int): Int */
1857 long kernel__Int___47d(long self
, long p0
) {
1858 long var
/* : Int */;
1859 long var1
/* : Int */;
1866 /* method kernel#Int#/ for (self: Object, Int): Int */
1867 long VIRTUAL_kernel__Int___47d(val
* self
, long p0
) {
1868 long var
/* : Int */;
1869 long var1
/* : Int */;
1870 long var3
/* : Int */;
1871 long var4
/* : Int */;
1872 { /* Inline kernel#Int#/ (self,p0) */
1873 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1883 /* method kernel#Int#% for (self: Int, Int): Int */
1884 long kernel__Int___37d(long self
, long p0
) {
1885 long var
/* : Int */;
1886 long var1
/* : Int */;
1893 /* method kernel#Int#% for (self: Object, Int): Int */
1894 long VIRTUAL_kernel__Int___37d(val
* self
, long p0
) {
1895 long var
/* : Int */;
1896 long var1
/* : Int */;
1897 long var3
/* : Int */;
1898 long var4
/* : Int */;
1899 { /* Inline kernel#Int#% (self,p0) */
1900 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1910 /* method kernel#Int#lshift for (self: Int, Int): Int */
1911 long kernel__Int__lshift(long self
, long p0
) {
1912 long var
/* : Int */;
1913 long var1
/* : Int */;
1920 /* method kernel#Int#lshift for (self: Object, Int): Int */
1921 long VIRTUAL_kernel__Int__lshift(val
* self
, long p0
) {
1922 long var
/* : Int */;
1923 long var1
/* : Int */;
1924 long var3
/* : Int */;
1925 long var4
/* : Int */;
1926 { /* Inline kernel#Int#lshift (self,p0) */
1927 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1937 /* method kernel#Int#rshift for (self: Int, Int): Int */
1938 long kernel__Int__rshift(long self
, long p0
) {
1939 long var
/* : Int */;
1940 long var1
/* : Int */;
1947 /* method kernel#Int#rshift for (self: Object, Int): Int */
1948 long VIRTUAL_kernel__Int__rshift(val
* self
, long p0
) {
1949 long var
/* : Int */;
1950 long var1
/* : Int */;
1951 long var3
/* : Int */;
1952 long var4
/* : Int */;
1953 { /* Inline kernel#Int#rshift (self,p0) */
1954 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1964 /* method kernel#Int#to_f for (self: Int): Float */
1965 double kernel__Int__to_f(long self
) {
1966 double var
/* : Float */;
1967 double var1
/* : Float */;
1968 var1
= (double)self
;
1974 /* method kernel#Int#to_f for (self: Object): Float */
1975 double VIRTUAL_kernel__Int__to_f(val
* self
) {
1976 double var
/* : Float */;
1977 double var1
/* : Float */;
1978 long var3
/* : Int */;
1979 double var4
/* : Float */;
1980 { /* Inline kernel#Int#to_f (self) */
1981 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1982 var4
= (double)var3
;
1991 /* method kernel#Int#succ for (self: Int): Int */
1992 long kernel__Int__succ(long self
) {
1993 long var
/* : Int */;
1994 long var1
/* : Int */;
2001 /* method kernel#Int#succ for (self: Object): Discrete */
2002 val
* VIRTUAL_kernel__Int__succ(val
* self
) {
2003 val
* var
/* : Discrete */;
2004 long var1
/* : Int */;
2005 long var3
/* : Int */;
2006 long var4
/* : Int */;
2007 val
* var5
/* : Discrete */;
2008 { /* Inline kernel#Int#succ (self) */
2009 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2015 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
2020 /* method kernel#Int#prec for (self: Int): Int */
2021 long kernel__Int__prec(long self
) {
2022 long var
/* : Int */;
2023 long var1
/* : Int */;
2030 /* method kernel#Int#prec for (self: Object): Discrete */
2031 val
* VIRTUAL_kernel__Int__prec(val
* self
) {
2032 val
* var
/* : Discrete */;
2033 long var1
/* : Int */;
2034 long var3
/* : Int */;
2035 long var4
/* : Int */;
2036 val
* var5
/* : Discrete */;
2037 { /* Inline kernel#Int#prec (self) */
2038 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2044 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
2049 /* method kernel#Int#distance for (self: Int, Int): Int */
2050 long kernel__Int__distance(long self
, long p0
) {
2051 long var
/* : Int */;
2052 short int var1
/* : Bool */;
2055 const char* var_class_name
;
2056 long var_i
/* var i: Int */;
2057 long var2
/* : Int */;
2058 long var4
/* : Int */;
2059 long var_d
/* var d: Int */;
2060 long var5
/* : Int */;
2061 short int var6
/* : Bool */;
2062 short int var8
/* : Bool */;
2065 const char* var_class_name11
;
2066 short int var12
/* : Bool */;
2067 long var13
/* : Int */;
2068 long var15
/* : Int */;
2069 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
2070 /* <p0:Int> isa OTHER */
2071 var1
= 1; /* easy <p0:Int> isa OTHER*/
2073 var_class_name
= type_kernel__Int
.name
;
2074 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2075 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 289);
2079 { /* Inline kernel#Int#- (self,var_i) */
2080 var4
= self
- var_i
;
2087 { /* Inline kernel#Int#>= (var_d,var5) */
2088 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
2089 /* <var5:Int> isa OTHER */
2090 var8
= 1; /* easy <var5:Int> isa OTHER*/
2092 var_class_name11
= type_kernel__Int
.name
;
2093 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11
);
2094 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
2097 var12
= var_d
>= var5
;
2106 { /* Inline kernel#Int#unary - (var_d) */
2110 RET_LABEL14
:(void)0;
2118 /* method kernel#Int#distance for (self: Object, Discrete): Int */
2119 long VIRTUAL_kernel__Int__distance(val
* self
, val
* p0
) {
2120 long var
/* : Int */;
2121 long var1
/* : Int */;
2122 long var2
/* : Int */;
2123 long var3
/* : Int */;
2124 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2125 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Discrete to Int */;
2126 var1
= kernel__Int__distance(var2
, var3
);
2131 /* method kernel#Int#<=> for (self: Int, Int): Int */
2132 long kernel__Int___60d_61d_62d(long self
, long p0
) {
2133 long var
/* : Int */;
2134 short int var1
/* : Bool */;
2137 const char* var_class_name
;
2138 long var_other
/* var other: Int */;
2139 short int var2
/* : Bool */;
2140 short int var4
/* : Bool */;
2143 const char* var_class_name7
;
2144 short int var8
/* : Bool */;
2145 long var9
/* : Int */;
2146 long var10
/* : Int */;
2147 long var12
/* : Int */;
2148 short int var13
/* : Bool */;
2149 short int var15
/* : Bool */;
2152 const char* var_class_name18
;
2153 short int var19
/* : Bool */;
2154 long var20
/* : Int */;
2155 long var21
/* : Int */;
2156 /* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
2157 /* <p0:Int> isa OTHER */
2158 var1
= 1; /* easy <p0:Int> isa OTHER*/
2160 var_class_name
= type_kernel__Int
.name
;
2161 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2162 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 299);
2166 { /* Inline kernel#Int#< (self,var_other) */
2167 /* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
2168 /* <var_other:Int> isa OTHER */
2169 var4
= 1; /* easy <var_other:Int> isa OTHER*/
2171 var_class_name7
= type_kernel__Int
.name
;
2172 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2173 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2176 var8
= self
< var_other
;
2183 { /* Inline kernel#Int#unary - (var9) */
2187 RET_LABEL11
:(void)0;
2192 { /* Inline kernel#Int#< (var_other,self) */
2193 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2194 /* <self:Int> isa OTHER */
2195 var15
= 1; /* easy <self:Int> isa OTHER*/
2197 var_class_name18
= type_kernel__Int
.name
;
2198 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18
);
2199 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2202 var19
= var_other
< self
;
2205 RET_LABEL14
:(void)0;
2220 /* method kernel#Int#<=> for (self: Object, Comparable): Int */
2221 long VIRTUAL_kernel__Int___60d_61d_62d(val
* self
, val
* p0
) {
2222 long var
/* : Int */;
2223 long var1
/* : Int */;
2224 long var2
/* : Int */;
2225 long var3
/* : Int */;
2226 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2227 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2228 var1
= kernel__Int___60d_61d_62d(var2
, var3
);
2233 /* method kernel#Int#is_between for (self: Int, Int, Int): Bool */
2234 short int kernel__Int__is_between(long self
, long p0
, long p1
) {
2235 short int var
/* : Bool */;
2236 short int var1
/* : Bool */;
2239 const char* var_class_name
;
2240 short int var2
/* : Bool */;
2243 const char* var_class_name5
;
2244 long var_c
/* var c: Int */;
2245 long var_d
/* var d: Int */;
2246 short int var6
/* : Bool */;
2247 short int var7
/* : Bool */;
2248 short int var9
/* : Bool */;
2251 const char* var_class_name12
;
2252 short int var13
/* : Bool */;
2253 short int var_
/* var : Bool */;
2254 short int var14
/* : Bool */;
2255 short int var16
/* : Bool */;
2258 const char* var_class_name19
;
2259 short int var20
/* : Bool */;
2260 short int var21
/* : Bool */;
2261 short int var22
/* : Bool */;
2262 /* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */
2263 /* <p0:Int> isa OTHER */
2264 var1
= 1; /* easy <p0:Int> isa OTHER*/
2266 var_class_name
= type_kernel__Int
.name
;
2267 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2268 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 310);
2271 /* Covariant cast for argument 1 (d) <p1:Int> isa OTHER */
2272 /* <p1:Int> isa OTHER */
2273 var2
= 1; /* easy <p1:Int> isa OTHER*/
2275 var_class_name5
= type_kernel__Int
.name
;
2276 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name5
);
2277 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 310);
2282 { /* Inline kernel#Int#< (self,var_c) */
2283 /* Covariant cast for argument 0 (i) <var_c:Int> isa OTHER */
2284 /* <var_c:Int> isa OTHER */
2285 var9
= 1; /* easy <var_c:Int> isa OTHER*/
2287 var_class_name12
= type_kernel__Int
.name
;
2288 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12
);
2289 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2292 var13
= self
< var_c
;
2301 { /* Inline kernel#Int#< (var_d,self) */
2302 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2303 /* <self:Int> isa OTHER */
2304 var16
= 1; /* easy <self:Int> isa OTHER*/
2306 var_class_name19
= type_kernel__Int
.name
;
2307 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name19
);
2308 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2311 var20
= var_d
< self
;
2314 RET_LABEL15
:(void)0;
2330 /* method kernel#Int#is_between for (self: Object, Comparable, Comparable): Bool */
2331 short int VIRTUAL_kernel__Int__is_between(val
* self
, val
* p0
, val
* p1
) {
2332 short int var
/* : Bool */;
2333 short int var1
/* : Bool */;
2334 long var2
/* : Int */;
2335 long var3
/* : Int */;
2336 long var4
/* : Int */;
2337 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2338 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2339 var4
= ((struct instance_kernel__Int
*)p1
)->value
; /* autounbox from Comparable to Int */;
2340 var1
= kernel__Int__is_between(var2
, var3
, var4
);
2345 /* method kernel#Int#max for (self: Int, Int): Int */
2346 long kernel__Int__max(long self
, long p0
) {
2347 long var
/* : Int */;
2348 short int var1
/* : Bool */;
2351 const char* var_class_name
;
2352 long var_other
/* var other: Int */;
2353 short int var2
/* : Bool */;
2354 short int var4
/* : Bool */;
2357 const char* var_class_name7
;
2358 short int var8
/* : Bool */;
2359 /* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
2360 /* <p0:Int> isa OTHER */
2361 var1
= 1; /* easy <p0:Int> isa OTHER*/
2363 var_class_name
= type_kernel__Int
.name
;
2364 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2365 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 319);
2369 { /* Inline kernel#Int#< (self,var_other) */
2370 /* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
2371 /* <var_other:Int> isa OTHER */
2372 var4
= 1; /* easy <var_other:Int> isa OTHER*/
2374 var_class_name7
= type_kernel__Int
.name
;
2375 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2376 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2379 var8
= self
< var_other
;
2394 /* method kernel#Int#max for (self: Object, Comparable): Comparable */
2395 val
* VIRTUAL_kernel__Int__max(val
* self
, val
* p0
) {
2396 val
* var
/* : Comparable */;
2397 long var1
/* : Int */;
2398 long var2
/* : Int */;
2399 long var3
/* : Int */;
2400 val
* var4
/* : Comparable */;
2401 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2402 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2403 var1
= kernel__Int__max(var2
, var3
);
2404 var4
= BOX_kernel__Int(var1
); /* autobox from Int to Comparable */
2409 /* method kernel#Int#min for (self: Int, Int): Int */
2410 long kernel__Int__min(long self
, long p0
) {
2411 long var
/* : Int */;
2412 short int var1
/* : Bool */;
2415 const char* var_class_name
;
2416 long var_c
/* var c: Int */;
2417 short int var2
/* : Bool */;
2418 short int var4
/* : Bool */;
2421 const char* var_class_name7
;
2422 short int var8
/* : Bool */;
2423 /* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */
2424 /* <p0:Int> isa OTHER */
2425 var1
= 1; /* easy <p0:Int> isa OTHER*/
2427 var_class_name
= type_kernel__Int
.name
;
2428 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2429 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 328);
2433 { /* Inline kernel#Int#< (var_c,self) */
2434 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2435 /* <self:Int> isa OTHER */
2436 var4
= 1; /* easy <self:Int> isa OTHER*/
2438 var_class_name7
= type_kernel__Int
.name
;
2439 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2440 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2443 var8
= var_c
< self
;
2458 /* method kernel#Int#min for (self: Object, Comparable): Comparable */
2459 val
* VIRTUAL_kernel__Int__min(val
* self
, val
* p0
) {
2460 val
* var
/* : Comparable */;
2461 long var1
/* : Int */;
2462 long var2
/* : Int */;
2463 long var3
/* : Int */;
2464 val
* var4
/* : Comparable */;
2465 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2466 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2467 var1
= kernel__Int__min(var2
, var3
);
2468 var4
= BOX_kernel__Int(var1
); /* autobox from Int to Comparable */
2473 /* method kernel#Int#ascii for (self: Int): Char */
2474 char kernel__Int__ascii(long self
) {
2475 char var
/* : Char */;
2476 char var1
/* : Char */;
2483 /* method kernel#Int#ascii for (self: Object): Char */
2484 char VIRTUAL_kernel__Int__ascii(val
* self
) {
2485 char var
/* : Char */;
2486 char var1
/* : Char */;
2487 long var3
/* : Int */;
2488 char var4
/* : Char */;
2489 { /* Inline kernel#Int#ascii (self) */
2490 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2500 /* method kernel#Int#digit_count for (self: Int, Int): Int */
2501 long kernel__Int__digit_count(long self
, long p0
) {
2502 long var
/* : Int */;
2503 long var_b
/* var b: Int */;
2504 long var1
/* : Int */;
2505 short int var2
/* : Bool */;
2506 short int var4
/* : Bool */;
2507 long var5
/* : Int */;
2508 long var6
/* : Int */;
2509 short int var7
/* : Bool */;
2510 short int var9
/* : Bool */;
2513 const char* var_class_name
;
2514 short int var10
/* : Bool */;
2515 long var11
/* : Int */;
2516 long var_d
/* var d: Int */;
2517 long var12
/* : Int */;
2518 long var14
/* : Int */;
2519 long var_n
/* var n: Int */;
2520 long var15
/* : Int */;
2521 short int var16
/* : Bool */;
2522 short int var18
/* : Bool */;
2523 long var19
/* : Int */;
2524 long var20
/* : Int */;
2525 long var21
/* : Int */;
2526 short int var22
/* : Bool */;
2527 short int var24
/* : Bool */;
2530 const char* var_class_name27
;
2531 short int var28
/* : Bool */;
2532 long var29
/* : Int */;
2533 long var30
/* : Int */;
2534 long var32
/* : Int */;
2535 long var33
/* : Int */;
2536 long var35
/* : Int */;
2539 { /* Inline kernel#Int#== (var_b,var1) */
2540 var4
= var_b
== var1
;
2546 var5
= kernel__Int__digit_count_base_95d10(self
);
2552 { /* Inline kernel#Int#< (self,var6) */
2553 /* Covariant cast for argument 0 (i) <var6:Int> isa OTHER */
2554 /* <var6:Int> isa OTHER */
2555 var9
= 1; /* easy <var6:Int> isa OTHER*/
2557 var_class_name
= type_kernel__Int
.name
;
2558 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2559 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2562 var10
= self
< var6
;
2570 { /* Inline kernel#Int#unary - (self) */
2574 RET_LABEL13
:(void)0;
2579 { /* Inline kernel#Int#== (self,var15) */
2580 var18
= self
== var15
;
2583 RET_LABEL17
:(void)0;
2597 { /* Inline kernel#Int#> (var_n,var21) */
2598 /* Covariant cast for argument 0 (i) <var21:Int> isa OTHER */
2599 /* <var21:Int> isa OTHER */
2600 var24
= 1; /* easy <var21:Int> isa OTHER*/
2602 var_class_name27
= type_kernel__Int
.name
;
2603 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27
);
2604 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
2607 var28
= var_n
> var21
;
2610 RET_LABEL23
:(void)0;
2614 { /* Inline kernel#Int#+ (var_d,var29) */
2615 var32
= var_d
+ var29
;
2618 RET_LABEL31
:(void)0;
2621 { /* Inline kernel#Int#/ (var_n,var_b) */
2622 var35
= var_n
/ var_b
;
2625 RET_LABEL34
:(void)0;
2628 CONTINUE_label
: (void)0;
2630 BREAK_label
: (void)0;
2636 /* method kernel#Int#digit_count for (self: Object, Int): Int */
2637 long VIRTUAL_kernel__Int__digit_count(val
* self
, long p0
) {
2638 long var
/* : Int */;
2639 long var1
/* : Int */;
2640 long var2
/* : Int */;
2641 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2642 var1
= kernel__Int__digit_count(var2
, p0
);
2647 /* method kernel#Int#digit_count_base_10 for (self: Int): Int */
2648 long kernel__Int__digit_count_base_95d10(long self
) {
2649 long var
/* : Int */;
2650 long var1
/* : Int */;
2651 short int var2
/* : Bool */;
2652 short int var4
/* : Bool */;
2655 const char* var_class_name
;
2656 short int var5
/* : Bool */;
2657 long var6
/* : Int */;
2658 long var_result
/* var result: Int */;
2659 long var7
/* : Int */;
2660 long var9
/* : Int */;
2661 long var_val
/* var val: Int */;
2662 long var10
/* : Int */;
2663 long var11
/* : Int */;
2664 short int var12
/* : Bool */;
2665 short int var14
/* : Bool */;
2668 const char* var_class_name17
;
2669 short int var18
/* : Bool */;
2670 long var19
/* : Int */;
2671 short int var20
/* : Bool */;
2672 short int var22
/* : Bool */;
2675 const char* var_class_name25
;
2676 short int var26
/* : Bool */;
2677 long var27
/* : Int */;
2678 long var28
/* : Int */;
2679 long var30
/* : Int */;
2680 long var31
/* : Int */;
2681 short int var32
/* : Bool */;
2682 short int var34
/* : Bool */;
2685 const char* var_class_name37
;
2686 short int var38
/* : Bool */;
2687 long var39
/* : Int */;
2688 long var40
/* : Int */;
2689 long var42
/* : Int */;
2690 long var43
/* : Int */;
2691 short int var44
/* : Bool */;
2692 short int var46
/* : Bool */;
2695 const char* var_class_name49
;
2696 short int var50
/* : Bool */;
2697 long var51
/* : Int */;
2698 long var52
/* : Int */;
2699 long var54
/* : Int */;
2700 long var55
/* : Int */;
2701 long var56
/* : Int */;
2702 long var58
/* : Int */;
2703 long var59
/* : Int */;
2704 long var60
/* : Int */;
2705 long var62
/* : Int */;
2707 { /* Inline kernel#Int#< (self,var1) */
2708 /* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
2709 /* <var1:Int> isa OTHER */
2710 var4
= 1; /* easy <var1:Int> isa OTHER*/
2712 var_class_name
= type_kernel__Int
.name
;
2713 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2714 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2725 { /* Inline kernel#Int#unary - (self) */
2739 { /* Inline kernel#Int#< (var_val,var11) */
2740 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
2741 /* <var11:Int> isa OTHER */
2742 var14
= 1; /* easy <var11:Int> isa OTHER*/
2744 var_class_name17
= type_kernel__Int
.name
;
2745 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17
);
2746 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2749 var18
= var_val
< var11
;
2752 RET_LABEL13
:(void)0;
2760 { /* Inline kernel#Int#< (var_val,var19) */
2761 /* Covariant cast for argument 0 (i) <var19:Int> isa OTHER */
2762 /* <var19:Int> isa OTHER */
2763 var22
= 1; /* easy <var19:Int> isa OTHER*/
2765 var_class_name25
= type_kernel__Int
.name
;
2766 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25
);
2767 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2770 var26
= var_val
< var19
;
2773 RET_LABEL21
:(void)0;
2777 { /* Inline kernel#Int#+ (var_result,var27) */
2778 var30
= var_result
+ var27
;
2781 RET_LABEL29
:(void)0;
2788 { /* Inline kernel#Int#< (var_val,var31) */
2789 /* Covariant cast for argument 0 (i) <var31:Int> isa OTHER */
2790 /* <var31:Int> isa OTHER */
2791 var34
= 1; /* easy <var31:Int> isa OTHER*/
2793 var_class_name37
= type_kernel__Int
.name
;
2794 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name37
);
2795 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2798 var38
= var_val
< var31
;
2801 RET_LABEL33
:(void)0;
2805 { /* Inline kernel#Int#+ (var_result,var39) */
2806 var42
= var_result
+ var39
;
2809 RET_LABEL41
:(void)0;
2816 { /* Inline kernel#Int#< (var_val,var43) */
2817 /* Covariant cast for argument 0 (i) <var43:Int> isa OTHER */
2818 /* <var43:Int> isa OTHER */
2819 var46
= 1; /* easy <var43:Int> isa OTHER*/
2821 var_class_name49
= type_kernel__Int
.name
;
2822 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name49
);
2823 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2826 var50
= var_val
< var43
;
2829 RET_LABEL45
:(void)0;
2833 { /* Inline kernel#Int#+ (var_result,var51) */
2834 var54
= var_result
+ var51
;
2837 RET_LABEL53
:(void)0;
2844 { /* Inline kernel#Int#/ (var_val,var55) */
2845 var58
= var_val
/ var55
;
2848 RET_LABEL57
:(void)0;
2852 { /* Inline kernel#Int#+ (var_result,var59) */
2853 var62
= var_result
+ var59
;
2856 RET_LABEL61
:(void)0;
2859 CONTINUE_label
: (void)0;
2861 BREAK_label
: (void)0;
2865 /* method kernel#Int#digit_count_base_10 for (self: Object): Int */
2866 long VIRTUAL_kernel__Int__digit_count_base_95d10(val
* self
) {
2867 long var
/* : Int */;
2868 long var1
/* : Int */;
2869 long var2
/* : Int */;
2870 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2871 var1
= kernel__Int__digit_count_base_95d10(var2
);
2876 /* method kernel#Int#to_c for (self: Int): Char */
2877 char kernel__Int__to_c(long self
) {
2878 char var
/* : Char */;
2879 short int var1
/* : Bool */;
2880 long var2
/* : Int */;
2881 short int var3
/* : Bool */;
2882 short int var5
/* : Bool */;
2885 const char* var_class_name
;
2886 short int var6
/* : Bool */;
2887 short int var_
/* var : Bool */;
2888 long var7
/* : Int */;
2889 short int var8
/* : Bool */;
2890 short int var10
/* : Bool */;
2893 const char* var_class_name13
;
2894 short int var14
/* : Bool */;
2895 long var15
/* : Int */;
2896 short int var16
/* : Bool */;
2897 short int var18
/* : Bool */;
2900 const char* var_class_name21
;
2901 short int var22
/* : Bool */;
2902 char var23
/* : Char */;
2903 long var24
/* : Int */;
2904 long var26
/* : Int */;
2905 long var27
/* : Int */;
2906 long var29
/* : Int */;
2907 char var30
/* : Char */;
2908 char var32
/* : Char */;
2909 char var33
/* : Char */;
2910 long var34
/* : Int */;
2911 long var36
/* : Int */;
2912 long var37
/* : Int */;
2913 long var38
/* : Int */;
2914 long var40
/* : Int */;
2915 long var41
/* : Int */;
2916 long var43
/* : Int */;
2917 char var44
/* : Char */;
2918 char var46
/* : Char */;
2920 { /* Inline kernel#Int#>= (self,var2) */
2921 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
2922 /* <var2:Int> isa OTHER */
2923 var5
= 1; /* easy <var2:Int> isa OTHER*/
2925 var_class_name
= type_kernel__Int
.name
;
2926 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2927 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
2930 var6
= self
>= var2
;
2938 { /* Inline kernel#Int#<= (self,var7) */
2939 /* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
2940 /* <var7:Int> isa OTHER */
2941 var10
= 1; /* easy <var7:Int> isa OTHER*/
2943 var_class_name13
= type_kernel__Int
.name
;
2944 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
2945 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
2948 var14
= self
<= var7
;
2958 fprintf(stderr
, "Runtime error: %s", "Assert failed");
2959 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 399);
2963 { /* Inline kernel#Int#< (self,var15) */
2964 /* Covariant cast for argument 0 (i) <var15:Int> isa OTHER */
2965 /* <var15:Int> isa OTHER */
2966 var18
= 1; /* easy <var15:Int> isa OTHER*/
2968 var_class_name21
= type_kernel__Int
.name
;
2969 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21
);
2970 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
2973 var22
= self
< var15
;
2976 RET_LABEL17
:(void)0;
2980 { /* Inline kernel#Char#ascii (var23) */
2981 var26
= (unsigned char)var23
;
2984 RET_LABEL25
:(void)0;
2986 { /* Inline kernel#Int#+ (self,var24) */
2987 var29
= self
+ var24
;
2990 RET_LABEL28
:(void)0;
2992 { /* Inline kernel#Int#ascii (var27) */
2996 RET_LABEL31
:(void)0;
3002 { /* Inline kernel#Char#ascii (var33) */
3003 var36
= (unsigned char)var33
;
3006 RET_LABEL35
:(void)0;
3009 { /* Inline kernel#Int#- (var34,var37) */
3010 var40
= var34
- var37
;
3013 RET_LABEL39
:(void)0;
3015 { /* Inline kernel#Int#+ (self,var38) */
3016 var43
= self
+ var38
;
3019 RET_LABEL42
:(void)0;
3021 { /* Inline kernel#Int#ascii (var41) */
3025 RET_LABEL45
:(void)0;
3033 /* method kernel#Int#to_c for (self: Object): Char */
3034 char VIRTUAL_kernel__Int__to_c(val
* self
) {
3035 char var
/* : Char */;
3036 char var1
/* : Char */;
3037 long var2
/* : Int */;
3038 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
3039 var1
= kernel__Int__to_c(var2
);
3044 /* method kernel#Int#abs for (self: Int): Int */
3045 long kernel__Int__abs(long self
) {
3046 long var
/* : Int */;
3047 long var1
/* : Int */;
3048 short int var2
/* : Bool */;
3049 short int var4
/* : Bool */;
3052 const char* var_class_name
;
3053 short int var5
/* : Bool */;
3054 long var6
/* : Int */;
3055 long var7
/* : Int */;
3056 long var9
/* : Int */;
3057 long var10
/* : Int */;
3058 long var12
/* : Int */;
3060 { /* Inline kernel#Int#>= (self,var1) */
3061 /* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
3062 /* <var1:Int> isa OTHER */
3063 var4
= 1; /* easy <var1:Int> isa OTHER*/
3065 var_class_name
= type_kernel__Int
.name
;
3066 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3067 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
3070 var5
= self
>= var1
;
3080 { /* Inline kernel#Int#unary - (var6) */
3086 { /* Inline kernel#Int#* (var7,self) */
3087 var12
= var7
* self
;
3090 RET_LABEL11
:(void)0;
3098 /* method kernel#Int#abs for (self: Object): Int */
3099 long VIRTUAL_kernel__Int__abs(val
* self
) {
3100 long var
/* : Int */;
3101 long var1
/* : Int */;
3102 long var2
/* : Int */;
3103 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
3104 var1
= kernel__Int__abs(var2
);
3109 /* method kernel#Char#object_id for (self: Char): Int */
3110 long kernel__Char__object_id(char self
) {
3111 long var
/* : Int */;
3112 long var1
/* : Int */;
3119 /* method kernel#Char#object_id for (self: Object): Int */
3120 long VIRTUAL_kernel__Char__object_id(val
* self
) {
3121 long var
/* : Int */;
3122 long var1
/* : Int */;
3123 char var3
/* : Char */;
3124 long var4
/* : Int */;
3125 { /* Inline kernel#Char#object_id (self) */
3126 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3136 /* method kernel#Char#hash for (self: Char): Int */
3137 long kernel__Char__hash(char self
) {
3138 long var
/* : Int */;
3139 long var1
/* : Int */;
3140 long var3
/* : Int */;
3141 { /* Inline kernel#Char#ascii (self) */
3142 var3
= (unsigned char)self
;
3152 /* method kernel#Char#hash for (self: Object): Int */
3153 long VIRTUAL_kernel__Char__hash(val
* self
) {
3154 long var
/* : Int */;
3155 long var1
/* : Int */;
3156 char var2
/* : Char */;
3157 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3158 var1
= kernel__Char__hash(var2
);
3163 /* method kernel#Char#== for (self: Char, nullable Object): Bool */
3164 short int kernel__Char___61d_61d(char self
, val
* p0
) {
3165 short int var
/* : Bool */;
3166 short int var1
/* : Bool */;
3167 char var2
/* : Char */;
3168 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Char
);
3170 var2
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from nullable Object to Char */;
3171 var1
= (var2
== self
);
3178 /* method kernel#Char#== for (self: Object, nullable Object): Bool */
3179 short int VIRTUAL_kernel__Char___61d_61d(val
* self
, val
* p0
) {
3180 short int var
/* : Bool */;
3181 short int var1
/* : Bool */;
3182 short int var3
/* : Bool */;
3183 { /* Inline kernel#Char#== (self,p0) */
3184 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
);
3193 /* method kernel#Char#!= for (self: Char, nullable Object): Bool */
3194 short int kernel__Char___33d_61d(char self
, val
* p0
) {
3195 short int var
/* : Bool */;
3196 short int var1
/* : Bool */;
3197 char var2
/* : Char */;
3198 short int var3
/* : Bool */;
3199 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Char
);
3201 var2
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from nullable Object to Char */;
3202 var1
= (var2
== self
);
3210 /* method kernel#Char#!= for (self: Object, nullable Object): Bool */
3211 short int VIRTUAL_kernel__Char___33d_61d(val
* self
, val
* p0
) {
3212 short int var
/* : Bool */;
3213 short int var1
/* : Bool */;
3214 short int var3
/* : Bool */;
3215 short int var4
/* : Bool */;
3216 { /* Inline kernel#Char#!= (self,p0) */
3217 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
);
3227 /* method kernel#Char#output for (self: Char) */
3228 void kernel__Char__output(char self
) {
3232 /* method kernel#Char#output for (self: Object) */
3233 void VIRTUAL_kernel__Char__output(val
* self
) {
3234 char var
/* : Char */;
3235 { /* Inline kernel#Char#output (self) */
3236 var
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3242 /* method kernel#Char#<= for (self: Char, Char): Bool */
3243 short int kernel__Char___60d_61d(char self
, char p0
) {
3244 short int var
/* : Bool */;
3245 short int var1
/* : Bool */;
3248 const char* var_class_name
;
3249 short int var2
/* : Bool */;
3250 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3251 /* <p0:Char> isa OTHER */
3252 var1
= 1; /* easy <p0:Char> isa OTHER*/
3254 var_class_name
= type_kernel__Char
.name
;
3255 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3256 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 436);
3265 /* method kernel#Char#<= for (self: Object, Comparable): Bool */
3266 short int VIRTUAL_kernel__Char___60d_61d(val
* self
, val
* p0
) {
3267 short int var
/* : Bool */;
3268 short int var1
/* : Bool */;
3269 short int var3
/* : Bool */;
3272 const struct type
* type_struct
;
3273 const char* var_class_name
;
3274 char var4
/* : Char */;
3275 char var5
/* : Char */;
3276 short int var6
/* : Bool */;
3277 { /* Inline kernel#Char#<= (self,p0) */
3278 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3279 /* <p0:Comparable> isa OTHER */
3280 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3281 cltype
= type_struct
->color
;
3282 idtype
= type_struct
->id
;
3283 if(cltype
>= p0
->type
->table_size
) {
3286 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3289 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3290 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3291 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 436);
3294 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3295 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3296 var6
= var4
<= var5
;
3305 /* method kernel#Char#< for (self: Char, Char): Bool */
3306 short int kernel__Char___60d(char self
, char p0
) {
3307 short int var
/* : Bool */;
3308 short int var1
/* : Bool */;
3311 const char* var_class_name
;
3312 short int var2
/* : Bool */;
3313 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3314 /* <p0:Char> isa OTHER */
3315 var1
= 1; /* easy <p0:Char> isa OTHER*/
3317 var_class_name
= type_kernel__Char
.name
;
3318 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3319 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 437);
3328 /* method kernel#Char#< for (self: Object, Comparable): Bool */
3329 short int VIRTUAL_kernel__Char___60d(val
* self
, val
* p0
) {
3330 short int var
/* : Bool */;
3331 short int var1
/* : Bool */;
3332 short int var3
/* : Bool */;
3335 const struct type
* type_struct
;
3336 const char* var_class_name
;
3337 char var4
/* : Char */;
3338 char var5
/* : Char */;
3339 short int var6
/* : Bool */;
3340 { /* Inline kernel#Char#< (self,p0) */
3341 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3342 /* <p0:Comparable> isa OTHER */
3343 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3344 cltype
= type_struct
->color
;
3345 idtype
= type_struct
->id
;
3346 if(cltype
>= p0
->type
->table_size
) {
3349 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3352 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3353 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3354 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 437);
3357 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3358 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3368 /* method kernel#Char#>= for (self: Char, Char): Bool */
3369 short int kernel__Char___62d_61d(char self
, char p0
) {
3370 short int var
/* : Bool */;
3371 short int var1
/* : Bool */;
3374 const char* var_class_name
;
3375 short int var2
/* : Bool */;
3376 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3377 /* <p0:Char> isa OTHER */
3378 var1
= 1; /* easy <p0:Char> isa OTHER*/
3380 var_class_name
= type_kernel__Char
.name
;
3381 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3382 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 438);
3391 /* method kernel#Char#>= for (self: Object, Comparable): Bool */
3392 short int VIRTUAL_kernel__Char___62d_61d(val
* self
, val
* p0
) {
3393 short int var
/* : Bool */;
3394 short int var1
/* : Bool */;
3395 short int var3
/* : Bool */;
3398 const struct type
* type_struct
;
3399 const char* var_class_name
;
3400 char var4
/* : Char */;
3401 char var5
/* : Char */;
3402 short int var6
/* : Bool */;
3403 { /* Inline kernel#Char#>= (self,p0) */
3404 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3405 /* <p0:Comparable> isa OTHER */
3406 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3407 cltype
= type_struct
->color
;
3408 idtype
= type_struct
->id
;
3409 if(cltype
>= p0
->type
->table_size
) {
3412 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3415 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3416 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3417 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 438);
3420 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3421 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3422 var6
= var4
>= var5
;
3431 /* method kernel#Char#> for (self: Char, Char): Bool */
3432 short int kernel__Char___62d(char self
, char p0
) {
3433 short int var
/* : Bool */;
3434 short int var1
/* : Bool */;
3437 const char* var_class_name
;
3438 short int var2
/* : Bool */;
3439 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3440 /* <p0:Char> isa OTHER */
3441 var1
= 1; /* easy <p0:Char> isa OTHER*/
3443 var_class_name
= type_kernel__Char
.name
;
3444 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3445 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 439);
3454 /* method kernel#Char#> for (self: Object, Comparable): Bool */
3455 short int VIRTUAL_kernel__Char___62d(val
* self
, val
* p0
) {
3456 short int var
/* : Bool */;
3457 short int var1
/* : Bool */;
3458 short int var3
/* : Bool */;
3461 const struct type
* type_struct
;
3462 const char* var_class_name
;
3463 char var4
/* : Char */;
3464 char var5
/* : Char */;
3465 short int var6
/* : Bool */;
3466 { /* Inline kernel#Char#> (self,p0) */
3467 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3468 /* <p0:Comparable> isa OTHER */
3469 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3470 cltype
= type_struct
->color
;
3471 idtype
= type_struct
->id
;
3472 if(cltype
>= p0
->type
->table_size
) {
3475 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3478 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3479 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3480 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 439);
3483 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3484 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3494 /* method kernel#Char#succ for (self: Char): Char */
3495 char kernel__Char__succ(char self
) {
3496 char var
/* : Char */;
3497 char var1
/* : Char */;
3504 /* method kernel#Char#succ for (self: Object): Discrete */
3505 val
* VIRTUAL_kernel__Char__succ(val
* self
) {
3506 val
* var
/* : Discrete */;
3507 char var1
/* : Char */;
3508 char var3
/* : Char */;
3509 char var4
/* : Char */;
3510 val
* var5
/* : Discrete */;
3511 { /* Inline kernel#Char#succ (self) */
3512 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3518 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3523 /* method kernel#Char#prec for (self: Char): Char */
3524 char kernel__Char__prec(char self
) {
3525 char var
/* : Char */;
3526 char var1
/* : Char */;
3533 /* method kernel#Char#prec for (self: Object): Discrete */
3534 val
* VIRTUAL_kernel__Char__prec(val
* self
) {
3535 val
* var
/* : Discrete */;
3536 char var1
/* : Char */;
3537 char var3
/* : Char */;
3538 char var4
/* : Char */;
3539 val
* var5
/* : Discrete */;
3540 { /* Inline kernel#Char#prec (self) */
3541 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3547 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3552 /* method kernel#Char#distance for (self: Char, Char): Int */
3553 long kernel__Char__distance(char self
, char p0
) {
3554 long var
/* : Int */;
3555 short int var1
/* : Bool */;
3558 const char* var_class_name
;
3559 char var_c
/* var c: Char */;
3560 long var2
/* : Int */;
3561 long var4
/* : Int */;
3562 long var5
/* : Int */;
3563 long var7
/* : Int */;
3564 long var8
/* : Int */;
3565 long var10
/* : Int */;
3566 long var_d
/* var d: Int */;
3567 long var11
/* : Int */;
3568 short int var12
/* : Bool */;
3569 short int var14
/* : Bool */;
3572 const char* var_class_name17
;
3573 short int var18
/* : Bool */;
3574 long var19
/* : Int */;
3575 long var21
/* : Int */;
3576 /* Covariant cast for argument 0 (c) <p0:Char> isa OTHER */
3577 /* <p0:Char> isa OTHER */
3578 var1
= 1; /* easy <p0:Char> isa OTHER*/
3580 var_class_name
= type_kernel__Char
.name
;
3581 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3582 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 444);
3586 { /* Inline kernel#Char#ascii (self) */
3587 var4
= (unsigned char)self
;
3592 { /* Inline kernel#Char#ascii (var_c) */
3593 var7
= (unsigned char)var_c
;
3598 { /* Inline kernel#Int#- (var2,var5) */
3599 var10
= var2
- var5
;
3606 { /* Inline kernel#Int#>= (var_d,var11) */
3607 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
3608 /* <var11:Int> isa OTHER */
3609 var14
= 1; /* easy <var11:Int> isa OTHER*/
3611 var_class_name17
= type_kernel__Int
.name
;
3612 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17
);
3613 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
3616 var18
= var_d
>= var11
;
3619 RET_LABEL13
:(void)0;
3625 { /* Inline kernel#Int#unary - (var_d) */
3629 RET_LABEL20
:(void)0;
3637 /* method kernel#Char#distance for (self: Object, Discrete): Int */
3638 long VIRTUAL_kernel__Char__distance(val
* self
, val
* p0
) {
3639 long var
/* : Int */;
3640 long var1
/* : Int */;
3641 char var2
/* : Char */;
3642 char var3
/* : Char */;
3643 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3644 var3
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Discrete to Char */;
3645 var1
= kernel__Char__distance(var2
, var3
);
3650 /* method kernel#Char#to_i for (self: Char): Int */
3651 long kernel__Char__to_i(char self
) {
3652 long var
/* : Int */;
3653 char var1
/* : Char */;
3654 short int var2
/* : Bool */;
3655 short int var4
/* : Bool */;
3656 long var5
/* : Int */;
3657 long var6
/* : Int */;
3658 long var8
/* : Int */;
3659 short int var9
/* : Bool */;
3660 long var10
/* : Int */;
3661 long var12
/* : Int */;
3662 char var13
/* : Char */;
3663 long var14
/* : Int */;
3664 long var16
/* : Int */;
3665 long var17
/* : Int */;
3666 long var19
/* : Int */;
3667 char var20
/* : Char */;
3668 long var21
/* : Int */;
3669 long var23
/* : Int */;
3670 char var24
/* : Char */;
3671 long var25
/* : Int */;
3672 long var27
/* : Int */;
3673 long var28
/* : Int */;
3674 long var30
/* : Int */;
3675 long var31
/* : Int */;
3676 long var32
/* : Int */;
3677 long var34
/* : Int */;
3679 { /* Inline kernel#Char#== (self,var1) */
3680 var4
= self
== var1
;
3687 { /* Inline kernel#Int#unary - (var5) */
3696 var9
= kernel__Char__is_digit(self
);
3698 { /* Inline kernel#Char#ascii (self) */
3699 var12
= (unsigned char)self
;
3702 RET_LABEL11
:(void)0;
3705 { /* Inline kernel#Char#ascii (var13) */
3706 var16
= (unsigned char)var13
;
3709 RET_LABEL15
:(void)0;
3711 { /* Inline kernel#Int#- (var10,var14) */
3712 var19
= var10
- var14
;
3715 RET_LABEL18
:(void)0;
3720 var20
= kernel__Char__to_lower(self
);
3721 { /* Inline kernel#Char#ascii (var20) */
3722 var23
= (unsigned char)var20
;
3725 RET_LABEL22
:(void)0;
3728 { /* Inline kernel#Char#ascii (var24) */
3729 var27
= (unsigned char)var24
;
3732 RET_LABEL26
:(void)0;
3734 { /* Inline kernel#Int#- (var21,var25) */
3735 var30
= var21
- var25
;
3738 RET_LABEL29
:(void)0;
3741 { /* Inline kernel#Int#+ (var28,var31) */
3742 var34
= var28
+ var31
;
3745 RET_LABEL33
:(void)0;
3754 /* method kernel#Char#to_i for (self: Object): Int */
3755 long VIRTUAL_kernel__Char__to_i(val
* self
) {
3756 long var
/* : Int */;
3757 long var1
/* : Int */;
3758 char var2
/* : Char */;
3759 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3760 var1
= kernel__Char__to_i(var2
);
3765 /* method kernel#Char#ascii for (self: Char): Int */
3766 long kernel__Char__ascii(char self
) {
3767 long var
/* : Int */;
3768 long var1
/* : Int */;
3769 var1
= (unsigned char)self
;
3775 /* method kernel#Char#ascii for (self: Object): Int */
3776 long VIRTUAL_kernel__Char__ascii(val
* self
) {
3777 long var
/* : Int */;
3778 long var1
/* : Int */;
3779 char var3
/* : Char */;
3780 long var4
/* : Int */;
3781 { /* Inline kernel#Char#ascii (self) */
3782 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3783 var4
= (unsigned char)var3
;
3792 /* method kernel#Char#+ for (self: Char, Int): Char */
3793 char kernel__Char___43d(char self
, long p0
) {
3794 char var
/* : Char */;
3795 char var1
/* : Char */;
3802 /* method kernel#Char#+ for (self: Object, Int): Discrete */
3803 val
* VIRTUAL_kernel__Char___43d(val
* self
, long p0
) {
3804 val
* var
/* : Discrete */;
3805 char var1
/* : Char */;
3806 char var3
/* : Char */;
3807 char var4
/* : Char */;
3808 val
* var5
/* : Discrete */;
3809 { /* Inline kernel#Char#+ (self,p0) */
3810 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3816 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3821 /* method kernel#Char#- for (self: Char, Int): Char */
3822 char kernel__Char___45d(char self
, long p0
) {
3823 char var
/* : Char */;
3824 char var1
/* : Char */;
3831 /* method kernel#Char#- for (self: Object, Int): Discrete */
3832 val
* VIRTUAL_kernel__Char___45d(val
* self
, long p0
) {
3833 val
* var
/* : Discrete */;
3834 char var1
/* : Char */;
3835 char var3
/* : Char */;
3836 char var4
/* : Char */;
3837 val
* var5
/* : Discrete */;
3838 { /* Inline kernel#Char#- (self,p0) */
3839 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3845 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3850 /* method kernel#Char#to_lower for (self: Char): Char */
3851 char kernel__Char__to_lower(char self
) {
3852 char var
/* : Char */;
3853 short int var1
/* : Bool */;
3854 long var2
/* : Int */;
3855 long var4
/* : Int */;
3856 char var5
/* : Char */;
3857 char var6
/* : Char */;
3858 long var7
/* : Int */;
3859 long var8
/* : Int */;
3860 long var10
/* : Int */;
3861 char var11
/* : Char */;
3862 char var13
/* : Char */;
3863 var1
= kernel__Char__is_upper(self
);
3865 { /* Inline kernel#Char#ascii (self) */
3866 var4
= (unsigned char)self
;
3873 var7
= kernel__Char__distance(var5
, var6
);
3874 { /* Inline kernel#Int#+ (var2,var7) */
3875 var10
= var2
+ var7
;
3880 { /* Inline kernel#Int#ascii (var8) */
3884 RET_LABEL12
:(void)0;
3895 /* method kernel#Char#to_lower for (self: Object): Char */
3896 char VIRTUAL_kernel__Char__to_lower(val
* self
) {
3897 char var
/* : Char */;
3898 char var1
/* : Char */;
3899 char var2
/* : Char */;
3900 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3901 var1
= kernel__Char__to_lower(var2
);
3906 /* method kernel#Char#to_upper for (self: Char): Char */
3907 char kernel__Char__to_upper(char self
) {
3908 char var
/* : Char */;
3909 short int var1
/* : Bool */;
3910 long var2
/* : Int */;
3911 long var4
/* : Int */;
3912 char var5
/* : Char */;
3913 char var6
/* : Char */;
3914 long var7
/* : Int */;
3915 long var8
/* : Int */;
3916 long var10
/* : Int */;
3917 char var11
/* : Char */;
3918 char var13
/* : Char */;
3919 var1
= kernel__Char__is_lower(self
);
3921 { /* Inline kernel#Char#ascii (self) */
3922 var4
= (unsigned char)self
;
3929 var7
= kernel__Char__distance(var5
, var6
);
3930 { /* Inline kernel#Int#- (var2,var7) */
3931 var10
= var2
- var7
;
3936 { /* Inline kernel#Int#ascii (var8) */
3940 RET_LABEL12
:(void)0;
3951 /* method kernel#Char#to_upper for (self: Object): Char */
3952 char VIRTUAL_kernel__Char__to_upper(val
* self
) {
3953 char var
/* : Char */;
3954 char var1
/* : Char */;
3955 char var2
/* : Char */;
3956 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3957 var1
= kernel__Char__to_upper(var2
);
3962 /* method kernel#Char#is_digit for (self: Char): Bool */
3963 short int kernel__Char__is_digit(char self
) {
3964 short int var
/* : Bool */;
3965 short int var1
/* : Bool */;
3966 char var2
/* : Char */;
3967 short int var3
/* : Bool */;
3968 short int var5
/* : Bool */;
3971 const char* var_class_name
;
3972 short int var6
/* : Bool */;
3973 short int var_
/* var : Bool */;
3974 char var7
/* : Char */;
3975 short int var8
/* : Bool */;
3976 short int var10
/* : Bool */;
3979 const char* var_class_name13
;
3980 short int var14
/* : Bool */;
3982 { /* Inline kernel#Char#>= (self,var2) */
3983 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
3984 /* <var2:Char> isa OTHER */
3985 var5
= 1; /* easy <var2:Char> isa OTHER*/
3987 var_class_name
= type_kernel__Char
.name
;
3988 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3989 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 438);
3992 var6
= self
>= var2
;
4000 { /* Inline kernel#Char#<= (self,var7) */
4001 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4002 /* <var7:Char> isa OTHER */
4003 var10
= 1; /* easy <var7:Char> isa OTHER*/
4005 var_class_name13
= type_kernel__Char
.name
;
4006 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4007 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 436);
4010 var14
= self
<= var7
;
4024 /* method kernel#Char#is_digit for (self: Object): Bool */
4025 short int VIRTUAL_kernel__Char__is_digit(val
* self
) {
4026 short int var
/* : Bool */;
4027 short int var1
/* : Bool */;
4028 char var2
/* : Char */;
4029 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4030 var1
= kernel__Char__is_digit(var2
);
4035 /* method kernel#Char#is_lower for (self: Char): Bool */
4036 short int kernel__Char__is_lower(char self
) {
4037 short int var
/* : Bool */;
4038 short int var1
/* : Bool */;
4039 char var2
/* : Char */;
4040 short int var3
/* : Bool */;
4041 short int var5
/* : Bool */;
4044 const char* var_class_name
;
4045 short int var6
/* : Bool */;
4046 short int var_
/* var : Bool */;
4047 char var7
/* : Char */;
4048 short int var8
/* : Bool */;
4049 short int var10
/* : Bool */;
4052 const char* var_class_name13
;
4053 short int var14
/* : Bool */;
4055 { /* Inline kernel#Char#>= (self,var2) */
4056 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
4057 /* <var2:Char> isa OTHER */
4058 var5
= 1; /* easy <var2:Char> isa OTHER*/
4060 var_class_name
= type_kernel__Char
.name
;
4061 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4062 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 438);
4065 var6
= self
>= var2
;
4073 { /* Inline kernel#Char#<= (self,var7) */
4074 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4075 /* <var7:Char> isa OTHER */
4076 var10
= 1; /* easy <var7:Char> isa OTHER*/
4078 var_class_name13
= type_kernel__Char
.name
;
4079 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4080 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 436);
4083 var14
= self
<= var7
;
4097 /* method kernel#Char#is_lower for (self: Object): Bool */
4098 short int VIRTUAL_kernel__Char__is_lower(val
* self
) {
4099 short int var
/* : Bool */;
4100 short int var1
/* : Bool */;
4101 char var2
/* : Char */;
4102 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4103 var1
= kernel__Char__is_lower(var2
);
4108 /* method kernel#Char#is_upper for (self: Char): Bool */
4109 short int kernel__Char__is_upper(char self
) {
4110 short int var
/* : Bool */;
4111 short int var1
/* : Bool */;
4112 char var2
/* : Char */;
4113 short int var3
/* : Bool */;
4114 short int var5
/* : Bool */;
4117 const char* var_class_name
;
4118 short int var6
/* : Bool */;
4119 short int var_
/* var : Bool */;
4120 char var7
/* : Char */;
4121 short int var8
/* : Bool */;
4122 short int var10
/* : Bool */;
4125 const char* var_class_name13
;
4126 short int var14
/* : Bool */;
4128 { /* Inline kernel#Char#>= (self,var2) */
4129 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
4130 /* <var2:Char> isa OTHER */
4131 var5
= 1; /* easy <var2:Char> isa OTHER*/
4133 var_class_name
= type_kernel__Char
.name
;
4134 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4135 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 438);
4138 var6
= self
>= var2
;
4146 { /* Inline kernel#Char#<= (self,var7) */
4147 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4148 /* <var7:Char> isa OTHER */
4149 var10
= 1; /* easy <var7:Char> isa OTHER*/
4151 var_class_name13
= type_kernel__Char
.name
;
4152 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4153 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 436);
4156 var14
= self
<= var7
;
4170 /* method kernel#Char#is_upper for (self: Object): Bool */
4171 short int VIRTUAL_kernel__Char__is_upper(val
* self
) {
4172 short int var
/* : Bool */;
4173 short int var1
/* : Bool */;
4174 char var2
/* : Char */;
4175 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4176 var1
= kernel__Char__is_upper(var2
);
4181 /* method kernel#Char#is_letter for (self: Char): Bool */
4182 short int kernel__Char__is_letter(char self
) {
4183 short int var
/* : Bool */;
4184 short int var1
/* : Bool */;
4185 short int var2
/* : Bool */;
4186 short int var_
/* var : Bool */;
4187 short int var3
/* : Bool */;
4188 var2
= kernel__Char__is_lower(self
);
4193 var3
= kernel__Char__is_upper(self
);
4201 /* method kernel#Char#is_letter for (self: Object): Bool */
4202 short int VIRTUAL_kernel__Char__is_letter(val
* self
) {
4203 short int var
/* : Bool */;
4204 short int var1
/* : Bool */;
4205 char var2
/* : Char */;
4206 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4207 var1
= kernel__Char__is_letter(var2
);
4212 /* method kernel#Pointer#address_is_null for (self: Pointer): Bool */
4213 short int kernel__Pointer__address_is_null(void* self
) {
4214 short int var
/* : Bool */;
4215 fprintf(stderr
, "NOT YET IMPLEMENTED nitni for kernel#Pointer#address_is_null at lib/standard/kernel.nit:554,2--555,53\n");
4220 /* method kernel#Pointer#address_is_null for (self: Object): Bool */
4221 short int VIRTUAL_kernel__Pointer__address_is_null(val
* self
) {
4222 short int var
/* : Bool */;
4223 short int var1
/* : Bool */;
4224 void* var2
/* : Pointer */;
4225 var2
= ((struct instance_kernel__Pointer
*)self
)->value
; /* autounbox from Object to Pointer */;
4226 var1
= kernel__Pointer__address_is_null(var2
);