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 */;
1107 const char* var_class_name
;
1108 short int var2
/* : Bool */;
1109 /* Covariant cast for argument 0 (i) <p0:Float> isa OTHER */
1110 /* <p0:Float> isa OTHER */
1111 var1
= 1; /* easy <p0:Float> isa OTHER*/
1113 var_class_name
= type_kernel__Float
.name
;
1114 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1115 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 232);
1124 /* method kernel#Float#<= for (self: Object, Comparable): Bool */
1125 short int VIRTUAL_kernel__Float___60d_61d(val
* self
, val
* p0
) {
1126 short int var
/* : Bool */;
1127 short int var1
/* : Bool */;
1128 short int var3
/* : Bool */;
1131 const struct type
* type_struct
;
1132 const char* var_class_name
;
1133 double var4
/* : Float */;
1134 double var5
/* : Float */;
1135 short int var6
/* : Bool */;
1136 { /* Inline kernel#Float#<= (self,p0) */
1137 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1138 /* <p0:Comparable> isa OTHER */
1139 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1140 cltype
= type_struct
->color
;
1141 idtype
= type_struct
->id
;
1142 if(cltype
>= p0
->type
->table_size
) {
1145 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1148 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1149 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1150 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 232);
1153 var4
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1154 var5
= ((struct instance_kernel__Float
*)p0
)->value
; /* autounbox from Comparable to Float */;
1155 var6
= var4
<= var5
;
1164 /* method kernel#Float#< for (self: Float, Float): Bool */
1165 short int kernel__Float___60d(double self
, double p0
) {
1166 short int var
/* : Bool */;
1167 short int var1
/* : Bool */;
1170 const char* var_class_name
;
1171 short int var2
/* : Bool */;
1172 /* Covariant cast for argument 0 (i) <p0:Float> isa OTHER */
1173 /* <p0:Float> isa OTHER */
1174 var1
= 1; /* easy <p0:Float> isa OTHER*/
1176 var_class_name
= type_kernel__Float
.name
;
1177 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1178 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 233);
1187 /* method kernel#Float#< for (self: Object, Comparable): Bool */
1188 short int VIRTUAL_kernel__Float___60d(val
* self
, val
* p0
) {
1189 short int var
/* : Bool */;
1190 short int var1
/* : Bool */;
1191 short int var3
/* : Bool */;
1194 const struct type
* type_struct
;
1195 const char* var_class_name
;
1196 double var4
/* : Float */;
1197 double var5
/* : Float */;
1198 short int var6
/* : Bool */;
1199 { /* Inline kernel#Float#< (self,p0) */
1200 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1201 /* <p0:Comparable> isa OTHER */
1202 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1203 cltype
= type_struct
->color
;
1204 idtype
= type_struct
->id
;
1205 if(cltype
>= p0
->type
->table_size
) {
1208 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1211 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1212 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1213 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 233);
1216 var4
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1217 var5
= ((struct instance_kernel__Float
*)p0
)->value
; /* autounbox from Comparable to Float */;
1227 /* method kernel#Float#>= for (self: Float, Float): Bool */
1228 short int kernel__Float___62d_61d(double self
, double p0
) {
1229 short int var
/* : Bool */;
1230 short int var1
/* : Bool */;
1233 const char* var_class_name
;
1234 short int var2
/* : Bool */;
1235 /* Covariant cast for argument 0 (i) <p0:Float> isa OTHER */
1236 /* <p0:Float> isa OTHER */
1237 var1
= 1; /* easy <p0:Float> isa OTHER*/
1239 var_class_name
= type_kernel__Float
.name
;
1240 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1241 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 234);
1250 /* method kernel#Float#>= for (self: Object, Comparable): Bool */
1251 short int VIRTUAL_kernel__Float___62d_61d(val
* self
, val
* p0
) {
1252 short int var
/* : Bool */;
1253 short int var1
/* : Bool */;
1254 short int var3
/* : Bool */;
1257 const struct type
* type_struct
;
1258 const char* var_class_name
;
1259 double var4
/* : Float */;
1260 double var5
/* : Float */;
1261 short int var6
/* : Bool */;
1262 { /* Inline kernel#Float#>= (self,p0) */
1263 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1264 /* <p0:Comparable> isa OTHER */
1265 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1266 cltype
= type_struct
->color
;
1267 idtype
= type_struct
->id
;
1268 if(cltype
>= p0
->type
->table_size
) {
1271 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1274 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1275 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1276 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 234);
1279 var4
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1280 var5
= ((struct instance_kernel__Float
*)p0
)->value
; /* autounbox from Comparable to Float */;
1281 var6
= var4
>= var5
;
1290 /* method kernel#Float#> for (self: Float, Float): Bool */
1291 short int kernel__Float___62d(double self
, double p0
) {
1292 short int var
/* : Bool */;
1293 short int var1
/* : Bool */;
1296 const char* var_class_name
;
1297 short int var2
/* : Bool */;
1298 /* Covariant cast for argument 0 (i) <p0:Float> isa OTHER */
1299 /* <p0:Float> isa OTHER */
1300 var1
= 1; /* easy <p0:Float> isa OTHER*/
1302 var_class_name
= type_kernel__Float
.name
;
1303 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1304 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 235);
1313 /* method kernel#Float#> for (self: Object, Comparable): Bool */
1314 short int VIRTUAL_kernel__Float___62d(val
* self
, val
* p0
) {
1315 short int var
/* : Bool */;
1316 short int var1
/* : Bool */;
1317 short int var3
/* : Bool */;
1320 const struct type
* type_struct
;
1321 const char* var_class_name
;
1322 double var4
/* : Float */;
1323 double var5
/* : Float */;
1324 short int var6
/* : Bool */;
1325 { /* Inline kernel#Float#> (self,p0) */
1326 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1327 /* <p0:Comparable> isa OTHER */
1328 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1329 cltype
= type_struct
->color
;
1330 idtype
= type_struct
->id
;
1331 if(cltype
>= p0
->type
->table_size
) {
1334 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1337 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1338 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1339 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 235);
1342 var4
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1343 var5
= ((struct instance_kernel__Float
*)p0
)->value
; /* autounbox from Comparable to Float */;
1353 /* method kernel#Float#+ for (self: Float, Float): Float */
1354 double kernel__Float___43d(double self
, double p0
) {
1355 double var
/* : Float */;
1356 double var1
/* : Float */;
1363 /* method kernel#Float#+ for (self: Object, Float): Float */
1364 double VIRTUAL_kernel__Float___43d(val
* self
, double p0
) {
1365 double var
/* : Float */;
1366 double var1
/* : Float */;
1367 double var3
/* : Float */;
1368 double var4
/* : Float */;
1369 { /* Inline kernel#Float#+ (self,p0) */
1370 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1380 /* method kernel#Float#unary - for (self: Float): Float */
1381 double kernel__Float__unary_32d_45d(double self
) {
1382 double var
/* : Float */;
1383 double var1
/* : Float */;
1390 /* method kernel#Float#unary - for (self: Object): Float */
1391 double VIRTUAL_kernel__Float__unary_32d_45d(val
* self
) {
1392 double var
/* : Float */;
1393 double var1
/* : Float */;
1394 double var3
/* : Float */;
1395 double var4
/* : Float */;
1396 { /* Inline kernel#Float#unary - (self) */
1397 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1407 /* method kernel#Float#- for (self: Float, Float): Float */
1408 double kernel__Float___45d(double self
, double p0
) {
1409 double var
/* : Float */;
1410 double var1
/* : Float */;
1417 /* method kernel#Float#- for (self: Object, Float): Float */
1418 double VIRTUAL_kernel__Float___45d(val
* self
, double p0
) {
1419 double var
/* : Float */;
1420 double var1
/* : Float */;
1421 double var3
/* : Float */;
1422 double var4
/* : Float */;
1423 { /* Inline kernel#Float#- (self,p0) */
1424 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1434 /* method kernel#Float#* for (self: Float, Float): Float */
1435 double kernel__Float___42d(double self
, double p0
) {
1436 double var
/* : Float */;
1437 double var1
/* : Float */;
1444 /* method kernel#Float#* for (self: Object, Float): Float */
1445 double VIRTUAL_kernel__Float___42d(val
* self
, double p0
) {
1446 double var
/* : Float */;
1447 double var1
/* : Float */;
1448 double var3
/* : Float */;
1449 double var4
/* : Float */;
1450 { /* Inline kernel#Float#* (self,p0) */
1451 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1461 /* method kernel#Float#/ for (self: Float, Float): Float */
1462 double kernel__Float___47d(double self
, double p0
) {
1463 double var
/* : Float */;
1464 double var1
/* : Float */;
1471 /* method kernel#Float#/ for (self: Object, Float): Float */
1472 double VIRTUAL_kernel__Float___47d(val
* self
, double p0
) {
1473 double var
/* : Float */;
1474 double var1
/* : Float */;
1475 double var3
/* : Float */;
1476 double var4
/* : Float */;
1477 { /* Inline kernel#Float#/ (self,p0) */
1478 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1488 /* method kernel#Float#to_i for (self: Float): Int */
1489 long kernel__Float__to_i(double self
) {
1490 long var
/* : Int */;
1491 long var1
/* : Int */;
1498 /* method kernel#Float#to_i for (self: Object): Int */
1499 long VIRTUAL_kernel__Float__to_i(val
* self
) {
1500 long var
/* : Int */;
1501 long var1
/* : Int */;
1502 double var3
/* : Float */;
1503 long var4
/* : Int */;
1504 { /* Inline kernel#Float#to_i (self) */
1505 var3
= ((struct instance_kernel__Float
*)self
)->value
; /* autounbox from Object to Float */;
1515 /* method kernel#Int#object_id for (self: Int): Int */
1516 long kernel__Int__object_id(long self
) {
1517 long var
/* : Int */;
1523 /* method kernel#Int#object_id for (self: Object): Int */
1524 long VIRTUAL_kernel__Int__object_id(val
* self
) {
1525 long var
/* : Int */;
1526 long var1
/* : Int */;
1527 long var3
/* : Int */;
1528 { /* Inline kernel#Int#object_id (self) */
1529 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1538 /* method kernel#Int#hash for (self: Int): Int */
1539 long kernel__Int__hash(long self
) {
1540 long var
/* : Int */;
1546 /* method kernel#Int#hash for (self: Object): Int */
1547 long VIRTUAL_kernel__Int__hash(val
* self
) {
1548 long var
/* : Int */;
1549 long var1
/* : Int */;
1550 long var2
/* : Int */;
1551 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1552 var1
= kernel__Int__hash(var2
);
1557 /* method kernel#Int#== for (self: Int, nullable Object): Bool */
1558 short int kernel__Int___61d_61d(long self
, val
* p0
) {
1559 short int var
/* : Bool */;
1560 short int var1
/* : Bool */;
1561 long var2
/* : Int */;
1562 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Int
);
1564 var2
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from nullable Object to Int */;
1565 var1
= (var2
== self
);
1572 /* method kernel#Int#== for (self: Object, nullable Object): Bool */
1573 short int VIRTUAL_kernel__Int___61d_61d(val
* self
, val
* p0
) {
1574 short int var
/* : Bool */;
1575 short int var1
/* : Bool */;
1576 short int var3
/* : Bool */;
1577 { /* Inline kernel#Int#== (self,p0) */
1578 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
);
1587 /* method kernel#Int#!= for (self: Int, nullable Object): Bool */
1588 short int kernel__Int___33d_61d(long self
, val
* p0
) {
1589 short int var
/* : Bool */;
1590 short int var1
/* : Bool */;
1591 long var2
/* : Int */;
1592 short int var3
/* : Bool */;
1593 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Int
);
1595 var2
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from nullable Object to Int */;
1596 var1
= (var2
== self
);
1604 /* method kernel#Int#!= for (self: Object, nullable Object): Bool */
1605 short int VIRTUAL_kernel__Int___33d_61d(val
* self
, val
* p0
) {
1606 short int var
/* : Bool */;
1607 short int var1
/* : Bool */;
1608 short int var3
/* : Bool */;
1609 short int var4
/* : Bool */;
1610 { /* Inline kernel#Int#!= (self,p0) */
1611 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Int
*)self
)->value
== ((struct instance_kernel__Int
*)p0
)->value
);
1621 /* method kernel#Int#output for (self: Int) */
1622 void kernel__Int__output(long self
) {
1623 printf("%ld\n", self
);
1626 /* method kernel#Int#output for (self: Object) */
1627 void VIRTUAL_kernel__Int__output(val
* self
) {
1628 long var
/* : Int */;
1629 { /* Inline kernel#Int#output (self) */
1630 var
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1631 printf("%ld\n", var
);
1636 /* method kernel#Int#<= for (self: Int, Int): Bool */
1637 short int kernel__Int___60d_61d(long self
, long p0
) {
1638 short int var
/* : Bool */;
1639 short int var1
/* : Bool */;
1642 const char* var_class_name
;
1643 short int var2
/* : Bool */;
1644 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1645 /* <p0:Int> isa OTHER */
1646 var1
= 1; /* easy <p0:Int> isa OTHER*/
1648 var_class_name
= type_kernel__Int
.name
;
1649 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1650 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
1659 /* method kernel#Int#<= for (self: Object, Comparable): Bool */
1660 short int VIRTUAL_kernel__Int___60d_61d(val
* self
, val
* p0
) {
1661 short int var
/* : Bool */;
1662 short int var1
/* : Bool */;
1663 short int var3
/* : Bool */;
1666 const struct type
* type_struct
;
1667 const char* var_class_name
;
1668 long var4
/* : Int */;
1669 long var5
/* : Int */;
1670 short int var6
/* : Bool */;
1671 { /* Inline kernel#Int#<= (self,p0) */
1672 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1673 /* <p0:Comparable> isa OTHER */
1674 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1675 cltype
= type_struct
->color
;
1676 idtype
= type_struct
->id
;
1677 if(cltype
>= p0
->type
->table_size
) {
1680 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1683 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1684 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1685 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
1688 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1689 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1690 var6
= var4
<= var5
;
1699 /* method kernel#Int#< for (self: Int, Int): Bool */
1700 short int kernel__Int___60d(long self
, long p0
) {
1701 short int var
/* : Bool */;
1702 short int var1
/* : Bool */;
1705 const char* var_class_name
;
1706 short int var2
/* : Bool */;
1707 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1708 /* <p0:Int> isa OTHER */
1709 var1
= 1; /* easy <p0:Int> isa OTHER*/
1711 var_class_name
= type_kernel__Int
.name
;
1712 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1713 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
1722 /* method kernel#Int#< for (self: Object, Comparable): Bool */
1723 short int VIRTUAL_kernel__Int___60d(val
* self
, val
* p0
) {
1724 short int var
/* : Bool */;
1725 short int var1
/* : Bool */;
1726 short int var3
/* : Bool */;
1729 const struct type
* type_struct
;
1730 const char* var_class_name
;
1731 long var4
/* : Int */;
1732 long var5
/* : Int */;
1733 short int var6
/* : Bool */;
1734 { /* Inline kernel#Int#< (self,p0) */
1735 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1736 /* <p0:Comparable> isa OTHER */
1737 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1738 cltype
= type_struct
->color
;
1739 idtype
= type_struct
->id
;
1740 if(cltype
>= p0
->type
->table_size
) {
1743 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1746 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1747 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1748 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
1751 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1752 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1762 /* method kernel#Int#>= for (self: Int, Int): Bool */
1763 short int kernel__Int___62d_61d(long self
, long p0
) {
1764 short int var
/* : Bool */;
1765 short int var1
/* : Bool */;
1768 const char* var_class_name
;
1769 short int var2
/* : Bool */;
1770 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1771 /* <p0:Int> isa OTHER */
1772 var1
= 1; /* easy <p0:Int> isa OTHER*/
1774 var_class_name
= type_kernel__Int
.name
;
1775 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1776 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
1785 /* method kernel#Int#>= for (self: Object, Comparable): Bool */
1786 short int VIRTUAL_kernel__Int___62d_61d(val
* self
, val
* p0
) {
1787 short int var
/* : Bool */;
1788 short int var1
/* : Bool */;
1789 short int var3
/* : Bool */;
1792 const struct type
* type_struct
;
1793 const char* var_class_name
;
1794 long var4
/* : Int */;
1795 long var5
/* : Int */;
1796 short int var6
/* : Bool */;
1797 { /* Inline kernel#Int#>= (self,p0) */
1798 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1799 /* <p0:Comparable> isa OTHER */
1800 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1801 cltype
= type_struct
->color
;
1802 idtype
= type_struct
->id
;
1803 if(cltype
>= p0
->type
->table_size
) {
1806 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1809 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1810 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1811 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
1814 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1815 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1816 var6
= var4
>= var5
;
1825 /* method kernel#Int#> for (self: Int, Int): Bool */
1826 short int kernel__Int___62d(long self
, long p0
) {
1827 short int var
/* : Bool */;
1828 short int var1
/* : Bool */;
1831 const char* var_class_name
;
1832 short int var2
/* : Bool */;
1833 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
1834 /* <p0:Int> isa OTHER */
1835 var1
= 1; /* easy <p0:Int> isa OTHER*/
1837 var_class_name
= type_kernel__Int
.name
;
1838 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1839 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
1848 /* method kernel#Int#> for (self: Object, Comparable): Bool */
1849 short int VIRTUAL_kernel__Int___62d(val
* self
, val
* p0
) {
1850 short int var
/* : Bool */;
1851 short int var1
/* : Bool */;
1852 short int var3
/* : Bool */;
1855 const struct type
* type_struct
;
1856 const char* var_class_name
;
1857 long var4
/* : Int */;
1858 long var5
/* : Int */;
1859 short int var6
/* : Bool */;
1860 { /* Inline kernel#Int#> (self,p0) */
1861 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
1862 /* <p0:Comparable> isa OTHER */
1863 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
1864 cltype
= type_struct
->color
;
1865 idtype
= type_struct
->id
;
1866 if(cltype
>= p0
->type
->table_size
) {
1869 var3
= p0
->type
->type_table
[cltype
] == idtype
;
1872 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
1873 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1874 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
1877 var4
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1878 var5
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
1888 /* method kernel#Int#+ for (self: Int, Int): Int */
1889 long kernel__Int___43d(long self
, long p0
) {
1890 long var
/* : Int */;
1891 long var1
/* : Int */;
1898 /* method kernel#Int#+ for (self: Object, Int): Discrete */
1899 val
* VIRTUAL_kernel__Int___43d(val
* self
, long p0
) {
1900 val
* var
/* : Discrete */;
1901 long var1
/* : Int */;
1902 long var3
/* : Int */;
1903 long var4
/* : Int */;
1904 val
* var5
/* : Discrete */;
1905 { /* Inline kernel#Int#+ (self,p0) */
1906 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1912 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
1917 /* method kernel#Int#unary - for (self: Int): Int */
1918 long kernel__Int__unary_32d_45d(long self
) {
1919 long var
/* : Int */;
1920 long var1
/* : Int */;
1927 /* method kernel#Int#unary - for (self: Object): Int */
1928 long VIRTUAL_kernel__Int__unary_32d_45d(val
* self
) {
1929 long var
/* : Int */;
1930 long var1
/* : Int */;
1931 long var3
/* : Int */;
1932 long var4
/* : Int */;
1933 { /* Inline kernel#Int#unary - (self) */
1934 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1944 /* method kernel#Int#- for (self: Int, Int): Int */
1945 long kernel__Int___45d(long self
, long p0
) {
1946 long var
/* : Int */;
1947 long var1
/* : Int */;
1954 /* method kernel#Int#- for (self: Object, Int): Discrete */
1955 val
* VIRTUAL_kernel__Int___45d(val
* self
, long p0
) {
1956 val
* var
/* : Discrete */;
1957 long var1
/* : Int */;
1958 long var3
/* : Int */;
1959 long var4
/* : Int */;
1960 val
* var5
/* : Discrete */;
1961 { /* Inline kernel#Int#- (self,p0) */
1962 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
1968 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
1973 /* method kernel#Int#* for (self: Int, Int): Int */
1974 long kernel__Int___42d(long self
, long p0
) {
1975 long var
/* : Int */;
1976 long var1
/* : Int */;
1983 /* method kernel#Int#* for (self: Object, Int): Int */
1984 long VIRTUAL_kernel__Int___42d(val
* self
, long p0
) {
1985 long var
/* : Int */;
1986 long var1
/* : Int */;
1987 long var3
/* : Int */;
1988 long var4
/* : Int */;
1989 { /* Inline kernel#Int#* (self,p0) */
1990 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2000 /* method kernel#Int#/ for (self: Int, Int): Int */
2001 long kernel__Int___47d(long self
, long p0
) {
2002 long var
/* : Int */;
2003 long var1
/* : Int */;
2010 /* method kernel#Int#/ for (self: Object, Int): Int */
2011 long VIRTUAL_kernel__Int___47d(val
* self
, long p0
) {
2012 long var
/* : Int */;
2013 long var1
/* : Int */;
2014 long var3
/* : Int */;
2015 long var4
/* : Int */;
2016 { /* Inline kernel#Int#/ (self,p0) */
2017 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2027 /* method kernel#Int#% for (self: Int, Int): Int */
2028 long kernel__Int___37d(long self
, long p0
) {
2029 long var
/* : Int */;
2030 long var1
/* : Int */;
2037 /* method kernel#Int#% for (self: Object, Int): Int */
2038 long VIRTUAL_kernel__Int___37d(val
* self
, long p0
) {
2039 long var
/* : Int */;
2040 long var1
/* : Int */;
2041 long var3
/* : Int */;
2042 long var4
/* : Int */;
2043 { /* Inline kernel#Int#% (self,p0) */
2044 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2054 /* method kernel#Int#lshift for (self: Int, Int): Int */
2055 long kernel__Int__lshift(long self
, long p0
) {
2056 long var
/* : Int */;
2057 long var1
/* : Int */;
2064 /* method kernel#Int#lshift for (self: Object, Int): Int */
2065 long VIRTUAL_kernel__Int__lshift(val
* self
, long p0
) {
2066 long var
/* : Int */;
2067 long var1
/* : Int */;
2068 long var3
/* : Int */;
2069 long var4
/* : Int */;
2070 { /* Inline kernel#Int#lshift (self,p0) */
2071 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2081 /* method kernel#Int#rshift for (self: Int, Int): Int */
2082 long kernel__Int__rshift(long self
, long p0
) {
2083 long var
/* : Int */;
2084 long var1
/* : Int */;
2091 /* method kernel#Int#rshift for (self: Object, Int): Int */
2092 long VIRTUAL_kernel__Int__rshift(val
* self
, long p0
) {
2093 long var
/* : Int */;
2094 long var1
/* : Int */;
2095 long var3
/* : Int */;
2096 long var4
/* : Int */;
2097 { /* Inline kernel#Int#rshift (self,p0) */
2098 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2108 /* method kernel#Int#to_f for (self: Int): Float */
2109 double kernel__Int__to_f(long self
) {
2110 double var
/* : Float */;
2111 double var1
/* : Float */;
2112 var1
= (double)self
;
2118 /* method kernel#Int#to_f for (self: Object): Float */
2119 double VIRTUAL_kernel__Int__to_f(val
* self
) {
2120 double var
/* : Float */;
2121 double var1
/* : Float */;
2122 long var3
/* : Int */;
2123 double var4
/* : Float */;
2124 { /* Inline kernel#Int#to_f (self) */
2125 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2126 var4
= (double)var3
;
2135 /* method kernel#Int#succ for (self: Int): Int */
2136 long kernel__Int__succ(long self
) {
2137 long var
/* : Int */;
2138 long var1
/* : Int */;
2145 /* method kernel#Int#succ for (self: Object): Discrete */
2146 val
* VIRTUAL_kernel__Int__succ(val
* self
) {
2147 val
* var
/* : Discrete */;
2148 long var1
/* : Int */;
2149 long var3
/* : Int */;
2150 long var4
/* : Int */;
2151 val
* var5
/* : Discrete */;
2152 { /* Inline kernel#Int#succ (self) */
2153 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2159 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
2164 /* method kernel#Int#prec for (self: Int): Int */
2165 long kernel__Int__prec(long self
) {
2166 long var
/* : Int */;
2167 long var1
/* : Int */;
2174 /* method kernel#Int#prec for (self: Object): Discrete */
2175 val
* VIRTUAL_kernel__Int__prec(val
* self
) {
2176 val
* var
/* : Discrete */;
2177 long var1
/* : Int */;
2178 long var3
/* : Int */;
2179 long var4
/* : Int */;
2180 val
* var5
/* : Discrete */;
2181 { /* Inline kernel#Int#prec (self) */
2182 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2188 var5
= BOX_kernel__Int(var1
); /* autobox from Int to Discrete */
2193 /* method kernel#Int#distance for (self: Int, Int): Int */
2194 long kernel__Int__distance(long self
, long p0
) {
2195 long var
/* : Int */;
2196 short int var1
/* : Bool */;
2199 const char* var_class_name
;
2200 long var_i
/* var i: Int */;
2201 long var2
/* : Int */;
2202 long var4
/* : Int */;
2203 long var_d
/* var d: Int */;
2204 long var5
/* : Int */;
2205 short int var6
/* : Bool */;
2206 short int var8
/* : Bool */;
2209 const char* var_class_name11
;
2210 short int var12
/* : Bool */;
2211 long var13
/* : Int */;
2212 long var15
/* : Int */;
2213 /* Covariant cast for argument 0 (i) <p0:Int> isa OTHER */
2214 /* <p0:Int> isa OTHER */
2215 var1
= 1; /* easy <p0:Int> isa OTHER*/
2217 var_class_name
= type_kernel__Int
.name
;
2218 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2219 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 293);
2223 { /* Inline kernel#Int#- (self,var_i) */
2224 var4
= self
- var_i
;
2231 { /* Inline kernel#Int#>= (var_d,var5) */
2232 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
2233 /* <var5:Int> isa OTHER */
2234 var8
= 1; /* easy <var5:Int> isa OTHER*/
2236 var_class_name11
= type_kernel__Int
.name
;
2237 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11
);
2238 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
2241 var12
= var_d
>= var5
;
2250 { /* Inline kernel#Int#unary - (var_d) */
2254 RET_LABEL14
:(void)0;
2262 /* method kernel#Int#distance for (self: Object, Discrete): Int */
2263 long VIRTUAL_kernel__Int__distance(val
* self
, val
* p0
) {
2264 long var
/* : Int */;
2265 long var1
/* : Int */;
2266 long var2
/* : Int */;
2267 long var3
/* : Int */;
2268 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2269 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Discrete to Int */;
2270 var1
= kernel__Int__distance(var2
, var3
);
2275 /* method kernel#Int#<=> for (self: Int, Int): Int */
2276 long kernel__Int___60d_61d_62d(long self
, long p0
) {
2277 long var
/* : Int */;
2278 short int var1
/* : Bool */;
2281 const char* var_class_name
;
2282 long var_other
/* var other: Int */;
2283 short int var2
/* : Bool */;
2284 short int var4
/* : Bool */;
2287 const char* var_class_name7
;
2288 short int var8
/* : Bool */;
2289 long var9
/* : Int */;
2290 long var10
/* : Int */;
2291 long var12
/* : Int */;
2292 short int var13
/* : Bool */;
2293 short int var15
/* : Bool */;
2296 const char* var_class_name18
;
2297 short int var19
/* : Bool */;
2298 long var20
/* : Int */;
2299 long var21
/* : Int */;
2300 /* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
2301 /* <p0:Int> isa OTHER */
2302 var1
= 1; /* easy <p0:Int> isa OTHER*/
2304 var_class_name
= type_kernel__Int
.name
;
2305 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2306 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 303);
2310 { /* Inline kernel#Int#< (self,var_other) */
2311 /* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
2312 /* <var_other:Int> isa OTHER */
2313 var4
= 1; /* easy <var_other:Int> isa OTHER*/
2315 var_class_name7
= type_kernel__Int
.name
;
2316 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2317 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2320 var8
= self
< var_other
;
2327 { /* Inline kernel#Int#unary - (var9) */
2331 RET_LABEL11
:(void)0;
2336 { /* Inline kernel#Int#< (var_other,self) */
2337 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2338 /* <self:Int> isa OTHER */
2339 var15
= 1; /* easy <self:Int> isa OTHER*/
2341 var_class_name18
= type_kernel__Int
.name
;
2342 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18
);
2343 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2346 var19
= var_other
< self
;
2349 RET_LABEL14
:(void)0;
2364 /* method kernel#Int#<=> for (self: Object, Comparable): Int */
2365 long VIRTUAL_kernel__Int___60d_61d_62d(val
* self
, val
* p0
) {
2366 long var
/* : Int */;
2367 long var1
/* : Int */;
2368 long var2
/* : Int */;
2369 long var3
/* : Int */;
2370 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2371 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2372 var1
= kernel__Int___60d_61d_62d(var2
, var3
);
2377 /* method kernel#Int#is_between for (self: Int, Int, Int): Bool */
2378 short int kernel__Int__is_between(long self
, long p0
, long p1
) {
2379 short int var
/* : Bool */;
2380 short int var1
/* : Bool */;
2383 const char* var_class_name
;
2384 short int var2
/* : Bool */;
2387 const char* var_class_name5
;
2388 long var_c
/* var c: Int */;
2389 long var_d
/* var d: Int */;
2390 short int var6
/* : Bool */;
2391 short int var7
/* : Bool */;
2392 short int var9
/* : Bool */;
2395 const char* var_class_name12
;
2396 short int var13
/* : Bool */;
2397 short int var_
/* var : Bool */;
2398 short int var14
/* : Bool */;
2399 short int var16
/* : Bool */;
2402 const char* var_class_name19
;
2403 short int var20
/* : Bool */;
2404 short int var21
/* : Bool */;
2405 short int var22
/* : Bool */;
2406 /* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */
2407 /* <p0:Int> isa OTHER */
2408 var1
= 1; /* easy <p0:Int> isa OTHER*/
2410 var_class_name
= type_kernel__Int
.name
;
2411 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2412 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 314);
2415 /* Covariant cast for argument 1 (d) <p1:Int> isa OTHER */
2416 /* <p1:Int> isa OTHER */
2417 var2
= 1; /* easy <p1:Int> isa OTHER*/
2419 var_class_name5
= type_kernel__Int
.name
;
2420 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name5
);
2421 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 314);
2426 { /* Inline kernel#Int#< (self,var_c) */
2427 /* Covariant cast for argument 0 (i) <var_c:Int> isa OTHER */
2428 /* <var_c:Int> isa OTHER */
2429 var9
= 1; /* easy <var_c:Int> isa OTHER*/
2431 var_class_name12
= type_kernel__Int
.name
;
2432 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12
);
2433 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2436 var13
= self
< var_c
;
2445 { /* Inline kernel#Int#< (var_d,self) */
2446 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2447 /* <self:Int> isa OTHER */
2448 var16
= 1; /* easy <self:Int> isa OTHER*/
2450 var_class_name19
= type_kernel__Int
.name
;
2451 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name19
);
2452 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2455 var20
= var_d
< self
;
2458 RET_LABEL15
:(void)0;
2474 /* method kernel#Int#is_between for (self: Object, Comparable, Comparable): Bool */
2475 short int VIRTUAL_kernel__Int__is_between(val
* self
, val
* p0
, val
* p1
) {
2476 short int var
/* : Bool */;
2477 short int var1
/* : Bool */;
2478 long var2
/* : Int */;
2479 long var3
/* : Int */;
2480 long var4
/* : Int */;
2481 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2482 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2483 var4
= ((struct instance_kernel__Int
*)p1
)->value
; /* autounbox from Comparable to Int */;
2484 var1
= kernel__Int__is_between(var2
, var3
, var4
);
2489 /* method kernel#Int#max for (self: Int, Int): Int */
2490 long kernel__Int__max(long self
, long p0
) {
2491 long var
/* : Int */;
2492 short int var1
/* : Bool */;
2495 const char* var_class_name
;
2496 long var_other
/* var other: Int */;
2497 short int var2
/* : Bool */;
2498 short int var4
/* : Bool */;
2501 const char* var_class_name7
;
2502 short int var8
/* : Bool */;
2503 /* Covariant cast for argument 0 (other) <p0:Int> isa OTHER */
2504 /* <p0:Int> isa OTHER */
2505 var1
= 1; /* easy <p0:Int> isa OTHER*/
2507 var_class_name
= type_kernel__Int
.name
;
2508 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2509 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 323);
2513 { /* Inline kernel#Int#< (self,var_other) */
2514 /* Covariant cast for argument 0 (i) <var_other:Int> isa OTHER */
2515 /* <var_other:Int> isa OTHER */
2516 var4
= 1; /* easy <var_other:Int> isa OTHER*/
2518 var_class_name7
= type_kernel__Int
.name
;
2519 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2520 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2523 var8
= self
< var_other
;
2538 /* method kernel#Int#max for (self: Object, Comparable): Comparable */
2539 val
* VIRTUAL_kernel__Int__max(val
* self
, val
* p0
) {
2540 val
* var
/* : Comparable */;
2541 long var1
/* : Int */;
2542 long var2
/* : Int */;
2543 long var3
/* : Int */;
2544 val
* var4
/* : Comparable */;
2545 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2546 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2547 var1
= kernel__Int__max(var2
, var3
);
2548 var4
= BOX_kernel__Int(var1
); /* autobox from Int to Comparable */
2553 /* method kernel#Int#min for (self: Int, Int): Int */
2554 long kernel__Int__min(long self
, long p0
) {
2555 long var
/* : Int */;
2556 short int var1
/* : Bool */;
2559 const char* var_class_name
;
2560 long var_c
/* var c: Int */;
2561 short int var2
/* : Bool */;
2562 short int var4
/* : Bool */;
2565 const char* var_class_name7
;
2566 short int var8
/* : Bool */;
2567 /* Covariant cast for argument 0 (c) <p0:Int> isa OTHER */
2568 /* <p0:Int> isa OTHER */
2569 var1
= 1; /* easy <p0:Int> isa OTHER*/
2571 var_class_name
= type_kernel__Int
.name
;
2572 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2573 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 332);
2577 { /* Inline kernel#Int#< (var_c,self) */
2578 /* Covariant cast for argument 0 (i) <self:Int> isa OTHER */
2579 /* <self:Int> isa OTHER */
2580 var4
= 1; /* easy <self:Int> isa OTHER*/
2582 var_class_name7
= type_kernel__Int
.name
;
2583 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7
);
2584 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2587 var8
= var_c
< self
;
2602 /* method kernel#Int#min for (self: Object, Comparable): Comparable */
2603 val
* VIRTUAL_kernel__Int__min(val
* self
, val
* p0
) {
2604 val
* var
/* : Comparable */;
2605 long var1
/* : Int */;
2606 long var2
/* : Int */;
2607 long var3
/* : Int */;
2608 val
* var4
/* : Comparable */;
2609 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2610 var3
= ((struct instance_kernel__Int
*)p0
)->value
; /* autounbox from Comparable to Int */;
2611 var1
= kernel__Int__min(var2
, var3
);
2612 var4
= BOX_kernel__Int(var1
); /* autobox from Int to Comparable */
2617 /* method kernel#Int#ascii for (self: Int): Char */
2618 char kernel__Int__ascii(long self
) {
2619 char var
/* : Char */;
2620 char var1
/* : Char */;
2627 /* method kernel#Int#ascii for (self: Object): Char */
2628 char VIRTUAL_kernel__Int__ascii(val
* self
) {
2629 char var
/* : Char */;
2630 char var1
/* : Char */;
2631 long var3
/* : Int */;
2632 char var4
/* : Char */;
2633 { /* Inline kernel#Int#ascii (self) */
2634 var3
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2644 /* method kernel#Int#digit_count for (self: Int, Int): Int */
2645 long kernel__Int__digit_count(long self
, long p0
) {
2646 long var
/* : Int */;
2647 long var_b
/* var b: Int */;
2648 long var1
/* : Int */;
2649 short int var2
/* : Bool */;
2650 short int var4
/* : Bool */;
2651 long var5
/* : Int */;
2652 long var6
/* : Int */;
2653 short int var7
/* : Bool */;
2654 short int var9
/* : Bool */;
2657 const char* var_class_name
;
2658 short int var10
/* : Bool */;
2659 long var11
/* : Int */;
2660 long var_d
/* var d: Int */;
2661 long var12
/* : Int */;
2662 long var14
/* : Int */;
2663 long var_n
/* var n: Int */;
2664 long var15
/* : Int */;
2665 short int var16
/* : Bool */;
2666 short int var18
/* : Bool */;
2667 long var19
/* : Int */;
2668 long var20
/* : Int */;
2669 long var21
/* : Int */;
2670 short int var22
/* : Bool */;
2671 short int var24
/* : Bool */;
2674 const char* var_class_name27
;
2675 short int var28
/* : Bool */;
2676 long var29
/* : Int */;
2677 long var30
/* : Int */;
2678 long var32
/* : Int */;
2679 long var33
/* : Int */;
2680 long var35
/* : Int */;
2683 { /* Inline kernel#Int#== (var_b,var1) */
2684 var4
= var_b
== var1
;
2690 var5
= kernel__Int__digit_count_base_95d10(self
);
2696 { /* Inline kernel#Int#< (self,var6) */
2697 /* Covariant cast for argument 0 (i) <var6:Int> isa OTHER */
2698 /* <var6:Int> isa OTHER */
2699 var9
= 1; /* easy <var6:Int> isa OTHER*/
2701 var_class_name
= type_kernel__Int
.name
;
2702 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2703 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2706 var10
= self
< var6
;
2714 { /* Inline kernel#Int#unary - (self) */
2718 RET_LABEL13
:(void)0;
2723 { /* Inline kernel#Int#== (self,var15) */
2724 var18
= self
== var15
;
2727 RET_LABEL17
:(void)0;
2741 { /* Inline kernel#Int#> (var_n,var21) */
2742 /* Covariant cast for argument 0 (i) <var21:Int> isa OTHER */
2743 /* <var21:Int> isa OTHER */
2744 var24
= 1; /* easy <var21:Int> isa OTHER*/
2746 var_class_name27
= type_kernel__Int
.name
;
2747 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27
);
2748 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
2751 var28
= var_n
> var21
;
2754 RET_LABEL23
:(void)0;
2758 { /* Inline kernel#Int#+ (var_d,var29) */
2759 var32
= var_d
+ var29
;
2762 RET_LABEL31
:(void)0;
2765 { /* Inline kernel#Int#/ (var_n,var_b) */
2766 var35
= var_n
/ var_b
;
2769 RET_LABEL34
:(void)0;
2772 CONTINUE_label
: (void)0;
2774 BREAK_label
: (void)0;
2780 /* method kernel#Int#digit_count for (self: Object, Int): Int */
2781 long VIRTUAL_kernel__Int__digit_count(val
* self
, long p0
) {
2782 long var
/* : Int */;
2783 long var1
/* : Int */;
2784 long var2
/* : Int */;
2785 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
2786 var1
= kernel__Int__digit_count(var2
, p0
);
2791 /* method kernel#Int#digit_count_base_10 for (self: Int): Int */
2792 long kernel__Int__digit_count_base_95d10(long self
) {
2793 long var
/* : Int */;
2794 long var1
/* : Int */;
2795 short int var2
/* : Bool */;
2796 short int var4
/* : Bool */;
2799 const char* var_class_name
;
2800 short int var5
/* : Bool */;
2801 long var6
/* : Int */;
2802 long var_result
/* var result: Int */;
2803 long var7
/* : Int */;
2804 long var9
/* : Int */;
2805 long var_val
/* var val: Int */;
2806 long var10
/* : Int */;
2807 long var11
/* : Int */;
2808 short int var12
/* : Bool */;
2809 short int var14
/* : Bool */;
2812 const char* var_class_name17
;
2813 short int var18
/* : Bool */;
2814 long var19
/* : Int */;
2815 short int var20
/* : Bool */;
2816 short int var22
/* : Bool */;
2819 const char* var_class_name25
;
2820 short int var26
/* : Bool */;
2821 long var27
/* : Int */;
2822 long var28
/* : Int */;
2823 long var30
/* : Int */;
2824 long var31
/* : Int */;
2825 short int var32
/* : Bool */;
2826 short int var34
/* : Bool */;
2829 const char* var_class_name37
;
2830 short int var38
/* : Bool */;
2831 long var39
/* : Int */;
2832 long var40
/* : Int */;
2833 long var42
/* : Int */;
2834 long var43
/* : Int */;
2835 short int var44
/* : Bool */;
2836 short int var46
/* : Bool */;
2839 const char* var_class_name49
;
2840 short int var50
/* : Bool */;
2841 long var51
/* : Int */;
2842 long var52
/* : Int */;
2843 long var54
/* : Int */;
2844 long var55
/* : Int */;
2845 long var56
/* : Int */;
2846 long var58
/* : Int */;
2847 long var59
/* : Int */;
2848 long var60
/* : Int */;
2849 long var62
/* : Int */;
2851 { /* Inline kernel#Int#< (self,var1) */
2852 /* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
2853 /* <var1:Int> isa OTHER */
2854 var4
= 1; /* easy <var1:Int> isa OTHER*/
2856 var_class_name
= type_kernel__Int
.name
;
2857 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2858 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2869 { /* Inline kernel#Int#unary - (self) */
2883 { /* Inline kernel#Int#< (var_val,var11) */
2884 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
2885 /* <var11:Int> isa OTHER */
2886 var14
= 1; /* easy <var11:Int> isa OTHER*/
2888 var_class_name17
= type_kernel__Int
.name
;
2889 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17
);
2890 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2893 var18
= var_val
< var11
;
2896 RET_LABEL13
:(void)0;
2904 { /* Inline kernel#Int#< (var_val,var19) */
2905 /* Covariant cast for argument 0 (i) <var19:Int> isa OTHER */
2906 /* <var19:Int> isa OTHER */
2907 var22
= 1; /* easy <var19:Int> isa OTHER*/
2909 var_class_name25
= type_kernel__Int
.name
;
2910 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25
);
2911 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2914 var26
= var_val
< var19
;
2917 RET_LABEL21
:(void)0;
2921 { /* Inline kernel#Int#+ (var_result,var27) */
2922 var30
= var_result
+ var27
;
2925 RET_LABEL29
:(void)0;
2932 { /* Inline kernel#Int#< (var_val,var31) */
2933 /* Covariant cast for argument 0 (i) <var31:Int> isa OTHER */
2934 /* <var31:Int> isa OTHER */
2935 var34
= 1; /* easy <var31:Int> isa OTHER*/
2937 var_class_name37
= type_kernel__Int
.name
;
2938 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name37
);
2939 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2942 var38
= var_val
< var31
;
2945 RET_LABEL33
:(void)0;
2949 { /* Inline kernel#Int#+ (var_result,var39) */
2950 var42
= var_result
+ var39
;
2953 RET_LABEL41
:(void)0;
2960 { /* Inline kernel#Int#< (var_val,var43) */
2961 /* Covariant cast for argument 0 (i) <var43:Int> isa OTHER */
2962 /* <var43:Int> isa OTHER */
2963 var46
= 1; /* easy <var43:Int> isa OTHER*/
2965 var_class_name49
= type_kernel__Int
.name
;
2966 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name49
);
2967 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
2970 var50
= var_val
< var43
;
2973 RET_LABEL45
:(void)0;
2977 { /* Inline kernel#Int#+ (var_result,var51) */
2978 var54
= var_result
+ var51
;
2981 RET_LABEL53
:(void)0;
2988 { /* Inline kernel#Int#/ (var_val,var55) */
2989 var58
= var_val
/ var55
;
2992 RET_LABEL57
:(void)0;
2996 { /* Inline kernel#Int#+ (var_result,var59) */
2997 var62
= var_result
+ var59
;
3000 RET_LABEL61
:(void)0;
3003 CONTINUE_label
: (void)0;
3005 BREAK_label
: (void)0;
3009 /* method kernel#Int#digit_count_base_10 for (self: Object): Int */
3010 long VIRTUAL_kernel__Int__digit_count_base_95d10(val
* self
) {
3011 long var
/* : Int */;
3012 long var1
/* : Int */;
3013 long var2
/* : Int */;
3014 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
3015 var1
= kernel__Int__digit_count_base_95d10(var2
);
3020 /* method kernel#Int#to_c for (self: Int): Char */
3021 char kernel__Int__to_c(long self
) {
3022 char var
/* : Char */;
3023 short int var1
/* : Bool */;
3024 long var2
/* : Int */;
3025 short int var3
/* : Bool */;
3026 short int var5
/* : Bool */;
3029 const char* var_class_name
;
3030 short int var6
/* : Bool */;
3031 short int var_
/* var : Bool */;
3032 long var7
/* : Int */;
3033 short int var8
/* : Bool */;
3034 short int var10
/* : Bool */;
3037 const char* var_class_name13
;
3038 short int var14
/* : Bool */;
3039 long var15
/* : Int */;
3040 short int var16
/* : Bool */;
3041 short int var18
/* : Bool */;
3044 const char* var_class_name21
;
3045 short int var22
/* : Bool */;
3046 char var23
/* : Char */;
3047 long var24
/* : Int */;
3048 long var26
/* : Int */;
3049 long var27
/* : Int */;
3050 long var29
/* : Int */;
3051 char var30
/* : Char */;
3052 char var32
/* : Char */;
3053 char var33
/* : Char */;
3054 long var34
/* : Int */;
3055 long var36
/* : Int */;
3056 long var37
/* : Int */;
3057 long var38
/* : Int */;
3058 long var40
/* : Int */;
3059 long var41
/* : Int */;
3060 long var43
/* : Int */;
3061 char var44
/* : Char */;
3062 char var46
/* : Char */;
3064 { /* Inline kernel#Int#>= (self,var2) */
3065 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
3066 /* <var2:Int> isa OTHER */
3067 var5
= 1; /* easy <var2:Int> isa OTHER*/
3069 var_class_name
= type_kernel__Int
.name
;
3070 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3071 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
3074 var6
= self
>= var2
;
3082 { /* Inline kernel#Int#<= (self,var7) */
3083 /* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
3084 /* <var7:Int> isa OTHER */
3085 var10
= 1; /* easy <var7:Int> isa OTHER*/
3087 var_class_name13
= type_kernel__Int
.name
;
3088 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
3089 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
3092 var14
= self
<= var7
;
3102 fprintf(stderr
, "Runtime error: %s", "Assert failed");
3103 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 403);
3107 { /* Inline kernel#Int#< (self,var15) */
3108 /* Covariant cast for argument 0 (i) <var15:Int> isa OTHER */
3109 /* <var15:Int> isa OTHER */
3110 var18
= 1; /* easy <var15:Int> isa OTHER*/
3112 var_class_name21
= type_kernel__Int
.name
;
3113 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21
);
3114 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
3117 var22
= self
< var15
;
3120 RET_LABEL17
:(void)0;
3124 { /* Inline kernel#Char#ascii (var23) */
3125 var26
= (unsigned char)var23
;
3128 RET_LABEL25
:(void)0;
3130 { /* Inline kernel#Int#+ (self,var24) */
3131 var29
= self
+ var24
;
3134 RET_LABEL28
:(void)0;
3136 { /* Inline kernel#Int#ascii (var27) */
3140 RET_LABEL31
:(void)0;
3146 { /* Inline kernel#Char#ascii (var33) */
3147 var36
= (unsigned char)var33
;
3150 RET_LABEL35
:(void)0;
3153 { /* Inline kernel#Int#- (var34,var37) */
3154 var40
= var34
- var37
;
3157 RET_LABEL39
:(void)0;
3159 { /* Inline kernel#Int#+ (self,var38) */
3160 var43
= self
+ var38
;
3163 RET_LABEL42
:(void)0;
3165 { /* Inline kernel#Int#ascii (var41) */
3169 RET_LABEL45
:(void)0;
3177 /* method kernel#Int#to_c for (self: Object): Char */
3178 char VIRTUAL_kernel__Int__to_c(val
* self
) {
3179 char var
/* : Char */;
3180 char var1
/* : Char */;
3181 long var2
/* : Int */;
3182 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
3183 var1
= kernel__Int__to_c(var2
);
3188 /* method kernel#Int#abs for (self: Int): Int */
3189 long kernel__Int__abs(long self
) {
3190 long var
/* : Int */;
3191 long var1
/* : Int */;
3192 short int var2
/* : Bool */;
3193 short int var4
/* : Bool */;
3196 const char* var_class_name
;
3197 short int var5
/* : Bool */;
3198 long var6
/* : Int */;
3199 long var7
/* : Int */;
3200 long var9
/* : Int */;
3201 long var10
/* : Int */;
3202 long var12
/* : Int */;
3204 { /* Inline kernel#Int#>= (self,var1) */
3205 /* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
3206 /* <var1:Int> isa OTHER */
3207 var4
= 1; /* easy <var1:Int> isa OTHER*/
3209 var_class_name
= type_kernel__Int
.name
;
3210 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3211 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
3214 var5
= self
>= var1
;
3224 { /* Inline kernel#Int#unary - (var6) */
3230 { /* Inline kernel#Int#* (var7,self) */
3231 var12
= var7
* self
;
3234 RET_LABEL11
:(void)0;
3242 /* method kernel#Int#abs for (self: Object): Int */
3243 long VIRTUAL_kernel__Int__abs(val
* self
) {
3244 long var
/* : Int */;
3245 long var1
/* : Int */;
3246 long var2
/* : Int */;
3247 var2
= ((struct instance_kernel__Int
*)self
)->value
; /* autounbox from Object to Int */;
3248 var1
= kernel__Int__abs(var2
);
3253 /* method kernel#Char#object_id for (self: Char): Int */
3254 long kernel__Char__object_id(char self
) {
3255 long var
/* : Int */;
3256 long var1
/* : Int */;
3263 /* method kernel#Char#object_id for (self: Object): Int */
3264 long VIRTUAL_kernel__Char__object_id(val
* self
) {
3265 long var
/* : Int */;
3266 long var1
/* : Int */;
3267 char var3
/* : Char */;
3268 long var4
/* : Int */;
3269 { /* Inline kernel#Char#object_id (self) */
3270 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3280 /* method kernel#Char#hash for (self: Char): Int */
3281 long kernel__Char__hash(char self
) {
3282 long var
/* : Int */;
3283 long var1
/* : Int */;
3284 long var3
/* : Int */;
3285 { /* Inline kernel#Char#ascii (self) */
3286 var3
= (unsigned char)self
;
3296 /* method kernel#Char#hash for (self: Object): Int */
3297 long VIRTUAL_kernel__Char__hash(val
* self
) {
3298 long var
/* : Int */;
3299 long var1
/* : Int */;
3300 char var2
/* : Char */;
3301 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3302 var1
= kernel__Char__hash(var2
);
3307 /* method kernel#Char#== for (self: Char, nullable Object): Bool */
3308 short int kernel__Char___61d_61d(char self
, val
* p0
) {
3309 short int var
/* : Bool */;
3310 short int var1
/* : Bool */;
3311 char var2
/* : Char */;
3312 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Char
);
3314 var2
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from nullable Object to Char */;
3315 var1
= (var2
== self
);
3322 /* method kernel#Char#== for (self: Object, nullable Object): Bool */
3323 short int VIRTUAL_kernel__Char___61d_61d(val
* self
, val
* p0
) {
3324 short int var
/* : Bool */;
3325 short int var1
/* : Bool */;
3326 short int var3
/* : Bool */;
3327 { /* Inline kernel#Char#== (self,p0) */
3328 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
);
3337 /* method kernel#Char#!= for (self: Char, nullable Object): Bool */
3338 short int kernel__Char___33d_61d(char self
, val
* p0
) {
3339 short int var
/* : Bool */;
3340 short int var1
/* : Bool */;
3341 char var2
/* : Char */;
3342 short int var3
/* : Bool */;
3343 var1
= (p0
!= NULL
) && (p0
->class == &class_kernel__Char
);
3345 var2
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from nullable Object to Char */;
3346 var1
= (var2
== self
);
3354 /* method kernel#Char#!= for (self: Object, nullable Object): Bool */
3355 short int VIRTUAL_kernel__Char___33d_61d(val
* self
, val
* p0
) {
3356 short int var
/* : Bool */;
3357 short int var1
/* : Bool */;
3358 short int var3
/* : Bool */;
3359 short int var4
/* : Bool */;
3360 { /* Inline kernel#Char#!= (self,p0) */
3361 var3
= self
== p0
|| (p0
!= NULL
&& self
->class == p0
->class && ((struct instance_kernel__Char
*)self
)->value
== ((struct instance_kernel__Char
*)p0
)->value
);
3371 /* method kernel#Char#output for (self: Char) */
3372 void kernel__Char__output(char self
) {
3376 /* method kernel#Char#output for (self: Object) */
3377 void VIRTUAL_kernel__Char__output(val
* self
) {
3378 char var
/* : Char */;
3379 { /* Inline kernel#Char#output (self) */
3380 var
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3386 /* method kernel#Char#<= for (self: Char, Char): Bool */
3387 short int kernel__Char___60d_61d(char self
, char p0
) {
3388 short int var
/* : Bool */;
3389 short int var1
/* : Bool */;
3392 const char* var_class_name
;
3393 short int var2
/* : Bool */;
3394 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3395 /* <p0:Char> isa OTHER */
3396 var1
= 1; /* easy <p0:Char> isa OTHER*/
3398 var_class_name
= type_kernel__Char
.name
;
3399 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3400 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 440);
3409 /* method kernel#Char#<= for (self: Object, Comparable): Bool */
3410 short int VIRTUAL_kernel__Char___60d_61d(val
* self
, val
* p0
) {
3411 short int var
/* : Bool */;
3412 short int var1
/* : Bool */;
3413 short int var3
/* : Bool */;
3416 const struct type
* type_struct
;
3417 const char* var_class_name
;
3418 char var4
/* : Char */;
3419 char var5
/* : Char */;
3420 short int var6
/* : Bool */;
3421 { /* Inline kernel#Char#<= (self,p0) */
3422 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3423 /* <p0:Comparable> isa OTHER */
3424 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3425 cltype
= type_struct
->color
;
3426 idtype
= type_struct
->id
;
3427 if(cltype
>= p0
->type
->table_size
) {
3430 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3433 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3434 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3435 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 440);
3438 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3439 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3440 var6
= var4
<= var5
;
3449 /* method kernel#Char#< for (self: Char, Char): Bool */
3450 short int kernel__Char___60d(char self
, char p0
) {
3451 short int var
/* : Bool */;
3452 short int var1
/* : Bool */;
3455 const char* var_class_name
;
3456 short int var2
/* : Bool */;
3457 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3458 /* <p0:Char> isa OTHER */
3459 var1
= 1; /* easy <p0:Char> isa OTHER*/
3461 var_class_name
= type_kernel__Char
.name
;
3462 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3463 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 441);
3472 /* method kernel#Char#< for (self: Object, Comparable): Bool */
3473 short int VIRTUAL_kernel__Char___60d(val
* self
, val
* p0
) {
3474 short int var
/* : Bool */;
3475 short int var1
/* : Bool */;
3476 short int var3
/* : Bool */;
3479 const struct type
* type_struct
;
3480 const char* var_class_name
;
3481 char var4
/* : Char */;
3482 char var5
/* : Char */;
3483 short int var6
/* : Bool */;
3484 { /* Inline kernel#Char#< (self,p0) */
3485 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3486 /* <p0:Comparable> isa OTHER */
3487 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3488 cltype
= type_struct
->color
;
3489 idtype
= type_struct
->id
;
3490 if(cltype
>= p0
->type
->table_size
) {
3493 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3496 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3497 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3498 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 441);
3501 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3502 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3512 /* method kernel#Char#>= for (self: Char, Char): Bool */
3513 short int kernel__Char___62d_61d(char self
, char p0
) {
3514 short int var
/* : Bool */;
3515 short int var1
/* : Bool */;
3518 const char* var_class_name
;
3519 short int var2
/* : Bool */;
3520 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3521 /* <p0:Char> isa OTHER */
3522 var1
= 1; /* easy <p0:Char> isa OTHER*/
3524 var_class_name
= type_kernel__Char
.name
;
3525 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3526 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 442);
3535 /* method kernel#Char#>= for (self: Object, Comparable): Bool */
3536 short int VIRTUAL_kernel__Char___62d_61d(val
* self
, val
* p0
) {
3537 short int var
/* : Bool */;
3538 short int var1
/* : Bool */;
3539 short int var3
/* : Bool */;
3542 const struct type
* type_struct
;
3543 const char* var_class_name
;
3544 char var4
/* : Char */;
3545 char var5
/* : Char */;
3546 short int var6
/* : Bool */;
3547 { /* Inline kernel#Char#>= (self,p0) */
3548 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3549 /* <p0:Comparable> isa OTHER */
3550 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3551 cltype
= type_struct
->color
;
3552 idtype
= type_struct
->id
;
3553 if(cltype
>= p0
->type
->table_size
) {
3556 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3559 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3560 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3561 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 442);
3564 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3565 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3566 var6
= var4
>= var5
;
3575 /* method kernel#Char#> for (self: Char, Char): Bool */
3576 short int kernel__Char___62d(char self
, char p0
) {
3577 short int var
/* : Bool */;
3578 short int var1
/* : Bool */;
3581 const char* var_class_name
;
3582 short int var2
/* : Bool */;
3583 /* Covariant cast for argument 0 (i) <p0:Char> isa OTHER */
3584 /* <p0:Char> isa OTHER */
3585 var1
= 1; /* easy <p0:Char> isa OTHER*/
3587 var_class_name
= type_kernel__Char
.name
;
3588 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3589 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 443);
3598 /* method kernel#Char#> for (self: Object, Comparable): Bool */
3599 short int VIRTUAL_kernel__Char___62d(val
* self
, val
* p0
) {
3600 short int var
/* : Bool */;
3601 short int var1
/* : Bool */;
3602 short int var3
/* : Bool */;
3605 const struct type
* type_struct
;
3606 const char* var_class_name
;
3607 char var4
/* : Char */;
3608 char var5
/* : Char */;
3609 short int var6
/* : Bool */;
3610 { /* Inline kernel#Char#> (self,p0) */
3611 /* Covariant cast for argument 0 (i) <p0:Comparable> isa OTHER */
3612 /* <p0:Comparable> isa OTHER */
3613 type_struct
= self
->type
->resolution_table
->types
[COLOR_kernel__Comparable_VTOTHER
];
3614 cltype
= type_struct
->color
;
3615 idtype
= type_struct
->id
;
3616 if(cltype
>= p0
->type
->table_size
) {
3619 var3
= p0
->type
->type_table
[cltype
] == idtype
;
3622 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3623 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3624 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 443);
3627 var4
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3628 var5
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Comparable to Char */;
3638 /* method kernel#Char#succ for (self: Char): Char */
3639 char kernel__Char__succ(char self
) {
3640 char var
/* : Char */;
3641 char var1
/* : Char */;
3648 /* method kernel#Char#succ for (self: Object): Discrete */
3649 val
* VIRTUAL_kernel__Char__succ(val
* self
) {
3650 val
* var
/* : Discrete */;
3651 char var1
/* : Char */;
3652 char var3
/* : Char */;
3653 char var4
/* : Char */;
3654 val
* var5
/* : Discrete */;
3655 { /* Inline kernel#Char#succ (self) */
3656 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3662 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3667 /* method kernel#Char#prec for (self: Char): Char */
3668 char kernel__Char__prec(char self
) {
3669 char var
/* : Char */;
3670 char var1
/* : Char */;
3677 /* method kernel#Char#prec for (self: Object): Discrete */
3678 val
* VIRTUAL_kernel__Char__prec(val
* self
) {
3679 val
* var
/* : Discrete */;
3680 char var1
/* : Char */;
3681 char var3
/* : Char */;
3682 char var4
/* : Char */;
3683 val
* var5
/* : Discrete */;
3684 { /* Inline kernel#Char#prec (self) */
3685 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3691 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3696 /* method kernel#Char#distance for (self: Char, Char): Int */
3697 long kernel__Char__distance(char self
, char p0
) {
3698 long var
/* : Int */;
3699 short int var1
/* : Bool */;
3702 const char* var_class_name
;
3703 char var_c
/* var c: Char */;
3704 long var2
/* : Int */;
3705 long var4
/* : Int */;
3706 long var5
/* : Int */;
3707 long var7
/* : Int */;
3708 long var8
/* : Int */;
3709 long var10
/* : Int */;
3710 long var_d
/* var d: Int */;
3711 long var11
/* : Int */;
3712 short int var12
/* : Bool */;
3713 short int var14
/* : Bool */;
3716 const char* var_class_name17
;
3717 short int var18
/* : Bool */;
3718 long var19
/* : Int */;
3719 long var21
/* : Int */;
3720 /* Covariant cast for argument 0 (c) <p0:Char> isa OTHER */
3721 /* <p0:Char> isa OTHER */
3722 var1
= 1; /* easy <p0:Char> isa OTHER*/
3724 var_class_name
= type_kernel__Char
.name
;
3725 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3726 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 448);
3730 { /* Inline kernel#Char#ascii (self) */
3731 var4
= (unsigned char)self
;
3736 { /* Inline kernel#Char#ascii (var_c) */
3737 var7
= (unsigned char)var_c
;
3742 { /* Inline kernel#Int#- (var2,var5) */
3743 var10
= var2
- var5
;
3750 { /* Inline kernel#Int#>= (var_d,var11) */
3751 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
3752 /* <var11:Int> isa OTHER */
3753 var14
= 1; /* easy <var11:Int> isa OTHER*/
3755 var_class_name17
= type_kernel__Int
.name
;
3756 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17
);
3757 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
3760 var18
= var_d
>= var11
;
3763 RET_LABEL13
:(void)0;
3769 { /* Inline kernel#Int#unary - (var_d) */
3773 RET_LABEL20
:(void)0;
3781 /* method kernel#Char#distance for (self: Object, Discrete): Int */
3782 long VIRTUAL_kernel__Char__distance(val
* self
, val
* p0
) {
3783 long var
/* : Int */;
3784 long var1
/* : Int */;
3785 char var2
/* : Char */;
3786 char var3
/* : Char */;
3787 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3788 var3
= ((struct instance_kernel__Char
*)p0
)->value
; /* autounbox from Discrete to Char */;
3789 var1
= kernel__Char__distance(var2
, var3
);
3794 /* method kernel#Char#to_i for (self: Char): Int */
3795 long kernel__Char__to_i(char self
) {
3796 long var
/* : Int */;
3797 char var1
/* : Char */;
3798 short int var2
/* : Bool */;
3799 short int var4
/* : Bool */;
3800 long var5
/* : Int */;
3801 long var6
/* : Int */;
3802 long var8
/* : Int */;
3803 short int var9
/* : Bool */;
3804 long var10
/* : Int */;
3805 long var12
/* : Int */;
3806 char var13
/* : Char */;
3807 long var14
/* : Int */;
3808 long var16
/* : Int */;
3809 long var17
/* : Int */;
3810 long var19
/* : Int */;
3811 char var20
/* : Char */;
3812 long var21
/* : Int */;
3813 long var23
/* : Int */;
3814 char var24
/* : Char */;
3815 long var25
/* : Int */;
3816 long var27
/* : Int */;
3817 long var28
/* : Int */;
3818 long var30
/* : Int */;
3819 long var31
/* : Int */;
3820 long var32
/* : Int */;
3821 long var34
/* : Int */;
3823 { /* Inline kernel#Char#== (self,var1) */
3824 var4
= self
== var1
;
3831 { /* Inline kernel#Int#unary - (var5) */
3840 var9
= kernel__Char__is_digit(self
);
3842 { /* Inline kernel#Char#ascii (self) */
3843 var12
= (unsigned char)self
;
3846 RET_LABEL11
:(void)0;
3849 { /* Inline kernel#Char#ascii (var13) */
3850 var16
= (unsigned char)var13
;
3853 RET_LABEL15
:(void)0;
3855 { /* Inline kernel#Int#- (var10,var14) */
3856 var19
= var10
- var14
;
3859 RET_LABEL18
:(void)0;
3864 var20
= kernel__Char__to_lower(self
);
3865 { /* Inline kernel#Char#ascii (var20) */
3866 var23
= (unsigned char)var20
;
3869 RET_LABEL22
:(void)0;
3872 { /* Inline kernel#Char#ascii (var24) */
3873 var27
= (unsigned char)var24
;
3876 RET_LABEL26
:(void)0;
3878 { /* Inline kernel#Int#- (var21,var25) */
3879 var30
= var21
- var25
;
3882 RET_LABEL29
:(void)0;
3885 { /* Inline kernel#Int#+ (var28,var31) */
3886 var34
= var28
+ var31
;
3889 RET_LABEL33
:(void)0;
3898 /* method kernel#Char#to_i for (self: Object): Int */
3899 long VIRTUAL_kernel__Char__to_i(val
* self
) {
3900 long var
/* : Int */;
3901 long var1
/* : Int */;
3902 char var2
/* : Char */;
3903 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3904 var1
= kernel__Char__to_i(var2
);
3909 /* method kernel#Char#ascii for (self: Char): Int */
3910 long kernel__Char__ascii(char self
) {
3911 long var
/* : Int */;
3912 long var1
/* : Int */;
3913 var1
= (unsigned char)self
;
3919 /* method kernel#Char#ascii for (self: Object): Int */
3920 long VIRTUAL_kernel__Char__ascii(val
* self
) {
3921 long var
/* : Int */;
3922 long var1
/* : Int */;
3923 char var3
/* : Char */;
3924 long var4
/* : Int */;
3925 { /* Inline kernel#Char#ascii (self) */
3926 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3927 var4
= (unsigned char)var3
;
3936 /* method kernel#Char#+ for (self: Char, Int): Char */
3937 char kernel__Char___43d(char self
, long p0
) {
3938 char var
/* : Char */;
3939 char var1
/* : Char */;
3946 /* method kernel#Char#+ for (self: Object, Int): Discrete */
3947 val
* VIRTUAL_kernel__Char___43d(val
* self
, long p0
) {
3948 val
* var
/* : Discrete */;
3949 char var1
/* : Char */;
3950 char var3
/* : Char */;
3951 char var4
/* : Char */;
3952 val
* var5
/* : Discrete */;
3953 { /* Inline kernel#Char#+ (self,p0) */
3954 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3960 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3965 /* method kernel#Char#- for (self: Char, Int): Char */
3966 char kernel__Char___45d(char self
, long p0
) {
3967 char var
/* : Char */;
3968 char var1
/* : Char */;
3975 /* method kernel#Char#- for (self: Object, Int): Discrete */
3976 val
* VIRTUAL_kernel__Char___45d(val
* self
, long p0
) {
3977 val
* var
/* : Discrete */;
3978 char var1
/* : Char */;
3979 char var3
/* : Char */;
3980 char var4
/* : Char */;
3981 val
* var5
/* : Discrete */;
3982 { /* Inline kernel#Char#- (self,p0) */
3983 var3
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
3989 var5
= BOX_kernel__Char(var1
); /* autobox from Char to Discrete */
3994 /* method kernel#Char#to_lower for (self: Char): Char */
3995 char kernel__Char__to_lower(char self
) {
3996 char var
/* : Char */;
3997 short int var1
/* : Bool */;
3998 long var2
/* : Int */;
3999 long var4
/* : Int */;
4000 char var5
/* : Char */;
4001 char var6
/* : Char */;
4002 long var7
/* : Int */;
4003 long var8
/* : Int */;
4004 long var10
/* : Int */;
4005 char var11
/* : Char */;
4006 char var13
/* : Char */;
4007 var1
= kernel__Char__is_upper(self
);
4009 { /* Inline kernel#Char#ascii (self) */
4010 var4
= (unsigned char)self
;
4017 var7
= kernel__Char__distance(var5
, var6
);
4018 { /* Inline kernel#Int#+ (var2,var7) */
4019 var10
= var2
+ var7
;
4024 { /* Inline kernel#Int#ascii (var8) */
4028 RET_LABEL12
:(void)0;
4039 /* method kernel#Char#to_lower for (self: Object): Char */
4040 char VIRTUAL_kernel__Char__to_lower(val
* self
) {
4041 char var
/* : Char */;
4042 char var1
/* : Char */;
4043 char var2
/* : Char */;
4044 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4045 var1
= kernel__Char__to_lower(var2
);
4050 /* method kernel#Char#to_upper for (self: Char): Char */
4051 char kernel__Char__to_upper(char self
) {
4052 char var
/* : Char */;
4053 short int var1
/* : Bool */;
4054 long var2
/* : Int */;
4055 long var4
/* : Int */;
4056 char var5
/* : Char */;
4057 char var6
/* : Char */;
4058 long var7
/* : Int */;
4059 long var8
/* : Int */;
4060 long var10
/* : Int */;
4061 char var11
/* : Char */;
4062 char var13
/* : Char */;
4063 var1
= kernel__Char__is_lower(self
);
4065 { /* Inline kernel#Char#ascii (self) */
4066 var4
= (unsigned char)self
;
4073 var7
= kernel__Char__distance(var5
, var6
);
4074 { /* Inline kernel#Int#- (var2,var7) */
4075 var10
= var2
- var7
;
4080 { /* Inline kernel#Int#ascii (var8) */
4084 RET_LABEL12
:(void)0;
4095 /* method kernel#Char#to_upper for (self: Object): Char */
4096 char VIRTUAL_kernel__Char__to_upper(val
* self
) {
4097 char var
/* : Char */;
4098 char var1
/* : Char */;
4099 char var2
/* : Char */;
4100 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4101 var1
= kernel__Char__to_upper(var2
);
4106 /* method kernel#Char#is_digit for (self: Char): Bool */
4107 short int kernel__Char__is_digit(char self
) {
4108 short int var
/* : Bool */;
4109 short int var1
/* : Bool */;
4110 char var2
/* : Char */;
4111 short int var3
/* : Bool */;
4112 short int var5
/* : Bool */;
4115 const char* var_class_name
;
4116 short int var6
/* : Bool */;
4117 short int var_
/* var : Bool */;
4118 char var7
/* : Char */;
4119 short int var8
/* : Bool */;
4120 short int var10
/* : Bool */;
4123 const char* var_class_name13
;
4124 short int var14
/* : Bool */;
4126 { /* Inline kernel#Char#>= (self,var2) */
4127 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
4128 /* <var2:Char> isa OTHER */
4129 var5
= 1; /* easy <var2:Char> isa OTHER*/
4131 var_class_name
= type_kernel__Char
.name
;
4132 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4133 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 442);
4136 var6
= self
>= var2
;
4144 { /* Inline kernel#Char#<= (self,var7) */
4145 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4146 /* <var7:Char> isa OTHER */
4147 var10
= 1; /* easy <var7:Char> isa OTHER*/
4149 var_class_name13
= type_kernel__Char
.name
;
4150 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4151 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 440);
4154 var14
= self
<= var7
;
4168 /* method kernel#Char#is_digit for (self: Object): Bool */
4169 short int VIRTUAL_kernel__Char__is_digit(val
* self
) {
4170 short int var
/* : Bool */;
4171 short int var1
/* : Bool */;
4172 char var2
/* : Char */;
4173 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4174 var1
= kernel__Char__is_digit(var2
);
4179 /* method kernel#Char#is_lower for (self: Char): Bool */
4180 short int kernel__Char__is_lower(char self
) {
4181 short int var
/* : Bool */;
4182 short int var1
/* : Bool */;
4183 char var2
/* : Char */;
4184 short int var3
/* : Bool */;
4185 short int var5
/* : Bool */;
4188 const char* var_class_name
;
4189 short int var6
/* : Bool */;
4190 short int var_
/* var : Bool */;
4191 char var7
/* : Char */;
4192 short int var8
/* : Bool */;
4193 short int var10
/* : Bool */;
4196 const char* var_class_name13
;
4197 short int var14
/* : Bool */;
4199 { /* Inline kernel#Char#>= (self,var2) */
4200 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
4201 /* <var2:Char> isa OTHER */
4202 var5
= 1; /* easy <var2:Char> isa OTHER*/
4204 var_class_name
= type_kernel__Char
.name
;
4205 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4206 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 442);
4209 var6
= self
>= var2
;
4217 { /* Inline kernel#Char#<= (self,var7) */
4218 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4219 /* <var7:Char> isa OTHER */
4220 var10
= 1; /* easy <var7:Char> isa OTHER*/
4222 var_class_name13
= type_kernel__Char
.name
;
4223 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4224 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 440);
4227 var14
= self
<= var7
;
4241 /* method kernel#Char#is_lower for (self: Object): Bool */
4242 short int VIRTUAL_kernel__Char__is_lower(val
* self
) {
4243 short int var
/* : Bool */;
4244 short int var1
/* : Bool */;
4245 char var2
/* : Char */;
4246 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4247 var1
= kernel__Char__is_lower(var2
);
4252 /* method kernel#Char#is_upper for (self: Char): Bool */
4253 short int kernel__Char__is_upper(char self
) {
4254 short int var
/* : Bool */;
4255 short int var1
/* : Bool */;
4256 char var2
/* : Char */;
4257 short int var3
/* : Bool */;
4258 short int var5
/* : Bool */;
4261 const char* var_class_name
;
4262 short int var6
/* : Bool */;
4263 short int var_
/* var : Bool */;
4264 char var7
/* : Char */;
4265 short int var8
/* : Bool */;
4266 short int var10
/* : Bool */;
4269 const char* var_class_name13
;
4270 short int var14
/* : Bool */;
4272 { /* Inline kernel#Char#>= (self,var2) */
4273 /* Covariant cast for argument 0 (i) <var2:Char> isa OTHER */
4274 /* <var2:Char> isa OTHER */
4275 var5
= 1; /* easy <var2:Char> isa OTHER*/
4277 var_class_name
= type_kernel__Char
.name
;
4278 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4279 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 442);
4282 var6
= self
>= var2
;
4290 { /* Inline kernel#Char#<= (self,var7) */
4291 /* Covariant cast for argument 0 (i) <var7:Char> isa OTHER */
4292 /* <var7:Char> isa OTHER */
4293 var10
= 1; /* easy <var7:Char> isa OTHER*/
4295 var_class_name13
= type_kernel__Char
.name
;
4296 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13
);
4297 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 440);
4300 var14
= self
<= var7
;
4314 /* method kernel#Char#is_upper for (self: Object): Bool */
4315 short int VIRTUAL_kernel__Char__is_upper(val
* self
) {
4316 short int var
/* : Bool */;
4317 short int var1
/* : Bool */;
4318 char var2
/* : Char */;
4319 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4320 var1
= kernel__Char__is_upper(var2
);
4325 /* method kernel#Char#is_letter for (self: Char): Bool */
4326 short int kernel__Char__is_letter(char self
) {
4327 short int var
/* : Bool */;
4328 short int var1
/* : Bool */;
4329 short int var2
/* : Bool */;
4330 short int var_
/* var : Bool */;
4331 short int var3
/* : Bool */;
4332 var2
= kernel__Char__is_lower(self
);
4337 var3
= kernel__Char__is_upper(self
);
4345 /* method kernel#Char#is_letter for (self: Object): Bool */
4346 short int VIRTUAL_kernel__Char__is_letter(val
* self
) {
4347 short int var
/* : Bool */;
4348 short int var1
/* : Bool */;
4349 char var2
/* : Char */;
4350 var2
= ((struct instance_kernel__Char
*)self
)->value
; /* autounbox from Object to Char */;
4351 var1
= kernel__Char__is_letter(var2
);
4356 /* method kernel#Pointer#address_is_null for (self: Pointer): Bool */
4357 short int kernel__Pointer__address_is_null(void* self
) {
4358 short int var
/* : Bool */;
4359 short int var1
/* : Bool */;
4360 var1
= kernel___Pointer_address_is_null___impl(self
);
4366 /* method kernel#Pointer#address_is_null for (self: Object): Bool */
4367 short int VIRTUAL_kernel__Pointer__address_is_null(val
* self
) {
4368 short int var
/* : Bool */;
4369 short int var1
/* : Bool */;
4370 void* var2
/* : Pointer */;
4371 var2
= ((struct instance_kernel__Pointer
*)self
)->value
; /* autounbox from Object to Pointer */;
4372 var1
= kernel__Pointer__address_is_null(var2
);