c_src/list.sep.1.c

   1 #include "list.sep.0.h"
   2 /* method list#List#[] for (self: List[nullable Object], Int): nullable Object */
   3 val* list__List___91d_93d(val* self, long p0) {
   4 val* var /* : nullable Object */;
   5 long var_index /* var index: Int */;
   6 val* var1 /* : nullable ListNode[nullable Object] */;
   7 val* var2 /* : nullable Object */;
   8 var_index = p0;
   9 var1 = ((val* (*)(val*, long))(self->class->vft[COLOR_list__List__get_node]))(self, var_index) /* get_node on <self:List[nullable Object]>*/;
  10 if (var1 == NULL) {
  11 fprintf(stderr, "Runtime error: %s", "Reciever is null");
  12 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 22);
  13 exit(1);
  14 } else {
  15 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_abstract_collection__Container__item]))(var1) /* item on <var1:nullable ListNode[nullable Object]>*/;
  16 }
  17 var = var2;
  18 goto RET_LABEL;
  19 RET_LABEL:;
  20 return var;
  21 }
  22 /* method list#List#[] for (self: Object, Int): nullable Object */
  23 val* VIRTUAL_list__List___91d_93d(val* self, long p0) {
  24 val* var /* : nullable Object */;
  25 val* var1 /* : nullable Object */;
  26 var1 = list__List___91d_93d(self, p0);
  27 var = var1;
  28 RET_LABEL:;
  29 return var;
  30 }
  31 /* method list#List#[]= for (self: List[nullable Object], Int, nullable Object) */
  32 void list__List___91d_93d_61d(val* self, long p0, val* p1) {
  33 short int var /* : Bool */;
  34 int cltype;
  35 int idtype;
  36 const struct type* type_struct;
  37 short int is_nullable;
  38 const char* var_class_name;
  39 long var_index /* var index: Int */;
  40 val* var_item /* var item: nullable Object */;
  41 val* var1 /* : nullable ListNode[nullable Object] */;
  42 /* Covariant cast for argument 1 (item) <p1:nullable Object> isa Sequence#0 */
  43 /* <p1:nullable Object> isa Sequence#0 */
  44 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
  45 cltype = type_struct->color;
  46 idtype = type_struct->id;
  47 is_nullable = type_struct->is_nullable;
  48 if(p1 == NULL) {
  49 var = is_nullable;
  50 } else {
  51 if(cltype >= p1->type->table_size) {
  52 var = 0;
  53 } else {
  54 var = p1->type->type_table[cltype] == idtype;
  55 }
  56 }
  57 if (!var) {
  58 var_class_name = p1 == NULL ? "null" : p1->type->name;
  59 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Sequence#0", var_class_name);
  60 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 24);
  61 exit(1);
  62 }
  63 var_index = p0;
  64 var_item = p1;
  65 var1 = ((val* (*)(val*, long))(self->class->vft[COLOR_list__List__get_node]))(self, var_index) /* get_node on <self:List[nullable Object]>*/;
  66 if (var1 == NULL) {
  67 fprintf(stderr, "Runtime error: %s", "Reciever is null");
  68 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 24);
  69 exit(1);
  70 } else {
  71 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__Container__item_61d]))(var1, var_item) /* item= on <var1:nullable ListNode[nullable Object]>*/;
  72 }
  73 RET_LABEL:;
  74 }
  75 /* method list#List#[]= for (self: Object, Int, nullable Object) */
  76 void VIRTUAL_list__List___91d_93d_61d(val* self, long p0, val* p1) {
  77 list__List___91d_93d_61d(self, p0, p1);
  78 RET_LABEL:;
  79 }
  80 /* method list#List#first for (self: List[nullable Object]): nullable Object */
  81 val* list__List__first(val* self) {
  82 val* var /* : nullable Object */;
  83 val* var1 /* : nullable ListNode[nullable Object] */;
  84 val* var2 /* : nullable Object */;
  85 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
  86 if (var1 == NULL) {
  87 fprintf(stderr, "Runtime error: %s", "Reciever is null");
  88 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 27);
  89 exit(1);
  90 } else {
  91 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_abstract_collection__Container__item]))(var1) /* item on <var1:nullable ListNode[nullable Object]>*/;
  92 }
  93 var = var2;
  94 goto RET_LABEL;
  95 RET_LABEL:;
  96 return var;
  97 }
  98 /* method list#List#first for (self: Object): nullable Object */
  99 val* VIRTUAL_list__List__first(val* self) {
 100 val* var /* : nullable Object */;
 101 val* var1 /* : nullable Object */;
 102 var1 = list__List__first(self);
 103 var = var1;
 104 RET_LABEL:;
 105 return var;
 106 }
 107 /* method list#List#first= for (self: List[nullable Object], nullable Object) */
 108 void list__List__first_61d(val* self, val* p0) {
 109 short int var /* : Bool */;
 110 int cltype;
 111 int idtype;
 112 const struct type* type_struct;
 113 short int is_nullable;
 114 const char* var_class_name;
 115 val* var_e /* var e: nullable Object */;
 116 val* var1 /* : nullable ListNode[nullable Object] */;
 117 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Sequence#0 */
 118 /* <p0:nullable Object> isa Sequence#0 */
 119 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
 120 cltype = type_struct->color;
 121 idtype = type_struct->id;
 122 is_nullable = type_struct->is_nullable;
 123 if(p0 == NULL) {
 124 var = is_nullable;
 125 } else {
 126 if(cltype >= p0->type->table_size) {
 127 var = 0;
 128 } else {
 129 var = p0->type->type_table[cltype] == idtype;
 130 }
 131 }
 132 if (!var) {
 133 var_class_name = p0 == NULL ? "null" : p0->type->name;
 134 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Sequence#0", var_class_name);
 135 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 29);
 136 exit(1);
 137 }
 138 var_e = p0;
 139 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 140 if (var1 == NULL) {
 141 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 142 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 30);
 143 exit(1);
 144 } else {
 145 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__Container__item_61d]))(var1, var_e) /* item= on <var1:nullable ListNode[nullable Object]>*/;
 146 }
 147 RET_LABEL:;
 148 }
 149 /* method list#List#first= for (self: Object, nullable Object) */
 150 void VIRTUAL_list__List__first_61d(val* self, val* p0) {
 151 list__List__first_61d(self, p0);
 152 RET_LABEL:;
 153 }
 154 /* method list#List#last for (self: List[nullable Object]): nullable Object */
 155 val* list__List__last(val* self) {
 156 val* var /* : nullable Object */;
 157 val* var1 /* : nullable ListNode[nullable Object] */;
 158 val* var2 /* : nullable Object */;
 159 var1 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 160 if (var1 == NULL) {
 161 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 162 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 33);
 163 exit(1);
 164 } else {
 165 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_abstract_collection__Container__item]))(var1) /* item on <var1:nullable ListNode[nullable Object]>*/;
 166 }
 167 var = var2;
 168 goto RET_LABEL;
 169 RET_LABEL:;
 170 return var;
 171 }
 172 /* method list#List#last for (self: Object): nullable Object */
 173 val* VIRTUAL_list__List__last(val* self) {
 174 val* var /* : nullable Object */;
 175 val* var1 /* : nullable Object */;
 176 var1 = list__List__last(self);
 177 var = var1;
 178 RET_LABEL:;
 179 return var;
 180 }
 181 /* method list#List#last= for (self: List[nullable Object], nullable Object) */
 182 void list__List__last_61d(val* self, val* p0) {
 183 short int var /* : Bool */;
 184 int cltype;
 185 int idtype;
 186 const struct type* type_struct;
 187 short int is_nullable;
 188 const char* var_class_name;
 189 val* var_e /* var e: nullable Object */;
 190 val* var1 /* : nullable ListNode[nullable Object] */;
 191 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Sequence#0 */
 192 /* <p0:nullable Object> isa Sequence#0 */
 193 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
 194 cltype = type_struct->color;
 195 idtype = type_struct->id;
 196 is_nullable = type_struct->is_nullable;
 197 if(p0 == NULL) {
 198 var = is_nullable;
 199 } else {
 200 if(cltype >= p0->type->table_size) {
 201 var = 0;
 202 } else {
 203 var = p0->type->type_table[cltype] == idtype;
 204 }
 205 }
 206 if (!var) {
 207 var_class_name = p0 == NULL ? "null" : p0->type->name;
 208 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Sequence#0", var_class_name);
 209 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 35);
 210 exit(1);
 211 }
 212 var_e = p0;
 213 var1 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 214 if (var1 == NULL) {
 215 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 216 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 36);
 217 exit(1);
 218 } else {
 219 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__Container__item_61d]))(var1, var_e) /* item= on <var1:nullable ListNode[nullable Object]>*/;
 220 }
 221 RET_LABEL:;
 222 }
 223 /* method list#List#last= for (self: Object, nullable Object) */
 224 void VIRTUAL_list__List__last_61d(val* self, val* p0) {
 225 list__List__last_61d(self, p0);
 226 RET_LABEL:;
 227 }
 228 /* method list#List#is_empty for (self: List[nullable Object]): Bool */
 229 short int list__List__is_empty(val* self) {
 230 short int var /* : Bool */;
 231 val* var1 /* : nullable ListNode[nullable Object] */;
 232 val* var2 /* : null */;
 233 short int var3 /* : Bool */;
 234 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 235 var2 = NULL;
 236 if (var1 == NULL) {
 237 var3 = 1; /* is null */
 238 } else {
 239 var3 = 0; /* arg is null but recv is not */
 240 }
 241 var = var3;
 242 goto RET_LABEL;
 243 RET_LABEL:;
 244 return var;
 245 }
 246 /* method list#List#is_empty for (self: Object): Bool */
 247 short int VIRTUAL_list__List__is_empty(val* self) {
 248 short int var /* : Bool */;
 249 short int var1 /* : Bool */;
 250 var1 = list__List__is_empty(self);
 251 var = var1;
 252 RET_LABEL:;
 253 return var;
 254 }
 255 /* method list#List#length for (self: List[nullable Object]): Int */
 256 long list__List__length(val* self) {
 257 long var /* : Int */;
 258 long var1 /* : Int */;
 259 long var_l /* var l: Int */;
 260 val* var2 /* : nullable ListNode[nullable Object] */;
 261 val* var_t /* var t: nullable ListNode[nullable Object] */;
 262 val* var3 /* : null */;
 263 short int var4 /* : Bool */;
 264 long var5 /* : Int */;
 265 long var6 /* : Int */;
 266 long var8 /* : Int */;
 267 val* var9 /* : nullable ListNode[nullable Object] */;
 268 var1 = 0;
 269 var_l = var1;
 270 var2 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 271 var_t = var2;
 272 for(;;) {
 273 var3 = NULL;
 274 if (var_t == NULL) {
 275 var4 = 0; /* is null */
 276 } else {
 277 var4 = 1; /* arg is null and recv is not */
 278 }
 279 if (!var4) break;
 280 var5 = 1;
 281 { /* Inline kernel#Int#+ (var_l,var5) */
 282 var8 = var_l + var5;
 283 var6 = var8;
 284 goto RET_LABEL7;
 285 RET_LABEL7:(void)0;
 286 }
 287 var_l = var6;
 288 var9 = ((val* (*)(val*))(var_t->class->vft[COLOR_list__ListNode__next]))(var_t) /* next on <var_t:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
 289 var_t = var9;
 290 CONTINUE_label: (void)0;
 291 }
 292 BREAK_label: (void)0;
 293 var = var_l;
 294 goto RET_LABEL;
 295 RET_LABEL:;
 296 return var;
 297 }
 298 /* method list#List#length for (self: Object): Int */
 299 long VIRTUAL_list__List__length(val* self) {
 300 long var /* : Int */;
 301 long var1 /* : Int */;
 302 var1 = list__List__length(self);
 303 var = var1;
 304 RET_LABEL:;
 305 return var;
 306 }
 307 /* method list#List#has for (self: List[nullable Object], nullable Object): Bool */
 308 short int list__List__has(val* self, val* p0) {
 309 short int var /* : Bool */;
 310 short int var1 /* : Bool */;
 311 int cltype;
 312 int idtype;
 313 const struct type* type_struct;
 314 short int is_nullable;
 315 const char* var_class_name;
 316 val* var_e /* var e: nullable Object */;
 317 val* var2 /* : nullable ListNode[nullable Object] */;
 318 val* var3 /* : nullable ListNode[nullable Object] */;
 319 val* var4 /* : null */;
 320 short int var5 /* : Bool */;
 321 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Collection#0 */
 322 /* <p0:nullable Object> isa Collection#0 */
 323 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
 324 cltype = type_struct->color;
 325 idtype = type_struct->id;
 326 is_nullable = type_struct->is_nullable;
 327 if(p0 == NULL) {
 328 var1 = is_nullable;
 329 } else {
 330 if(cltype >= p0->type->table_size) {
 331 var1 = 0;
 332 } else {
 333 var1 = p0->type->type_table[cltype] == idtype;
 334 }
 335 }
 336 if (!var1) {
 337 var_class_name = p0 == NULL ? "null" : p0->type->name;
 338 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
 339 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 55);
 340 exit(1);
 341 }
 342 var_e = p0;
 343 var2 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 344 var3 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_list__List__search_node_after]))(self, var_e, var2) /* search_node_after on <self:List[nullable Object]>*/;
 345 var4 = NULL;
 346 if (var3 == NULL) {
 347 var5 = 0; /* is null */
 348 } else {
 349 var5 = 1; /* arg is null and recv is not */
 350 }
 351 var = var5;
 352 goto RET_LABEL;
 353 RET_LABEL:;
 354 return var;
 355 }
 356 /* method list#List#has for (self: Object, nullable Object): Bool */
 357 short int VIRTUAL_list__List__has(val* self, val* p0) {
 358 short int var /* : Bool */;
 359 short int var1 /* : Bool */;
 360 var1 = list__List__has(self, p0);
 361 var = var1;
 362 RET_LABEL:;
 363 return var;
 364 }
 365 /* method list#List#has_only for (self: List[nullable Object], nullable Object): Bool */
 366 short int list__List__has_only(val* self, val* p0) {
 367 short int var /* : Bool */;
 368 short int var1 /* : Bool */;
 369 int cltype;
 370 int idtype;
 371 const struct type* type_struct;
 372 short int is_nullable;
 373 const char* var_class_name;
 374 val* var_e /* var e: nullable Object */;
 375 val* var2 /* : nullable ListNode[nullable Object] */;
 376 val* var_node /* var node: nullable ListNode[nullable Object] */;
 377 val* var3 /* : null */;
 378 short int var4 /* : Bool */;
 379 val* var5 /* : nullable Object */;
 380 short int var6 /* : Bool */;
 381 short int var7 /* : Bool */;
 382 val* var8 /* : nullable ListNode[nullable Object] */;
 383 short int var9 /* : Bool */;
 384 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Collection#0 */
 385 /* <p0:nullable Object> isa Collection#0 */
 386 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
 387 cltype = type_struct->color;
 388 idtype = type_struct->id;
 389 is_nullable = type_struct->is_nullable;
 390 if(p0 == NULL) {
 391 var1 = is_nullable;
 392 } else {
 393 if(cltype >= p0->type->table_size) {
 394 var1 = 0;
 395 } else {
 396 var1 = p0->type->type_table[cltype] == idtype;
 397 }
 398 }
 399 if (!var1) {
 400 var_class_name = p0 == NULL ? "null" : p0->type->name;
 401 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
 402 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 58);
 403 exit(1);
 404 }
 405 var_e = p0;
 406 var2 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 407 var_node = var2;
 408 for(;;) {
 409 var3 = NULL;
 410 if (var_node == NULL) {
 411 var4 = 0; /* is null */
 412 } else {
 413 var4 = 1; /* arg is null and recv is not */
 414 }
 415 if (!var4) break;
 416 var5 = ((val* (*)(val*))(var_node->class->vft[COLOR_abstract_collection__Container__item]))(var_node) /* item on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
 417 if (var5 == NULL) {
 418 var6 = (var_e != NULL);
 419 } else {
 420 var6 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___33d_61d]))(var5, var_e) /* != on <var5:nullable Object>*/;
 421 }
 422 if (var6){
 423 var7 = 0;
 424 var = var7;
 425 goto RET_LABEL;
 426 } else {
 427 }
 428 var8 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
 429 var_node = var8;
 430 CONTINUE_label: (void)0;
 431 }
 432 BREAK_label: (void)0;
 433 var9 = 1;
 434 var = var9;
 435 goto RET_LABEL;
 436 RET_LABEL:;
 437 return var;
 438 }
 439 /* method list#List#has_only for (self: Object, nullable Object): Bool */
 440 short int VIRTUAL_list__List__has_only(val* self, val* p0) {
 441 short int var /* : Bool */;
 442 short int var1 /* : Bool */;
 443 var1 = list__List__has_only(self, p0);
 444 var = var1;
 445 RET_LABEL:;
 446 return var;
 447 }
 448 /* method list#List#count for (self: List[nullable Object], nullable Object): Int */
 449 long list__List__count(val* self, val* p0) {
 450 long var /* : Int */;
 451 short int var1 /* : Bool */;
 452 int cltype;
 453 int idtype;
 454 const struct type* type_struct;
 455 short int is_nullable;
 456 const char* var_class_name;
 457 val* var_e /* var e: nullable Object */;
 458 long var2 /* : Int */;
 459 long var_nb /* var nb: Int */;
 460 val* var3 /* : nullable ListNode[nullable Object] */;
 461 val* var_node /* var node: nullable ListNode[nullable Object] */;
 462 val* var4 /* : null */;
 463 short int var5 /* : Bool */;
 464 val* var6 /* : nullable Object */;
 465 short int var7 /* : Bool */;
 466 long var8 /* : Int */;
 467 long var9 /* : Int */;
 468 long var11 /* : Int */;
 469 val* var12 /* : nullable ListNode[nullable Object] */;
 470 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Collection#0 */
 471 /* <p0:nullable Object> isa Collection#0 */
 472 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
 473 cltype = type_struct->color;
 474 idtype = type_struct->id;
 475 is_nullable = type_struct->is_nullable;
 476 if(p0 == NULL) {
 477 var1 = is_nullable;
 478 } else {
 479 if(cltype >= p0->type->table_size) {
 480 var1 = 0;
 481 } else {
 482 var1 = p0->type->type_table[cltype] == idtype;
 483 }
 484 }
 485 if (!var1) {
 486 var_class_name = p0 == NULL ? "null" : p0->type->name;
 487 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
 488 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 68);
 489 exit(1);
 490 }
 491 var_e = p0;
 492 var2 = 0;
 493 var_nb = var2;
 494 var3 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 495 var_node = var3;
 496 for(;;) {
 497 var4 = NULL;
 498 if (var_node == NULL) {
 499 var5 = 0; /* is null */
 500 } else {
 501 var5 = 1; /* arg is null and recv is not */
 502 }
 503 if (!var5) break;
 504 var6 = ((val* (*)(val*))(var_node->class->vft[COLOR_abstract_collection__Container__item]))(var_node) /* item on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
 505 if (var6 == NULL) {
 506 var7 = (var_e != NULL);
 507 } else {
 508 var7 = ((short int (*)(val*, val*))(var6->class->vft[COLOR_kernel__Object___33d_61d]))(var6, var_e) /* != on <var6:nullable Object>*/;
 509 }
 510 if (var7){
 511 var8 = 1;
 512 { /* Inline kernel#Int#+ (var_nb,var8) */
 513 var11 = var_nb + var8;
 514 var9 = var11;
 515 goto RET_LABEL10;
 516 RET_LABEL10:(void)0;
 517 }
 518 var_nb = var9;
 519 } else {
 520 }
 521 var12 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
 522 var_node = var12;
 523 CONTINUE_label: (void)0;
 524 }
 525 BREAK_label: (void)0;
 526 var = var_nb;
 527 goto RET_LABEL;
 528 RET_LABEL:;
 529 return var;
 530 }
 531 /* method list#List#count for (self: Object, nullable Object): Int */
 532 long VIRTUAL_list__List__count(val* self, val* p0) {
 533 long var /* : Int */;
 534 long var1 /* : Int */;
 535 var1 = list__List__count(self, p0);
 536 var = var1;
 537 RET_LABEL:;
 538 return var;
 539 }
 540 /* method list#List#slice for (self: List[nullable Object], Int, Int): List[nullable Object] */
 541 val* list__List__slice(val* self, long p0, long p1) {
 542 val* var /* : List[nullable Object] */;
 543 long var_from /* var from: Int */;
 544 long var_to /* var to: Int */;
 545 short int var1 /* : Bool */;
 546 long var2 /* : Int */;
 547 short int var3 /* : Bool */;
 548 short int var5 /* : Bool */;
 549 int cltype;
 550 int idtype;
 551 const char* var_class_name;
 552 short int var6 /* : Bool */;
 553 short int var_ /* var : Bool */;
 554 long var7 /* : Int */;
 555 short int var8 /* : Bool */;
 556 short int var10 /* : Bool */;
 557 int cltype11;
 558 int idtype12;
 559 const char* var_class_name13;
 560 short int var14 /* : Bool */;
 561 short int var15 /* : Bool */;
 562 short int var16 /* : Bool */;
 563 long var17 /* : Int */;
 564 short int var18 /* : Bool */;
 565 short int var20 /* : Bool */;
 566 int cltype21;
 567 int idtype22;
 568 const char* var_class_name23;
 569 short int var24 /* : Bool */;
 570 short int var_25 /* var : Bool */;
 571 long var26 /* : Int */;
 572 short int var27 /* : Bool */;
 573 short int var29 /* : Bool */;
 574 int cltype30;
 575 int idtype31;
 576 const char* var_class_name32;
 577 short int var33 /* : Bool */;
 578 short int var_34 /* var : Bool */;
 579 short int var35 /* : Bool */;
 580 short int var37 /* : Bool */;
 581 int cltype38;
 582 int idtype39;
 583 const char* var_class_name40;
 584 short int var41 /* : Bool */;
 585 val* var42 /* : List[nullable Object] */;
 586 val* var_list /* var list: List[nullable Object] */;
 587 short int var43 /* : Bool */;
 588 short int var45 /* : Bool */;
 589 int cltype46;
 590 int idtype47;
 591 const char* var_class_name48;
 592 short int var49 /* : Bool */;
 593 val* var50 /* : nullable Object */;
 594 long var51 /* : Int */;
 595 long var52 /* : Int */;
 596 long var54 /* : Int */;
 597 var_from = p0;
 598 var_to = p1;
 599 var2 = 0;
 600 { /* Inline kernel#Int#>= (var_from,var2) */
 601 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
 602 /* <var2:Int> isa OTHER */
 603 var5 = 1; /* easy <var2:Int> isa OTHER*/
 604 if (!var5) {
 605 var_class_name = type_kernel__Int.name;
 606 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
 607 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
 608 exit(1);
 609 }
 610 var6 = var_from >= var2;
 611 var3 = var6;
 612 goto RET_LABEL4;
 613 RET_LABEL4:(void)0;
 614 }
 615 var_ = var3;
 616 if (var3){
 617 var7 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:List[nullable Object]>*/;
 618 { /* Inline kernel#Int#< (var_from,var7) */
 619 /* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
 620 /* <var7:Int> isa OTHER */
 621 var10 = 1; /* easy <var7:Int> isa OTHER*/
 622 if (!var10) {
 623 var_class_name13 = type_kernel__Int.name;
 624 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
 625 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
 626 exit(1);
 627 }
 628 var14 = var_from < var7;
 629 var8 = var14;
 630 goto RET_LABEL9;
 631 RET_LABEL9:(void)0;
 632 }
 633 var1 = var8;
 634 } else {
 635 var1 = var_;
 636 }
 637 if (!var1) {
 638 fprintf(stderr, "Runtime error: %s", "Assert failed");
 639 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 81);
 640 exit(1);
 641 }
 642 var17 = 0;
 643 { /* Inline kernel#Int#>= (var_to,var17) */
 644 /* Covariant cast for argument 0 (i) <var17:Int> isa OTHER */
 645 /* <var17:Int> isa OTHER */
 646 var20 = 1; /* easy <var17:Int> isa OTHER*/
 647 if (!var20) {
 648 var_class_name23 = type_kernel__Int.name;
 649 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name23);
 650 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
 651 exit(1);
 652 }
 653 var24 = var_to >= var17;
 654 var18 = var24;
 655 goto RET_LABEL19;
 656 RET_LABEL19:(void)0;
 657 }
 658 var_25 = var18;
 659 if (var18){
 660 var26 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:List[nullable Object]>*/;
 661 { /* Inline kernel#Int#< (var_to,var26) */
 662 /* Covariant cast for argument 0 (i) <var26:Int> isa OTHER */
 663 /* <var26:Int> isa OTHER */
 664 var29 = 1; /* easy <var26:Int> isa OTHER*/
 665 if (!var29) {
 666 var_class_name32 = type_kernel__Int.name;
 667 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
 668 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
 669 exit(1);
 670 }
 671 var33 = var_to < var26;
 672 var27 = var33;
 673 goto RET_LABEL28;
 674 RET_LABEL28:(void)0;
 675 }
 676 var16 = var27;
 677 } else {
 678 var16 = var_25;
 679 }
 680 var_34 = var16;
 681 if (var16){
 682 { /* Inline kernel#Int#<= (var_from,var_to) */
 683 /* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
 684 /* <var_to:Int> isa OTHER */
 685 var37 = 1; /* easy <var_to:Int> isa OTHER*/
 686 if (!var37) {
 687 var_class_name40 = type_kernel__Int.name;
 688 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name40);
 689 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
 690 exit(1);
 691 }
 692 var41 = var_from <= var_to;
 693 var35 = var41;
 694 goto RET_LABEL36;
 695 RET_LABEL36:(void)0;
 696 }
 697 var15 = var35;
 698 } else {
 699 var15 = var_34;
 700 }
 701 if (!var15) {
 702 fprintf(stderr, "Runtime error: %s", "Assert failed");
 703 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 82);
 704 exit(1);
 705 }
 706 var42 = NEW_list__List(self->type->resolution_table->types[COLOR_list__Listlist__List_FT0]);
 707 ((void (*)(val*))(var42->class->vft[COLOR_list__List__init]))(var42) /* init on <var42:List[nullable Object]>*/;
 708 CHECK_NEW_list__List(var42);
 709 var_list = var42;
 710 for(;;) {
 711 { /* Inline kernel#Int#<= (var_from,var_to) */
 712 /* Covariant cast for argument 0 (i) <var_to:Int> isa OTHER */
 713 /* <var_to:Int> isa OTHER */
 714 var45 = 1; /* easy <var_to:Int> isa OTHER*/
 715 if (!var45) {
 716 var_class_name48 = type_kernel__Int.name;
 717 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
 718 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
 719 exit(1);
 720 }
 721 var49 = var_from <= var_to;
 722 var43 = var49;
 723 goto RET_LABEL44;
 724 RET_LABEL44:(void)0;
 725 }
 726 if (!var43) break;
 727 var50 = ((val* (*)(val*, long))(self->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(self, var_from) /* [] on <self:List[nullable Object]>*/;
 728 ((void (*)(val*, val*))(var_list->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_list, var50) /* add on <var_list:List[nullable Object]>*/;
 729 var51 = 1;
 730 { /* Inline kernel#Int#+ (var_from,var51) */
 731 var54 = var_from + var51;
 732 var52 = var54;
 733 goto RET_LABEL53;
 734 RET_LABEL53:(void)0;
 735 }
 736 var_from = var52;
 737 CONTINUE_label: (void)0;
 738 }
 739 BREAK_label: (void)0;
 740 var = var_list;
 741 goto RET_LABEL;
 742 RET_LABEL:;
 743 return var;
 744 }
 745 /* method list#List#slice for (self: Object, Int, Int): List[nullable Object] */
 746 val* VIRTUAL_list__List__slice(val* self, long p0, long p1) {
 747 val* var /* : List[nullable Object] */;
 748 val* var1 /* : List[nullable Object] */;
 749 var1 = list__List__slice(self, p0, p1);
 750 var = var1;
 751 RET_LABEL:;
 752 return var;
 753 }
 754 /* method list#List#push for (self: List[nullable Object], nullable Object) */
 755 void list__List__push(val* self, val* p0) {
 756 short int var /* : Bool */;
 757 int cltype;
 758 int idtype;
 759 const struct type* type_struct;
 760 short int is_nullable;
 761 const char* var_class_name;
 762 val* var_e /* var e: nullable Object */;
 763 val* var1 /* : ListNode[nullable Object] */;
 764 val* var_node /* var node: ListNode[nullable Object] */;
 765 val* var2 /* : nullable ListNode[nullable Object] */;
 766 val* var3 /* : null */;
 767 short int var4 /* : Bool */;
 768 val* var5 /* : nullable ListNode[nullable Object] */;
 769 val* var6 /* : nullable ListNode[nullable Object] */;
 770 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Sequence#0 */
 771 /* <p0:nullable Object> isa Sequence#0 */
 772 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
 773 cltype = type_struct->color;
 774 idtype = type_struct->id;
 775 is_nullable = type_struct->is_nullable;
 776 if(p0 == NULL) {
 777 var = is_nullable;
 778 } else {
 779 if(cltype >= p0->type->table_size) {
 780 var = 0;
 781 } else {
 782 var = p0->type->type_table[cltype] == idtype;
 783 }
 784 }
 785 if (!var) {
 786 var_class_name = p0 == NULL ? "null" : p0->type->name;
 787 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Sequence#0", var_class_name);
 788 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 93);
 789 exit(1);
 790 }
 791 var_e = p0;
 792 var1 = NEW_list__ListNode(self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0]);
 793 ((void (*)(val*, val*))(var1->class->vft[COLOR_list__ListNode__init]))(var1, var_e) /* init on <var1:ListNode[nullable Object]>*/;
 794 CHECK_NEW_list__ListNode(var1);
 795 var_node = var1;
 796 var2 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 797 var3 = NULL;
 798 if (var2 == NULL) {
 799 var4 = 1; /* is null */
 800 } else {
 801 var4 = 0; /* arg is null but recv is not */
 802 }
 803 if (var4){
 804 self->attrs[COLOR_list__List___head].val = var_node; /* _head on <self:List[nullable Object]> */
 805 } else {
 806 var5 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 807 if (var5 == NULL) {
 808 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 809 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 100);
 810 exit(1);
 811 } else {
 812 ((void (*)(val*, val*))(var5->class->vft[COLOR_list__ListNode__next_61d]))(var5, var_node) /* next= on <var5:nullable ListNode[nullable Object]>*/;
 813 }
 814 var6 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 815 ((void (*)(val*, val*))(var_node->class->vft[COLOR_list__ListNode__prev_61d]))(var_node, var6) /* prev= on <var_node:ListNode[nullable Object]>*/;
 816 }
 817 self->attrs[COLOR_list__List___tail].val = var_node; /* _tail on <self:List[nullable Object]> */
 818 RET_LABEL:;
 819 }
 820 /* method list#List#push for (self: Object, nullable Object) */
 821 void VIRTUAL_list__List__push(val* self, val* p0) {
 822 list__List__push(self, p0);
 823 RET_LABEL:;
 824 }
 825 /* method list#List#unshift for (self: List[nullable Object], nullable Object) */
 826 void list__List__unshift(val* self, val* p0) {
 827 short int var /* : Bool */;
 828 int cltype;
 829 int idtype;
 830 const struct type* type_struct;
 831 short int is_nullable;
 832 const char* var_class_name;
 833 val* var_e /* var e: nullable Object */;
 834 val* var1 /* : ListNode[nullable Object] */;
 835 val* var_node /* var node: ListNode[nullable Object] */;
 836 val* var2 /* : nullable ListNode[nullable Object] */;
 837 val* var3 /* : null */;
 838 short int var4 /* : Bool */;
 839 val* var5 /* : nullable ListNode[nullable Object] */;
 840 val* var6 /* : nullable ListNode[nullable Object] */;
 841 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa Sequence#0 */
 842 /* <p0:nullable Object> isa Sequence#0 */
 843 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
 844 cltype = type_struct->color;
 845 idtype = type_struct->id;
 846 is_nullable = type_struct->is_nullable;
 847 if(p0 == NULL) {
 848 var = is_nullable;
 849 } else {
 850 if(cltype >= p0->type->table_size) {
 851 var = 0;
 852 } else {
 853 var = p0->type->type_table[cltype] == idtype;
 854 }
 855 }
 856 if (!var) {
 857 var_class_name = p0 == NULL ? "null" : p0->type->name;
 858 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Sequence#0", var_class_name);
 859 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 106);
 860 exit(1);
 861 }
 862 var_e = p0;
 863 var1 = NEW_list__ListNode(self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0]);
 864 ((void (*)(val*, val*))(var1->class->vft[COLOR_list__ListNode__init]))(var1, var_e) /* init on <var1:ListNode[nullable Object]>*/;
 865 CHECK_NEW_list__ListNode(var1);
 866 var_node = var1;
 867 var2 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 868 var3 = NULL;
 869 if (var2 == NULL) {
 870 var4 = 1; /* is null */
 871 } else {
 872 var4 = 0; /* arg is null but recv is not */
 873 }
 874 if (var4){
 875 self->attrs[COLOR_list__List___tail].val = var_node; /* _tail on <self:List[nullable Object]> */
 876 } else {
 877 var5 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 878 ((void (*)(val*, val*))(var_node->class->vft[COLOR_list__ListNode__next_61d]))(var_node, var5) /* next= on <var_node:ListNode[nullable Object]>*/;
 879 var6 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
 880 if (var6 == NULL) {
 881 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 882 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 114);
 883 exit(1);
 884 } else {
 885 ((void (*)(val*, val*))(var6->class->vft[COLOR_list__ListNode__prev_61d]))(var6, var_node) /* prev= on <var6:nullable ListNode[nullable Object]>*/;
 886 }
 887 }
 888 self->attrs[COLOR_list__List___head].val = var_node; /* _head on <self:List[nullable Object]> */
 889 RET_LABEL:;
 890 }
 891 /* method list#List#unshift for (self: Object, nullable Object) */
 892 void VIRTUAL_list__List__unshift(val* self, val* p0) {
 893 list__List__unshift(self, p0);
 894 RET_LABEL:;
 895 }
 896 /* method list#List#link for (self: List[nullable Object], List[nullable Object]) */
 897 void list__List__link(val* self, val* p0) {
 898 short int var /* : Bool */;
 899 int cltype;
 900 int idtype;
 901 const struct type* type_struct;
 902 const char* var_class_name;
 903 val* var_l /* var l: List[nullable Object] */;
 904 val* var1 /* : nullable ListNode[nullable Object] */;
 905 val* var2 /* : null */;
 906 short int var3 /* : Bool */;
 907 val* var4 /* : nullable ListNode[nullable Object] */;
 908 val* var5 /* : nullable ListNode[nullable Object] */;
 909 val* var6 /* : null */;
 910 short int var7 /* : Bool */;
 911 val* var8 /* : nullable ListNode[nullable Object] */;
 912 val* var9 /* : nullable ListNode[nullable Object] */;
 913 val* var10 /* : nullable ListNode[nullable Object] */;
 914 val* var11 /* : nullable ListNode[nullable Object] */;
 915 val* var12 /* : nullable ListNode[nullable Object] */;
 916 val* var13 /* : nullable ListNode[nullable Object] */;
 917 /* Covariant cast for argument 0 (l) <p0:List[nullable Object]> isa List[List#0] */
 918 /* <p0:List[nullable Object]> isa List[List#0] */
 919 type_struct = self->type->resolution_table->types[COLOR_list__Listlist__List_FT0];
 920 cltype = type_struct->color;
 921 idtype = type_struct->id;
 922 if(cltype >= p0->type->table_size) {
 923 var = 0;
 924 } else {
 925 var = p0->type->type_table[cltype] == idtype;
 926 }
 927 if (!var) {
 928 var_class_name = p0 == NULL ? "null" : p0->type->name;
 929 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "List[List#0]", var_class_name);
 930 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 119);
 931 exit(1);
 932 }
 933 var_l = p0;
 934 var1 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 935 var2 = NULL;
 936 if (var1 == NULL) {
 937 var3 = 1; /* is null */
 938 } else {
 939 var3 = 0; /* arg is null but recv is not */
 940 }
 941 if (var3){
 942 var4 = var_l->attrs[COLOR_list__List___head].val; /* _head on <var_l:List[nullable Object]> */
 943 self->attrs[COLOR_list__List___head].val = var4; /* _head on <self:List[nullable Object]> */
 944 } else {
 945 var5 = var_l->attrs[COLOR_list__List___head].val; /* _head on <var_l:List[nullable Object]> */
 946 var6 = NULL;
 947 if (var5 == NULL) {
 948 var7 = 0; /* is null */
 949 } else {
 950 var7 = 1; /* arg is null and recv is not */
 951 }
 952 if (var7){
 953 var8 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 954 var9 = var_l->attrs[COLOR_list__List___head].val; /* _head on <var_l:List[nullable Object]> */
 955 if (var8 == NULL) {
 956 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 957 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 127);
 958 exit(1);
 959 } else {
 960 ((void (*)(val*, val*))(var8->class->vft[COLOR_list__ListNode__next_61d]))(var8, var9) /* next= on <var8:nullable ListNode[nullable Object]>*/;
 961 }
 962 var10 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 963 if (var10 == NULL) {
 964 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 965 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 128);
 966 exit(1);
 967 } else {
 968 var11 = ((val* (*)(val*))(var10->class->vft[COLOR_list__ListNode__next]))(var10) /* next on <var10:nullable ListNode[nullable Object]>*/;
 969 }
 970 var12 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
 971 if (var11 == NULL) {
 972 fprintf(stderr, "Runtime error: %s", "Reciever is null");
 973 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 128);
 974 exit(1);
 975 } else {
 976 ((void (*)(val*, val*))(var11->class->vft[COLOR_list__ListNode__prev_61d]))(var11, var12) /* prev= on <var11:nullable ListNode[nullable Object]>*/;
 977 }
 978 } else {
 979 }
 980 }
 981 var13 = var_l->attrs[COLOR_list__List___tail].val; /* _tail on <var_l:List[nullable Object]> */
 982 self->attrs[COLOR_list__List___tail].val = var13; /* _tail on <self:List[nullable Object]> */
 983 ((void (*)(val*))(var_l->class->vft[COLOR_abstract_collection__RemovableCollection__clear]))(var_l) /* clear on <var_l:List[nullable Object]>*/;
 984 RET_LABEL:;
 985 }
 986 /* method list#List#link for (self: Object, List[nullable Object]) */
 987 void VIRTUAL_list__List__link(val* self, val* p0) {
 988 list__List__link(self, p0);
 989 RET_LABEL:;
 990 }
 991 /* method list#List#pop for (self: List[nullable Object]): nullable Object */
 992 val* list__List__pop(val* self) {
 993 val* var /* : nullable Object */;
 994 val* var1 /* : nullable ListNode[nullable Object] */;
 995 val* var_node /* var node: nullable ListNode[nullable Object] */;
 996 val* var2 /* : nullable ListNode[nullable Object] */;
 997 val* var3 /* : null */;
 998 val* var4 /* : nullable ListNode[nullable Object] */;
 999 val* var5 /* : null */;
1000 short int var6 /* : Bool */;
1001 val* var7 /* : null */;
1002 val* var8 /* : nullable ListNode[nullable Object] */;
1003 val* var9 /* : null */;
1004 val* var10 /* : nullable Object */;
1005 var1 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
1006 var_node = var1;
1007 if (var_node == NULL) {
1008 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1009 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 140);
1010 exit(1);
1011 } else {
1012 var2 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:nullable ListNode[nullable Object]>*/;
1013 }
1014 self->attrs[COLOR_list__List___tail].val = var2; /* _tail on <self:List[nullable Object]> */
1015 var3 = NULL;
1016 if (var_node == NULL) {
1017 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1018 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 141);
1019 exit(1);
1020 } else {
1021 ((void (*)(val*, val*))(var_node->class->vft[COLOR_list__ListNode__prev_61d]))(var_node, var3) /* prev= on <var_node:nullable ListNode[nullable Object]>*/;
1022 }
1023 var4 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
1024 var5 = NULL;
1025 if (var4 == NULL) {
1026 var6 = 1; /* is null */
1027 } else {
1028 var6 = 0; /* arg is null but recv is not */
1029 }
1030 if (var6){
1031 var7 = NULL;
1032 self->attrs[COLOR_list__List___head].val = var7; /* _head on <self:List[nullable Object]> */
1033 } else {
1034 var8 = self->attrs[COLOR_list__List___tail].val; /* _tail on <self:List[nullable Object]> */
1035 var9 = NULL;
1036 if (var8 == NULL) {
1037 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1038 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 145);
1039 exit(1);
1040 } else {
1041 ((void (*)(val*, val*))(var8->class->vft[COLOR_list__ListNode__next_61d]))(var8, var9) /* next= on <var8:nullable ListNode[nullable Object]>*/;
1042 }
1043 }
1044 if (var_node == NULL) {
1045 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1046 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 147);
1047 exit(1);
1048 } else {
1049 var10 = ((val* (*)(val*))(var_node->class->vft[COLOR_abstract_collection__Container__item]))(var_node) /* item on <var_node:nullable ListNode[nullable Object]>*/;
1050 }
1051 var = var10;
1052 goto RET_LABEL;
1053 RET_LABEL:;
1054 return var;
1055 }
1056 /* method list#List#pop for (self: Object): nullable Object */
1057 val* VIRTUAL_list__List__pop(val* self) {
1058 val* var /* : nullable Object */;
1059 val* var1 /* : nullable Object */;
1060 var1 = list__List__pop(self);
1061 var = var1;
1062 RET_LABEL:;
1063 return var;
1064 }
1065 /* method list#List#shift for (self: List[nullable Object]): nullable Object */
1066 val* list__List__shift(val* self) {
1067 val* var /* : nullable Object */;
1068 val* var1 /* : nullable ListNode[nullable Object] */;
1069 val* var_node /* var node: nullable ListNode[nullable Object] */;
1070 val* var2 /* : nullable ListNode[nullable Object] */;
1071 val* var3 /* : null */;
1072 val* var4 /* : nullable ListNode[nullable Object] */;
1073 val* var5 /* : null */;
1074 short int var6 /* : Bool */;
1075 val* var7 /* : null */;
1076 val* var8 /* : nullable ListNode[nullable Object] */;
1077 val* var9 /* : null */;
1078 val* var10 /* : nullable Object */;
1079 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
1080 var_node = var1;
1081 if (var_node == NULL) {
1082 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1083 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 154);
1084 exit(1);
1085 } else {
1086 var2 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:nullable ListNode[nullable Object]>*/;
1087 }
1088 self->attrs[COLOR_list__List___head].val = var2; /* _head on <self:List[nullable Object]> */
1089 var3 = NULL;
1090 if (var_node == NULL) {
1091 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1092 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 155);
1093 exit(1);
1094 } else {
1095 ((void (*)(val*, val*))(var_node->class->vft[COLOR_list__ListNode__next_61d]))(var_node, var3) /* next= on <var_node:nullable ListNode[nullable Object]>*/;
1096 }
1097 var4 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
1098 var5 = NULL;
1099 if (var4 == NULL) {
1100 var6 = 1; /* is null */
1101 } else {
1102 var6 = 0; /* arg is null but recv is not */
1103 }
1104 if (var6){
1105 var7 = NULL;
1106 self->attrs[COLOR_list__List___tail].val = var7; /* _tail on <self:List[nullable Object]> */
1107 } else {
1108 var8 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
1109 var9 = NULL;
1110 if (var8 == NULL) {
1111 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1112 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 159);
1113 exit(1);
1114 } else {
1115 ((void (*)(val*, val*))(var8->class->vft[COLOR_list__ListNode__prev_61d]))(var8, var9) /* prev= on <var8:nullable ListNode[nullable Object]>*/;
1116 }
1117 }
1118 if (var_node == NULL) {
1119 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1120 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 161);
1121 exit(1);
1122 } else {
1123 var10 = ((val* (*)(val*))(var_node->class->vft[COLOR_abstract_collection__Container__item]))(var_node) /* item on <var_node:nullable ListNode[nullable Object]>*/;
1124 }
1125 var = var10;
1126 goto RET_LABEL;
1127 RET_LABEL:;
1128 return var;
1129 }
1130 /* method list#List#shift for (self: Object): nullable Object */
1131 val* VIRTUAL_list__List__shift(val* self) {
1132 val* var /* : nullable Object */;
1133 val* var1 /* : nullable Object */;
1134 var1 = list__List__shift(self);
1135 var = var1;
1136 RET_LABEL:;
1137 return var;
1138 }
1139 /* method list#List#remove for (self: List[nullable Object], nullable Object) */
1140 void list__List__remove(val* self, val* p0) {
1141 short int var /* : Bool */;
1142 int cltype;
1143 int idtype;
1144 const struct type* type_struct;
1145 short int is_nullable;
1146 const char* var_class_name;
1147 val* var_e /* var e: nullable Object */;
1148 val* var1 /* : nullable ListNode[nullable Object] */;
1149 val* var2 /* : nullable ListNode[nullable Object] */;
1150 val* var_node /* var node: nullable ListNode[nullable Object] */;
1151 val* var3 /* : null */;
1152 short int var4 /* : Bool */;
1153 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa RemovableCollection#0 */
1154 /* <p0:nullable Object> isa RemovableCollection#0 */
1155 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
1156 cltype = type_struct->color;
1157 idtype = type_struct->id;
1158 is_nullable = type_struct->is_nullable;
1159 if(p0 == NULL) {
1160 var = is_nullable;
1161 } else {
1162 if(cltype >= p0->type->table_size) {
1163 var = 0;
1164 } else {
1165 var = p0->type->type_table[cltype] == idtype;
1166 }
1167 }
1168 if (!var) {
1169 var_class_name = p0 == NULL ? "null" : p0->type->name;
1170 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
1171 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 164);
1172 exit(1);
1173 }
1174 var_e = p0;
1175 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
1176 var2 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_list__List__search_node_after]))(self, var_e, var1) /* search_node_after on <self:List[nullable Object]>*/;
1177 var_node = var2;
1178 var3 = NULL;
1179 if (var_node == NULL) {
1180 var4 = 0; /* is null */
1181 } else {
1182 var4 = 1; /* arg is null and recv is not */
1183 }
1184 if (var4){
1185 ((void (*)(val*, val*))(self->class->vft[COLOR_list__List__remove_node]))(self, var_node) /* remove_node on <self:List[nullable Object]>*/;
1186 } else {
1187 }
1188 RET_LABEL:;
1189 }
1190 /* method list#List#remove for (self: Object, nullable Object) */
1191 void VIRTUAL_list__List__remove(val* self, val* p0) {
1192 list__List__remove(self, p0);
1193 RET_LABEL:;
1194 }
1195 /* method list#List#remove_at for (self: List[nullable Object], Int) */
1196 void list__List__remove_at(val* self, long p0) {
1197 long var_i /* var i: Int */;
1198 val* var /* : nullable ListNode[nullable Object] */;
1199 val* var_node /* var node: nullable ListNode[nullable Object] */;
1200 val* var1 /* : null */;
1201 short int var2 /* : Bool */;
1202 var_i = p0;
1203 var = ((val* (*)(val*, long))(self->class->vft[COLOR_list__List__get_node]))(self, var_i) /* get_node on <self:List[nullable Object]>*/;
1204 var_node = var;
1205 var1 = NULL;
1206 if (var_node == NULL) {
1207 var2 = 0; /* is null */
1208 } else {
1209 var2 = 1; /* arg is null and recv is not */
1210 }
1211 if (var2){
1212 ((void (*)(val*, val*))(self->class->vft[COLOR_list__List__remove_node]))(self, var_node) /* remove_node on <self:List[nullable Object]>*/;
1213 } else {
1214 }
1215 RET_LABEL:;
1216 }
1217 /* method list#List#remove_at for (self: Object, Int) */
1218 void VIRTUAL_list__List__remove_at(val* self, long p0) {
1219 list__List__remove_at(self, p0);
1220 RET_LABEL:;
1221 }
1222 /* method list#List#clear for (self: List[nullable Object]) */
1223 void list__List__clear(val* self) {
1224 val* var /* : null */;
1225 val* var1 /* : null */;
1226 var = NULL;
1227 self->attrs[COLOR_list__List___head].val = var; /* _head on <self:List[nullable Object]> */
1228 var1 = NULL;
1229 self->attrs[COLOR_list__List___tail].val = var1; /* _tail on <self:List[nullable Object]> */
1230 RET_LABEL:;
1231 }
1232 /* method list#List#clear for (self: Object) */
1233 void VIRTUAL_list__List__clear(val* self) {
1234 list__List__clear(self);
1235 RET_LABEL:;
1236 }
1237 /* method list#List#iterator for (self: List[nullable Object]): ListIterator[nullable Object] */
1238 val* list__List__iterator(val* self) {
1239 val* var /* : ListIterator[nullable Object] */;
1240 val* var1 /* : ListIterator[nullable Object] */;
1241 var1 = NEW_list__ListIterator(self->type->resolution_table->types[COLOR_list__ListIteratorlist__List_FT0]);
1242 ((void (*)(val*, val*))(var1->class->vft[COLOR_list__ListIterator__init]))(var1, self) /* init on <var1:ListIterator[nullable Object]>*/;
1243 CHECK_NEW_list__ListIterator(var1);
1244 var = var1;
1245 goto RET_LABEL;
1246 RET_LABEL:;
1247 return var;
1248 }
1249 /* method list#List#iterator for (self: Object): Iterator[nullable Object] */
1250 val* VIRTUAL_list__List__iterator(val* self) {
1251 val* var /* : Iterator[nullable Object] */;
1252 val* var1 /* : ListIterator[nullable Object] */;
1253 var1 = list__List__iterator(self);
1254 var = var1;
1255 RET_LABEL:;
1256 return var;
1257 }
1258 /* method list#List#init for (self: List[nullable Object]) */
1259 void list__List__init(val* self) {
1260 RET_LABEL:;
1261 }
1262 /* method list#List#init for (self: Object) */
1263 void VIRTUAL_list__List__init(val* self) {
1264 list__List__init(self);
1265 RET_LABEL:;
1266 }
1267 /* method list#List#from for (self: List[nullable Object], Collection[nullable Object]) */
1268 void list__List__from(val* self, val* p0) {
1269 short int var /* : Bool */;
1270 int cltype;
1271 int idtype;
1272 const struct type* type_struct;
1273 const char* var_class_name;
1274 val* var_coll /* var coll: Collection[nullable Object] */;
1275 /* Covariant cast for argument 0 (coll) <p0:Collection[nullable Object]> isa Collection[List#0] */
1276 /* <p0:Collection[nullable Object]> isa Collection[List#0] */
1277 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collectionlist__List_FT0];
1278 cltype = type_struct->color;
1279 idtype = type_struct->id;
1280 if(cltype >= p0->type->table_size) {
1281 var = 0;
1282 } else {
1283 var = p0->type->type_table[cltype] == idtype;
1284 }
1285 if (!var) {
1286 var_class_name = p0 == NULL ? "null" : p0->type->name;
1287 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[List#0]", var_class_name);
1288 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 188);
1289 exit(1);
1290 }
1291 var_coll = p0;
1292 ((void (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Sequence__append]))(self, var_coll) /* append on <self:List[nullable Object]>*/;
1293 RET_LABEL:;
1294 }
1295 /* method list#List#from for (self: Object, Collection[nullable Object]) */
1296 void VIRTUAL_list__List__from(val* self, val* p0) {
1297 list__List__from(self, p0);
1298 RET_LABEL:;
1299 }
1300 /* method list#List#get_node for (self: List[nullable Object], Int): nullable ListNode[nullable Object] */
1301 val* list__List__get_node(val* self, long p0) {
1302 val* var /* : nullable ListNode[nullable Object] */;
1303 long var_i /* var i: Int */;
1304 val* var1 /* : nullable ListNode[nullable Object] */;
1305 val* var_n /* var n: nullable ListNode[nullable Object] */;
1306 long var2 /* : Int */;
1307 short int var3 /* : Bool */;
1308 short int var5 /* : Bool */;
1309 int cltype;
1310 int idtype;
1311 const char* var_class_name;
1312 short int var6 /* : Bool */;
1313 val* var7 /* : null */;
1314 short int var8 /* : Bool */;
1315 val* var9 /* : null */;
1316 short int var10 /* : Bool */;
1317 short int var_ /* var : Bool */;
1318 long var11 /* : Int */;
1319 short int var12 /* : Bool */;
1320 short int var14 /* : Bool */;
1321 int cltype15;
1322 int idtype16;
1323 const char* var_class_name17;
1324 short int var18 /* : Bool */;
1325 val* var19 /* : nullable ListNode[nullable Object] */;
1326 long var20 /* : Int */;
1327 long var21 /* : Int */;
1328 long var23 /* : Int */;
1329 var_i = p0;
1330 var1 = self->attrs[COLOR_list__List___head].val; /* _head on <self:List[nullable Object]> */
1331 var_n = var1;
1332 var2 = 0;
1333 { /* Inline kernel#Int#< (var_i,var2) */
1334 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
1335 /* <var2:Int> isa OTHER */
1336 var5 = 1; /* easy <var2:Int> isa OTHER*/
1337 if (!var5) {
1338 var_class_name = type_kernel__Int.name;
1339 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
1340 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
1341 exit(1);
1342 }
1343 var6 = var_i < var2;
1344 var3 = var6;
1345 goto RET_LABEL4;
1346 RET_LABEL4:(void)0;
1347 }
1348 if (var3){
1349 var7 = NULL;
1350 var = var7;
1351 goto RET_LABEL;
1352 } else {
1353 }
1354 for(;;) {
1355 var9 = NULL;
1356 if (var_n == NULL) {
1357 var10 = 0; /* is null */
1358 } else {
1359 var10 = 1; /* arg is null and recv is not */
1360 }
1361 var_ = var10;
1362 if (var10){
1363 var11 = 0;
1364 { /* Inline kernel#Int#> (var_i,var11) */
1365 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
1366 /* <var11:Int> isa OTHER */
1367 var14 = 1; /* easy <var11:Int> isa OTHER*/
1368 if (!var14) {
1369 var_class_name17 = type_kernel__Int.name;
1370 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17);
1371 fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
1372 exit(1);
1373 }
1374 var18 = var_i > var11;
1375 var12 = var18;
1376 goto RET_LABEL13;
1377 RET_LABEL13:(void)0;
1378 }
1379 var8 = var12;
1380 } else {
1381 var8 = var_;
1382 }
1383 if (!var8) break;
1384 var19 = ((val* (*)(val*))(var_n->class->vft[COLOR_list__ListNode__next]))(var_n) /* next on <var_n:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
1385 var_n = var19;
1386 var20 = 1;
1387 { /* Inline kernel#Int#- (var_i,var20) */
1388 var23 = var_i - var20;
1389 var21 = var23;
1390 goto RET_LABEL22;
1391 RET_LABEL22:(void)0;
1392 }
1393 var_i = var21;
1394 CONTINUE_label: (void)0;
1395 }
1396 BREAK_label: (void)0;
1397 var = var_n;
1398 goto RET_LABEL;
1399 RET_LABEL:;
1400 return var;
1401 }
1402 /* method list#List#get_node for (self: Object, Int): nullable ListNode[nullable Object] */
1403 val* VIRTUAL_list__List__get_node(val* self, long p0) {
1404 val* var /* : nullable ListNode[nullable Object] */;
1405 val* var1 /* : nullable ListNode[nullable Object] */;
1406 var1 = list__List__get_node(self, p0);
1407 var = var1;
1408 RET_LABEL:;
1409 return var;
1410 }
1411 /* method list#List#search_node_after for (self: List[nullable Object], nullable Object, nullable ListNode[nullable Object]): nullable ListNode[nullable Object] */
1412 val* list__List__search_node_after(val* self, val* p0, val* p1) {
1413 val* var /* : nullable ListNode[nullable Object] */;
1414 short int var1 /* : Bool */;
1415 int cltype;
1416 int idtype;
1417 const struct type* type_struct;
1418 short int is_nullable;
1419 const char* var_class_name;
1420 short int var2 /* : Bool */;
1421 int cltype3;
1422 int idtype4;
1423 const struct type* type_struct5;
1424 const char* var_class_name6;
1425 val* var_e /* var e: nullable Object */;
1426 val* var_after /* var after: nullable ListNode[nullable Object] */;
1427 val* var_n /* var n: nullable ListNode[nullable Object] */;
1428 short int var7 /* : Bool */;
1429 val* var8 /* : null */;
1430 short int var9 /* : Bool */;
1431 short int var_ /* var : Bool */;
1432 val* var10 /* : nullable Object */;
1433 short int var11 /* : Bool */;
1434 val* var12 /* : nullable ListNode[nullable Object] */;
1435 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa List#0 */
1436 /* <p0:nullable Object> isa List#0 */
1437 type_struct = self->type->resolution_table->types[COLOR_list__List_FT0];
1438 cltype = type_struct->color;
1439 idtype = type_struct->id;
1440 is_nullable = type_struct->is_nullable;
1441 if(p0 == NULL) {
1442 var1 = is_nullable;
1443 } else {
1444 if(cltype >= p0->type->table_size) {
1445 var1 = 0;
1446 } else {
1447 var1 = p0->type->type_table[cltype] == idtype;
1448 }
1449 }
1450 if (!var1) {
1451 var_class_name = p0 == NULL ? "null" : p0->type->name;
1452 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "List#0", var_class_name);
1453 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 211);
1454 exit(1);
1455 }
1456 /* Covariant cast for argument 1 (after) <p1:nullable ListNode[nullable Object]> isa nullable ListNode[List#0] */
1457 /* <p1:nullable ListNode[nullable Object]> isa nullable ListNode[List#0] */
1458 type_struct5 = self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0];
1459 cltype3 = type_struct5->color;
1460 idtype4 = type_struct5->id;
1461 if(p1 == NULL) {
1462 var2 = 1;
1463 } else {
1464 if(cltype3 >= p1->type->table_size) {
1465 var2 = 0;
1466 } else {
1467 var2 = p1->type->type_table[cltype3] == idtype4;
1468 }
1469 }
1470 if (!var2) {
1471 var_class_name6 = p1 == NULL ? "null" : p1->type->name;
1472 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[List#0]", var_class_name6);
1473 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 211);
1474 exit(1);
1475 }
1476 var_e = p0;
1477 var_after = p1;
1478 var_n = var_after;
1479 for(;;) {
1480 var8 = NULL;
1481 if (var_n == NULL) {
1482 var9 = 0; /* is null */
1483 } else {
1484 var9 = 1; /* arg is null and recv is not */
1485 }
1486 var_ = var9;
1487 if (var9){
1488 var10 = ((val* (*)(val*))(var_n->class->vft[COLOR_abstract_collection__Container__item]))(var_n) /* item on <var_n:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
1489 if (var10 == NULL) {
1490 var11 = (var_e != NULL);
1491 } else {
1492 var11 = ((short int (*)(val*, val*))(var10->class->vft[COLOR_kernel__Object___33d_61d]))(var10, var_e) /* != on <var10:nullable Object>*/;
1493 }
1494 var7 = var11;
1495 } else {
1496 var7 = var_;
1497 }
1498 if (!var7) break;
1499 var12 = ((val* (*)(val*))(var_n->class->vft[COLOR_list__ListNode__next]))(var_n) /* next on <var_n:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
1500 var_n = var12;
1501 CONTINUE_label: (void)0;
1502 }
1503 BREAK_label: (void)0;
1504 var = var_n;
1505 goto RET_LABEL;
1506 RET_LABEL:;
1507 return var;
1508 }
1509 /* method list#List#search_node_after for (self: Object, nullable Object, nullable ListNode[nullable Object]): nullable ListNode[nullable Object] */
1510 val* VIRTUAL_list__List__search_node_after(val* self, val* p0, val* p1) {
1511 val* var /* : nullable ListNode[nullable Object] */;
1512 val* var1 /* : nullable ListNode[nullable Object] */;
1513 var1 = list__List__search_node_after(self, p0, p1);
1514 var = var1;
1515 RET_LABEL:;
1516 return var;
1517 }
1518 /* method list#List#remove_node for (self: List[nullable Object], ListNode[nullable Object]) */
1519 void list__List__remove_node(val* self, val* p0) {
1520 short int var /* : Bool */;
1521 int cltype;
1522 int idtype;
1523 const struct type* type_struct;
1524 const char* var_class_name;
1525 val* var_node /* var node: ListNode[nullable Object] */;
1526 val* var1 /* : nullable ListNode[nullable Object] */;
1527 val* var2 /* : null */;
1528 short int var3 /* : Bool */;
1529 val* var4 /* : nullable ListNode[nullable Object] */;
1530 val* var5 /* : nullable ListNode[nullable Object] */;
1531 val* var6 /* : null */;
1532 short int var7 /* : Bool */;
1533 val* var8 /* : null */;
1534 val* var9 /* : nullable ListNode[nullable Object] */;
1535 val* var10 /* : null */;
1536 val* var11 /* : nullable ListNode[nullable Object] */;
1537 val* var12 /* : null */;
1538 short int var13 /* : Bool */;
1539 val* var14 /* : nullable ListNode[nullable Object] */;
1540 val* var15 /* : nullable ListNode[nullable Object] */;
1541 val* var16 /* : null */;
1542 val* var17 /* : nullable ListNode[nullable Object] */;
1543 val* var18 /* : nullable ListNode[nullable Object] */;
1544 val* var19 /* : nullable ListNode[nullable Object] */;
1545 val* var20 /* : nullable ListNode[nullable Object] */;
1546 /* Covariant cast for argument 0 (node) <p0:ListNode[nullable Object]> isa ListNode[List#0] */
1547 /* <p0:ListNode[nullable Object]> isa ListNode[List#0] */
1548 type_struct = self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0];
1549 cltype = type_struct->color;
1550 idtype = type_struct->id;
1551 if(cltype >= p0->type->table_size) {
1552 var = 0;
1553 } else {
1554 var = p0->type->type_table[cltype] == idtype;
1555 }
1556 if (!var) {
1557 var_class_name = p0 == NULL ? "null" : p0->type->name;
1558 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "ListNode[List#0]", var_class_name);
1559 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 219);
1560 exit(1);
1561 }
1562 var_node = p0;
1563 var1 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1564 var2 = NULL;
1565 if (var1 == NULL) {
1566 var3 = 1; /* is null */
1567 } else {
1568 var3 = 0; /* arg is null but recv is not */
1569 }
1570 if (var3){
1571 var4 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1572 self->attrs[COLOR_list__List___head].val = var4; /* _head on <self:List[nullable Object]> */
1573 var5 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1574 var6 = NULL;
1575 if (var5 == NULL) {
1576 var7 = 1; /* is null */
1577 } else {
1578 var7 = 0; /* arg is null but recv is not */
1579 }
1580 if (var7){
1581 var8 = NULL;
1582 self->attrs[COLOR_list__List___tail].val = var8; /* _tail on <self:List[nullable Object]> */
1583 } else {
1584 var9 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1585 var10 = NULL;
1586 if (var9 == NULL) {
1587 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1588 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 227);
1589 exit(1);
1590 } else {
1591 ((void (*)(val*, val*))(var9->class->vft[COLOR_list__ListNode__prev_61d]))(var9, var10) /* prev= on <var9:nullable ListNode[nullable Object]>*/;
1592 }
1593 }
1594 } else {
1595 var11 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1596 var12 = NULL;
1597 if (var11 == NULL) {
1598 var13 = 1; /* is null */
1599 } else {
1600 var13 = 0; /* arg is null but recv is not */
1601 }
1602 if (var13){
1603 var14 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1604 self->attrs[COLOR_list__List___tail].val = var14; /* _tail on <self:List[nullable Object]> */
1605 var15 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1606 var16 = NULL;
1607 if (var15 == NULL) {
1608 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1609 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 231);
1610 exit(1);
1611 } else {
1612 ((void (*)(val*, val*))(var15->class->vft[COLOR_list__ListNode__next_61d]))(var15, var16) /* next= on <var15:nullable ListNode[nullable Object]>*/;
1613 }
1614 } else {
1615 var17 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1616 var18 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1617 if (var17 == NULL) {
1618 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1619 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 233);
1620 exit(1);
1621 } else {
1622 ((void (*)(val*, val*))(var17->class->vft[COLOR_list__ListNode__next_61d]))(var17, var18) /* next= on <var17:nullable ListNode[nullable Object]>*/;
1623 }
1624 var19 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__next]))(var_node) /* next on <var_node:ListNode[nullable Object]>*/;
1625 var20 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1626 if (var19 == NULL) {
1627 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1628 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 234);
1629 exit(1);
1630 } else {
1631 ((void (*)(val*, val*))(var19->class->vft[COLOR_list__ListNode__prev_61d]))(var19, var20) /* prev= on <var19:nullable ListNode[nullable Object]>*/;
1632 }
1633 }
1634 }
1635 RET_LABEL:;
1636 }
1637 /* method list#List#remove_node for (self: Object, ListNode[nullable Object]) */
1638 void VIRTUAL_list__List__remove_node(val* self, val* p0) {
1639 list__List__remove_node(self, p0);
1640 RET_LABEL:;
1641 }
1642 /* method list#List#insert_before for (self: List[nullable Object], nullable Object, ListNode[nullable Object]) */
1643 void list__List__insert_before(val* self, val* p0, val* p1) {
1644 short int var /* : Bool */;
1645 int cltype;
1646 int idtype;
1647 const struct type* type_struct;
1648 short int is_nullable;
1649 const char* var_class_name;
1650 short int var1 /* : Bool */;
1651 int cltype2;
1652 int idtype3;
1653 const struct type* type_struct4;
1654 const char* var_class_name5;
1655 val* var_element /* var element: nullable Object */;
1656 val* var_node /* var node: ListNode[nullable Object] */;
1657 val* var6 /* : ListNode[nullable Object] */;
1658 val* var_nnode /* var nnode: ListNode[nullable Object] */;
1659 val* var7 /* : nullable ListNode[nullable Object] */;
1660 val* var_prev /* var prev: nullable ListNode[nullable Object] */;
1661 val* var8 /* : null */;
1662 short int var9 /* : Bool */;
1663 /* Covariant cast for argument 0 (element) <p0:nullable Object> isa List#0 */
1664 /* <p0:nullable Object> isa List#0 */
1665 type_struct = self->type->resolution_table->types[COLOR_list__List_FT0];
1666 cltype = type_struct->color;
1667 idtype = type_struct->id;
1668 is_nullable = type_struct->is_nullable;
1669 if(p0 == NULL) {
1670 var = is_nullable;
1671 } else {
1672 if(cltype >= p0->type->table_size) {
1673 var = 0;
1674 } else {
1675 var = p0->type->type_table[cltype] == idtype;
1676 }
1677 }
1678 if (!var) {
1679 var_class_name = p0 == NULL ? "null" : p0->type->name;
1680 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "List#0", var_class_name);
1681 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 238);
1682 exit(1);
1683 }
1684 /* Covariant cast for argument 1 (node) <p1:ListNode[nullable Object]> isa ListNode[List#0] */
1685 /* <p1:ListNode[nullable Object]> isa ListNode[List#0] */
1686 type_struct4 = self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0];
1687 cltype2 = type_struct4->color;
1688 idtype3 = type_struct4->id;
1689 if(cltype2 >= p1->type->table_size) {
1690 var1 = 0;
1691 } else {
1692 var1 = p1->type->type_table[cltype2] == idtype3;
1693 }
1694 if (!var1) {
1695 var_class_name5 = p1 == NULL ? "null" : p1->type->name;
1696 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "ListNode[List#0]", var_class_name5);
1697 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 238);
1698 exit(1);
1699 }
1700 var_element = p0;
1701 var_node = p1;
1702 var6 = NEW_list__ListNode(self->type->resolution_table->types[COLOR_list__ListNodelist__List_FT0]);
1703 ((void (*)(val*, val*))(var6->class->vft[COLOR_list__ListNode__init]))(var6, var_element) /* init on <var6:ListNode[nullable Object]>*/;
1704 CHECK_NEW_list__ListNode(var6);
1705 var_nnode = var6;
1706 var7 = ((val* (*)(val*))(var_node->class->vft[COLOR_list__ListNode__prev]))(var_node) /* prev on <var_node:ListNode[nullable Object]>*/;
1707 var_prev = var7;
1708 var8 = NULL;
1709 if (var_prev == NULL) {
1710 var9 = 1; /* is null */
1711 } else {
1712 var9 = 0; /* arg is null but recv is not */
1713 }
1714 if (var9){
1715 self->attrs[COLOR_list__List___head].val = var_nnode; /* _head on <self:List[nullable Object]> */
1716 } else {
1717 ((void (*)(val*, val*))(var_prev->class->vft[COLOR_list__ListNode__next_61d]))(var_prev, var_nnode) /* next= on <var_prev:nullable ListNode[nullable Object](ListNode[nullable Object])>*/;
1718 }
1719 ((void (*)(val*, val*))(var_nnode->class->vft[COLOR_list__ListNode__prev_61d]))(var_nnode, var_prev) /* prev= on <var_nnode:ListNode[nullable Object]>*/;
1720 ((void (*)(val*, val*))(var_nnode->class->vft[COLOR_list__ListNode__next_61d]))(var_nnode, var_node) /* next= on <var_nnode:ListNode[nullable Object]>*/;
1721 ((void (*)(val*, val*))(var_node->class->vft[COLOR_list__ListNode__prev_61d]))(var_node, var_nnode) /* prev= on <var_node:ListNode[nullable Object]>*/;
1722 RET_LABEL:;
1723 }
1724 /* method list#List#insert_before for (self: Object, nullable Object, ListNode[nullable Object]) */
1725 void VIRTUAL_list__List__insert_before(val* self, val* p0, val* p1) {
1726 list__List__insert_before(self, p0, p1);
1727 RET_LABEL:;
1728 }
1729 /* method list#ListIterator#item for (self: ListIterator[nullable Object]): nullable Object */
1730 val* list__ListIterator__item(val* self) {
1731 val* var /* : nullable Object */;
1732 val* var1 /* : nullable ListNode[nullable Object] */;
1733 val* var2 /* : nullable Object */;
1734 var1 = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1735 if (var1 == NULL) {
1736 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1737 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 256);
1738 exit(1);
1739 } else {
1740 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_abstract_collection__Container__item]))(var1) /* item on <var1:nullable ListNode[nullable Object]>*/;
1741 }
1742 var = var2;
1743 goto RET_LABEL;
1744 RET_LABEL:;
1745 return var;
1746 }
1747 /* method list#ListIterator#item for (self: Object): nullable Object */
1748 val* VIRTUAL_list__ListIterator__item(val* self) {
1749 val* var /* : nullable Object */;
1750 val* var1 /* : nullable Object */;
1751 var1 = list__ListIterator__item(self);
1752 var = var1;
1753 RET_LABEL:;
1754 return var;
1755 }
1756 /* method list#ListIterator#item= for (self: ListIterator[nullable Object], nullable Object) */
1757 void list__ListIterator__item_61d(val* self, val* p0) {
1758 short int var /* : Bool */;
1759 int cltype;
1760 int idtype;
1761 const struct type* type_struct;
1762 short int is_nullable;
1763 const char* var_class_name;
1764 val* var_e /* var e: nullable Object */;
1765 val* var1 /* : nullable ListNode[nullable Object] */;
1766 /* Covariant cast for argument 0 (e) <p0:nullable Object> isa ListIterator#0 */
1767 /* <p0:nullable Object> isa ListIterator#0 */
1768 type_struct = self->type->resolution_table->types[COLOR_list__ListIterator_FT0];
1769 cltype = type_struct->color;
1770 idtype = type_struct->id;
1771 is_nullable = type_struct->is_nullable;
1772 if(p0 == NULL) {
1773 var = is_nullable;
1774 } else {
1775 if(cltype >= p0->type->table_size) {
1776 var = 0;
1777 } else {
1778 var = p0->type->type_table[cltype] == idtype;
1779 }
1780 }
1781 if (!var) {
1782 var_class_name = p0 == NULL ? "null" : p0->type->name;
1783 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "ListIterator#0", var_class_name);
1784 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 258);
1785 exit(1);
1786 }
1787 var_e = p0;
1788 var1 = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1789 if (var1 == NULL) {
1790 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1791 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 258);
1792 exit(1);
1793 } else {
1794 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__Container__item_61d]))(var1, var_e) /* item= on <var1:nullable ListNode[nullable Object]>*/;
1795 }
1796 RET_LABEL:;
1797 }
1798 /* method list#ListIterator#item= for (self: Object, nullable Object) */
1799 void VIRTUAL_list__ListIterator__item_61d(val* self, val* p0) {
1800 list__ListIterator__item_61d(self, p0);
1801 RET_LABEL:;
1802 }
1803 /* method list#ListIterator#is_ok for (self: ListIterator[nullable Object]): Bool */
1804 short int list__ListIterator__is_ok(val* self) {
1805 short int var /* : Bool */;
1806 val* var1 /* : nullable ListNode[nullable Object] */;
1807 val* var2 /* : null */;
1808 short int var3 /* : Bool */;
1809 short int var4 /* : Bool */;
1810 var1 = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1811 var2 = NULL;
1812 if (var1 == NULL) {
1813 var3 = 1; /* is null */
1814 } else {
1815 var3 = 0; /* arg is null but recv is not */
1816 }
1817 var4 = !var3;
1818 var = var4;
1819 goto RET_LABEL;
1820 RET_LABEL:;
1821 return var;
1822 }
1823 /* method list#ListIterator#is_ok for (self: Object): Bool */
1824 short int VIRTUAL_list__ListIterator__is_ok(val* self) {
1825 short int var /* : Bool */;
1826 short int var1 /* : Bool */;
1827 var1 = list__ListIterator__is_ok(self);
1828 var = var1;
1829 RET_LABEL:;
1830 return var;
1831 }
1832 /* method list#ListIterator#next for (self: ListIterator[nullable Object]) */
1833 void list__ListIterator__next(val* self) {
1834 val* var /* : nullable ListNode[nullable Object] */;
1835 val* var1 /* : nullable ListNode[nullable Object] */;
1836 val* var_ /* var : ListIterator[nullable Object] */;
1837 long var2 /* : Int */;
1838 long var3 /* : Int */;
1839 long var4 /* : Int */;
1840 long var6 /* : Int */;
1841 var = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1842 if (var == NULL) {
1843 fprintf(stderr, "Runtime error: %s", "Reciever is null");
1844 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 264);
1845 exit(1);
1846 } else {
1847 var1 = ((val* (*)(val*))(var->class->vft[COLOR_list__ListNode__next]))(var) /* next on <var:nullable ListNode[nullable Object]>*/;
1848 }
1849 self->attrs[COLOR_list__ListIterator___node].val = var1; /* _node on <self:ListIterator[nullable Object]> */
1850 var_ = self;
1851 var2 = var_->attrs[COLOR_list__ListIterator___index].l; /* _index on <var_:ListIterator[nullable Object]> */
1852 var3 = 1;
1853 { /* Inline kernel#Int#+ (var2,var3) */
1854 var6 = var2 + var3;
1855 var4 = var6;
1856 goto RET_LABEL5;
1857 RET_LABEL5:(void)0;
1858 }
1859 var_->attrs[COLOR_list__ListIterator___index].l = var4; /* _index on <var_:ListIterator[nullable Object]> */
1860 RET_LABEL:;
1861 }
1862 /* method list#ListIterator#next for (self: Object) */
1863 void VIRTUAL_list__ListIterator__next(val* self) {
1864 list__ListIterator__next(self);
1865 RET_LABEL:;
1866 }
1867 /* method list#ListIterator#init for (self: ListIterator[nullable Object], List[nullable Object]) */
1868 void list__ListIterator__init(val* self, val* p0) {
1869 short int var /* : Bool */;
1870 int cltype;
1871 int idtype;
1872 const struct type* type_struct;
1873 const char* var_class_name;
1874 val* var_list /* var list: List[nullable Object] */;
1875 val* var1 /* : nullable ListNode[nullable Object] */;
1876 long var2 /* : Int */;
1877 /* Covariant cast for argument 0 (list) <p0:List[nullable Object]> isa List[ListIterator#0] */
1878 /* <p0:List[nullable Object]> isa List[ListIterator#0] */
1879 type_struct = self->type->resolution_table->types[COLOR_list__Listlist__ListIterator_FT0];
1880 cltype = type_struct->color;
1881 idtype = type_struct->id;
1882 if(cltype >= p0->type->table_size) {
1883 var = 0;
1884 } else {
1885 var = p0->type->type_table[cltype] == idtype;
1886 }
1887 if (!var) {
1888 var_class_name = p0 == NULL ? "null" : p0->type->name;
1889 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "List[ListIterator#0]", var_class_name);
1890 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 268);
1891 exit(1);
1892 }
1893 var_list = p0;
1894 self->attrs[COLOR_list__ListIterator___list].val = var_list; /* _list on <self:ListIterator[nullable Object]> */
1895 var1 = var_list->attrs[COLOR_list__List___head].val; /* _head on <var_list:List[nullable Object]> */
1896 self->attrs[COLOR_list__ListIterator___node].val = var1; /* _node on <self:ListIterator[nullable Object]> */
1897 var2 = 0;
1898 self->attrs[COLOR_list__ListIterator___index].l = var2; /* _index on <self:ListIterator[nullable Object]> */
1899 RET_LABEL:;
1900 }
1901 /* method list#ListIterator#init for (self: Object, List[nullable Object]) */
1902 void VIRTUAL_list__ListIterator__init(val* self, val* p0) {
1903 list__ListIterator__init(self, p0);
1904 RET_LABEL:;
1905 }
1906 /* method list#ListIterator#index for (self: ListIterator[nullable Object]): Int */
1907 long list__ListIterator__index(val* self) {
1908 long var /* : Int */;
1909 long var1 /* : Int */;
1910 var1 = self->attrs[COLOR_list__ListIterator___index].l; /* _index on <self:ListIterator[nullable Object]> */
1911 var = var1;
1912 RET_LABEL:;
1913 return var;
1914 }
1915 /* method list#ListIterator#index for (self: Object): Int */
1916 long VIRTUAL_list__ListIterator__index(val* self) {
1917 long var /* : Int */;
1918 long var1 /* : Int */;
1919 var1 = list__ListIterator__index(self);
1920 var = var1;
1921 RET_LABEL:;
1922 return var;
1923 }
1924 /* method list#ListIterator#delete for (self: ListIterator[nullable Object]) */
1925 void list__ListIterator__delete(val* self) {
1926 val* var /* : List[nullable Object] */;
1927 val* var1 /* : nullable ListNode[nullable Object] */;
1928 var = self->attrs[COLOR_list__ListIterator___list].val; /* _list on <self:ListIterator[nullable Object]> */
1929 if (var == NULL) {
1930 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _list");
1931 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 288);
1932 exit(1);
1933 }
1934 var1 = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1935 if (var1 == NULL) {
1936 fprintf(stderr, "Runtime error: %s", "Cast failed");
1937 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 288);
1938 exit(1);
1939 }
1940 ((void (*)(val*, val*))(var->class->vft[COLOR_list__List__remove_node]))(var, var1) /* remove_node on <var:List[nullable Object]>*/;
1941 RET_LABEL:;
1942 }
1943 /* method list#ListIterator#delete for (self: Object) */
1944 void VIRTUAL_list__ListIterator__delete(val* self) {
1945 list__ListIterator__delete(self);
1946 RET_LABEL:;
1947 }
1948 /* method list#ListIterator#insert_before for (self: ListIterator[nullable Object], nullable Object) */
1949 void list__ListIterator__insert_before(val* self, val* p0) {
1950 short int var /* : Bool */;
1951 int cltype;
1952 int idtype;
1953 const struct type* type_struct;
1954 short int is_nullable;
1955 const char* var_class_name;
1956 val* var_element /* var element: nullable Object */;
1957 val* var1 /* : List[nullable Object] */;
1958 val* var2 /* : nullable ListNode[nullable Object] */;
1959 /* Covariant cast for argument 0 (element) <p0:nullable Object> isa ListIterator#0 */
1960 /* <p0:nullable Object> isa ListIterator#0 */
1961 type_struct = self->type->resolution_table->types[COLOR_list__ListIterator_FT0];
1962 cltype = type_struct->color;
1963 idtype = type_struct->id;
1964 is_nullable = type_struct->is_nullable;
1965 if(p0 == NULL) {
1966 var = is_nullable;
1967 } else {
1968 if(cltype >= p0->type->table_size) {
1969 var = 0;
1970 } else {
1971 var = p0->type->type_table[cltype] == idtype;
1972 }
1973 }
1974 if (!var) {
1975 var_class_name = p0 == NULL ? "null" : p0->type->name;
1976 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "ListIterator#0", var_class_name);
1977 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 291);
1978 exit(1);
1979 }
1980 var_element = p0;
1981 var1 = self->attrs[COLOR_list__ListIterator___list].val; /* _list on <self:ListIterator[nullable Object]> */
1982 if (var1 == NULL) {
1983 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _list");
1984 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 294);
1985 exit(1);
1986 }
1987 var2 = self->attrs[COLOR_list__ListIterator___node].val; /* _node on <self:ListIterator[nullable Object]> */
1988 if (var2 == NULL) {
1989 fprintf(stderr, "Runtime error: %s", "Cast failed");
1990 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 294);
1991 exit(1);
1992 }
1993 ((void (*)(val*, val*, val*))(var1->class->vft[COLOR_list__List__insert_before]))(var1, var_element, var2) /* insert_before on <var1:List[nullable Object]>*/;
1994 RET_LABEL:;
1995 }
1996 /* method list#ListIterator#insert_before for (self: Object, nullable Object) */
1997 void VIRTUAL_list__ListIterator__insert_before(val* self, val* p0) {
1998 list__ListIterator__insert_before(self, p0);
1999 RET_LABEL:;
2000 }
2001 /* method list#ListNode#init for (self: ListNode[nullable Object], nullable Object) */
2002 void list__ListNode__init(val* self, val* p0) {
2003 short int var /* : Bool */;
2004 int cltype;
2005 int idtype;
2006 const struct type* type_struct;
2007 short int is_nullable;
2008 const char* var_class_name;
2009 val* var_i /* var i: nullable Object */;
2010 /* Covariant cast for argument 0 (i) <p0:nullable Object> isa ListNode#0 */
2011 /* <p0:nullable Object> isa ListNode#0 */
2012 type_struct = self->type->resolution_table->types[COLOR_list__ListNode_FT0];
2013 cltype = type_struct->color;
2014 idtype = type_struct->id;
2015 is_nullable = type_struct->is_nullable;
2016 if(p0 == NULL) {
2017 var = is_nullable;
2018 } else {
2019 if(cltype >= p0->type->table_size) {
2020 var = 0;
2021 } else {
2022 var = p0->type->type_table[cltype] == idtype;
2023 }
2024 }
2025 if (!var) {
2026 var_class_name = p0 == NULL ? "null" : p0->type->name;
2027 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "ListNode#0", var_class_name);
2028 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 301);
2029 exit(1);
2030 }
2031 var_i = p0;
2032 ((void (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Container__init]))(self, p0) /* init on <self:ListNode[nullable Object]>*/;
2033 ((void (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Container__item_61d]))(self, var_i) /* item= on <self:ListNode[nullable Object]>*/;
2034 RET_LABEL:;
2035 }
2036 /* method list#ListNode#init for (self: Object, nullable Object) */
2037 void VIRTUAL_list__ListNode__init(val* self, val* p0) {
2038 list__ListNode__init(self, p0);
2039 RET_LABEL:;
2040 }
2041 /* method list#ListNode#next for (self: ListNode[nullable Object]): nullable ListNode[nullable Object] */
2042 val* list__ListNode__next(val* self) {
2043 val* var /* : nullable ListNode[nullable Object] */;
2044 val* var1 /* : nullable ListNode[nullable Object] */;
2045 var1 = self->attrs[COLOR_list__ListNode___next].val; /* _next on <self:ListNode[nullable Object]> */
2046 var = var1;
2047 RET_LABEL:;
2048 return var;
2049 }
2050 /* method list#ListNode#next for (self: Object): nullable ListNode[nullable Object] */
2051 val* VIRTUAL_list__ListNode__next(val* self) {
2052 val* var /* : nullable ListNode[nullable Object] */;
2053 val* var1 /* : nullable ListNode[nullable Object] */;
2054 var1 = list__ListNode__next(self);
2055 var = var1;
2056 RET_LABEL:;
2057 return var;
2058 }
2059 /* method list#ListNode#next= for (self: ListNode[nullable Object], nullable ListNode[nullable Object]) */
2060 void list__ListNode__next_61d(val* self, val* p0) {
2061 short int var /* : Bool */;
2062 int cltype;
2063 int idtype;
2064 const struct type* type_struct;
2065 const char* var_class_name;
2066 /* Covariant cast for argument 0 (next) <p0:nullable ListNode[nullable Object]> isa nullable ListNode[ListNode#0] */
2067 /* <p0:nullable ListNode[nullable Object]> isa nullable ListNode[ListNode#0] */
2068 type_struct = self->type->resolution_table->types[COLOR_list__ListNodelist__ListNode_FT0];
2069 cltype = type_struct->color;
2070 idtype = type_struct->id;
2071 if(p0 == NULL) {
2072 var = 1;
2073 } else {
2074 if(cltype >= p0->type->table_size) {
2075 var = 0;
2076 } else {
2077 var = p0->type->type_table[cltype] == idtype;
2078 }
2079 }
2080 if (!var) {
2081 var_class_name = p0 == NULL ? "null" : p0->type->name;
2082 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[ListNode#0]", var_class_name);
2083 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 306);
2084 exit(1);
2085 }
2086 self->attrs[COLOR_list__ListNode___next].val = p0; /* _next on <self:ListNode[nullable Object]> */
2087 RET_LABEL:;
2088 }
2089 /* method list#ListNode#next= for (self: Object, nullable ListNode[nullable Object]) */
2090 void VIRTUAL_list__ListNode__next_61d(val* self, val* p0) {
2091 list__ListNode__next_61d(self, p0);
2092 RET_LABEL:;
2093 }
2094 /* method list#ListNode#prev for (self: ListNode[nullable Object]): nullable ListNode[nullable Object] */
2095 val* list__ListNode__prev(val* self) {
2096 val* var /* : nullable ListNode[nullable Object] */;
2097 val* var1 /* : nullable ListNode[nullable Object] */;
2098 var1 = self->attrs[COLOR_list__ListNode___prev].val; /* _prev on <self:ListNode[nullable Object]> */
2099 var = var1;
2100 RET_LABEL:;
2101 return var;
2102 }
2103 /* method list#ListNode#prev for (self: Object): nullable ListNode[nullable Object] */
2104 val* VIRTUAL_list__ListNode__prev(val* self) {
2105 val* var /* : nullable ListNode[nullable Object] */;
2106 val* var1 /* : nullable ListNode[nullable Object] */;
2107 var1 = list__ListNode__prev(self);
2108 var = var1;
2109 RET_LABEL:;
2110 return var;
2111 }
2112 /* method list#ListNode#prev= for (self: ListNode[nullable Object], nullable ListNode[nullable Object]) */
2113 void list__ListNode__prev_61d(val* self, val* p0) {
2114 short int var /* : Bool */;
2115 int cltype;
2116 int idtype;
2117 const struct type* type_struct;
2118 const char* var_class_name;
2119 /* Covariant cast for argument 0 (prev) <p0:nullable ListNode[nullable Object]> isa nullable ListNode[ListNode#0] */
2120 /* <p0:nullable ListNode[nullable Object]> isa nullable ListNode[ListNode#0] */
2121 type_struct = self->type->resolution_table->types[COLOR_list__ListNodelist__ListNode_FT0];
2122 cltype = type_struct->color;
2123 idtype = type_struct->id;
2124 if(p0 == NULL) {
2125 var = 1;
2126 } else {
2127 if(cltype >= p0->type->table_size) {
2128 var = 0;
2129 } else {
2130 var = p0->type->type_table[cltype] == idtype;
2131 }
2132 }
2133 if (!var) {
2134 var_class_name = p0 == NULL ? "null" : p0->type->name;
2135 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[ListNode#0]", var_class_name);
2136 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 309);
2137 exit(1);
2138 }
2139 self->attrs[COLOR_list__ListNode___prev].val = p0; /* _prev on <self:ListNode[nullable Object]> */
2140 RET_LABEL:;
2141 }
2142 /* method list#ListNode#prev= for (self: Object, nullable ListNode[nullable Object]) */
2143 void VIRTUAL_list__ListNode__prev_61d(val* self, val* p0) {
2144 list__ListNode__prev_61d(self, p0);
2145 RET_LABEL:;
2146 }