-#include "array.sep.0.h"
+#include "standard__array.sep.0.h"
/* method array#AbstractArrayRead#length for (self: AbstractArrayRead[nullable Object]): Int */
-long array__AbstractArrayRead__length(val* self) {
+long standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__length(val* self) {
long var /* : Int */;
long var1 /* : Int */;
-var1 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#AbstractArrayRead#length for (self: Object): Int */
-long VIRTUAL_array__AbstractArrayRead__length(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-long var3 /* : Int */;
-{ /* Inline array#AbstractArrayRead#length (self) on <self:Object(AbstractArrayRead[nullable Object])> */
-var3 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Object(AbstractArrayRead[nullable Object])> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
+var1 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var = var1;
RET_LABEL:;
return var;
}
/* method array#AbstractArrayRead#is_empty for (self: AbstractArrayRead[nullable Object]): Bool */
-short int array__AbstractArrayRead__is_empty(val* self) {
+short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(val* self) {
short int var /* : Bool */;
long var1 /* : Int */;
long var2 /* : Int */;
short int var3 /* : Bool */;
-short int var4 /* : Bool */;
-short int var6 /* : Bool */;
-var1 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
+short int var5 /* : Bool */;
+var1 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var2 = 0;
{
{ /* Inline kernel#Int#== (var1,var2) on <var1:Int> */
-var6 = var1 == var2;
-var4 = var6;
-goto RET_LABEL5;
-RET_LABEL5:(void)0;
+var5 = var1 == var2;
+var3 = var5;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
}
-var3 = var4;
}
var = var3;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#is_empty for (self: Object): Bool */
-short int VIRTUAL_array__AbstractArrayRead__is_empty(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__AbstractArrayRead__is_empty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#has for (self: AbstractArrayRead[nullable Object], nullable Object): Bool */
-short int array__AbstractArrayRead__has(val* self, val* p0) {
+short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__has(val* self, val* p0) {
short int var /* : Bool */;
short int var1 /* : Bool */;
int cltype;
short int var25 /* : Bool */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 28);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 28);
show_backtrace(1);
}
var_item = p0;
var_i = var2;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArrayRead[nullable Object]> */
-var5 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
+var5 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var3 = var5;
RET_LABEL4:(void)0;
}
/* <var_l:Int> isa OTHER */
var8 = 1; /* easy <var_l:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name11 = type_kernel__Int.name;
+var_class_name11 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var12 = var_i < var_l;
}
if (var6){
{
-var13 = array__Array___91d_93d(self, var_i);
+var13 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_i);
}
if (var13 == NULL) {
var14 = (var_item == NULL);
} else {
-var15 = ((short int (*)(val*, val*))(var13->class->vft[COLOR_kernel__Object___61d_61d]))(var13, var_item) /* == on <var13:nullable Object>*/;
+var15 = ((short int (*)(val* self, val* p0))(var13->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var13, var_item) /* == on <var13:nullable Object>*/;
var14 = var15;
}
if (var14){
/* <var17:Int> isa OTHER */
var20 = 1; /* easy <var17:Int> isa OTHER*/
if (unlikely(!var20)) {
-var_class_name23 = type_kernel__Int.name;
+var_class_name23 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name23);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var24 = var_i + var17;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_array__AbstractArrayRead__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__AbstractArrayRead__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#index_of for (self: AbstractArrayRead[nullable Object], nullable Object): Int */
-long array__AbstractArrayRead__index_of(val* self, val* p0) {
+long standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__index_of(val* self, val* p0) {
long var /* : Int */;
short int var1 /* : Bool */;
int cltype;
long var3 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__SequenceRead_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 62);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 62);
show_backtrace(1);
}
var_item = p0;
var2 = 0;
{
-var3 = array__AbstractArrayRead__index_of_from(self, var_item, var2);
+var3 = standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__index_of_from(self, var_item, var2);
}
var = var3;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#index_of for (self: Object, nullable Object): Int */
-long VIRTUAL_array__AbstractArrayRead__index_of(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__AbstractArrayRead__index_of(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#last_index_of for (self: AbstractArrayRead[nullable Object], nullable Object): Int */
-long array__AbstractArrayRead__last_index_of(val* self, val* p0) {
+long standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__last_index_of(val* self, val* p0) {
long var /* : Int */;
short int var1 /* : Bool */;
int cltype;
long var13 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArrayRead_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 64);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 64);
show_backtrace(1);
}
var_item = p0;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArrayRead[nullable Object]> */
-var4 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var2 = var4;
RET_LABEL3:(void)0;
}
/* <var5:Int> isa OTHER */
var8 = 1; /* easy <var5:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name11 = type_kernel__Int.name;
+var_class_name11 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var12 = var2 - var5;
}
}
{
-var13 = array__AbstractArrayRead__last_index_of_from(self, var_item, var6);
+var13 = standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__last_index_of_from(self, var_item, var6);
}
var = var13;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#last_index_of for (self: Object, nullable Object): Int */
-long VIRTUAL_array__AbstractArrayRead__last_index_of(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__AbstractArrayRead__last_index_of(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#index_of_from for (self: AbstractArrayRead[nullable Object], nullable Object, Int): Int */
-long array__AbstractArrayRead__index_of_from(val* self, val* p0, long p1) {
+long standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__index_of_from(val* self, val* p0, long p1) {
long var /* : Int */;
short int var1 /* : Bool */;
int cltype;
long var26 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArrayRead_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 66);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 66);
show_backtrace(1);
}
var_item = p0;
var_i = var_pos;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArrayRead[nullable Object]> */
-var4 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var2 = var4;
RET_LABEL3:(void)0;
}
/* <var_len:Int> isa OTHER */
var7 = 1; /* easy <var_len:Int> isa OTHER*/
if (unlikely(!var7)) {
-var_class_name10 = type_kernel__Int.name;
+var_class_name10 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name10);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var11 = var_i < var_len;
}
if (var5){
{
-var12 = array__Array___91d_93d(self, var_i);
+var12 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_i);
}
if (var12 == NULL) {
var13 = (var_item == NULL);
} else {
-var14 = ((short int (*)(val*, val*))(var12->class->vft[COLOR_kernel__Object___61d_61d]))(var12, var_item) /* == on <var12:nullable Object>*/;
+var14 = ((short int (*)(val* self, val* p0))(var12->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var12, var_item) /* == on <var12:nullable Object>*/;
var13 = var14;
}
if (var13){
/* <var15:Int> isa OTHER */
var18 = 1; /* easy <var15:Int> isa OTHER*/
if (unlikely(!var18)) {
-var_class_name21 = type_kernel__Int.name;
+var_class_name21 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var22 = var_i + var15;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#index_of_from for (self: Object, nullable Object, Int): Int */
-long VIRTUAL_array__AbstractArrayRead__index_of_from(val* self, val* p0, long p1) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__AbstractArrayRead__index_of_from(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#last_index_of_from for (self: AbstractArrayRead[nullable Object], nullable Object, Int): Int */
-long array__AbstractArrayRead__last_index_of_from(val* self, val* p0, long p1) {
+long standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__last_index_of_from(val* self, val* p0, long p1) {
long var /* : Int */;
short int var1 /* : Bool */;
int cltype;
long var24 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArrayRead_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 79);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 79);
show_backtrace(1);
}
var_item = p0;
/* <var2:Int> isa OTHER */
var5 = 1; /* easy <var2:Int> isa OTHER*/
if (unlikely(!var5)) {
-var_class_name8 = type_kernel__Int.name;
+var_class_name8 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name8);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var9 = var_i >= var2;
}
if (var3){
{
-var10 = array__Array___91d_93d(self, var_i);
+var10 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_i);
}
if (var10 == NULL) {
var11 = (var_item == NULL);
} else {
-var12 = ((short int (*)(val*, val*))(var10->class->vft[COLOR_kernel__Object___61d_61d]))(var10, var_item) /* == on <var10:nullable Object>*/;
+var12 = ((short int (*)(val* self, val* p0))(var10->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var10, var_item) /* == on <var10:nullable Object>*/;
var11 = var12;
}
if (var11){
/* <var13:Int> isa OTHER */
var16 = 1; /* easy <var13:Int> isa OTHER*/
if (unlikely(!var16)) {
-var_class_name19 = type_kernel__Int.name;
+var_class_name19 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name19);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var20 = var_i - var13;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#last_index_of_from for (self: Object, nullable Object, Int): Int */
-long VIRTUAL_array__AbstractArrayRead__last_index_of_from(val* self, val* p0, long p1) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__AbstractArrayRead__last_index_of_from(self, p0, p1);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#reversed for (self: AbstractArrayRead[nullable Object]): Array[nullable Object] */
-val* array__AbstractArrayRead__reversed(val* self) {
+val* standard___standard__AbstractArrayRead___reversed(val* self) {
val* var /* : Array[nullable Object] */;
long var1 /* : Int */;
long var_cmp /* var cmp: Int */;
const char* var_class_name14;
long var15 /* : Int */;
val* var16 /* : nullable Object */;
-var1 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArrayRead[nullable Object]> */
var_cmp = var1;
-var2 = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arrayarray__AbstractArrayRead_FT0]);
+var2 = NEW_standard__Array(self->type->resolution_table->types[COLOR_standard__Array__standard__AbstractArrayRead___35dE]);
{
-array__Array__with_capacity(var2, var_cmp); /* Direct call array#Array#with_capacity on <var2:Array[nullable Object]>*/
+standard___standard__Array___with_capacity(var2, var_cmp); /* Direct call array#Array#with_capacity on <var2:Array[nullable Object]>*/
}
var_result = var2;
for(;;) {
/* <var3:Int> isa OTHER */
var6 = 1; /* easy <var3:Int> isa OTHER*/
if (unlikely(!var6)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
show_backtrace(1);
}
var7 = var_cmp > var3;
/* <var8:Int> isa OTHER */
var11 = 1; /* easy <var8:Int> isa OTHER*/
if (unlikely(!var11)) {
-var_class_name14 = type_kernel__Int.name;
+var_class_name14 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var15 = var_cmp - var8;
}
var_cmp = var9;
{
-var16 = array__Array___91d_93d(self, var_cmp);
+var16 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_cmp);
}
{
-array__Array__add(var_result, var16); /* Direct call array#Array#add on <var_result:Array[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_result, var16); /* Direct call array#Array#add on <var_result:Array[nullable Object]>*/
}
} else {
goto BREAK_label;
RET_LABEL:;
return var;
}
-/* method array#AbstractArrayRead#reversed for (self: Object): Array[nullable Object] */
-val* VIRTUAL_array__AbstractArrayRead__reversed(val* self) {
-val* var /* : Array[nullable Object] */;
-val* var1 /* : Array[nullable Object] */;
-var1 = array__AbstractArrayRead__reversed(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArrayRead#copy_to for (self: AbstractArrayRead[nullable Object], Int, Int, AbstractArray[nullable Object], Int) */
-void array__AbstractArrayRead__copy_to(val* self, long p0, long p1, val* p2, long p3) {
+void standard___standard__AbstractArrayRead___copy_to(val* self, long p0, long p1, val* p2, long p3) {
short int var /* : Bool */;
int cltype;
int idtype;
val* var31 /* : nullable Object */;
/* Covariant cast for argument 2 (dest) <p2:AbstractArray[nullable Object]> isa AbstractArray[E] */
/* <p2:AbstractArray[nullable Object]> isa AbstractArray[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArrayarray__AbstractArrayRead_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArray__standard__AbstractArrayRead___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p2->type->table_size) {
if (unlikely(!var)) {
var_class_name = p2 == NULL ? "null" : p2->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractArray[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 106);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 106);
show_backtrace(1);
}
var_start = p0;
/* <var1:Int> isa OTHER */
var4 = 1; /* easy <var1:Int> isa OTHER*/
if (unlikely(!var4)) {
-var_class_name7 = type_kernel__Int.name;
+var_class_name7 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
show_backtrace(1);
}
var8 = var_i > var1;
/* <var9:Int> isa OTHER */
var12 = 1; /* easy <var9:Int> isa OTHER*/
if (unlikely(!var12)) {
-var_class_name15 = type_kernel__Int.name;
+var_class_name15 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name15);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var16 = var_i - var9;
/* <var_i:Int> isa OTHER */
var19 = 1; /* easy <var_i:Int> isa OTHER*/
if (unlikely(!var19)) {
-var_class_name22 = type_kernel__Int.name;
+var_class_name22 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var23 = var_new_start + var_i;
/* <var_i:Int> isa OTHER */
var26 = 1; /* easy <var_i:Int> isa OTHER*/
if (unlikely(!var26)) {
-var_class_name29 = type_kernel__Int.name;
+var_class_name29 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name29);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var30 = var_start + var_i;
}
}
{
-var31 = array__Array___91d_93d(self, var24);
+var31 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var24);
}
{
-array__Array___91d_93d_61d(var_dest, var17, var31); /* Direct call array#Array#[]= on <var_dest:AbstractArray[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(var_dest, var17, var31); /* Direct call array#Array#[]= on <var_dest:AbstractArray[nullable Object]>*/
}
} else {
goto BREAK_label;
BREAK_label: (void)0;
RET_LABEL:;
}
-/* method array#AbstractArrayRead#copy_to for (self: Object, Int, Int, AbstractArray[nullable Object], Int) */
-void VIRTUAL_array__AbstractArrayRead__copy_to(val* self, long p0, long p1, val* p2, long p3) {
-array__AbstractArrayRead__copy_to(self, p0, p1, p2, p3); /* Direct call array#AbstractArrayRead#copy_to on <self:Object(AbstractArrayRead[nullable Object])>*/
-RET_LABEL:;
-}
/* method array#AbstractArrayRead#iterator for (self: AbstractArrayRead[nullable Object]): ArrayIterator[nullable Object] */
-val* array__AbstractArrayRead__iterator(val* self) {
+val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self) {
val* var /* : ArrayIterator[nullable Object] */;
val* var1 /* : ArrayIterator[nullable Object] */;
-var1 = NEW_array__ArrayIterator(self->type->resolution_table->types[COLOR_array__ArrayIteratorarray__AbstractArrayRead_FT0]);
+var1 = NEW_standard__array__ArrayIterator(self->type->resolution_table->types[COLOR_standard__array__ArrayIterator__standard__AbstractArrayRead___35dE]);
{
-array__ArrayIterator__init(var1, self); /* Direct call array#ArrayIterator#init on <var1:ArrayIterator[nullable Object]>*/
+((void (*)(val* self, val* p0))(var1->class->vft[COLOR_standard__array__ArrayIterator__array_61d]))(var1, self) /* array= on <var1:ArrayIterator[nullable Object]>*/;
}
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
+{
+((void (*)(val* self))(var1->class->vft[COLOR_standard__kernel__Object__init]))(var1) /* init on <var1:ArrayIterator[nullable Object]>*/;
}
-/* method array#AbstractArrayRead#iterator for (self: Object): Iterator[nullable Object] */
-val* VIRTUAL_array__AbstractArrayRead__iterator(val* self) {
-val* var /* : Iterator[nullable Object] */;
-val* var1 /* : ArrayIterator[nullable Object] */;
-var1 = array__AbstractArrayRead__iterator(self);
var = var1;
+goto RET_LABEL;
RET_LABEL:;
return var;
}
/* method array#AbstractArray#push for (self: AbstractArray[nullable Object], nullable Object) */
-void array__AbstractArray__push(val* self, val* p0) {
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__push(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
val* var_item /* var item: nullable Object */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 147);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 147);
show_backtrace(1);
}
var_item = p0;
{
-array__Array__add(self, var_item); /* Direct call array#Array#add on <self:AbstractArray[nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(self, var_item); /* Direct call array#Array#add on <self:AbstractArray[nullable Object]>*/
}
-/* method array#AbstractArray#push for (self: Object, nullable Object) */
-void VIRTUAL_array__AbstractArray__push(val* self, val* p0) {
-array__AbstractArray__push(self, p0); /* Direct call array#AbstractArray#push on <self:Object(AbstractArray[nullable Object])>*/
RET_LABEL:;
}
/* method array#AbstractArray#pop for (self: AbstractArray[nullable Object]): nullable Object */
-val* array__AbstractArray__pop(val* self) {
+val* standard___standard__AbstractArray___standard__abstract_collection__Sequence__pop(val* self) {
val* var /* : nullable Object */;
short int var1 /* : Bool */;
short int var2 /* : Bool */;
const char* var_class_name;
long var9 /* : Int */;
{
-var1 = array__AbstractArrayRead__is_empty(self);
+var1 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(self);
}
var2 = !var1;
if (unlikely(!var2)) {
PRINT_ERROR("Runtime error: %s", "Assert \'not_empty\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 151);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 151);
show_backtrace(1);
}
{
-var3 = abstract_collection__SequenceRead__last(self);
+var3 = standard___standard__SequenceRead___last(self);
}
var_r = var3;
var_ = self;
-var4 = var_->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var_:AbstractArray[nullable Object]> */
+var4 = var_->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_:AbstractArray[nullable Object]> */
var5 = 1;
{
{ /* Inline kernel#Int#- (var4,var5) on <var4:Int> */
/* <var5:Int> isa OTHER */
var8 = 1; /* easy <var5:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var9 = var4 - var5;
RET_LABEL7:(void)0;
}
}
-var_->attrs[COLOR_array__AbstractArrayRead___length].l = var6; /* _length on <var_:AbstractArray[nullable Object]> */
+var_->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var6; /* _length on <var_:AbstractArray[nullable Object]> */
var = var_r;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#AbstractArray#pop for (self: Object): nullable Object */
-val* VIRTUAL_array__AbstractArray__pop(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__AbstractArray__pop(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArray#shift for (self: AbstractArray[nullable Object]): nullable Object */
-val* array__AbstractArray__shift(val* self) {
+val* standard___standard__AbstractArray___standard__abstract_collection__Sequence__shift(val* self) {
val* var /* : nullable Object */;
short int var1 /* : Bool */;
short int var2 /* : Bool */;
const char* var_class_name35;
long var36 /* : Int */;
{
-var1 = array__AbstractArrayRead__is_empty(self);
+var1 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(self);
}
var2 = !var1;
if (unlikely(!var2)) {
PRINT_ERROR("Runtime error: %s", "Assert \'not_empty\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 159);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 159);
show_backtrace(1);
}
{
-var3 = abstract_collection__SequenceRead__first(self);
+var3 = standard___standard__SequenceRead___Collection__first(self);
}
var_r = var3;
var4 = 1;
var_i = var4;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var7 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var7 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
var5 = var7;
RET_LABEL6:(void)0;
}
/* <var_l:Int> isa OTHER */
var10 = 1; /* easy <var_l:Int> isa OTHER*/
if (unlikely(!var10)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var11 = var_i < var_l;
/* <var12:Int> isa OTHER */
var15 = 1; /* easy <var12:Int> isa OTHER*/
if (unlikely(!var15)) {
-var_class_name18 = type_kernel__Int.name;
+var_class_name18 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var19 = var_i - var12;
}
}
{
-var20 = array__Array___91d_93d(self, var_i);
+var20 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_i);
}
{
-array__Array___91d_93d_61d(self, var13, var20); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var13, var20); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
var21 = 1;
{
/* <var21:Int> isa OTHER */
var24 = 1; /* easy <var21:Int> isa OTHER*/
if (unlikely(!var24)) {
-var_class_name27 = type_kernel__Int.name;
+var_class_name27 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var28 = var_i + var21;
/* <var29:Int> isa OTHER */
var32 = 1; /* easy <var29:Int> isa OTHER*/
if (unlikely(!var32)) {
-var_class_name35 = type_kernel__Int.name;
+var_class_name35 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var36 = var_l - var29;
RET_LABEL31:(void)0;
}
}
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var30; /* _length on <self:AbstractArray[nullable Object]> */
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var30; /* _length on <self:AbstractArray[nullable Object]> */
var = var_r;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#AbstractArray#shift for (self: Object): nullable Object */
-val* VIRTUAL_array__AbstractArray__shift(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__AbstractArray__shift(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#AbstractArray#unshift for (self: AbstractArray[nullable Object], nullable Object) */
-void array__AbstractArray__unshift(val* self, val* p0) {
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__unshift(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
long var37 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 171);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 171);
show_backtrace(1);
}
var_item = p0;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var3 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
var1 = var3;
RET_LABEL2:(void)0;
}
/* <var4:Int> isa OTHER */
var7 = 1; /* easy <var4:Int> isa OTHER*/
if (unlikely(!var7)) {
-var_class_name10 = type_kernel__Int.name;
+var_class_name10 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name10);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var11 = var1 - var4;
/* <var12:Int> isa OTHER */
var15 = 1; /* easy <var12:Int> isa OTHER*/
if (unlikely(!var15)) {
-var_class_name18 = type_kernel__Int.name;
+var_class_name18 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var19 = var_i >= var12;
/* <var20:Int> isa OTHER */
var23 = 1; /* easy <var20:Int> isa OTHER*/
if (unlikely(!var23)) {
-var_class_name26 = type_kernel__Int.name;
+var_class_name26 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name26);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var27 = var_i + var20;
}
}
{
-var28 = array__Array___91d_93d(self, var_i);
+var28 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_i);
}
{
-array__Array___91d_93d_61d(self, var21, var28); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var21, var28); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
var29 = 1;
{
/* <var29:Int> isa OTHER */
var32 = 1; /* easy <var29:Int> isa OTHER*/
if (unlikely(!var32)) {
-var_class_name35 = type_kernel__Int.name;
+var_class_name35 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var36 = var_i - var29;
BREAK_label: (void)0;
var37 = 0;
{
-array__Array___91d_93d_61d(self, var37, var_item); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var37, var_item); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
-/* method array#AbstractArray#unshift for (self: Object, nullable Object) */
-void VIRTUAL_array__AbstractArray__unshift(val* self, val* p0) {
-array__AbstractArray__unshift(self, p0); /* Direct call array#AbstractArray#unshift on <self:Object(AbstractArray[nullable Object])>*/
RET_LABEL:;
}
/* method array#AbstractArray#insert for (self: AbstractArray[nullable Object], nullable Object, Int) */
-void array__AbstractArray__insert(val* self, val* p0, long p1) {
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__insert(val* self, val* p0, long p1) {
short int var /* : Bool */;
int cltype;
int idtype;
long var29 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArray_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 181);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 181);
show_backtrace(1);
}
var_item = p0;
var_pos = p1;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var3 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
var1 = var3;
RET_LABEL2:(void)0;
}
/* <var4:Int> isa OTHER */
var7 = 1; /* easy <var4:Int> isa OTHER*/
if (unlikely(!var7)) {
-var_class_name10 = type_kernel__Int.name;
+var_class_name10 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name10);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var11 = var1 + var4;
}
}
{
-array__Array__enlarge(self, var5); /* Direct call array#Array#enlarge on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___AbstractArray__enlarge(self, var5); /* Direct call array#Array#enlarge on <self:AbstractArray[nullable Object]>*/
}
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var14 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var14 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
var12 = var14;
RET_LABEL13:(void)0;
}
/* <var_pos:Int> isa OTHER */
var17 = 1; /* easy <var_pos:Int> isa OTHER*/
if (unlikely(!var17)) {
-var_class_name20 = type_kernel__Int.name;
+var_class_name20 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name20);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var21 = var12 - var_pos;
/* <var22:Int> isa OTHER */
var25 = 1; /* easy <var22:Int> isa OTHER*/
if (unlikely(!var25)) {
-var_class_name28 = type_kernel__Int.name;
+var_class_name28 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var29 = var_pos + var22;
}
}
{
-array__AbstractArrayRead__copy_to(self, var_pos, var15, self, var23); /* Direct call array#AbstractArrayRead#copy_to on <self:AbstractArray[nullable Object]>*/
+standard___standard__AbstractArrayRead___copy_to(self, var_pos, var15, self, var23); /* Direct call array#AbstractArrayRead#copy_to on <self:AbstractArray[nullable Object]>*/
}
{
-array__Array___91d_93d_61d(self, var_pos, var_item); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var_pos, var_item); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
-/* method array#AbstractArray#insert for (self: Object, nullable Object, Int) */
-void VIRTUAL_array__AbstractArray__insert(val* self, val* p0, long p1) {
-array__AbstractArray__insert(self, p0, p1); /* Direct call array#AbstractArray#insert on <self:Object(AbstractArray[nullable Object])>*/
RET_LABEL:;
}
/* method array#AbstractArray#insert_all for (self: AbstractArray[nullable Object], Collection[nullable Object], Int) */
-void array__AbstractArray__insert_all(val* self, val* p0, long p1) {
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__insert_all(val* self, val* p0, long p1) {
short int var /* : Bool */;
int cltype;
int idtype;
long var_l /* var l: Int */;
long var2 /* : Int */;
short int var3 /* : Bool */;
-short int var4 /* : Bool */;
-short int var6 /* : Bool */;
-long var7 /* : Int */;
+short int var5 /* : Bool */;
+long var6 /* : Int */;
+long var8 /* : Int */;
long var9 /* : Int */;
-long var10 /* : Int */;
-short int var12 /* : Bool */;
-int cltype13;
-int idtype14;
-const char* var_class_name15;
-long var16 /* : Int */;
+short int var11 /* : Bool */;
+int cltype12;
+int idtype13;
+const char* var_class_name14;
+long var15 /* : Int */;
val* var_ /* var : AbstractArray[nullable Object] */;
+long var16 /* : Int */;
long var17 /* : Int */;
-long var18 /* : Int */;
-short int var20 /* : Bool */;
-int cltype21;
-int idtype22;
-const char* var_class_name23;
+short int var19 /* : Bool */;
+int cltype20;
+int idtype21;
+const char* var_class_name22;
+long var23 /* : Int */;
long var24 /* : Int */;
-long var25 /* : Int */;
+long var26 /* : Int */;
long var27 /* : Int */;
-long var28 /* : Int */;
-short int var30 /* : Bool */;
-int cltype31;
-int idtype32;
-const char* var_class_name33;
+short int var29 /* : Bool */;
+int cltype30;
+int idtype31;
+const char* var_class_name32;
+long var33 /* : Int */;
long var34 /* : Int */;
-long var35 /* : Int */;
-short int var37 /* : Bool */;
-int cltype38;
-int idtype39;
-const char* var_class_name40;
+short int var36 /* : Bool */;
+int cltype37;
+int idtype38;
+const char* var_class_name39;
+long var40 /* : Int */;
long var41 /* : Int */;
-long var42 /* : Int */;
-short int var44 /* : Bool */;
-int cltype45;
-int idtype46;
-const char* var_class_name47;
-long var48 /* : Int */;
-val* var_49 /* var : Collection[nullable Object] */;
-val* var50 /* : Iterator[nullable Object] */;
-val* var_51 /* var : Iterator[nullable Object] */;
-short int var52 /* : Bool */;
-val* var53 /* : nullable Object */;
+short int var43 /* : Bool */;
+int cltype44;
+int idtype45;
+const char* var_class_name46;
+long var47 /* : Int */;
+val* var_48 /* var : Collection[nullable Object] */;
+val* var49 /* : Iterator[nullable Object] */;
+val* var_50 /* var : Iterator[nullable Object] */;
+short int var51 /* : Bool */;
+val* var52 /* : nullable Object */;
val* var_c /* var c: nullable Object */;
+long var53 /* : Int */;
long var54 /* : Int */;
-long var55 /* : Int */;
-short int var57 /* : Bool */;
-int cltype58;
-int idtype59;
-const char* var_class_name60;
-long var61 /* : Int */;
+short int var56 /* : Bool */;
+int cltype57;
+int idtype58;
+const char* var_class_name59;
+long var60 /* : Int */;
/* Covariant cast for argument 0 (coll) <p0:Collection[nullable Object]> isa Collection[E] */
/* <p0:Collection[nullable Object]> isa Collection[E] */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collectionabstract_collection__Sequence_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__Collection__standard__AbstractArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 188);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 188);
show_backtrace(1);
}
var_coll = p0;
var_pos = p1;
{
-var1 = ((long (*)(val*))(var_coll->class->vft[COLOR_abstract_collection__Collection__length]))(var_coll) /* length on <var_coll:Collection[nullable Object]>*/;
+var1 = ((long (*)(val* self))(var_coll->class->vft[COLOR_standard__abstract_collection__Collection__length]))(var_coll) /* length on <var_coll:Collection[nullable Object]>*/;
}
var_l = var1;
var2 = 0;
{
{ /* Inline kernel#Int#== (var_l,var2) on <var_l:Int> */
-var6 = var_l == var2;
-var4 = var6;
-goto RET_LABEL5;
-RET_LABEL5:(void)0;
+var5 = var_l == var2;
+var3 = var5;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
}
-var3 = var4;
}
if (var3){
goto RET_LABEL;
}
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var9 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
-var7 = var9;
-RET_LABEL8:(void)0;
+var8 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var6 = var8;
+RET_LABEL7:(void)0;
}
}
{
-{ /* Inline kernel#Int#+ (var7,var_l) on <var7:Int> */
+{ /* Inline kernel#Int#+ (var6,var_l) on <var6:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
-var12 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var12)) {
-var_class_name15 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name15);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+var11 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var11)) {
+var_class_name14 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
-var16 = var7 + var_l;
-var10 = var16;
-goto RET_LABEL11;
-RET_LABEL11:(void)0;
+var15 = var6 + var_l;
+var9 = var15;
+goto RET_LABEL10;
+RET_LABEL10:(void)0;
}
}
{
-array__Array__enlarge(self, var10); /* Direct call array#Array#enlarge on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___AbstractArray__enlarge(self, var9); /* Direct call array#Array#enlarge on <self:AbstractArray[nullable Object]>*/
}
var_ = self;
-var17 = var_->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var_:AbstractArray[nullable Object]> */
+var16 = var_->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_:AbstractArray[nullable Object]> */
{
-{ /* Inline kernel#Int#+ (var17,var_l) on <var17:Int> */
+{ /* Inline kernel#Int#+ (var16,var_l) on <var16:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
-var20 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var20)) {
-var_class_name23 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name23);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+var19 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var19)) {
+var_class_name22 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
-var24 = var17 + var_l;
-var18 = var24;
-goto RET_LABEL19;
-RET_LABEL19:(void)0;
+var23 = var16 + var_l;
+var17 = var23;
+goto RET_LABEL18;
+RET_LABEL18:(void)0;
}
}
-var_->attrs[COLOR_array__AbstractArrayRead___length].l = var18; /* _length on <var_:AbstractArray[nullable Object]> */
+var_->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var17; /* _length on <var_:AbstractArray[nullable Object]> */
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var27 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
-var25 = var27;
-RET_LABEL26:(void)0;
+var26 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var24 = var26;
+RET_LABEL25:(void)0;
}
}
{
-{ /* Inline kernel#Int#- (var25,var_pos) on <var25:Int> */
+{ /* Inline kernel#Int#- (var24,var_pos) on <var24:Int> */
/* Covariant cast for argument 0 (i) <var_pos:Int> isa OTHER */
/* <var_pos:Int> isa OTHER */
-var30 = 1; /* easy <var_pos:Int> isa OTHER*/
-if (unlikely(!var30)) {
-var_class_name33 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name33);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+var29 = 1; /* easy <var_pos:Int> isa OTHER*/
+if (unlikely(!var29)) {
+var_class_name32 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
-var34 = var25 - var_pos;
-var28 = var34;
-goto RET_LABEL29;
-RET_LABEL29:(void)0;
+var33 = var24 - var_pos;
+var27 = var33;
+goto RET_LABEL28;
+RET_LABEL28:(void)0;
}
}
{
-{ /* Inline kernel#Int#- (var28,var_l) on <var28:Int> */
+{ /* Inline kernel#Int#- (var27,var_l) on <var27:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
-var37 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var37)) {
-var_class_name40 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name40);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+var36 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var36)) {
+var_class_name39 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name39);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
-var41 = var28 - var_l;
-var35 = var41;
-goto RET_LABEL36;
-RET_LABEL36:(void)0;
+var40 = var27 - var_l;
+var34 = var40;
+goto RET_LABEL35;
+RET_LABEL35:(void)0;
}
}
{
{ /* Inline kernel#Int#+ (var_pos,var_l) on <var_pos:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
-var44 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var44)) {
-var_class_name47 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name47);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+var43 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var43)) {
+var_class_name46 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
-var48 = var_pos + var_l;
-var42 = var48;
-goto RET_LABEL43;
-RET_LABEL43:(void)0;
+var47 = var_pos + var_l;
+var41 = var47;
+goto RET_LABEL42;
+RET_LABEL42:(void)0;
}
}
{
-array__AbstractArrayRead__copy_to(self, var_pos, var35, self, var42); /* Direct call array#AbstractArrayRead#copy_to on <self:AbstractArray[nullable Object]>*/
+standard___standard__AbstractArrayRead___copy_to(self, var_pos, var34, self, var41); /* Direct call array#AbstractArrayRead#copy_to on <self:AbstractArray[nullable Object]>*/
}
-var_49 = var_coll;
+var_48 = var_coll;
{
-var50 = ((val* (*)(val*))(var_49->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_49) /* iterator on <var_49:Collection[nullable Object]>*/;
+var49 = ((val* (*)(val* self))(var_48->class->vft[COLOR_standard__abstract_collection__Collection__iterator]))(var_48) /* iterator on <var_48:Collection[nullable Object]>*/;
}
-var_51 = var50;
+var_50 = var49;
for(;;) {
{
-var52 = ((short int (*)(val*))(var_51->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var_51) /* is_ok on <var_51:Iterator[nullable Object]>*/;
+var51 = ((short int (*)(val* self))(var_50->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(var_50) /* is_ok on <var_50:Iterator[nullable Object]>*/;
}
-if (var52){
+if (var51){
{
-var53 = ((val* (*)(val*))(var_51->class->vft[COLOR_abstract_collection__Iterator__item]))(var_51) /* item on <var_51:Iterator[nullable Object]>*/;
+var52 = ((val* (*)(val* self))(var_50->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_50) /* item on <var_50:Iterator[nullable Object]>*/;
}
-var_c = var53;
+var_c = var52;
{
-array__Array___91d_93d_61d(self, var_pos, var_c); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var_pos, var_c); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
-var54 = 1;
+var53 = 1;
{
-{ /* Inline kernel#Int#+ (var_pos,var54) on <var_pos:Int> */
-/* Covariant cast for argument 0 (i) <var54:Int> isa OTHER */
-/* <var54:Int> isa OTHER */
-var57 = 1; /* easy <var54:Int> isa OTHER*/
-if (unlikely(!var57)) {
-var_class_name60 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+{ /* Inline kernel#Int#+ (var_pos,var53) on <var_pos:Int> */
+/* Covariant cast for argument 0 (i) <var53:Int> isa OTHER */
+/* <var53:Int> isa OTHER */
+var56 = 1; /* easy <var53:Int> isa OTHER*/
+if (unlikely(!var56)) {
+var_class_name59 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name59);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
-var61 = var_pos + var54;
-var55 = var61;
-goto RET_LABEL56;
-RET_LABEL56:(void)0;
+var60 = var_pos + var53;
+var54 = var60;
+goto RET_LABEL55;
+RET_LABEL55:(void)0;
}
}
-var_pos = var55;
+var_pos = var54;
{
-((void (*)(val*))(var_51->class->vft[COLOR_abstract_collection__Iterator__next]))(var_51) /* next on <var_51:Iterator[nullable Object]>*/;
+((void (*)(val* self))(var_50->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_50) /* next on <var_50:Iterator[nullable Object]>*/;
}
} else {
goto BREAK_label;
}
BREAK_label: (void)0;
{
-{ /* Inline abstract_collection#Iterator#finish (var_51) on <var_51:Iterator[nullable Object]> */
-RET_LABEL62:(void)0;
-}
+{ /* Inline abstract_collection#Iterator#finish (var_50) on <var_50:Iterator[nullable Object]> */
+RET_LABEL61:(void)0;
}
-RET_LABEL:;
}
-/* method array#AbstractArray#insert_all for (self: Object, Collection[nullable Object], Int) */
-void VIRTUAL_array__AbstractArray__insert_all(val* self, val* p0, long p1) {
-array__AbstractArray__insert_all(self, p0, p1); /* Direct call array#AbstractArray#insert_all on <self:Object(AbstractArray[nullable Object])>*/
RET_LABEL:;
}
/* method array#AbstractArray#clear for (self: AbstractArray[nullable Object]) */
-void array__AbstractArray__clear(val* self) {
+void standard___standard__AbstractArray___standard__abstract_collection__RemovableCollection__clear(val* self) {
long var /* : Int */;
var = 0;
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var; /* _length on <self:AbstractArray[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#AbstractArray#clear for (self: Object) */
-void VIRTUAL_array__AbstractArray__clear(val* self) {
-array__AbstractArray__clear(self); /* Direct call array#AbstractArray#clear on <self:Object(AbstractArray[nullable Object])>*/
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var; /* _length on <self:AbstractArray[nullable Object]> */
RET_LABEL:;
}
/* method array#AbstractArray#remove for (self: AbstractArray[nullable Object], nullable Object) */
-void array__AbstractArray__remove(val* self, val* p0) {
+void standard___standard__AbstractArray___standard__abstract_collection__RemovableCollection__remove(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
long var1 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 205);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 205);
show_backtrace(1);
}
var_item = p0;
{
-var1 = array__AbstractArrayRead__index_of(self, var_item);
+var1 = standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__index_of(self, var_item);
}
{
-array__AbstractArray__remove_at(self, var1); /* Direct call array#AbstractArray#remove_at on <self:AbstractArray[nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__AbstractArray___standard__abstract_collection__Sequence__remove_at(self, var1); /* Direct call array#AbstractArray#remove_at on <self:AbstractArray[nullable Object]>*/
}
-/* method array#AbstractArray#remove for (self: Object, nullable Object) */
-void VIRTUAL_array__AbstractArray__remove(val* self, val* p0) {
-array__AbstractArray__remove(self, p0); /* Direct call array#AbstractArray#remove on <self:Object(AbstractArray[nullable Object])>*/
RET_LABEL:;
}
/* method array#AbstractArray#remove_at for (self: AbstractArray[nullable Object], Int) */
-void array__AbstractArray__remove_at(val* self, long p0) {
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__remove_at(val* self, long p0) {
long var_i /* var i: Int */;
long var /* : Int */;
long var2 /* : Int */;
var_i = p0;
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:AbstractArray[nullable Object]> */
-var2 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:AbstractArray[nullable Object]> */
var = var2;
RET_LABEL1:(void)0;
}
/* <var4:Int> isa OTHER */
var7 = 1; /* easy <var4:Int> isa OTHER*/
if (unlikely(!var7)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var8 = var_i >= var4;
/* <var_l:Int> isa OTHER */
var11 = 1; /* easy <var_l:Int> isa OTHER*/
if (unlikely(!var11)) {
-var_class_name14 = type_kernel__Int.name;
+var_class_name14 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var15 = var_i < var_l;
/* <var16:Int> isa OTHER */
var19 = 1; /* easy <var16:Int> isa OTHER*/
if (unlikely(!var19)) {
-var_class_name22 = type_kernel__Int.name;
+var_class_name22 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var23 = var_i + var16;
/* <var_l:Int> isa OTHER */
var26 = 1; /* easy <var_l:Int> isa OTHER*/
if (unlikely(!var26)) {
-var_class_name29 = type_kernel__Int.name;
+var_class_name29 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name29);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var30 = var_j < var_l;
/* <var31:Int> isa OTHER */
var34 = 1; /* easy <var31:Int> isa OTHER*/
if (unlikely(!var34)) {
-var_class_name37 = type_kernel__Int.name;
+var_class_name37 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name37);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var38 = var_j - var31;
}
}
{
-var39 = array__Array___91d_93d(self, var_j);
+var39 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(self, var_j);
}
{
-array__Array___91d_93d_61d(self, var32, var39); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(self, var32, var39); /* Direct call array#Array#[]= on <self:AbstractArray[nullable Object]>*/
}
var40 = 1;
{
/* <var40:Int> isa OTHER */
var43 = 1; /* easy <var40:Int> isa OTHER*/
if (unlikely(!var43)) {
-var_class_name46 = type_kernel__Int.name;
+var_class_name46 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var47 = var_j + var40;
/* <var48:Int> isa OTHER */
var51 = 1; /* easy <var48:Int> isa OTHER*/
if (unlikely(!var51)) {
-var_class_name54 = type_kernel__Int.name;
+var_class_name54 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name54);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var55 = var_l - var48;
RET_LABEL50:(void)0;
}
}
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var49; /* _length on <self:AbstractArray[nullable Object]> */
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var49; /* _length on <self:AbstractArray[nullable Object]> */
} else {
}
RET_LABEL:;
}
-/* method array#AbstractArray#remove_at for (self: Object, Int) */
-void VIRTUAL_array__AbstractArray__remove_at(val* self, long p0) {
-array__AbstractArray__remove_at(self, p0); /* Direct call array#AbstractArray#remove_at on <self:Object(AbstractArray[nullable Object])>*/
-RET_LABEL:;
-}
/* method array#Array#[] for (self: Array[nullable Object], Int): nullable Object */
-val* array__Array___91d_93d(val* self, long p0) {
+val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0) {
val* var /* : nullable Object */;
long var_index /* var index: Int */;
short int var1 /* : Bool */;
/* <var2:Int> isa OTHER */
var5 = 1; /* easy <var2:Int> isa OTHER*/
if (unlikely(!var5)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var6 = var_index >= var2;
}
var_ = var3;
if (var3){
-var7 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var7 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
{
{ /* Inline kernel#Int#< (var_index,var7) on <var_index:Int> */
/* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
/* <var7:Int> isa OTHER */
var10 = 1; /* easy <var7:Int> isa OTHER*/
if (unlikely(!var10)) {
-var_class_name13 = type_kernel__Int.name;
+var_class_name13 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var14 = var_index < var7;
}
if (unlikely(!var1)) {
PRINT_ERROR("Runtime error: %s", "Assert \'index\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 258);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 258);
show_backtrace(1);
}
-var15 = self->attrs[COLOR_array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+var15 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
if (var15 == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 259);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 259);
show_backtrace(1);
} else {
{ /* Inline array#NativeArray#[] (var15,var_index) on <var15:nullable NativeArray[nullable Object]> */
-var18 = ((struct instance_array__NativeArray*)var15)->values[var_index];
+var18 = ((struct instance_standard__NativeArray*)var15)->values[var_index];
var16 = var18;
goto RET_LABEL17;
RET_LABEL17:(void)0;
RET_LABEL:;
return var;
}
-/* method array#Array#[] for (self: Object, Int): nullable Object */
-val* VIRTUAL_array__Array___91d_93d(val* self, long p0) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__Array___91d_93d(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#Array#[]= for (self: Array[nullable Object], Int, nullable Object) */
-void array__Array___91d_93d_61d(val* self, long p0, val* p1) {
+void standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(val* self, long p0, val* p1) {
short int var /* : Bool */;
int cltype;
int idtype;
const char* var_class_name65;
/* Covariant cast for argument 1 (item) <p1:nullable Object> isa E */
/* <p1:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Sequence_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__Array___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p1 == NULL ? "null" : p1->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 262);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 262);
show_backtrace(1);
}
var_index = p0;
/* <var2:Int> isa OTHER */
var5 = 1; /* easy <var2:Int> isa OTHER*/
if (unlikely(!var5)) {
-var_class_name8 = type_kernel__Int.name;
+var_class_name8 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name8);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var9 = var_index >= var2;
}
var_ = var3;
if (var3){
-var10 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var10 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
var11 = 1;
{
{ /* Inline kernel#Int#+ (var10,var11) on <var10:Int> */
/* <var11:Int> isa OTHER */
var14 = 1; /* easy <var11:Int> isa OTHER*/
if (unlikely(!var14)) {
-var_class_name17 = type_kernel__Int.name;
+var_class_name17 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var18 = var10 + var11;
/* <var12:Int> isa OTHER */
var21 = 1; /* easy <var12:Int> isa OTHER*/
if (unlikely(!var21)) {
-var_class_name24 = type_kernel__Int.name;
+var_class_name24 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var25 = var_index < var12;
}
if (unlikely(!var1)) {
PRINT_ERROR("Runtime error: %s", "Assert \'index\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 264);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 264);
show_backtrace(1);
}
-var26 = self->attrs[COLOR_array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
+var26 = self->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
{
{ /* Inline kernel#Int#<= (var26,var_index) on <var26:Int> */
/* Covariant cast for argument 0 (i) <var_index:Int> isa OTHER */
/* <var_index:Int> isa OTHER */
var29 = 1; /* easy <var_index:Int> isa OTHER*/
if (unlikely(!var29)) {
-var_class_name32 = type_kernel__Int.name;
+var_class_name32 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 409);
show_backtrace(1);
}
var33 = var26 <= var_index;
/* <var34:Int> isa OTHER */
var37 = 1; /* easy <var34:Int> isa OTHER*/
if (unlikely(!var37)) {
-var_class_name40 = type_kernel__Int.name;
+var_class_name40 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name40);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var41 = var_index + var34;
}
}
{
-array__Array__enlarge(self, var35); /* Direct call array#Array#enlarge on <self:Array[nullable Object]>*/
+standard___standard__Array___AbstractArray__enlarge(self, var35); /* Direct call array#Array#enlarge on <self:Array[nullable Object]>*/
}
} else {
}
-var42 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var42 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
{
{ /* Inline kernel#Int#<= (var42,var_index) on <var42:Int> */
/* Covariant cast for argument 0 (i) <var_index:Int> isa OTHER */
/* <var_index:Int> isa OTHER */
var45 = 1; /* easy <var_index:Int> isa OTHER*/
if (unlikely(!var45)) {
-var_class_name48 = type_kernel__Int.name;
+var_class_name48 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 409);
show_backtrace(1);
}
var49 = var42 <= var_index;
/* <var50:Int> isa OTHER */
var53 = 1; /* easy <var50:Int> isa OTHER*/
if (unlikely(!var53)) {
-var_class_name56 = type_kernel__Int.name;
+var_class_name56 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name56);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var57 = var_index + var50;
RET_LABEL52:(void)0;
}
}
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var51; /* _length on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var51; /* _length on <self:Array[nullable Object]> */
} else {
}
-var58 = self->attrs[COLOR_array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+var58 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
if (var58 == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 271);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 271);
show_backtrace(1);
} else {
{ /* Inline array#NativeArray#[]= (var58,var_index,var_item) on <var58:nullable NativeArray[nullable Object]> */
/* Covariant cast for argument 1 (item) <var_item:nullable Object> isa E */
/* <var_item:nullable Object> isa E */
-type_struct63 = var58->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+type_struct63 = var58->type->resolution_table->types[COLOR_standard__NativeArray___35dE];
cltype61 = type_struct63->color;
idtype62 = type_struct63->id;
is_nullable64 = type_struct63->is_nullable;
if (unlikely(!var60)) {
var_class_name65 = var_item == NULL ? "null" : var_item->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name65);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 808);
show_backtrace(1);
}
-((struct instance_array__NativeArray*)var58)->values[var_index]=var_item;
+((struct instance_standard__NativeArray*)var58)->values[var_index]=var_item;
RET_LABEL59:(void)0;
}
}
RET_LABEL:;
}
-/* method array#Array#[]= for (self: Object, Int, nullable Object) */
-void VIRTUAL_array__Array___91d_93d_61d(val* self, long p0, val* p1) {
-array__Array___91d_93d_61d(self, p0, p1); /* Direct call array#Array#[]= on <self:Object(Array[nullable Object])>*/
-RET_LABEL:;
-}
/* method array#Array#add for (self: Array[nullable Object], nullable Object) */
-void array__Array__add(val* self, val* p0) {
+void standard___standard__Array___standard__abstract_collection__SimpleCollection__add(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const char* var_class_name33;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__SimpleCollection_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__Array___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 274);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 274);
show_backtrace(1);
}
var_item = p0;
-var1 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
var_l = var1;
-var2 = self->attrs[COLOR_array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
{
{ /* Inline kernel#Int#<= (var2,var_l) on <var2:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
var5 = 1; /* easy <var_l:Int> isa OTHER*/
if (unlikely(!var5)) {
-var_class_name8 = type_kernel__Int.name;
+var_class_name8 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name8);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 409);
show_backtrace(1);
}
var9 = var2 <= var_l;
/* <var10:Int> isa OTHER */
var13 = 1; /* easy <var10:Int> isa OTHER*/
if (unlikely(!var13)) {
-var_class_name16 = type_kernel__Int.name;
+var_class_name16 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name16);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var17 = var_l + var10;
}
}
{
-array__Array__enlarge(self, var11); /* Direct call array#Array#enlarge on <self:Array[nullable Object]>*/
+standard___standard__Array___AbstractArray__enlarge(self, var11); /* Direct call array#Array#enlarge on <self:Array[nullable Object]>*/
}
} else {
}
/* <var18:Int> isa OTHER */
var21 = 1; /* easy <var18:Int> isa OTHER*/
if (unlikely(!var21)) {
-var_class_name24 = type_kernel__Int.name;
+var_class_name24 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var25 = var_l + var18;
RET_LABEL20:(void)0;
}
}
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var19; /* _length on <self:Array[nullable Object]> */
-var26 = self->attrs[COLOR_array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var19; /* _length on <self:Array[nullable Object]> */
+var26 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
if (var26 == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 281);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 281);
show_backtrace(1);
} else {
{ /* Inline array#NativeArray#[]= (var26,var_l,var_item) on <var26:nullable NativeArray[nullable Object]> */
/* Covariant cast for argument 1 (item) <var_item:nullable Object> isa E */
/* <var_item:nullable Object> isa E */
-type_struct31 = var26->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+type_struct31 = var26->type->resolution_table->types[COLOR_standard__NativeArray___35dE];
cltype29 = type_struct31->color;
idtype30 = type_struct31->id;
is_nullable32 = type_struct31->is_nullable;
if (unlikely(!var28)) {
var_class_name33 = var_item == NULL ? "null" : var_item->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name33);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 808);
show_backtrace(1);
}
-((struct instance_array__NativeArray*)var26)->values[var_l]=var_item;
+((struct instance_standard__NativeArray*)var26)->values[var_l]=var_item;
RET_LABEL27:(void)0;
}
}
RET_LABEL:;
}
-/* method array#Array#add for (self: Object, nullable Object) */
-void VIRTUAL_array__Array__add(val* self, val* p0) {
-array__Array__add(self, p0); /* Direct call array#Array#add on <self:Object(Array[nullable Object])>*/
-RET_LABEL:;
-}
-/* method array#Array#enlarge for (self: Array[nullable Object], Int) */
-void array__Array__enlarge(val* self, long p0) {
-long var_cap /* var cap: Int */;
-long var /* : Int */;
-long var_c /* var c: Int */;
-short int var1 /* : Bool */;
-short int var3 /* : Bool */;
+/* method array#Array#add_all for (self: Array[nullable Object], Collection[nullable Object]) */
+void standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(val* self, val* p0) {
+short int var /* : Bool */;
int cltype;
int idtype;
+const struct type* type_struct;
const char* var_class_name;
-short int var4 /* : Bool */;
+val* var_items /* var items: Collection[nullable Object] */;
+long var1 /* : Int */;
+long var_l /* var l: Int */;
+long var2 /* : Int */;
+long var3 /* : Int */;
short int var5 /* : Bool */;
-short int var7 /* : Bool */;
-int cltype8;
-int idtype9;
-const char* var_class_name10;
+int cltype6;
+int idtype7;
+const char* var_class_name8;
+long var9 /* : Int */;
+long var_nl /* var nl: Int */;
+long var10 /* : Int */;
short int var11 /* : Bool */;
-long var12 /* : Int */;
-long var13 /* : Int */;
-short int var15 /* : Bool */;
-int cltype16;
-int idtype17;
-const char* var_class_name18;
-long var19 /* : Int */;
-long var20 /* : Int */;
-long var21 /* : Int */;
-short int var23 /* : Bool */;
-int cltype24;
-int idtype25;
-const char* var_class_name26;
-long var27 /* : Int */;
-val* var28 /* : NativeArray[nullable Object] */;
-val* var30 /* : NativeArray[nullable Object] */;
+short int var13 /* : Bool */;
+int cltype14;
+int idtype15;
+const char* var_class_name16;
+short int var17 /* : Bool */;
+short int var18 /* : Bool */;
+int cltype19;
+int idtype20;
+const struct type* type_struct21;
+long var22 /* : Int */;
+long var_k /* var k: Int */;
+short int var23 /* : Bool */;
+short int var25 /* : Bool */;
+int cltype26;
+int idtype27;
+const char* var_class_name28;
+short int var29 /* : Bool */;
+val* var30 /* : nullable NativeArray[nullable Object] */;
+val* var31 /* : nullable NativeArray[nullable Object] */;
+val* var32 /* : nullable Object */;
+val* var34 /* : nullable Object */;
+short int var36 /* : Bool */;
+int cltype37;
+int idtype38;
+const struct type* type_struct39;
+short int is_nullable;
+const char* var_class_name40;
+long var41 /* : Int */;
+long var42 /* : Int */;
+short int var44 /* : Bool */;
+int cltype45;
+int idtype46;
+const char* var_class_name47;
+long var48 /* : Int */;
+long var49 /* : Int */;
+long var50 /* : Int */;
+short int var52 /* : Bool */;
+int cltype53;
+int idtype54;
+const char* var_class_name55;
+long var56 /* : Int */;
+val* var_ /* var : Collection[nullable Object] */;
+val* var57 /* : Iterator[nullable Object] */;
+val* var_58 /* var : Iterator[nullable Object] */;
+short int var59 /* : Bool */;
+val* var60 /* : nullable Object */;
+val* var_item /* var item: nullable Object */;
+val* var61 /* : nullable NativeArray[nullable Object] */;
+short int var63 /* : Bool */;
+int cltype64;
+int idtype65;
+const struct type* type_struct66;
+short int is_nullable67;
+const char* var_class_name68;
+long var69 /* : Int */;
+long var70 /* : Int */;
+short int var72 /* : Bool */;
+int cltype73;
+int idtype74;
+const char* var_class_name75;
+long var76 /* : Int */;
+/* Covariant cast for argument 0 (items) <p0:Collection[nullable Object]> isa Collection[E] */
+/* <p0:Collection[nullable Object]> isa Collection[E] */
+type_struct = self->type->resolution_table->types[COLOR_standard__Collection__standard__Array___35dE];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= p0->type->table_size) {
+var = 0;
+} else {
+var = p0->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[E]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 284);
+show_backtrace(1);
+}
+var_items = p0;
+var1 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var_l = var1;
+{
+var2 = ((long (*)(val* self))(var_items->class->vft[COLOR_standard__abstract_collection__Collection__length]))(var_items) /* length on <var_items:Collection[nullable Object]>*/;
+}
+{
+{ /* Inline kernel#Int#+ (var_l,var2) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
+/* <var2:Int> isa OTHER */
+var5 = 1; /* easy <var2:Int> isa OTHER*/
+if (unlikely(!var5)) {
+var_class_name8 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name8);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
+show_backtrace(1);
+}
+var9 = var_l + var2;
+var3 = var9;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
+}
+}
+var_nl = var3;
+var10 = self->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
+{
+{ /* Inline kernel#Int#< (var10,var_nl) on <var10:Int> */
+/* Covariant cast for argument 0 (i) <var_nl:Int> isa OTHER */
+/* <var_nl:Int> isa OTHER */
+var13 = 1; /* easy <var_nl:Int> isa OTHER*/
+if (unlikely(!var13)) {
+var_class_name16 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name16);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
+show_backtrace(1);
+}
+var17 = var10 < var_nl;
+var11 = var17;
+goto RET_LABEL12;
+RET_LABEL12:(void)0;
+}
+}
+if (var11){
+{
+standard___standard__Array___AbstractArray__enlarge(self, var_nl); /* Direct call array#Array#enlarge on <self:Array[nullable Object]>*/
+}
+} else {
+}
+/* <var_items:Collection[nullable Object]> isa Array[E] */
+type_struct21 = self->type->resolution_table->types[COLOR_standard__Array__standard__Array___35dE];
+cltype19 = type_struct21->color;
+idtype20 = type_struct21->id;
+if(cltype19 >= var_items->type->table_size) {
+var18 = 0;
+} else {
+var18 = var_items->type->type_table[cltype19] == idtype20;
+}
+if (var18){
+var22 = 0;
+var_k = var22;
+for(;;) {
+{
+{ /* Inline kernel#Int#< (var_l,var_nl) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var_nl:Int> isa OTHER */
+/* <var_nl:Int> isa OTHER */
+var25 = 1; /* easy <var_nl:Int> isa OTHER*/
+if (unlikely(!var25)) {
+var_class_name28 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
+show_backtrace(1);
+}
+var29 = var_l < var_nl;
+var23 = var29;
+goto RET_LABEL24;
+RET_LABEL24:(void)0;
+}
+}
+if (var23){
+var30 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+var31 = var_items->attrs[COLOR_standard__array__Array___items].val; /* _items on <var_items:Collection[nullable Object](Array[nullable Object])> */
+if (var31 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 296);
+show_backtrace(1);
+} else {
+{ /* Inline array#NativeArray#[] (var31,var_k) on <var31:nullable NativeArray[nullable Object]> */
+var34 = ((struct instance_standard__NativeArray*)var31)->values[var_k];
+var32 = var34;
+goto RET_LABEL33;
+RET_LABEL33:(void)0;
+}
+}
+if (var30 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 296);
+show_backtrace(1);
+} else {
+{ /* Inline array#NativeArray#[]= (var30,var_l,var32) on <var30:nullable NativeArray[nullable Object]> */
+/* Covariant cast for argument 1 (item) <var32:nullable Object> isa E */
+/* <var32:nullable Object> isa E */
+type_struct39 = var30->type->resolution_table->types[COLOR_standard__NativeArray___35dE];
+cltype37 = type_struct39->color;
+idtype38 = type_struct39->id;
+is_nullable = type_struct39->is_nullable;
+if(var32 == NULL) {
+var36 = is_nullable;
+} else {
+if(cltype37 >= var32->type->table_size) {
+var36 = 0;
+} else {
+var36 = var32->type->type_table[cltype37] == idtype38;
+}
+}
+if (unlikely(!var36)) {
+var_class_name40 = var32 == NULL ? "null" : var32->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name40);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 808);
+show_backtrace(1);
+}
+((struct instance_standard__NativeArray*)var30)->values[var_l]=var32;
+RET_LABEL35:(void)0;
+}
+}
+var41 = 1;
+{
+{ /* Inline kernel#Int#+ (var_l,var41) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var41:Int> isa OTHER */
+/* <var41:Int> isa OTHER */
+var44 = 1; /* easy <var41:Int> isa OTHER*/
+if (unlikely(!var44)) {
+var_class_name47 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name47);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
+show_backtrace(1);
+}
+var48 = var_l + var41;
+var42 = var48;
+goto RET_LABEL43;
+RET_LABEL43:(void)0;
+}
+}
+var_l = var42;
+var49 = 1;
+{
+{ /* Inline kernel#Int#+ (var_k,var49) on <var_k:Int> */
+/* Covariant cast for argument 0 (i) <var49:Int> isa OTHER */
+/* <var49:Int> isa OTHER */
+var52 = 1; /* easy <var49:Int> isa OTHER*/
+if (unlikely(!var52)) {
+var_class_name55 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name55);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
+show_backtrace(1);
+}
+var56 = var_k + var49;
+var50 = var56;
+goto RET_LABEL51;
+RET_LABEL51:(void)0;
+}
+}
+var_k = var50;
+} else {
+goto BREAK_label;
+}
+}
+BREAK_label: (void)0;
+} else {
+var_ = var_items;
+{
+var57 = ((val* (*)(val* self))(var_->class->vft[COLOR_standard__abstract_collection__Collection__iterator]))(var_) /* iterator on <var_:Collection[nullable Object]>*/;
+}
+var_58 = var57;
+for(;;) {
+{
+var59 = ((short int (*)(val* self))(var_58->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(var_58) /* is_ok on <var_58:Iterator[nullable Object]>*/;
+}
+if (var59){
+{
+var60 = ((val* (*)(val* self))(var_58->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_58) /* item on <var_58:Iterator[nullable Object]>*/;
+}
+var_item = var60;
+var61 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+if (var61 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 302);
+show_backtrace(1);
+} else {
+{ /* Inline array#NativeArray#[]= (var61,var_l,var_item) on <var61:nullable NativeArray[nullable Object]> */
+/* Covariant cast for argument 1 (item) <var_item:nullable Object> isa E */
+/* <var_item:nullable Object> isa E */
+type_struct66 = var61->type->resolution_table->types[COLOR_standard__NativeArray___35dE];
+cltype64 = type_struct66->color;
+idtype65 = type_struct66->id;
+is_nullable67 = type_struct66->is_nullable;
+if(var_item == NULL) {
+var63 = is_nullable67;
+} else {
+if(cltype64 >= var_item->type->table_size) {
+var63 = 0;
+} else {
+var63 = var_item->type->type_table[cltype64] == idtype65;
+}
+}
+if (unlikely(!var63)) {
+var_class_name68 = var_item == NULL ? "null" : var_item->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name68);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 808);
+show_backtrace(1);
+}
+((struct instance_standard__NativeArray*)var61)->values[var_l]=var_item;
+RET_LABEL62:(void)0;
+}
+}
+var69 = 1;
+{
+{ /* Inline kernel#Int#+ (var_l,var69) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var69:Int> isa OTHER */
+/* <var69:Int> isa OTHER */
+var72 = 1; /* easy <var69:Int> isa OTHER*/
+if (unlikely(!var72)) {
+var_class_name75 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name75);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
+show_backtrace(1);
+}
+var76 = var_l + var69;
+var70 = var76;
+goto RET_LABEL71;
+RET_LABEL71:(void)0;
+}
+}
+var_l = var70;
+{
+((void (*)(val* self))(var_58->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_58) /* next on <var_58:Iterator[nullable Object]>*/;
+}
+} else {
+goto BREAK_label77;
+}
+}
+BREAK_label77: (void)0;
+{
+{ /* Inline abstract_collection#Iterator#finish (var_58) on <var_58:Iterator[nullable Object]> */
+RET_LABEL78:(void)0;
+}
+}
+}
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var_nl; /* _length on <self:Array[nullable Object]> */
+RET_LABEL:;
+}
+/* method array#Array#enlarge for (self: Array[nullable Object], Int) */
+void standard___standard__Array___AbstractArray__enlarge(val* self, long p0) {
+long var_cap /* var cap: Int */;
+long var /* : Int */;
+long var_c /* var c: Int */;
+short int var1 /* : Bool */;
+short int var3 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+short int var4 /* : Bool */;
+short int var5 /* : Bool */;
+short int var7 /* : Bool */;
+int cltype8;
+int idtype9;
+const char* var_class_name10;
+short int var11 /* : Bool */;
+long var12 /* : Int */;
+long var13 /* : Int */;
+short int var15 /* : Bool */;
+int cltype16;
+int idtype17;
+const char* var_class_name18;
+long var19 /* : Int */;
+long var20 /* : Int */;
+long var21 /* : Int */;
+short int var23 /* : Bool */;
+int cltype24;
+int idtype25;
+const char* var_class_name26;
+long var27 /* : Int */;
+val* var28 /* : NativeArray[nullable Object] */;
val* var_a /* var a: NativeArray[nullable Object] */;
-long var31 /* : Int */;
-long var32 /* : Int */;
+long var29 /* : Int */;
+long var30 /* : Int */;
+short int var31 /* : Bool */;
short int var33 /* : Bool */;
-short int var35 /* : Bool */;
-int cltype36;
-int idtype37;
-const char* var_class_name38;
-short int var39 /* : Bool */;
-val* var40 /* : nullable NativeArray[nullable Object] */;
-long var41 /* : Int */;
-short int var43 /* : Bool */;
-int cltype44;
-int idtype45;
+int cltype34;
+int idtype35;
+const char* var_class_name36;
+short int var37 /* : Bool */;
+val* var38 /* : nullable NativeArray[nullable Object] */;
+long var39 /* : Int */;
+short int var41 /* : Bool */;
+int cltype42;
+int idtype43;
const struct type* type_struct;
-const char* var_class_name46;
+const char* var_class_name44;
var_cap = p0;
-var = self->attrs[COLOR_array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
+var = self->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
var_c = var;
{
{ /* Inline kernel#Int#<= (var_cap,var_c) on <var_cap:Int> */
/* <var_c:Int> isa OTHER */
var3 = 1; /* easy <var_c:Int> isa OTHER*/
if (unlikely(!var3)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 409);
show_backtrace(1);
}
var4 = var_cap <= var_c;
/* <var_cap:Int> isa OTHER */
var7 = 1; /* easy <var_cap:Int> isa OTHER*/
if (unlikely(!var7)) {
-var_class_name10 = type_kernel__Int.name;
+var_class_name10 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name10);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 409);
show_backtrace(1);
}
var11 = var_c <= var_cap;
/* <var12:Int> isa OTHER */
var15 = 1; /* easy <var12:Int> isa OTHER*/
if (unlikely(!var15)) {
-var_class_name18 = type_kernel__Int.name;
+var_class_name18 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 378);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 417);
show_backtrace(1);
}
var19 = var_c * var12;
/* <var20:Int> isa OTHER */
var23 = 1; /* easy <var20:Int> isa OTHER*/
if (unlikely(!var23)) {
-var_class_name26 = type_kernel__Int.name;
+var_class_name26 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name26);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var27 = var13 + var20;
}
}
BREAK_label: (void)0;
-{
-{ /* Inline array#ArrayCapable#calloc_array (self,var_c) on <self:Array[nullable Object]> */
-var30 = NEW_array__NativeArray(var_c, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]);
-var28 = var30;
-goto RET_LABEL29;
-RET_LABEL29:(void)0;
-}
-}
+var28 = NEW_standard__NativeArray(var_c, self->type->resolution_table->types[COLOR_standard__NativeArray__standard__Array___35dE]);
var_a = var28;
-var31 = self->attrs[COLOR_array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
-var32 = 0;
+var29 = self->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <self:Array[nullable Object]> */
+var30 = 0;
{
-{ /* Inline kernel#Int#> (var31,var32) on <var31:Int> */
-/* Covariant cast for argument 0 (i) <var32:Int> isa OTHER */
-/* <var32:Int> isa OTHER */
-var35 = 1; /* easy <var32:Int> isa OTHER*/
-if (unlikely(!var35)) {
-var_class_name38 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name38);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373);
+{ /* Inline kernel#Int#> (var29,var30) on <var29:Int> */
+/* Covariant cast for argument 0 (i) <var30:Int> isa OTHER */
+/* <var30:Int> isa OTHER */
+var33 = 1; /* easy <var30:Int> isa OTHER*/
+if (unlikely(!var33)) {
+var_class_name36 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name36);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
show_backtrace(1);
}
-var39 = var31 > var32;
-var33 = var39;
-goto RET_LABEL34;
-RET_LABEL34:(void)0;
+var37 = var29 > var30;
+var31 = var37;
+goto RET_LABEL32;
+RET_LABEL32:(void)0;
}
}
-if (var33){
-var40 = self->attrs[COLOR_array__Array___items].val; /* _items on <self:Array[nullable Object]> */
-var41 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
-if (var40 == NULL) {
+if (var31){
+var38 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+var39 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+if (var38 == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 290);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 316);
show_backtrace(1);
} else {
-{ /* Inline array#NativeArray#copy_to (var40,var_a,var41) on <var40:nullable NativeArray[nullable Object]> */
+{ /* Inline array#NativeArray#copy_to (var38,var_a,var39) on <var38:nullable NativeArray[nullable Object]> */
/* Covariant cast for argument 0 (dest) <var_a:NativeArray[nullable Object]> isa NativeArray[E] */
/* <var_a:NativeArray[nullable Object]> isa NativeArray[E] */
-type_struct = var40->type->resolution_table->types[COLOR_array__NativeArrayarray__NativeArray_FT0];
-cltype44 = type_struct->color;
-idtype45 = type_struct->id;
-if(cltype44 >= var_a->type->table_size) {
-var43 = 0;
+type_struct = var38->type->resolution_table->types[COLOR_standard__NativeArray__standard__NativeArray___35dE];
+cltype42 = type_struct->color;
+idtype43 = type_struct->id;
+if(cltype42 >= var_a->type->table_size) {
+var41 = 0;
} else {
-var43 = var_a->type->type_table[cltype44] == idtype45;
+var41 = var_a->type->type_table[cltype42] == idtype43;
}
-if (unlikely(!var43)) {
-var_class_name46 = var_a == NULL ? "null" : var_a->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name46);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 779);
+if (unlikely(!var41)) {
+var_class_name44 = var_a == NULL ? "null" : var_a->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name44);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 811);
show_backtrace(1);
}
-memmove(((struct instance_array__NativeArray*)var_a)->values, ((struct instance_array__NativeArray*)var40)->values, var41*sizeof(val*));
-RET_LABEL42:(void)0;
+memmove(((struct instance_standard__NativeArray*)var_a)->values, ((struct instance_standard__NativeArray*)var38)->values, var39*sizeof(val*));
+RET_LABEL40:(void)0;
}
}
} else {
}
-self->attrs[COLOR_array__Array___items].val = var_a; /* _items on <self:Array[nullable Object]> */
-self->attrs[COLOR_array__Array___capacity].l = var_c; /* _capacity on <self:Array[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#Array#enlarge for (self: Object, Int) */
-void VIRTUAL_array__Array__enlarge(val* self, long p0) {
-array__Array__enlarge(self, p0); /* Direct call array#Array#enlarge on <self:Object(Array[nullable Object])>*/
+self->attrs[COLOR_standard__array__Array___items].val = var_a; /* _items on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___capacity].l = var_c; /* _capacity on <self:Array[nullable Object]> */
RET_LABEL:;
}
/* method array#Array#init for (self: Array[nullable Object]) */
-void array__Array__init(val* self) {
+void standard___standard__Array___standard__kernel__Object__init(val* self) {
long var /* : Int */;
long var1 /* : Int */;
{
-((void (*)(val*))(self->class->vft[COLOR_array__Array__init]))(self) /* init on <self:Array[nullable Object]>*/;
+((void (*)(val* self))(self->class->vft[COLOR_standard___standard__Array___standard__kernel__Object__init]))(self) /* init on <self:Array[nullable Object]>*/;
}
var = 0;
-self->attrs[COLOR_array__Array___capacity].l = var; /* _capacity on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___capacity].l = var; /* _capacity on <self:Array[nullable Object]> */
var1 = 0;
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var1; /* _length on <self:Array[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#Array#init for (self: Object) */
-void VIRTUAL_array__Array__init(val* self) {
-array__Array__init(self); /* Direct call array#Array#init on <self:Object(Array[nullable Object])>*/
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var1; /* _length on <self:Array[nullable Object]> */
RET_LABEL:;
}
/* method array#Array#with_items for (self: Array[nullable Object], Array[nullable Object]) */
-void array__Array__with_items(val* self, val* p0) {
+void standard___standard__Array___with_items(val* self, val* p0) {
val* var_objects /* var objects: Array[nullable Object] */;
val* var /* : nullable NativeArray[nullable Object] */;
long var1 /* : Int */;
long var2 /* : Int */;
long var4 /* : Int */;
{
-((void (*)(val*))(self->class->vft[COLOR_kernel__Object__init]))(self) /* init on <self:Array[nullable Object]>*/;
+standard___standard__Array___standard__kernel__Object__init(self); /* Direct call array#Array#init on <self:Array[nullable Object]>*/
}
var_objects = p0;
-var = var_objects->attrs[COLOR_array__Array___items].val; /* _items on <var_objects:Array[nullable Object]> */
-self->attrs[COLOR_array__Array___items].val = var; /* _items on <self:Array[nullable Object]> */
-var1 = var_objects->attrs[COLOR_array__Array___capacity].l; /* _capacity on <var_objects:Array[nullable Object]> */
-self->attrs[COLOR_array__Array___capacity].l = var1; /* _capacity on <self:Array[nullable Object]> */
+var = var_objects->attrs[COLOR_standard__array__Array___items].val; /* _items on <var_objects:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___items].val = var; /* _items on <self:Array[nullable Object]> */
+var1 = var_objects->attrs[COLOR_standard__array__Array___capacity].l; /* _capacity on <var_objects:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___capacity].l = var1; /* _capacity on <self:Array[nullable Object]> */
{
{ /* Inline array#AbstractArrayRead#length (var_objects) on <var_objects:Array[nullable Object]> */
-var4 = var_objects->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var_objects:Array[nullable Object]> */
+var4 = var_objects->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_objects:Array[nullable Object]> */
var2 = var4;
RET_LABEL3:(void)0;
}
}
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var2; /* _length on <self:Array[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#Array#with_items for (self: Object, Array[nullable Object]) */
-void VIRTUAL_array__Array__with_items(val* self, val* p0) {
-array__Array__with_items(self, p0); /* Direct call array#Array#with_items on <self:Object(Array[nullable Object])>*/
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var2; /* _length on <self:Array[nullable Object]> */
RET_LABEL:;
}
/* method array#Array#with_capacity for (self: Array[nullable Object], Int) */
-void array__Array__with_capacity(val* self, long p0) {
+void standard___standard__Array___with_capacity(val* self, long p0) {
long var_cap /* var cap: Int */;
long var /* : Int */;
short int var1 /* : Bool */;
const char* var_class_name;
short int var4 /* : Bool */;
val* var5 /* : NativeArray[nullable Object] */;
-val* var7 /* : NativeArray[nullable Object] */;
-long var8 /* : Int */;
+long var6 /* : Int */;
{
-((void (*)(val*))(self->class->vft[COLOR_kernel__Object__init]))(self) /* init on <self:Array[nullable Object]>*/;
+standard___standard__Array___standard__kernel__Object__init(self); /* Direct call array#Array#init on <self:Array[nullable Object]>*/
}
var_cap = p0;
var = 0;
/* <var:Int> isa OTHER */
var3 = 1; /* easy <var:Int> isa OTHER*/
if (unlikely(!var3)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var4 = var_cap >= var;
}
if (unlikely(!var1)) {
PRINT_ERROR("Runtime error: %s", "Assert \'positive\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 319);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 345);
show_backtrace(1);
}
-{
-{ /* Inline array#ArrayCapable#calloc_array (self,var_cap) on <self:Array[nullable Object]> */
-var7 = NEW_array__NativeArray(var_cap, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]);
-var5 = var7;
-goto RET_LABEL6;
-RET_LABEL6:(void)0;
-}
-}
-self->attrs[COLOR_array__Array___items].val = var5; /* _items on <self:Array[nullable Object]> */
-self->attrs[COLOR_array__Array___capacity].l = var_cap; /* _capacity on <self:Array[nullable Object]> */
-var8 = 0;
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var8; /* _length on <self:Array[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#Array#with_capacity for (self: Object, Int) */
-void VIRTUAL_array__Array__with_capacity(val* self, long p0) {
-array__Array__with_capacity(self, p0); /* Direct call array#Array#with_capacity on <self:Object(Array[nullable Object])>*/
+var5 = NEW_standard__NativeArray(var_cap, self->type->resolution_table->types[COLOR_standard__NativeArray__standard__Array___35dE]);
+self->attrs[COLOR_standard__array__Array___items].val = var5; /* _items on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___capacity].l = var_cap; /* _capacity on <self:Array[nullable Object]> */
+var6 = 0;
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var6; /* _length on <self:Array[nullable Object]> */
RET_LABEL:;
}
/* method array#Array#with_native for (self: Array[nullable Object], NativeArray[nullable Object], Int) */
-void array__Array__with_native(val* self, val* p0, long p1) {
+void standard___standard__Array___with_native(val* self, val* p0, long p1) {
short int var /* : Bool */;
int cltype;
int idtype;
short int var8 /* : Bool */;
/* Covariant cast for argument 0 (nat) <p0:NativeArray[nullable Object]> isa NativeArray[E] */
/* <p0:NativeArray[nullable Object]> isa NativeArray[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__NativeArrayarray__Array_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__NativeArray__standard__Array___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 339);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 365);
show_backtrace(1);
}
{
-((void (*)(val*))(self->class->vft[COLOR_kernel__Object__init]))(self) /* init on <self:Array[nullable Object]>*/;
+standard___standard__Array___standard__kernel__Object__init(self); /* Direct call array#Array#init on <self:Array[nullable Object]>*/
}
var_nat = p0;
var_size = p1;
/* <var1:Int> isa OTHER */
var4 = 1; /* easy <var1:Int> isa OTHER*/
if (unlikely(!var4)) {
-var_class_name7 = type_kernel__Int.name;
+var_class_name7 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var8 = var_size >= var1;
}
if (unlikely(!var2)) {
PRINT_ERROR("Runtime error: %s", "Assert \'positive\' failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 342);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 368);
show_backtrace(1);
}
-self->attrs[COLOR_array__Array___items].val = var_nat; /* _items on <self:Array[nullable Object]> */
-self->attrs[COLOR_array__Array___capacity].l = var_size; /* _capacity on <self:Array[nullable Object]> */
-self->attrs[COLOR_array__AbstractArrayRead___length].l = var_size; /* _length on <self:Array[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#Array#with_native for (self: Object, NativeArray[nullable Object], Int) */
-void VIRTUAL_array__Array__with_native(val* self, val* p0, long p1) {
-array__Array__with_native(self, p0, p1); /* Direct call array#Array#with_native on <self:Object(Array[nullable Object])>*/
+self->attrs[COLOR_standard__array__Array___items].val = var_nat; /* _items on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__Array___capacity].l = var_size; /* _capacity on <self:Array[nullable Object]> */
+self->attrs[COLOR_standard__array__AbstractArrayRead___length].l = var_size; /* _length on <self:Array[nullable Object]> */
RET_LABEL:;
}
/* method array#Array#== for (self: Array[nullable Object], nullable Object): Bool */
-short int array__Array___61d_61d(val* self, val* p0) {
+short int standard___standard__Array___standard__kernel__Object___61d_61d(val* self, val* p0) {
short int var /* : Bool */;
val* var_o /* var o: nullable Object */;
short int var1 /* : Bool */;
int idtype;
short int var2 /* : Bool */;
short int var3 /* : Bool */;
-short int var4 /* : Bool */;
-long var5 /* : Int */;
-long var7 /* : Int */;
+long var4 /* : Int */;
+long var6 /* : Int */;
long var_l /* var l: Int */;
-long var8 /* : Int */;
-long var10 /* : Int */;
-short int var11 /* : Bool */;
+long var7 /* : Int */;
+long var9 /* : Int */;
+short int var10 /* : Bool */;
short int var12 /* : Bool */;
+short int var13 /* : Bool */;
short int var14 /* : Bool */;
-short int var15 /* : Bool */;
-short int var16 /* : Bool */;
-long var17 /* : Int */;
+long var15 /* : Int */;
long var_i /* var i: Int */;
-val* var18 /* : nullable NativeArray[nullable Object] */;
+val* var16 /* : nullable NativeArray[nullable Object] */;
val* var_it /* var it: nullable NativeArray[nullable Object] */;
-val* var19 /* : nullable NativeArray[nullable Object] */;
+val* var17 /* : nullable NativeArray[nullable Object] */;
val* var_oit /* var oit: nullable NativeArray[nullable Object] */;
+short int var18 /* : Bool */;
short int var20 /* : Bool */;
-short int var22 /* : Bool */;
-int cltype23;
-int idtype24;
+int cltype21;
+int idtype22;
const char* var_class_name;
-short int var25 /* : Bool */;
+short int var23 /* : Bool */;
+val* var24 /* : nullable Object */;
val* var26 /* : nullable Object */;
-val* var28 /* : nullable Object */;
+val* var27 /* : nullable Object */;
val* var29 /* : nullable Object */;
-val* var31 /* : nullable Object */;
+short int var30 /* : Bool */;
+short int var31 /* : Bool */;
short int var32 /* : Bool */;
-short int var33 /* : Bool */;
-short int var34 /* : Bool */;
-long var35 /* : Int */;
-long var36 /* : Int */;
-short int var38 /* : Bool */;
-int cltype39;
-int idtype40;
-const char* var_class_name41;
-long var42 /* : Int */;
-short int var43 /* : Bool */;
+long var33 /* : Int */;
+long var34 /* : Int */;
+short int var36 /* : Bool */;
+int cltype37;
+int idtype38;
+const char* var_class_name39;
+long var40 /* : Int */;
+short int var41 /* : Bool */;
var_o = p0;
/* <var_o:nullable Object> isa Array[nullable Object] */
-cltype = type_array__Arraynullable_kernel__Object.color;
-idtype = type_array__Arraynullable_kernel__Object.id;
+cltype = type_standard__Array__nullable__standard__Object.color;
+idtype = type_standard__Array__nullable__standard__Object.id;
if(var_o == NULL) {
var1 = 0;
} else {
var2 = !var1;
if (var2){
{
-var4 = ((short int (*)(val*, val*))(self->class->vft[COLOR_array__Array___61d_61d]))(self, p0) /* == on <self:Array[nullable Object]>*/;
-var3 = var4;
+var3 = ((short int (*)(val* self, val* p0))(self->class->vft[COLOR_standard___standard__Array___standard__kernel__Object___61d_61d]))(self, p0) /* == on <self:Array[nullable Object]>*/;
}
var = var3;
goto RET_LABEL;
}
{
{ /* Inline array#AbstractArrayRead#length (self) on <self:Array[nullable Object]> */
-var7 = self->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
-var5 = var7;
-RET_LABEL6:(void)0;
+var6 = self->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <self:Array[nullable Object]> */
+var4 = var6;
+RET_LABEL5:(void)0;
}
}
-var_l = var5;
+var_l = var4;
{
{ /* Inline array#AbstractArrayRead#length (var_o) on <var_o:nullable Object(Array[nullable Object])> */
-var10 = var_o->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var_o:nullable Object(Array[nullable Object])> */
-var8 = var10;
-RET_LABEL9:(void)0;
+var9 = var_o->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_o:nullable Object(Array[nullable Object])> */
+var7 = var9;
+RET_LABEL8:(void)0;
}
}
{
-{ /* Inline kernel#Int#!= (var_l,var8) on <var_l:Int> */
-var14 = var_l == var8;
-var15 = !var14;
-var12 = var15;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
+{ /* Inline kernel#Int#!= (var_l,var7) on <var_l:Int> */
+var12 = var_l == var7;
+var13 = !var12;
+var10 = var13;
+goto RET_LABEL11;
+RET_LABEL11:(void)0;
}
-var11 = var12;
}
-if (var11){
-var16 = 0;
-var = var16;
+if (var10){
+var14 = 0;
+var = var14;
goto RET_LABEL;
} else {
}
-var17 = 0;
-var_i = var17;
-var18 = self->attrs[COLOR_array__Array___items].val; /* _items on <self:Array[nullable Object]> */
-var_it = var18;
-var19 = var_o->attrs[COLOR_array__Array___items].val; /* _items on <var_o:nullable Object(Array[nullable Object])> */
-var_oit = var19;
+var15 = 0;
+var_i = var15;
+var16 = self->attrs[COLOR_standard__array__Array___items].val; /* _items on <self:Array[nullable Object]> */
+var_it = var16;
+var17 = var_o->attrs[COLOR_standard__array__Array___items].val; /* _items on <var_o:nullable Object(Array[nullable Object])> */
+var_oit = var17;
for(;;) {
{
{ /* Inline kernel#Int#< (var_i,var_l) on <var_i:Int> */
/* Covariant cast for argument 0 (i) <var_l:Int> isa OTHER */
/* <var_l:Int> isa OTHER */
-var22 = 1; /* easy <var_l:Int> isa OTHER*/
-if (unlikely(!var22)) {
-var_class_name = type_kernel__Int.name;
+var20 = 1; /* easy <var_l:Int> isa OTHER*/
+if (unlikely(!var20)) {
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
-var25 = var_i < var_l;
-var20 = var25;
-goto RET_LABEL21;
-RET_LABEL21:(void)0;
+var23 = var_i < var_l;
+var18 = var23;
+goto RET_LABEL19;
+RET_LABEL19:(void)0;
}
}
-if (var20){
+if (var18){
if (var_it == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 368);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 390);
show_backtrace(1);
} else {
{ /* Inline array#NativeArray#[] (var_it,var_i) on <var_it:nullable NativeArray[nullable Object]> */
-var28 = ((struct instance_array__NativeArray*)var_it)->values[var_i];
-var26 = var28;
-goto RET_LABEL27;
-RET_LABEL27:(void)0;
+var26 = ((struct instance_standard__NativeArray*)var_it)->values[var_i];
+var24 = var26;
+goto RET_LABEL25;
+RET_LABEL25:(void)0;
}
}
if (var_oit == NULL) {
PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 368);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 390);
show_backtrace(1);
} else {
{ /* Inline array#NativeArray#[] (var_oit,var_i) on <var_oit:nullable NativeArray[nullable Object]> */
-var31 = ((struct instance_array__NativeArray*)var_oit)->values[var_i];
-var29 = var31;
-goto RET_LABEL30;
-RET_LABEL30:(void)0;
+var29 = ((struct instance_standard__NativeArray*)var_oit)->values[var_i];
+var27 = var29;
+goto RET_LABEL28;
+RET_LABEL28:(void)0;
}
}
-if (var26 == NULL) {
-var32 = (var29 != NULL);
+if (var24 == NULL) {
+var30 = (var27 != NULL);
} else {
-var33 = ((short int (*)(val*, val*))(var26->class->vft[COLOR_kernel__Object___33d_61d]))(var26, var29) /* != on <var26:nullable Object>*/;
-var32 = var33;
+var31 = ((short int (*)(val* self, val* p0))(var24->class->vft[COLOR_standard__kernel__Object___33d_61d]))(var24, var27) /* != on <var24:nullable Object>*/;
+var30 = var31;
}
-if (var32){
-var34 = 0;
-var = var34;
+if (var30){
+var32 = 0;
+var = var32;
goto RET_LABEL;
} else {
}
-var35 = 1;
+var33 = 1;
{
-{ /* Inline kernel#Int#+ (var_i,var35) on <var_i:Int> */
-/* Covariant cast for argument 0 (i) <var35:Int> isa OTHER */
-/* <var35:Int> isa OTHER */
-var38 = 1; /* easy <var35:Int> isa OTHER*/
-if (unlikely(!var38)) {
-var_class_name41 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+{ /* Inline kernel#Int#+ (var_i,var33) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var33:Int> isa OTHER */
+/* <var33:Int> isa OTHER */
+var36 = 1; /* easy <var33:Int> isa OTHER*/
+if (unlikely(!var36)) {
+var_class_name39 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name39);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
-var42 = var_i + var35;
-var36 = var42;
-goto RET_LABEL37;
-RET_LABEL37:(void)0;
+var40 = var_i + var33;
+var34 = var40;
+goto RET_LABEL35;
+RET_LABEL35:(void)0;
}
}
-var_i = var36;
+var_i = var34;
} else {
goto BREAK_label;
}
}
BREAK_label: (void)0;
-var43 = 1;
-var = var43;
+var41 = 1;
+var = var41;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#Array#== for (self: Object, nullable Object): Bool */
-short int VIRTUAL_array__Array___61d_61d(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__Array___61d_61d(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#ArrayIterator#item for (self: ArrayIterator[nullable Object]): nullable Object */
-val* array__ArrayIterator__item(val* self) {
+val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self) {
val* var /* : nullable Object */;
val* var1 /* : AbstractArrayRead[nullable Object] */;
long var2 /* : Int */;
val* var3 /* : nullable Object */;
-var1 = self->attrs[COLOR_array__ArrayIterator___array].val; /* _array on <self:ArrayIterator[nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayIterator___array].val; /* _array on <self:ArrayIterator[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 403);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 445);
show_backtrace(1);
}
-var2 = self->attrs[COLOR_array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
{
-var3 = array__Array___91d_93d(var1, var2);
+var3 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var1, var2);
}
var = var3;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayIterator#item for (self: Object): nullable Object */
-val* VIRTUAL_array__ArrayIterator__item(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__ArrayIterator__item(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#ArrayIterator#is_ok for (self: ArrayIterator[nullable Object]): Bool */
-short int array__ArrayIterator__is_ok(val* self) {
+short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self) {
short int var /* : Bool */;
long var1 /* : Int */;
val* var2 /* : AbstractArrayRead[nullable Object] */;
int idtype;
const char* var_class_name;
short int var9 /* : Bool */;
-var1 = self->attrs[COLOR_array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
-var2 = self->attrs[COLOR_array__ArrayIterator___array].val; /* _array on <self:ArrayIterator[nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__ArrayIterator___array].val; /* _array on <self:ArrayIterator[nullable Object]> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 449);
show_backtrace(1);
}
{
{ /* Inline array#AbstractArrayRead#length (var2) on <var2:AbstractArrayRead[nullable Object]> */
-var5 = var2->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var2:AbstractArrayRead[nullable Object]> */
+var5 = var2->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var2:AbstractArrayRead[nullable Object]> */
var3 = var5;
RET_LABEL4:(void)0;
}
/* <var3:Int> isa OTHER */
var8 = 1; /* easy <var3:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var9 = var1 < var3;
RET_LABEL:;
return var;
}
-/* method array#ArrayIterator#is_ok for (self: Object): Bool */
-short int VIRTUAL_array__ArrayIterator__is_ok(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayIterator__is_ok(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#ArrayIterator#next for (self: ArrayIterator[nullable Object]) */
-void array__ArrayIterator__next(val* self) {
+void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self) {
val* var_ /* var : ArrayIterator[nullable Object] */;
long var /* : Int */;
long var1 /* : Int */;
const char* var_class_name;
long var5 /* : Int */;
var_ = self;
-var = var_->attrs[COLOR_array__ArrayIterator___index].l; /* _index on <var_:ArrayIterator[nullable Object]> */
+var = var_->attrs[COLOR_standard__array__ArrayIterator___index].l; /* _index on <var_:ArrayIterator[nullable Object]> */
var1 = 1;
{
{ /* Inline kernel#Int#+ (var,var1) on <var:Int> */
/* <var1:Int> isa OTHER */
var4 = 1; /* easy <var1:Int> isa OTHER*/
if (unlikely(!var4)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var5 = var + var1;
RET_LABEL3:(void)0;
}
}
-var_->attrs[COLOR_array__ArrayIterator___index].l = var2; /* _index on <var_:ArrayIterator[nullable Object]> */
+var_->attrs[COLOR_standard__array__ArrayIterator___index].l = var2; /* _index on <var_:ArrayIterator[nullable Object]> */
RET_LABEL:;
}
-/* method array#ArrayIterator#next for (self: Object) */
-void VIRTUAL_array__ArrayIterator__next(val* self) {
-array__ArrayIterator__next(self); /* Direct call array#ArrayIterator#next on <self:Object(ArrayIterator[nullable Object])>*/
+/* method array#ArrayIterator#index for (self: ArrayIterator[nullable Object]): Int */
+long standard__array___standard__array__ArrayIterator___standard__abstract_collection__IndexedIterator__index(val* self) {
+long var /* : Int */;
+long var1 /* : Int */;
+var1 = self->attrs[COLOR_standard__array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
+var = var1;
RET_LABEL:;
+return var;
}
-/* method array#ArrayIterator#init for (self: ArrayIterator[nullable Object], AbstractArrayRead[nullable Object]) */
-void array__ArrayIterator__init(val* self, val* p0) {
+/* method array#ArrayIterator#array= for (self: ArrayIterator[nullable Object], AbstractArrayRead[nullable Object]) */
+void standard__array___standard__array__ArrayIterator___array_61d(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
const char* var_class_name;
-val* var_a /* var a: AbstractArrayRead[nullable Object] */;
-long var1 /* : Int */;
-/* Covariant cast for argument 0 (a) <p0:AbstractArrayRead[nullable Object]> isa AbstractArrayRead[E] */
+/* Covariant cast for argument 0 (array) <p0:AbstractArrayRead[nullable Object]> isa AbstractArrayRead[E] */
/* <p0:AbstractArrayRead[nullable Object]> isa AbstractArrayRead[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__AbstractArrayReadarray__ArrayIterator_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__AbstractArrayRead__standard__array__ArrayIterator___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractArrayRead[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 411);
-show_backtrace(1);
-}
-var_a = p0;
-self->attrs[COLOR_array__ArrayIterator___array].val = var_a; /* _array on <self:ArrayIterator[nullable Object]> */
-var1 = 0;
-self->attrs[COLOR_array__ArrayIterator___index].l = var1; /* _index on <self:ArrayIterator[nullable Object]> */
-RET_LABEL:;
-}
-/* method array#ArrayIterator#init for (self: Object, AbstractArrayRead[nullable Object]) */
-void VIRTUAL_array__ArrayIterator__init(val* self, val* p0) {
-array__ArrayIterator__init(self, p0); /* Direct call array#ArrayIterator#init on <self:Object(ArrayIterator[nullable Object])>*/
-RET_LABEL:;
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 455);
+show_backtrace(1);
}
-/* method array#ArrayIterator#index for (self: ArrayIterator[nullable Object]): Int */
-long array__ArrayIterator__index(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = self->attrs[COLOR_array__ArrayIterator___index].l; /* _index on <self:ArrayIterator[nullable Object]> */
-var = var1;
+self->attrs[COLOR_standard__array__ArrayIterator___array].val = p0; /* _array on <self:ArrayIterator[nullable Object]> */
RET_LABEL:;
-return var;
}
-/* method array#ArrayIterator#index for (self: Object): Int */
-long VIRTUAL_array__ArrayIterator__index(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-long var3 /* : Int */;
-{ /* Inline array#ArrayIterator#index (self) on <self:Object(ArrayIterator[nullable Object])> */
-var3 = self->attrs[COLOR_array__ArrayIterator___index].l; /* _index on <self:Object(ArrayIterator[nullable Object])> */
-var1 = var3;
-RET_LABEL2:(void)0;
+/* method array#ArrayIterator#init for (self: ArrayIterator[nullable Object]) */
+void standard__array___standard__array__ArrayIterator___standard__kernel__Object__init(val* self) {
+{
+((void (*)(val* self))(self->class->vft[COLOR_standard__array___standard__array__ArrayIterator___standard__kernel__Object__init]))(self) /* init on <self:ArrayIterator[nullable Object]>*/;
}
-var = var1;
RET_LABEL:;
-return var;
}
-/* method array#ArraySet#has for (self: ArraySet[Object], Object): Bool */
-short int array__ArraySet__has(val* self, val* p0) {
+/* method array#ArraySet#has for (self: ArraySet[nullable Object], nullable Object): Bool */
+short int standard___standard__ArraySet___standard__abstract_collection__Collection__has(val* self, val* p0) {
short int var /* : Bool */;
short int var1 /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_e /* var e: Object */;
-val* var2 /* : Array[Object] */;
+val* var_e /* var e: nullable Object */;
+val* var2 /* : Array[nullable Object] */;
short int var3 /* : Bool */;
-/* Covariant cast for argument 0 (e) <p0:Object> isa E */
-/* <p0:Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+/* Covariant cast for argument 0 (e) <p0:nullable Object> isa E */
+/* <p0:nullable Object> isa E */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArraySet___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var1 = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var1 = 0;
} else {
var1 = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 445);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 480);
show_backtrace(1);
}
var_e = p0;
-var2 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var2 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 445);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 480);
show_backtrace(1);
}
{
-var3 = array__AbstractArrayRead__has(var2, var_e);
+var3 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__has(var2, var_e);
}
var = var3;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySet#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_array__ArraySet__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArraySet__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySet#add for (self: ArraySet[Object], Object) */
-void array__ArraySet__add(val* self, val* p0) {
+/* method array#ArraySet#add for (self: ArraySet[nullable Object], nullable Object) */
+void standard___standard__ArraySet___standard__abstract_collection__SimpleCollection__add(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_e /* var e: Object */;
-val* var1 /* : Array[Object] */;
+val* var_e /* var e: nullable Object */;
+val* var1 /* : Array[nullable Object] */;
short int var2 /* : Bool */;
short int var3 /* : Bool */;
-val* var4 /* : Array[Object] */;
-/* Covariant cast for argument 0 (e) <p0:Object> isa E */
-/* <p0:Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__SimpleCollection_FT0];
+val* var4 /* : Array[nullable Object] */;
+/* Covariant cast for argument 0 (e) <p0:nullable Object> isa E */
+/* <p0:nullable Object> isa E */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArraySet___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var = 0;
} else {
var = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 447);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 482);
show_backtrace(1);
}
var_e = p0;
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 447);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 482);
show_backtrace(1);
}
{
-var2 = array__AbstractArrayRead__has(var1, var_e);
+var2 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__has(var1, var_e);
}
var3 = !var2;
if (var3){
-var4 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var4 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 447);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 482);
show_backtrace(1);
}
{
-array__Array__add(var4, var_e); /* Direct call array#Array#add on <var4:Array[Object]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var4, var_e); /* Direct call array#Array#add on <var4:Array[nullable Object]>*/
}
} else {
}
RET_LABEL:;
}
-/* method array#ArraySet#add for (self: Object, nullable Object) */
-void VIRTUAL_array__ArraySet__add(val* self, val* p0) {
-array__ArraySet__add(self, p0); /* Direct call array#ArraySet#add on <self:Object(ArraySet[Object])>*/
-RET_LABEL:;
-}
-/* method array#ArraySet#is_empty for (self: ArraySet[Object]): Bool */
-short int array__ArraySet__is_empty(val* self) {
+/* method array#ArraySet#is_empty for (self: ArraySet[nullable Object]): Bool */
+short int standard___standard__ArraySet___standard__abstract_collection__Collection__is_empty(val* self) {
short int var /* : Bool */;
-val* var1 /* : Array[Object] */;
+val* var1 /* : Array[nullable Object] */;
short int var2 /* : Bool */;
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 449);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 484);
show_backtrace(1);
}
{
-var2 = array__AbstractArrayRead__is_empty(var1);
+var2 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(var1);
}
var = var2;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySet#is_empty for (self: Object): Bool */
-short int VIRTUAL_array__ArraySet__is_empty(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArraySet__is_empty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySet#length for (self: ArraySet[Object]): Int */
-long array__ArraySet__length(val* self) {
+/* method array#ArraySet#length for (self: ArraySet[nullable Object]): Int */
+long standard___standard__ArraySet___standard__abstract_collection__Collection__length(val* self) {
long var /* : Int */;
-val* var1 /* : Array[Object] */;
+val* var1 /* : Array[nullable Object] */;
long var2 /* : Int */;
long var4 /* : Int */;
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 451);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 486);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[Object]> */
-var4 = var1->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var1:Array[Object]> */
+{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[nullable Object]> */
+var4 = var1->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var1:Array[nullable Object]> */
var2 = var4;
RET_LABEL3:(void)0;
}
RET_LABEL:;
return var;
}
-/* method array#ArraySet#length for (self: Object): Int */
-long VIRTUAL_array__ArraySet__length(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__ArraySet__length(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySet#first for (self: ArraySet[Object]): Object */
-val* array__ArraySet__first(val* self) {
-val* var /* : Object */;
-val* var1 /* : Array[Object] */;
+/* method array#ArraySet#first for (self: ArraySet[nullable Object]): nullable Object */
+val* standard___standard__ArraySet___standard__abstract_collection__Collection__first(val* self) {
+val* var /* : nullable Object */;
+val* var1 /* : Array[nullable Object] */;
long var2 /* : Int */;
long var4 /* : Int */;
long var5 /* : Int */;
int idtype;
const char* var_class_name;
short int var9 /* : Bool */;
-val* var10 /* : Array[Object] */;
+val* var10 /* : Array[nullable Object] */;
val* var11 /* : nullable Object */;
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 455);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 490);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[Object]> */
-var4 = var1->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var1:Array[Object]> */
+{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[nullable Object]> */
+var4 = var1->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var1:Array[nullable Object]> */
var2 = var4;
RET_LABEL3:(void)0;
}
/* <var5:Int> isa OTHER */
var8 = 1; /* easy <var5:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name = type_kernel__Int.name;
+var_class_name = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
show_backtrace(1);
}
var9 = var2 > var5;
}
if (unlikely(!var6)) {
PRINT_ERROR("Runtime error: %s", "Assert failed");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 455);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 490);
show_backtrace(1);
}
-var10 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var10 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var10 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 456);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 491);
show_backtrace(1);
}
{
-var11 = abstract_collection__SequenceRead__first(var10);
+var11 = standard___standard__SequenceRead___Collection__first(var10);
}
var = var11;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySet#first for (self: Object): nullable Object */
-val* VIRTUAL_array__ArraySet__first(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : Object */;
-var1 = array__ArraySet__first(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySet#remove for (self: ArraySet[Object], Object) */
-void array__ArraySet__remove(val* self, val* p0) {
+/* method array#ArraySet#remove for (self: ArraySet[nullable Object], nullable Object) */
+void standard___standard__ArraySet___standard__abstract_collection__RemovableCollection__remove(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_item /* var item: Object */;
-val* var1 /* : Array[Object] */;
+val* var_item /* var item: nullable Object */;
+val* var1 /* : Array[nullable Object] */;
long var2 /* : Int */;
long var_i /* var i: Int */;
long var3 /* : Int */;
int idtype8;
const char* var_class_name9;
short int var10 /* : Bool */;
-/* Covariant cast for argument 0 (item) <p0:Object> isa E */
-/* <p0:Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
+/* <p0:nullable Object> isa E */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArraySet___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var = 0;
} else {
var = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 459);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 494);
show_backtrace(1);
}
var_item = p0;
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 461);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 496);
show_backtrace(1);
}
{
-var2 = array__AbstractArrayRead__index_of(var1, var_item);
+var2 = standard___standard__AbstractArrayRead___standard__abstract_collection__SequenceRead__index_of(var1, var_item);
}
var_i = var2;
var3 = 0;
/* <var3:Int> isa OTHER */
var6 = 1; /* easy <var3:Int> isa OTHER*/
if (unlikely(!var6)) {
-var_class_name9 = type_kernel__Int.name;
+var_class_name9 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name9);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var10 = var_i >= var3;
}
if (var4){
{
-array__ArraySet__remove_at(self, var_i); /* Direct call array#ArraySet#remove_at on <self:ArraySet[Object]>*/
+standard___standard__ArraySet___remove_at(self, var_i); /* Direct call array#ArraySet#remove_at on <self:ArraySet[nullable Object]>*/
}
} else {
}
RET_LABEL:;
}
-/* method array#ArraySet#remove for (self: Object, nullable Object) */
-void VIRTUAL_array__ArraySet__remove(val* self, val* p0) {
-array__ArraySet__remove(self, p0); /* Direct call array#ArraySet#remove on <self:Object(ArraySet[Object])>*/
-RET_LABEL:;
-}
-/* method array#ArraySet#clear for (self: ArraySet[Object]) */
-void array__ArraySet__clear(val* self) {
-val* var /* : Array[Object] */;
-var = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+/* method array#ArraySet#clear for (self: ArraySet[nullable Object]) */
+void standard___standard__ArraySet___standard__abstract_collection__RemovableCollection__clear(val* self) {
+val* var /* : Array[nullable Object] */;
+var = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 467);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 502);
show_backtrace(1);
}
{
-array__AbstractArray__clear(var); /* Direct call array#AbstractArray#clear on <var:Array[Object]>*/
+standard___standard__AbstractArray___standard__abstract_collection__RemovableCollection__clear(var); /* Direct call array#AbstractArray#clear on <var:Array[nullable Object]>*/
}
RET_LABEL:;
}
-/* method array#ArraySet#clear for (self: Object) */
-void VIRTUAL_array__ArraySet__clear(val* self) {
-array__ArraySet__clear(self); /* Direct call array#ArraySet#clear on <self:Object(ArraySet[Object])>*/
-RET_LABEL:;
-}
-/* method array#ArraySet#iterator for (self: ArraySet[Object]): Iterator[Object] */
-val* array__ArraySet__iterator(val* self) {
-val* var /* : Iterator[Object] */;
-val* var1 /* : ArraySetIterator[Object] */;
-val* var2 /* : Array[Object] */;
+/* method array#ArraySet#iterator for (self: ArraySet[nullable Object]): Iterator[nullable Object] */
+val* standard___standard__ArraySet___standard__abstract_collection__Collection__iterator(val* self) {
+val* var /* : Iterator[nullable Object] */;
+val* var1 /* : ArraySetIterator[nullable Object] */;
+val* var2 /* : Array[nullable Object] */;
val* var3 /* : ArrayIterator[nullable Object] */;
-var1 = NEW_array__ArraySetIterator(self->type->resolution_table->types[COLOR_array__ArraySetIteratorarray__ArraySet_FT0]);
-var2 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = NEW_standard__array__ArraySetIterator(self->type->resolution_table->types[COLOR_standard__array__ArraySetIterator__standard__ArraySet___35dE]);
+var2 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 469);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 504);
show_backtrace(1);
}
{
-var3 = array__AbstractArrayRead__iterator(var2);
+var3 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var2);
}
{
-array__ArraySetIterator__init(var1, var3); /* Direct call array#ArraySetIterator#init on <var1:ArraySetIterator[Object]>*/
+((void (*)(val* self, val* p0))(var1->class->vft[COLOR_standard__array__ArraySetIterator__iter_61d]))(var1, var3) /* iter= on <var1:ArraySetIterator[nullable Object]>*/;
}
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
+{
+((void (*)(val* self))(var1->class->vft[COLOR_standard__kernel__Object__init]))(var1) /* init on <var1:ArraySetIterator[nullable Object]>*/;
}
-/* method array#ArraySet#iterator for (self: Object): Iterator[nullable Object] */
-val* VIRTUAL_array__ArraySet__iterator(val* self) {
-val* var /* : Iterator[nullable Object] */;
-val* var1 /* : Iterator[Object] */;
-var1 = array__ArraySet__iterator(self);
var = var1;
+goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySet#remove_at for (self: ArraySet[Object], Int) */
-void array__ArraySet__remove_at(val* self, long p0) {
+/* method array#ArraySet#remove_at for (self: ArraySet[nullable Object], Int) */
+void standard___standard__ArraySet___remove_at(val* self, long p0) {
long var_i /* var i: Int */;
-val* var /* : Array[Object] */;
-val* var1 /* : Array[Object] */;
+val* var /* : Array[nullable Object] */;
+val* var1 /* : Array[nullable Object] */;
val* var2 /* : nullable Object */;
-val* var3 /* : Array[Object] */;
+val* var3 /* : Array[nullable Object] */;
val* var4 /* : nullable Object */;
var_i = p0;
-var = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 476);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 511);
show_backtrace(1);
}
-var1 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 476);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 511);
show_backtrace(1);
}
{
-var2 = abstract_collection__SequenceRead__last(var1);
+var2 = standard___standard__SequenceRead___last(var1);
}
{
-array__Array___91d_93d_61d(var, var_i, var2); /* Direct call array#Array#[]= on <var:Array[Object]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(var, var_i, var2); /* Direct call array#Array#[]= on <var:Array[nullable Object]>*/
}
-var3 = self->attrs[COLOR_array__ArraySet___array].val; /* _array on <self:ArraySet[Object]> */
+var3 = self->attrs[COLOR_standard__array__ArraySet___array].val; /* _array on <self:ArraySet[nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _array");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 477);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 512);
show_backtrace(1);
}
{
-var4 = array__AbstractArray__pop(var3);
-}
-RET_LABEL:;
+var4 = standard___standard__AbstractArray___standard__abstract_collection__Sequence__pop(var3);
}
-/* method array#ArraySet#remove_at for (self: Object, Int) */
-void VIRTUAL_array__ArraySet__remove_at(val* self, long p0) {
-array__ArraySet__remove_at(self, p0); /* Direct call array#ArraySet#remove_at on <self:Object(ArraySet[Object])>*/
RET_LABEL:;
}
-/* method array#ArraySet#init for (self: ArraySet[Object]) */
-void array__ArraySet__init(val* self) {
-val* var /* : Array[Object] */;
-var = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arrayarray__ArraySet_FT0]);
+/* method array#ArraySet#init for (self: ArraySet[nullable Object]) */
+void standard___standard__ArraySet___standard__kernel__Object__init(val* self) {
+val* var /* : Array[nullable Object] */;
+var = NEW_standard__Array(self->type->resolution_table->types[COLOR_standard__Array__standard__ArraySet___35dE]);
{
-((void (*)(val*))(var->class->vft[COLOR_kernel__Object__init]))(var) /* init on <var:Array[Object]>*/;
+standard___standard__Array___standard__kernel__Object__init(var); /* Direct call array#Array#init on <var:Array[nullable Object]>*/
}
-self->attrs[COLOR_array__ArraySet___array].val = var; /* _array on <self:ArraySet[Object]> */
+self->attrs[COLOR_standard__array__ArraySet___array].val = var; /* _array on <self:ArraySet[nullable Object]> */
RET_LABEL:;
}
-/* method array#ArraySet#init for (self: Object) */
-void VIRTUAL_array__ArraySet__init(val* self) {
-array__ArraySet__init(self); /* Direct call array#ArraySet#init on <self:Object(ArraySet[Object])>*/
-RET_LABEL:;
-}
-/* method array#ArraySetIterator#is_ok for (self: ArraySetIterator[Object]): Bool */
-short int array__ArraySetIterator__is_ok(val* self) {
+/* method array#ArraySetIterator#is_ok for (self: ArraySetIterator[nullable Object]): Bool */
+short int standard__array___standard__array__ArraySetIterator___standard__abstract_collection__Iterator__is_ok(val* self) {
short int var /* : Bool */;
-val* var1 /* : ArrayIterator[Object] */;
+val* var1 /* : ArrayIterator[nullable Object] */;
short int var2 /* : Bool */;
-var1 = self->attrs[COLOR_array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _iter");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 493);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 528);
show_backtrace(1);
}
{
-var2 = array__ArrayIterator__is_ok(var1);
+var2 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var1);
}
var = var2;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySetIterator#is_ok for (self: Object): Bool */
-short int VIRTUAL_array__ArraySetIterator__is_ok(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArraySetIterator__is_ok(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySetIterator#next for (self: ArraySetIterator[Object]) */
-void array__ArraySetIterator__next(val* self) {
-val* var /* : ArrayIterator[Object] */;
-var = self->attrs[COLOR_array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[Object]> */
+/* method array#ArraySetIterator#next for (self: ArraySetIterator[nullable Object]) */
+void standard__array___standard__array__ArraySetIterator___standard__abstract_collection__Iterator__next(val* self) {
+val* var /* : ArrayIterator[nullable Object] */;
+var = self->attrs[COLOR_standard__array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[nullable Object]> */
if (unlikely(var == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _iter");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 495);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 530);
show_backtrace(1);
}
{
-array__ArrayIterator__next(var); /* Direct call array#ArrayIterator#next on <var:ArrayIterator[Object]>*/
-}
-RET_LABEL:;
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var); /* Direct call array#ArrayIterator#next on <var:ArrayIterator[nullable Object]>*/
}
-/* method array#ArraySetIterator#next for (self: Object) */
-void VIRTUAL_array__ArraySetIterator__next(val* self) {
-array__ArraySetIterator__next(self); /* Direct call array#ArraySetIterator#next on <self:Object(ArraySetIterator[Object])>*/
RET_LABEL:;
}
-/* method array#ArraySetIterator#item for (self: ArraySetIterator[Object]): Object */
-val* array__ArraySetIterator__item(val* self) {
-val* var /* : Object */;
-val* var1 /* : ArrayIterator[Object] */;
+/* method array#ArraySetIterator#item for (self: ArraySetIterator[nullable Object]): nullable Object */
+val* standard__array___standard__array__ArraySetIterator___standard__abstract_collection__Iterator__item(val* self) {
+val* var /* : nullable Object */;
+val* var1 /* : ArrayIterator[nullable Object] */;
val* var2 /* : nullable Object */;
-var1 = self->attrs[COLOR_array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[Object]> */
+var1 = self->attrs[COLOR_standard__array__ArraySetIterator___iter].val; /* _iter on <self:ArraySetIterator[nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _iter");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 497);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 532);
show_backtrace(1);
}
{
-var2 = array__ArrayIterator__item(var1);
+var2 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var1);
}
var = var2;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArraySetIterator#item for (self: Object): nullable Object */
-val* VIRTUAL_array__ArraySetIterator__item(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : Object */;
-var1 = array__ArraySetIterator__item(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArraySetIterator#init for (self: ArraySetIterator[Object], ArrayIterator[Object]) */
-void array__ArraySetIterator__init(val* self, val* p0) {
+/* method array#ArraySetIterator#iter= for (self: ArraySetIterator[nullable Object], ArrayIterator[nullable Object]) */
+void standard__array___standard__array__ArraySetIterator___iter_61d(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
const char* var_class_name;
-val* var_iter /* var iter: ArrayIterator[Object] */;
-/* Covariant cast for argument 0 (iter) <p0:ArrayIterator[Object]> isa ArrayIterator[E] */
-/* <p0:ArrayIterator[Object]> isa ArrayIterator[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayIteratorarray__ArraySetIterator_FT0];
+/* Covariant cast for argument 0 (iter) <p0:ArrayIterator[nullable Object]> isa ArrayIterator[E] */
+/* <p0:ArrayIterator[nullable Object]> isa ArrayIterator[E] */
+type_struct = self->type->resolution_table->types[COLOR_standard__array__ArrayIterator__standard__array__ArraySetIterator___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "ArrayIterator[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 499);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 534);
show_backtrace(1);
}
-var_iter = p0;
-self->attrs[COLOR_array__ArraySetIterator___iter].val = var_iter; /* _iter on <self:ArraySetIterator[Object]> */
+self->attrs[COLOR_standard__array__ArraySetIterator___iter].val = p0; /* _iter on <self:ArraySetIterator[nullable Object]> */
RET_LABEL:;
}
-/* method array#ArraySetIterator#init for (self: Object, ArrayIterator[Object]) */
-void VIRTUAL_array__ArraySetIterator__init(val* self, val* p0) {
-array__ArraySetIterator__init(self, p0); /* Direct call array#ArraySetIterator#init on <self:Object(ArraySetIterator[Object])>*/
+/* method array#ArraySetIterator#init for (self: ArraySetIterator[nullable Object]) */
+void standard__array___standard__array__ArraySetIterator___standard__kernel__Object__init(val* self) {
+{
+((void (*)(val* self))(self->class->vft[COLOR_standard__array___standard__array__ArraySetIterator___standard__kernel__Object__init]))(self) /* init on <self:ArraySetIterator[nullable Object]>*/;
+}
RET_LABEL:;
}
-/* method array#ArrayMap#[] for (self: ArrayMap[Object, nullable Object], Object): nullable Object */
-val* array__ArrayMap___91d_93d(val* self, val* p0) {
+/* method array#ArrayMap#[] for (self: ArrayMap[nullable Object, nullable Object], nullable Object): nullable Object */
+val* standard___standard__ArrayMap___standard__abstract_collection__MapRead___91d_93d(val* self, val* p0) {
val* var /* : nullable Object */;
short int var1 /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_key /* var key: Object */;
+val* var_key /* var key: nullable Object */;
long var2 /* : Int */;
long var_i /* var i: Int */;
long var3 /* : Int */;
int idtype8;
const char* var_class_name9;
short int var10 /* : Bool */;
-val* var11 /* : Array[Couple[Object, nullable Object]] */;
+val* var11 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var12 /* : nullable Object */;
val* var13 /* : nullable Object */;
val* var15 /* : nullable Object */;
val* var16 /* : nullable Object */;
-/* Covariant cast for argument 0 (key) <p0:Object> isa K */
-/* <p0:Object> isa K */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__MapRead_FT0];
+/* Covariant cast for argument 0 (key) <p0:nullable Object> isa K */
+/* <p0:nullable Object> isa K */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArrayMap___35dK];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var1 = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var1 = 0;
} else {
var1 = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 509);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 542);
show_backtrace(1);
}
var_key = p0;
{
-var2 = array__ArrayMap__index(self, var_key);
+var2 = standard___standard__ArrayMap___index(self, var_key);
}
var_i = var2;
var3 = 0;
/* <var3:Int> isa OTHER */
var6 = 1; /* easy <var3:Int> isa OTHER*/
if (unlikely(!var6)) {
-var_class_name9 = type_kernel__Int.name;
+var_class_name9 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name9);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var10 = var_i >= var3;
}
}
if (var4){
-var11 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var11 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var11 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 514);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 547);
show_backtrace(1);
}
{
-var12 = array__Array___91d_93d(var11, var_i);
+var12 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var11, var_i);
}
{
-{ /* Inline abstract_collection#Couple#second (var12) on <var12:nullable Object(Couple[Object, nullable Object])> */
-var15 = var12->attrs[COLOR_abstract_collection__Couple___second].val; /* _second on <var12:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#second (var12) on <var12:nullable Object(Couple[nullable Object, nullable Object])> */
+var15 = var12->attrs[COLOR_standard__abstract_collection__Couple___second].val; /* _second on <var12:nullable Object(Couple[nullable Object, nullable Object])> */
var13 = var15;
RET_LABEL14:(void)0;
}
goto RET_LABEL;
} else {
{
-var16 = abstract_collection__MapRead__provide_default_value(self, var_key);
+var16 = standard___standard__MapRead___provide_default_value(self, var_key);
}
var = var16;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#[] for (self: Object, Object): nullable Object */
-val* VIRTUAL_array__ArrayMap___91d_93d(val* self, val* p0) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__ArrayMap___91d_93d(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMap#[]= for (self: ArrayMap[Object, nullable Object], Object, nullable Object) */
-void array__ArrayMap___91d_93d_61d(val* self, val* p0, val* p1) {
+/* method array#ArrayMap#[]= for (self: ArrayMap[nullable Object, nullable Object], nullable Object, nullable Object) */
+void standard___standard__ArrayMap___standard__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
short int var1 /* : Bool */;
int cltype2;
int idtype3;
const struct type* type_struct4;
-short int is_nullable;
-const char* var_class_name5;
-val* var_key /* var key: Object */;
+short int is_nullable5;
+const char* var_class_name6;
+val* var_key /* var key: nullable Object */;
val* var_item /* var item: nullable Object */;
-long var6 /* : Int */;
-long var_i /* var i: Int */;
long var7 /* : Int */;
-short int var8 /* : Bool */;
-short int var10 /* : Bool */;
-int cltype11;
-int idtype12;
-const char* var_class_name13;
-short int var14 /* : Bool */;
-val* var15 /* : Array[Couple[Object, nullable Object]] */;
-val* var16 /* : nullable Object */;
-short int var18 /* : Bool */;
-int cltype19;
-int idtype20;
-const struct type* type_struct21;
-short int is_nullable22;
-const char* var_class_name23;
-val* var24 /* : Array[Couple[Object, nullable Object]] */;
-val* var25 /* : Couple[Object, nullable Object] */;
-/* Covariant cast for argument 0 (key) <p0:Object> isa K */
-/* <p0:Object> isa K */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Map_FT0];
+long var_i /* var i: Int */;
+long var8 /* : Int */;
+short int var9 /* : Bool */;
+short int var11 /* : Bool */;
+int cltype12;
+int idtype13;
+const char* var_class_name14;
+short int var15 /* : Bool */;
+val* var16 /* : Array[Couple[nullable Object, nullable Object]] */;
+val* var17 /* : nullable Object */;
+short int var19 /* : Bool */;
+int cltype20;
+int idtype21;
+const struct type* type_struct22;
+short int is_nullable23;
+const char* var_class_name24;
+val* var25 /* : Array[Couple[nullable Object, nullable Object]] */;
+val* var26 /* : Couple[nullable Object, nullable Object] */;
+/* Covariant cast for argument 0 (key) <p0:nullable Object> isa K */
+/* <p0:nullable Object> isa K */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArrayMap___35dK];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var = 0;
} else {
var = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 520);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 553);
show_backtrace(1);
}
-/* Covariant cast for argument 1 (item) <p1:nullable Object> isa V */
-/* <p1:nullable Object> isa V */
-type_struct4 = self->type->resolution_table->types[COLOR_abstract_collection__Map_FT1];
+/* Covariant cast for argument 1 (item) <p1:nullable Object> isa E */
+/* <p1:nullable Object> isa E */
+type_struct4 = self->type->resolution_table->types[COLOR_standard__ArrayMap___35dE];
cltype2 = type_struct4->color;
idtype3 = type_struct4->id;
-is_nullable = type_struct4->is_nullable;
+is_nullable5 = type_struct4->is_nullable;
if(p1 == NULL) {
-var1 = is_nullable;
+var1 = is_nullable5;
} else {
if(cltype2 >= p1->type->table_size) {
var1 = 0;
}
}
if (unlikely(!var1)) {
-var_class_name5 = p1 == NULL ? "null" : p1->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "V", var_class_name5);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 520);
+var_class_name6 = p1 == NULL ? "null" : p1->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name6);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 553);
show_backtrace(1);
}
var_key = p0;
var_item = p1;
{
-var6 = array__ArrayMap__index(self, var_key);
+var7 = standard___standard__ArrayMap___index(self, var_key);
}
-var_i = var6;
-var7 = 0;
+var_i = var7;
+var8 = 0;
{
-{ /* Inline kernel#Int#>= (var_i,var7) on <var_i:Int> */
-/* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
-/* <var7:Int> isa OTHER */
-var10 = 1; /* easy <var7:Int> isa OTHER*/
-if (unlikely(!var10)) {
-var_class_name13 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+{ /* Inline kernel#Int#>= (var_i,var8) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var8:Int> isa OTHER */
+/* <var8:Int> isa OTHER */
+var11 = 1; /* easy <var8:Int> isa OTHER*/
+if (unlikely(!var11)) {
+var_class_name14 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
-var14 = var_i >= var7;
-var8 = var14;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
+var15 = var_i >= var8;
+var9 = var15;
+goto RET_LABEL10;
+RET_LABEL10:(void)0;
}
}
-if (var8){
-var15 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
-if (unlikely(var15 == NULL)) {
+if (var9){
+var16 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
+if (unlikely(var16 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 525);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 558);
show_backtrace(1);
}
{
-var16 = array__Array___91d_93d(var15, var_i);
+var17 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var16, var_i);
}
{
-{ /* Inline abstract_collection#Couple#second= (var16,var_item) on <var16:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#second= (var17,var_item) on <var17:nullable Object(Couple[nullable Object, nullable Object])> */
/* Covariant cast for argument 0 (second) <var_item:nullable Object> isa S */
/* <var_item:nullable Object> isa S */
-type_struct21 = var16->type->resolution_table->types[COLOR_abstract_collection__Couple_FT1];
-cltype19 = type_struct21->color;
-idtype20 = type_struct21->id;
-is_nullable22 = type_struct21->is_nullable;
+type_struct22 = var17->type->resolution_table->types[COLOR_standard__Couple___35dS];
+cltype20 = type_struct22->color;
+idtype21 = type_struct22->id;
+is_nullable23 = type_struct22->is_nullable;
if(var_item == NULL) {
-var18 = is_nullable22;
+var19 = is_nullable23;
} else {
-if(cltype19 >= var_item->type->table_size) {
-var18 = 0;
+if(cltype20 >= var_item->type->table_size) {
+var19 = 0;
} else {
-var18 = var_item->type->type_table[cltype19] == idtype20;
+var19 = var_item->type->type_table[cltype20] == idtype21;
}
}
-if (unlikely(!var18)) {
-var_class_name23 = var_item == NULL ? "null" : var_item->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "S", var_class_name23);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/abstract_collection.nit", 965);
+if (unlikely(!var19)) {
+var_class_name24 = var_item == NULL ? "null" : var_item->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "S", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__abstract_collection, 997);
show_backtrace(1);
}
-var16->attrs[COLOR_abstract_collection__Couple___second].val = var_item; /* _second on <var16:nullable Object(Couple[Object, nullable Object])> */
-RET_LABEL17:(void)0;
+var17->attrs[COLOR_standard__abstract_collection__Couple___second].val = var_item; /* _second on <var17:nullable Object(Couple[nullable Object, nullable Object])> */
+RET_LABEL18:(void)0;
}
}
} else {
-var24 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
-if (unlikely(var24 == NULL)) {
+var25 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
+if (unlikely(var25 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 527);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 560);
show_backtrace(1);
}
-var25 = NEW_abstract_collection__Couple(self->type->resolution_table->types[COLOR_abstract_collection__Couplearray__ArrayMap_FT0array__ArrayMap_FT1]);
+var26 = NEW_standard__Couple(self->type->resolution_table->types[COLOR_standard__Couple__standard__ArrayMap___35dK__standard__ArrayMap___35dE]);
{
-abstract_collection__Couple__init(var25, var_key, var_item); /* Direct call abstract_collection#Couple#init on <var25:Couple[Object, nullable Object]>*/
+((void (*)(val* self, val* p0))(var26->class->vft[COLOR_standard__abstract_collection__Couple__first_61d]))(var26, var_key) /* first= on <var26:Couple[nullable Object, nullable Object]>*/;
}
{
-array__AbstractArray__push(var24, var25); /* Direct call array#AbstractArray#push on <var24:Array[Couple[Object, nullable Object]]>*/
-}
-}
-RET_LABEL:;
-}
-/* method array#ArrayMap#[]= for (self: Object, Object, nullable Object) */
-void VIRTUAL_array__ArrayMap___91d_93d_61d(val* self, val* p0, val* p1) {
-array__ArrayMap___91d_93d_61d(self, p0, p1); /* Direct call array#ArrayMap#[]= on <self:Object(ArrayMap[Object, nullable Object])>*/
-RET_LABEL:;
-}
-/* method array#ArrayMap#keys for (self: ArrayMap[Object, nullable Object]): RemovableCollection[Object] */
-val* array__ArrayMap__keys(val* self) {
-val* var /* : RemovableCollection[Object] */;
-val* var1 /* : RemovableCollection[Object] */;
-var1 = self->attrs[COLOR_array__ArrayMap___keys].val; /* _keys on <self:ArrayMap[Object, nullable Object]> */
-if (unlikely(var1 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 531);
-show_backtrace(1);
+((void (*)(val* self, val* p0))(var26->class->vft[COLOR_standard__abstract_collection__Couple__second_61d]))(var26, var_item) /* second= on <var26:Couple[nullable Object, nullable Object]>*/;
}
-var = var1;
-RET_LABEL:;
-return var;
+{
+((void (*)(val* self))(var26->class->vft[COLOR_standard__kernel__Object__init]))(var26) /* init on <var26:Couple[nullable Object, nullable Object]>*/;
}
-/* method array#ArrayMap#keys for (self: Object): Collection[Object] */
-val* VIRTUAL_array__ArrayMap__keys(val* self) {
-val* var /* : Collection[Object] */;
-val* var1 /* : RemovableCollection[Object] */;
-val* var3 /* : RemovableCollection[Object] */;
-{ /* Inline array#ArrayMap#keys (self) on <self:Object(ArrayMap[Object, nullable Object])> */
-var3 = self->attrs[COLOR_array__ArrayMap___keys].val; /* _keys on <self:Object(ArrayMap[Object, nullable Object])> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 531);
-show_backtrace(1);
+{
+standard___standard__AbstractArray___standard__abstract_collection__Sequence__push(var25, var26); /* Direct call array#AbstractArray#push on <var25:Array[Couple[nullable Object, nullable Object]]>*/
}
-var1 = var3;
-RET_LABEL2:(void)0;
}
-var = var1;
RET_LABEL:;
-return var;
}
-/* method array#ArrayMap#values for (self: ArrayMap[Object, nullable Object]): RemovableCollection[nullable Object] */
-val* array__ArrayMap__values(val* self) {
+/* method array#ArrayMap#keys for (self: ArrayMap[nullable Object, nullable Object]): RemovableCollection[nullable Object] */
+val* standard___standard__ArrayMap___standard__abstract_collection__MapRead__keys(val* self) {
val* var /* : RemovableCollection[nullable Object] */;
val* var1 /* : RemovableCollection[nullable Object] */;
-var1 = self->attrs[COLOR_array__ArrayMap___values].val; /* _values on <self:ArrayMap[Object, nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayMap___keys].val; /* _keys on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 532);
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys");
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 564);
show_backtrace(1);
}
var = var1;
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#values for (self: Object): Collection[nullable Object] */
-val* VIRTUAL_array__ArrayMap__values(val* self) {
-val* var /* : Collection[nullable Object] */;
+/* method array#ArrayMap#values for (self: ArrayMap[nullable Object, nullable Object]): RemovableCollection[nullable Object] */
+val* standard___standard__ArrayMap___standard__abstract_collection__MapRead__values(val* self) {
+val* var /* : RemovableCollection[nullable Object] */;
val* var1 /* : RemovableCollection[nullable Object] */;
-val* var3 /* : RemovableCollection[nullable Object] */;
-{ /* Inline array#ArrayMap#values (self) on <self:Object(ArrayMap[Object, nullable Object])> */
-var3 = self->attrs[COLOR_array__ArrayMap___values].val; /* _values on <self:Object(ArrayMap[Object, nullable Object])> */
-if (unlikely(var3 == NULL)) {
+var1 = self->attrs[COLOR_standard__array__ArrayMap___values].val; /* _values on <self:ArrayMap[nullable Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 532);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 565);
show_backtrace(1);
}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
var = var1;
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#length for (self: ArrayMap[Object, nullable Object]): Int */
-long array__ArrayMap__length(val* self) {
+/* method array#ArrayMap#length for (self: ArrayMap[nullable Object, nullable Object]): Int */
+long standard___standard__ArrayMap___standard__abstract_collection__MapRead__length(val* self) {
long var /* : Int */;
-val* var1 /* : Array[Couple[Object, nullable Object]] */;
+val* var1 /* : Array[Couple[nullable Object, nullable Object]] */;
long var2 /* : Int */;
long var4 /* : Int */;
-var1 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 535);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 568);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[Couple[Object, nullable Object]]> */
-var4 = var1->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var1:Array[Couple[Object, nullable Object]]> */
+{ /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[Couple[nullable Object, nullable Object]]> */
+var4 = var1->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var1:Array[Couple[nullable Object, nullable Object]]> */
var2 = var4;
RET_LABEL3:(void)0;
}
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#length for (self: Object): Int */
-long VIRTUAL_array__ArrayMap__length(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__ArrayMap__length(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMap#couple_iterator for (self: ArrayMap[Object, nullable Object]): Iterator[Couple[Object, nullable Object]] */
-val* array__ArrayMap__couple_iterator(val* self) {
-val* var /* : Iterator[Couple[Object, nullable Object]] */;
-val* var1 /* : Array[Couple[Object, nullable Object]] */;
+/* method array#ArrayMap#couple_iterator for (self: ArrayMap[nullable Object, nullable Object]): Iterator[Couple[nullable Object, nullable Object]] */
+val* standard___standard__ArrayMap___standard__abstract_collection__CoupleMap__couple_iterator(val* self) {
+val* var /* : Iterator[Couple[nullable Object, nullable Object]] */;
+val* var1 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var2 /* : ArrayIterator[nullable Object] */;
-var1 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 537);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 570);
show_backtrace(1);
}
{
-var2 = array__AbstractArrayRead__iterator(var1);
+var2 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var1);
}
var = var2;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#couple_iterator for (self: Object): Iterator[Couple[Object, nullable Object]] */
-val* VIRTUAL_array__ArrayMap__couple_iterator(val* self) {
-val* var /* : Iterator[Couple[Object, nullable Object]] */;
-val* var1 /* : Iterator[Couple[Object, nullable Object]] */;
-var1 = array__ArrayMap__couple_iterator(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMap#is_empty for (self: ArrayMap[Object, nullable Object]): Bool */
-short int array__ArrayMap__is_empty(val* self) {
+/* method array#ArrayMap#is_empty for (self: ArrayMap[nullable Object, nullable Object]): Bool */
+short int standard___standard__ArrayMap___standard__abstract_collection__MapRead__is_empty(val* self) {
short int var /* : Bool */;
-val* var1 /* : Array[Couple[Object, nullable Object]] */;
+val* var1 /* : Array[Couple[nullable Object, nullable Object]] */;
short int var2 /* : Bool */;
-var1 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 539);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 572);
show_backtrace(1);
}
{
-var2 = array__AbstractArrayRead__is_empty(var1);
+var2 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(var1);
}
var = var2;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMap#is_empty for (self: Object): Bool */
-short int VIRTUAL_array__ArrayMap__is_empty(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayMap__is_empty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMap#clear for (self: ArrayMap[Object, nullable Object]) */
-void array__ArrayMap__clear(val* self) {
-val* var /* : Array[Couple[Object, nullable Object]] */;
-var = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+/* method array#ArrayMap#clear for (self: ArrayMap[nullable Object, nullable Object]) */
+void standard___standard__ArrayMap___standard__abstract_collection__Map__clear(val* self) {
+val* var /* : Array[Couple[nullable Object, nullable Object]] */;
+var = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 541);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 574);
show_backtrace(1);
}
{
-array__AbstractArray__clear(var); /* Direct call array#AbstractArray#clear on <var:Array[Couple[Object, nullable Object]]>*/
-}
-RET_LABEL:;
+standard___standard__AbstractArray___standard__abstract_collection__RemovableCollection__clear(var); /* Direct call array#AbstractArray#clear on <var:Array[Couple[nullable Object, nullable Object]]>*/
}
-/* method array#ArrayMap#clear for (self: Object) */
-void VIRTUAL_array__ArrayMap__clear(val* self) {
-array__ArrayMap__clear(self); /* Direct call array#ArrayMap#clear on <self:Object(ArrayMap[Object, nullable Object])>*/
RET_LABEL:;
}
-/* method array#ArrayMap#remove_at_index for (self: ArrayMap[Object, nullable Object], Int) */
-void array__ArrayMap__remove_at_index(val* self, long p0) {
+/* method array#ArrayMap#remove_at_index for (self: ArrayMap[nullable Object, nullable Object], Int) */
+void standard___standard__ArrayMap___remove_at_index(val* self, long p0) {
long var_i /* var i: Int */;
-val* var /* : Array[Couple[Object, nullable Object]] */;
-val* var1 /* : Array[Couple[Object, nullable Object]] */;
+val* var /* : Array[Couple[nullable Object, nullable Object]] */;
+val* var1 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var2 /* : nullable Object */;
-val* var3 /* : Array[Couple[Object, nullable Object]] */;
+val* var3 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var4 /* : nullable Object */;
var_i = p0;
-var = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 562);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 595);
show_backtrace(1);
}
-var1 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var1 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 562);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 595);
show_backtrace(1);
}
{
-var2 = abstract_collection__SequenceRead__last(var1);
+var2 = standard___standard__SequenceRead___last(var1);
}
{
-array__Array___91d_93d_61d(var, var_i, var2); /* Direct call array#Array#[]= on <var:Array[Couple[Object, nullable Object]]>*/
+standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(var, var_i, var2); /* Direct call array#Array#[]= on <var:Array[Couple[nullable Object, nullable Object]]>*/
}
-var3 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 563);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 596);
show_backtrace(1);
}
{
-var4 = array__AbstractArray__pop(var3);
+var4 = standard___standard__AbstractArray___standard__abstract_collection__Sequence__pop(var3);
}
RET_LABEL:;
}
-/* method array#ArrayMap#remove_at_index for (self: Object, Int) */
-void VIRTUAL_array__ArrayMap__remove_at_index(val* self, long p0) {
-array__ArrayMap__remove_at_index(self, p0); /* Direct call array#ArrayMap#remove_at_index on <self:Object(ArrayMap[Object, nullable Object])>*/
-RET_LABEL:;
-}
-/* method array#ArrayMap#index for (self: ArrayMap[Object, nullable Object], Object): Int */
-long array__ArrayMap__index(val* self, val* p0) {
+/* method array#ArrayMap#index for (self: ArrayMap[nullable Object, nullable Object], nullable Object): Int */
+long standard___standard__ArrayMap___index(val* self, val* p0) {
long var /* : Int */;
short int var1 /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_key /* var key: Object */;
+val* var_key /* var key: nullable Object */;
long var2 /* : Int */;
long var_l /* var l: Int */;
short int var3 /* : Bool */;
-val* var4 /* : Array[Couple[Object, nullable Object]] */;
+val* var4 /* : Array[Couple[nullable Object, nullable Object]] */;
long var5 /* : Int */;
long var7 /* : Int */;
short int var8 /* : Bool */;
const char* var_class_name13;
short int var14 /* : Bool */;
short int var_ /* var : Bool */;
-val* var15 /* : Array[Couple[Object, nullable Object]] */;
+val* var15 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var16 /* : nullable Object */;
val* var17 /* : nullable Object */;
val* var19 /* : nullable Object */;
short int var21 /* : Bool */;
long var22 /* : Int */;
long var_i /* var i: Int */;
-val* var23 /* : Array[Couple[Object, nullable Object]] */;
+val* var23 /* : Array[Couple[nullable Object, nullable Object]] */;
long var24 /* : Int */;
long var26 /* : Int */;
short int var27 /* : Bool */;
int idtype31;
const char* var_class_name32;
short int var33 /* : Bool */;
-val* var34 /* : Array[Couple[Object, nullable Object]] */;
+val* var34 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var35 /* : nullable Object */;
val* var36 /* : nullable Object */;
val* var38 /* : nullable Object */;
long var49 /* : Int */;
long var50 /* : Int */;
long var52 /* : Int */;
-/* Covariant cast for argument 0 (key) <p0:Object> isa K */
-/* <p0:Object> isa K */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayMap_FT0];
+/* Covariant cast for argument 0 (key) <p0:nullable Object> isa K */
+/* <p0:nullable Object> isa K */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArrayMap___35dK];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var1 = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var1 = 0;
} else {
var1 = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 569);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 602);
show_backtrace(1);
}
var_key = p0;
-var2 = self->attrs[COLOR_array__ArrayMap___last_index].l; /* _last_index on <self:ArrayMap[Object, nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__ArrayMap___last_index].l; /* _last_index on <self:ArrayMap[nullable Object, nullable Object]> */
var_l = var2;
-var4 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 574);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 607);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var4) on <var4:Array[Couple[Object, nullable Object]]> */
-var7 = var4->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var4:Array[Couple[Object, nullable Object]]> */
+{ /* Inline array#AbstractArrayRead#length (var4) on <var4:Array[Couple[nullable Object, nullable Object]]> */
+var7 = var4->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var4:Array[Couple[nullable Object, nullable Object]]> */
var5 = var7;
RET_LABEL6:(void)0;
}
/* <var5:Int> isa OTHER */
var10 = 1; /* easy <var5:Int> isa OTHER*/
if (unlikely(!var10)) {
-var_class_name13 = type_kernel__Int.name;
+var_class_name13 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var14 = var_l < var5;
}
var_ = var8;
if (var8){
-var15 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var15 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var15 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 574);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 607);
show_backtrace(1);
}
{
-var16 = array__Array___91d_93d(var15, var_l);
+var16 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var15, var_l);
}
{
-{ /* Inline abstract_collection#Couple#first (var16) on <var16:nullable Object(Couple[Object, nullable Object])> */
-var19 = var16->attrs[COLOR_abstract_collection__Couple___first].val; /* _first on <var16:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#first (var16) on <var16:nullable Object(Couple[nullable Object, nullable Object])> */
+var19 = var16->attrs[COLOR_standard__abstract_collection__Couple___first].val; /* _first on <var16:nullable Object(Couple[nullable Object, nullable Object])> */
var17 = var19;
RET_LABEL18:(void)0;
}
}
-{
-var21 = ((short int (*)(val*, val*))(var17->class->vft[COLOR_kernel__Object___61d_61d]))(var17, var_key) /* == on <var17:nullable Object(Object)>*/;
+if (var17 == NULL) {
+var20 = (var_key == NULL);
+} else {
+var21 = ((short int (*)(val* self, val* p0))(var17->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var17, var_key) /* == on <var17:nullable Object>*/;
var20 = var21;
}
var3 = var20;
var22 = 0;
var_i = var22;
for(;;) {
-var23 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var23 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var23 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 577);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 610);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var23) on <var23:Array[Couple[Object, nullable Object]]> */
-var26 = var23->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var23:Array[Couple[Object, nullable Object]]> */
+{ /* Inline array#AbstractArrayRead#length (var23) on <var23:Array[Couple[nullable Object, nullable Object]]> */
+var26 = var23->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var23:Array[Couple[nullable Object, nullable Object]]> */
var24 = var26;
RET_LABEL25:(void)0;
}
/* <var24:Int> isa OTHER */
var29 = 1; /* easy <var24:Int> isa OTHER*/
if (unlikely(!var29)) {
-var_class_name32 = type_kernel__Int.name;
+var_class_name32 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
show_backtrace(1);
}
var33 = var_i < var24;
}
}
if (var27){
-var34 = self->attrs[COLOR_array__ArrayMap___items].val; /* _items on <self:ArrayMap[Object, nullable Object]> */
+var34 = self->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <self:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var34 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 578);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 611);
show_backtrace(1);
}
{
-var35 = array__Array___91d_93d(var34, var_i);
+var35 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var34, var_i);
}
{
-{ /* Inline abstract_collection#Couple#first (var35) on <var35:nullable Object(Couple[Object, nullable Object])> */
-var38 = var35->attrs[COLOR_abstract_collection__Couple___first].val; /* _first on <var35:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#first (var35) on <var35:nullable Object(Couple[nullable Object, nullable Object])> */
+var38 = var35->attrs[COLOR_standard__abstract_collection__Couple___first].val; /* _first on <var35:nullable Object(Couple[nullable Object, nullable Object])> */
var36 = var38;
RET_LABEL37:(void)0;
}
}
-{
-var40 = ((short int (*)(val*, val*))(var36->class->vft[COLOR_kernel__Object___61d_61d]))(var36, var_key) /* == on <var36:nullable Object(Object)>*/;
+if (var36 == NULL) {
+var39 = (var_key == NULL);
+} else {
+var40 = ((short int (*)(val* self, val* p0))(var36->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var36, var_key) /* == on <var36:nullable Object>*/;
var39 = var40;
}
if (var39){
-self->attrs[COLOR_array__ArrayMap___last_index].l = var_i; /* _last_index on <self:ArrayMap[Object, nullable Object]> */
+self->attrs[COLOR_standard__array__ArrayMap___last_index].l = var_i; /* _last_index on <self:ArrayMap[nullable Object, nullable Object]> */
var = var_i;
goto RET_LABEL;
} else {
/* <var41:Int> isa OTHER */
var44 = 1; /* easy <var41:Int> isa OTHER*/
if (unlikely(!var44)) {
-var_class_name47 = type_kernel__Int.name;
+var_class_name47 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name47);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
show_backtrace(1);
}
var48 = var_i + var41;
RET_LABEL51:(void)0;
}
}
-var = var50;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMap#index for (self: Object, Object): Int */
-long VIRTUAL_array__ArrayMap__index(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__ArrayMap__index(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#map for (self: ArrayMapKeys[Object, nullable Object]): ArrayMap[Object, nullable Object] */
-val* array__ArrayMapKeys__map(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-var1 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
-if (unlikely(var1 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
-show_backtrace(1);
-}
-var = var1;
+var = var50;
+goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#map for (self: Object): ArrayMap[Object, nullable Object] */
-val* VIRTUAL_array__ArrayMapKeys__map(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
-{ /* Inline array#ArrayMapKeys#map (self) on <self:Object(ArrayMapKeys[Object, nullable Object])> */
-var3 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:Object(ArrayMapKeys[Object, nullable Object])> */
-if (unlikely(var3 == NULL)) {
+/* method array#ArrayMapKeys#map for (self: ArrayMapKeys[nullable Object, nullable Object]): ArrayMap[nullable Object, nullable Object] */
+val* standard__array___standard__array__ArrayMapKeys___map(val* self) {
+val* var /* : ArrayMap[nullable Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+var1 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
var = var1;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#map= for (self: ArrayMapKeys[Object, nullable Object], ArrayMap[Object, nullable Object]) */
-void array__ArrayMapKeys__map_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (map) <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-/* <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayMaparray__ArrayMapKeys_FT0array__ArrayMapKeys_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "ArrayMap[K, E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
-show_backtrace(1);
-}
-self->attrs[COLOR_array__ArrayMapKeys___map].val = p0; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
-RET_LABEL:;
-}
-/* method array#ArrayMapKeys#map= for (self: Object, ArrayMap[Object, nullable Object]) */
-void VIRTUAL_array__ArrayMapKeys__map_61d(val* self, val* p0) {
+/* method array#ArrayMapKeys#map= for (self: ArrayMapKeys[nullable Object, nullable Object], ArrayMap[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapKeys___map_61d(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
const char* var_class_name;
-{ /* Inline array#ArrayMapKeys#map= (self,p0) on <self:Object(ArrayMapKeys[Object, nullable Object])> */
-/* Covariant cast for argument 0 (map) <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-/* <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayMaparray__ArrayMapKeys_FT0array__ArrayMapKeys_FT1];
+/* Covariant cast for argument 0 (map) <p0:ArrayMap[nullable Object, nullable Object]> isa ArrayMap[K, E] */
+/* <p0:ArrayMap[nullable Object, nullable Object]> isa ArrayMap[K, E] */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArrayMap__standard__array__ArrayMapKeys___35dK__standard__array__ArrayMapKeys___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "ArrayMap[K, E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
-self->attrs[COLOR_array__ArrayMapKeys___map].val = p0; /* _map on <self:Object(ArrayMapKeys[Object, nullable Object])> */
-RET_LABEL1:(void)0;
-}
+self->attrs[COLOR_standard__array__ArrayMapKeys___map].val = p0; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
RET_LABEL:;
}
-/* method array#ArrayMapKeys#first for (self: ArrayMapKeys[Object, nullable Object]): Object */
-val* array__ArrayMapKeys__first(val* self) {
-val* var /* : Object */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : Array[Couple[Object, nullable Object]] */;
+/* method array#ArrayMapKeys#first for (self: ArrayMapKeys[nullable Object, nullable Object]): nullable Object */
+val* standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__Collection__first(val* self) {
+val* var /* : nullable Object */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var5 /* : nullable Object */;
val* var6 /* : nullable Object */;
val* var8 /* : nullable Object */;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var1 = var3;
RET_LABEL2:(void)0;
}
}
-var4 = var1->attrs[COLOR_array__ArrayMap___items].val; /* _items on <var1:ArrayMap[Object, nullable Object]> */
+var4 = var1->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <var1:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 593);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 626);
show_backtrace(1);
}
{
-var5 = abstract_collection__SequenceRead__first(var4);
+var5 = standard___standard__SequenceRead___Collection__first(var4);
}
{
-{ /* Inline abstract_collection#Couple#first (var5) on <var5:nullable Object(Couple[Object, nullable Object])> */
-var8 = var5->attrs[COLOR_abstract_collection__Couple___first].val; /* _first on <var5:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#first (var5) on <var5:nullable Object(Couple[nullable Object, nullable Object])> */
+var8 = var5->attrs[COLOR_standard__abstract_collection__Couple___first].val; /* _first on <var5:nullable Object(Couple[nullable Object, nullable Object])> */
var6 = var8;
RET_LABEL7:(void)0;
}
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#first for (self: Object): nullable Object */
-val* VIRTUAL_array__ArrayMapKeys__first(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : Object */;
-var1 = array__ArrayMapKeys__first(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#has for (self: ArrayMapKeys[Object, nullable Object], Object): Bool */
-short int array__ArrayMapKeys__has(val* self, val* p0) {
+/* method array#ArrayMapKeys#has for (self: ArrayMapKeys[nullable Object, nullable Object], nullable Object): Bool */
+short int standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__Collection__has(val* self, val* p0) {
short int var /* : Bool */;
short int var1 /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_k /* var k: Object */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : ArrayMap[Object, nullable Object] */;
+val* var_k /* var k: nullable Object */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : ArrayMap[nullable Object, nullable Object] */;
long var5 /* : Int */;
long var6 /* : Int */;
short int var7 /* : Bool */;
int idtype11;
const char* var_class_name12;
short int var13 /* : Bool */;
-/* Covariant cast for argument 0 (k) <p0:Object> isa E */
-/* <p0:Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+/* Covariant cast for argument 0 (k) <p0:nullable Object> isa K */
+/* <p0:nullable Object> isa K */
+type_struct = self->type->resolution_table->types[COLOR_standard__array__ArrayMapKeys___35dK];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var1 = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var1 = 0;
} else {
var1 = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 594);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 627);
show_backtrace(1);
}
var_k = p0;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var4 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var2 = var4;
}
}
{
-var5 = array__ArrayMap__index(var2, var_k);
+var5 = standard___standard__ArrayMap___index(var2, var_k);
}
var6 = 0;
{
/* <var6:Int> isa OTHER */
var9 = 1; /* easy <var6:Int> isa OTHER*/
if (unlikely(!var9)) {
-var_class_name12 = type_kernel__Int.name;
+var_class_name12 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var13 = var5 >= var6;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_array__ArrayMapKeys__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayMapKeys__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#is_empty for (self: ArrayMapKeys[Object, nullable Object]): Bool */
-short int array__ArrayMapKeys__is_empty(val* self) {
+/* method array#ArrayMapKeys#is_empty for (self: ArrayMapKeys[nullable Object, nullable Object]): Bool */
+short int standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__Collection__is_empty(val* self) {
short int var /* : Bool */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
short int var4 /* : Bool */;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var1 = var3;
}
}
{
-var4 = array__ArrayMap__is_empty(var1);
+var4 = standard___standard__ArrayMap___standard__abstract_collection__MapRead__is_empty(var1);
}
var = var4;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#is_empty for (self: Object): Bool */
-short int VIRTUAL_array__ArrayMapKeys__is_empty(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayMapKeys__is_empty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#length for (self: ArrayMapKeys[Object, nullable Object]): Int */
-long array__ArrayMapKeys__length(val* self) {
+/* method array#ArrayMapKeys#length for (self: ArrayMapKeys[nullable Object, nullable Object]): Int */
+long standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__Collection__length(val* self) {
long var /* : Int */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
long var4 /* : Int */;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var1 = var3;
}
}
{
-var4 = array__ArrayMap__length(var1);
+var4 = standard___standard__ArrayMap___standard__abstract_collection__MapRead__length(var1);
}
var = var4;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#length for (self: Object): Int */
-long VIRTUAL_array__ArrayMapKeys__length(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__ArrayMapKeys__length(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#iterator for (self: ArrayMapKeys[Object, nullable Object]): Iterator[Object] */
-val* array__ArrayMapKeys__iterator(val* self) {
-val* var /* : Iterator[Object] */;
-val* var1 /* : MapKeysIterator[Object, nullable Object] */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : ArrayMap[Object, nullable Object] */;
-val* var5 /* : MapIterator[Object, nullable Object] */;
-var1 = NEW_abstract_collection__MapKeysIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapKeysIteratorarray__ArrayMapKeys_FT0array__ArrayMapKeys_FT1]);
-{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var4 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+/* method array#ArrayMapKeys#iterator for (self: ArrayMapKeys[nullable Object, nullable Object]): Iterator[nullable Object] */
+val* standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__Collection__iterator(val* self) {
+val* var /* : Iterator[nullable Object] */;
+val* var1 /* : MapKeysIterator[nullable Object, nullable Object] */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var5 /* : MapIterator[nullable Object, nullable Object] */;
+var1 = NEW_standard__MapKeysIterator(self->type->resolution_table->types[COLOR_standard__MapKeysIterator__standard__array__ArrayMapKeys___35dK__standard__array__ArrayMapKeys___35dE]);
+{
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var2 = var4;
}
}
{
-var5 = abstract_collection__CoupleMap__iterator(var2);
+var5 = standard___standard__CoupleMap___MapRead__iterator(var2);
}
{
-((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapKeysIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on <var1:MapKeysIterator[Object, nullable Object]>*/;
+((void (*)(val* self, val* p0))(var1->class->vft[COLOR_standard__abstract_collection__MapKeysIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on <var1:MapKeysIterator[nullable Object, nullable Object]>*/;
}
{
-((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:MapKeysIterator[Object, nullable Object]>*/;
+((void (*)(val* self))(var1->class->vft[COLOR_standard__kernel__Object__init]))(var1) /* init on <var1:MapKeysIterator[nullable Object, nullable Object]>*/;
}
var = var1;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapKeys#iterator for (self: Object): Iterator[nullable Object] */
-val* VIRTUAL_array__ArrayMapKeys__iterator(val* self) {
-val* var /* : Iterator[nullable Object] */;
-val* var1 /* : Iterator[Object] */;
-var1 = array__ArrayMapKeys__iterator(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapKeys#clear for (self: ArrayMapKeys[Object, nullable Object]) */
-void array__ArrayMapKeys__clear(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
+/* method array#ArrayMapKeys#clear for (self: ArrayMapKeys[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__RemovableCollection__clear(val* self) {
+val* var /* : ArrayMap[nullable Object, nullable Object] */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var2 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var = var2;
}
}
{
-array__ArrayMap__clear(var); /* Direct call array#ArrayMap#clear on <var:ArrayMap[Object, nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__ArrayMap___standard__abstract_collection__Map__clear(var); /* Direct call array#ArrayMap#clear on <var:ArrayMap[nullable Object, nullable Object]>*/
}
-/* method array#ArrayMapKeys#clear for (self: Object) */
-void VIRTUAL_array__ArrayMapKeys__clear(val* self) {
-array__ArrayMapKeys__clear(self); /* Direct call array#ArrayMapKeys#clear on <self:Object(ArrayMapKeys[Object, nullable Object])>*/
RET_LABEL:;
}
-/* method array#ArrayMapKeys#remove for (self: ArrayMapKeys[Object, nullable Object], Object) */
-void array__ArrayMapKeys__remove(val* self, val* p0) {
+/* method array#ArrayMapKeys#remove for (self: ArrayMapKeys[nullable Object, nullable Object], nullable Object) */
+void standard__array___standard__array__ArrayMapKeys___standard__abstract_collection__RemovableCollection__remove(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
+short int is_nullable;
const char* var_class_name;
-val* var_key /* var key: Object */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
+val* var_key /* var key: nullable Object */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
long var4 /* : Int */;
long var_i /* var i: Int */;
long var5 /* : Int */;
int idtype10;
const char* var_class_name11;
short int var12 /* : Bool */;
-val* var13 /* : ArrayMap[Object, nullable Object] */;
-val* var15 /* : ArrayMap[Object, nullable Object] */;
-/* Covariant cast for argument 0 (key) <p0:Object> isa E */
-/* <p0:Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+val* var13 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var15 /* : ArrayMap[nullable Object, nullable Object] */;
+/* Covariant cast for argument 0 (key) <p0:nullable Object> isa K */
+/* <p0:nullable Object> isa K */
+type_struct = self->type->resolution_table->types[COLOR_standard__array__ArrayMapKeys___35dK];
cltype = type_struct->color;
idtype = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(p0 == NULL) {
+var = is_nullable;
+} else {
if(cltype >= p0->type->table_size) {
var = 0;
} else {
var = p0->type->type_table[cltype] == idtype;
}
+}
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 600);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 633);
show_backtrace(1);
}
var_key = p0;
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var1 = var3;
}
}
{
-var4 = array__ArrayMap__index(var1, var_key);
+var4 = standard___standard__ArrayMap___index(var1, var_key);
}
var_i = var4;
var5 = 0;
/* <var5:Int> isa OTHER */
var8 = 1; /* easy <var5:Int> isa OTHER*/
if (unlikely(!var8)) {
-var_class_name11 = type_kernel__Int.name;
+var_class_name11 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name11);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var12 = var_i >= var5;
}
if (var6){
{
-{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[Object, nullable Object]> */
-var15 = self->attrs[COLOR_array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[Object, nullable Object]> */
+{ /* Inline array#ArrayMapKeys#map (self) on <self:ArrayMapKeys[nullable Object, nullable Object]> */
+var15 = self->attrs[COLOR_standard__array__ArrayMapKeys___map].val; /* _map on <self:ArrayMapKeys[nullable Object, nullable Object]> */
if (unlikely(var15 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 590);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 623);
show_backtrace(1);
}
var13 = var15;
}
}
{
-array__ArrayMap__remove_at_index(var13, var_i); /* Direct call array#ArrayMap#remove_at_index on <var13:ArrayMap[Object, nullable Object]>*/
+standard___standard__ArrayMap___remove_at_index(var13, var_i); /* Direct call array#ArrayMap#remove_at_index on <var13:ArrayMap[nullable Object, nullable Object]>*/
}
} else {
}
RET_LABEL:;
}
-/* method array#ArrayMapKeys#remove for (self: Object, nullable Object) */
-void VIRTUAL_array__ArrayMapKeys__remove(val* self, val* p0) {
-array__ArrayMapKeys__remove(self, p0); /* Direct call array#ArrayMapKeys#remove on <self:Object(ArrayMapKeys[Object, nullable Object])>*/
-RET_LABEL:;
-}
-/* method array#ArrayMapKeys#init for (self: ArrayMapKeys[Object, nullable Object]) */
-void array__ArrayMapKeys__init(val* self) {
-{
-((void (*)(val*))(self->class->vft[COLOR_array__ArrayMapKeys__init]))(self) /* init on <self:ArrayMapKeys[Object, nullable Object]>*/;
-}
-RET_LABEL:;
-}
-/* method array#ArrayMapKeys#init for (self: Object) */
-void VIRTUAL_array__ArrayMapKeys__init(val* self) {
-{ /* Inline array#ArrayMapKeys#init (self) on <self:Object(ArrayMapKeys[Object, nullable Object])> */
+/* method array#ArrayMapKeys#init for (self: ArrayMapKeys[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapKeys___standard__kernel__Object__init(val* self) {
{
-((void (*)(val*))(self->class->vft[COLOR_array__ArrayMapKeys__init]))(self) /* init on <self:Object(ArrayMapKeys[Object, nullable Object])>*/;
-}
-RET_LABEL1:(void)0;
+((void (*)(val* self))(self->class->vft[COLOR_standard__array___standard__array__ArrayMapKeys___standard__kernel__Object__init]))(self) /* init on <self:ArrayMapKeys[nullable Object, nullable Object]>*/;
}
RET_LABEL:;
}
-/* method array#ArrayMapValues#map for (self: ArrayMapValues[Object, nullable Object]): ArrayMap[Object, nullable Object] */
-val* array__ArrayMapValues__map(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-var1 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+/* method array#ArrayMapValues#map for (self: ArrayMapValues[nullable Object, nullable Object]): ArrayMap[nullable Object, nullable Object] */
+val* standard__array___standard__array__ArrayMapValues___map(val* self) {
+val* var /* : ArrayMap[nullable Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+var1 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#map for (self: Object): ArrayMap[Object, nullable Object] */
-val* VIRTUAL_array__ArrayMapValues__map(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
-{ /* Inline array#ArrayMapValues#map (self) on <self:Object(ArrayMapValues[Object, nullable Object])> */
-var3 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:Object(ArrayMapValues[Object, nullable Object])> */
-if (unlikely(var3 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
-var1 = var3;
-RET_LABEL2:(void)0;
-}
var = var1;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#map= for (self: ArrayMapValues[Object, nullable Object], ArrayMap[Object, nullable Object]) */
-void array__ArrayMapValues__map_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (map) <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-/* <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayMaparray__ArrayMapValues_FT0array__ArrayMapValues_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "ArrayMap[K, E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
-show_backtrace(1);
-}
-self->attrs[COLOR_array__ArrayMapValues___map].val = p0; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
-RET_LABEL:;
-}
-/* method array#ArrayMapValues#map= for (self: Object, ArrayMap[Object, nullable Object]) */
-void VIRTUAL_array__ArrayMapValues__map_61d(val* self, val* p0) {
+/* method array#ArrayMapValues#map= for (self: ArrayMapValues[nullable Object, nullable Object], ArrayMap[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapValues___map_61d(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
const char* var_class_name;
-{ /* Inline array#ArrayMapValues#map= (self,p0) on <self:Object(ArrayMapValues[Object, nullable Object])> */
-/* Covariant cast for argument 0 (map) <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-/* <p0:ArrayMap[Object, nullable Object]> isa ArrayMap[K, E] */
-type_struct = self->type->resolution_table->types[COLOR_array__ArrayMaparray__ArrayMapValues_FT0array__ArrayMapValues_FT1];
+/* Covariant cast for argument 0 (map) <p0:ArrayMap[nullable Object, nullable Object]> isa ArrayMap[K, E] */
+/* <p0:ArrayMap[nullable Object, nullable Object]> isa ArrayMap[K, E] */
+type_struct = self->type->resolution_table->types[COLOR_standard__ArrayMap__standard__array__ArrayMapValues___35dK__standard__array__ArrayMapValues___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "ArrayMap[K, E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
-self->attrs[COLOR_array__ArrayMapValues___map].val = p0; /* _map on <self:Object(ArrayMapValues[Object, nullable Object])> */
-RET_LABEL1:(void)0;
-}
+self->attrs[COLOR_standard__array__ArrayMapValues___map].val = p0; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
RET_LABEL:;
}
-/* method array#ArrayMapValues#first for (self: ArrayMapValues[Object, nullable Object]): nullable Object */
-val* array__ArrayMapValues__first(val* self) {
+/* method array#ArrayMapValues#first for (self: ArrayMapValues[nullable Object, nullable Object]): nullable Object */
+val* standard__array___standard__array__ArrayMapValues___standard__abstract_collection__Collection__first(val* self) {
val* var /* : nullable Object */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : Array[Couple[Object, nullable Object]] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var5 /* : nullable Object */;
val* var6 /* : nullable Object */;
val* var8 /* : nullable Object */;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var1 = var3;
RET_LABEL2:(void)0;
}
}
-var4 = var1->attrs[COLOR_array__ArrayMap___items].val; /* _items on <var1:ArrayMap[Object, nullable Object]> */
+var4 = var1->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <var1:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 612);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 645);
show_backtrace(1);
}
{
-var5 = abstract_collection__SequenceRead__first(var4);
+var5 = standard___standard__SequenceRead___Collection__first(var4);
}
{
-{ /* Inline abstract_collection#Couple#second (var5) on <var5:nullable Object(Couple[Object, nullable Object])> */
-var8 = var5->attrs[COLOR_abstract_collection__Couple___second].val; /* _second on <var5:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#second (var5) on <var5:nullable Object(Couple[nullable Object, nullable Object])> */
+var8 = var5->attrs[COLOR_standard__abstract_collection__Couple___second].val; /* _second on <var5:nullable Object(Couple[nullable Object, nullable Object])> */
var6 = var8;
RET_LABEL7:(void)0;
}
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#first for (self: Object): nullable Object */
-val* VIRTUAL_array__ArrayMapValues__first(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = array__ArrayMapValues__first(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#is_empty for (self: ArrayMapValues[Object, nullable Object]): Bool */
-short int array__ArrayMapValues__is_empty(val* self) {
+/* method array#ArrayMapValues#is_empty for (self: ArrayMapValues[nullable Object, nullable Object]): Bool */
+short int standard__array___standard__array__ArrayMapValues___standard__abstract_collection__Collection__is_empty(val* self) {
short int var /* : Bool */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
short int var4 /* : Bool */;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var1 = var3;
}
}
{
-var4 = array__ArrayMap__is_empty(var1);
+var4 = standard___standard__ArrayMap___standard__abstract_collection__MapRead__is_empty(var1);
}
var = var4;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#is_empty for (self: Object): Bool */
-short int VIRTUAL_array__ArrayMapValues__is_empty(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayMapValues__is_empty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#length for (self: ArrayMapValues[Object, nullable Object]): Int */
-long array__ArrayMapValues__length(val* self) {
+/* method array#ArrayMapValues#length for (self: ArrayMapValues[nullable Object, nullable Object]): Int */
+long standard__array___standard__array__ArrayMapValues___standard__abstract_collection__Collection__length(val* self) {
long var /* : Int */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
long var4 /* : Int */;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var1 = var3;
}
}
{
-var4 = array__ArrayMap__length(var1);
+var4 = standard___standard__ArrayMap___standard__abstract_collection__MapRead__length(var1);
}
var = var4;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#length for (self: Object): Int */
-long VIRTUAL_array__ArrayMapValues__length(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = array__ArrayMapValues__length(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#iterator for (self: ArrayMapValues[Object, nullable Object]): Iterator[nullable Object] */
-val* array__ArrayMapValues__iterator(val* self) {
+/* method array#ArrayMapValues#iterator for (self: ArrayMapValues[nullable Object, nullable Object]): Iterator[nullable Object] */
+val* standard__array___standard__array__ArrayMapValues___standard__abstract_collection__Collection__iterator(val* self) {
val* var /* : Iterator[nullable Object] */;
-val* var1 /* : MapValuesIterator[Object, nullable Object] */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : ArrayMap[Object, nullable Object] */;
-val* var5 /* : MapIterator[Object, nullable Object] */;
-var1 = NEW_abstract_collection__MapValuesIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapValuesIteratorarray__ArrayMapValues_FT0array__ArrayMapValues_FT1]);
-{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var4 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+val* var1 /* : MapValuesIterator[nullable Object, nullable Object] */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var5 /* : MapIterator[nullable Object, nullable Object] */;
+var1 = NEW_standard__MapValuesIterator(self->type->resolution_table->types[COLOR_standard__MapValuesIterator__standard__array__ArrayMapValues___35dK__standard__array__ArrayMapValues___35dE]);
+{
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var2 = var4;
}
}
{
-var5 = abstract_collection__CoupleMap__iterator(var2);
+var5 = standard___standard__CoupleMap___MapRead__iterator(var2);
}
{
-((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapValuesIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on <var1:MapValuesIterator[Object, nullable Object]>*/;
+((void (*)(val* self, val* p0))(var1->class->vft[COLOR_standard__abstract_collection__MapValuesIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on <var1:MapValuesIterator[nullable Object, nullable Object]>*/;
}
{
-((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:MapValuesIterator[Object, nullable Object]>*/;
+((void (*)(val* self))(var1->class->vft[COLOR_standard__kernel__Object__init]))(var1) /* init on <var1:MapValuesIterator[nullable Object, nullable Object]>*/;
}
var = var1;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#iterator for (self: Object): Iterator[nullable Object] */
-val* VIRTUAL_array__ArrayMapValues__iterator(val* self) {
-val* var /* : Iterator[nullable Object] */;
-val* var1 /* : Iterator[nullable Object] */;
-var1 = array__ArrayMapValues__iterator(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#has for (self: ArrayMapValues[Object, nullable Object], nullable Object): Bool */
-short int array__ArrayMapValues__has(val* self, val* p0) {
+/* method array#ArrayMapValues#has for (self: ArrayMapValues[nullable Object, nullable Object], nullable Object): Bool */
+short int standard__array___standard__array__ArrayMapValues___standard__abstract_collection__Collection__has(val* self, val* p0) {
short int var /* : Bool */;
short int var1 /* : Bool */;
int cltype;
short int is_nullable;
const char* var_class_name;
val* var_item /* var item: nullable Object */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
-val* var4 /* : ArrayMap[Object, nullable Object] */;
-val* var5 /* : Array[Couple[Object, nullable Object]] */;
-val* var_ /* var : Array[Couple[Object, nullable Object]] */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var5 /* : Array[Couple[nullable Object, nullable Object]] */;
+val* var_ /* var : Array[Couple[nullable Object, nullable Object]] */;
val* var6 /* : ArrayIterator[nullable Object] */;
-val* var_7 /* var : ArrayIterator[Couple[Object, nullable Object]] */;
+val* var_7 /* var : ArrayIterator[Couple[nullable Object, nullable Object]] */;
short int var8 /* : Bool */;
val* var9 /* : nullable Object */;
-val* var_i /* var i: Couple[Object, nullable Object] */;
+val* var_i /* var i: Couple[nullable Object, nullable Object] */;
val* var10 /* : nullable Object */;
val* var12 /* : nullable Object */;
short int var13 /* : Bool */;
short int var17 /* : Bool */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__array__ArrayMapValues___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var1)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 617);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 650);
show_backtrace(1);
}
var_item = p0;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var4 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var4 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var2 = var4;
RET_LABEL3:(void)0;
}
}
-var5 = var2->attrs[COLOR_array__ArrayMap___items].val; /* _items on <var2:ArrayMap[Object, nullable Object]> */
+var5 = var2->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <var2:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var5 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 620);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 653);
show_backtrace(1);
}
var_ = var5;
{
-var6 = array__AbstractArrayRead__iterator(var_);
+var6 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_);
}
var_7 = var6;
for(;;) {
{
-var8 = array__ArrayIterator__is_ok(var_7);
+var8 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_7);
}
if (var8){
{
-var9 = array__ArrayIterator__item(var_7);
+var9 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_7);
}
var_i = var9;
{
-{ /* Inline abstract_collection#Couple#second (var_i) on <var_i:Couple[Object, nullable Object]> */
-var12 = var_i->attrs[COLOR_abstract_collection__Couple___second].val; /* _second on <var_i:Couple[Object, nullable Object]> */
+{ /* Inline abstract_collection#Couple#second (var_i) on <var_i:Couple[nullable Object, nullable Object]> */
+var12 = var_i->attrs[COLOR_standard__abstract_collection__Couple___second].val; /* _second on <var_i:Couple[nullable Object, nullable Object]> */
var10 = var12;
RET_LABEL11:(void)0;
}
if (var10 == NULL) {
var13 = (var_item == NULL);
} else {
-var14 = ((short int (*)(val*, val*))(var10->class->vft[COLOR_kernel__Object___61d_61d]))(var10, var_item) /* == on <var10:nullable Object>*/;
+var14 = ((short int (*)(val* self, val* p0))(var10->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var10, var_item) /* == on <var10:nullable Object>*/;
var13 = var14;
}
if (var13){
} else {
}
{
-array__ArrayIterator__next(var_7); /* Direct call array#ArrayIterator#next on <var_7:ArrayIterator[Couple[Object, nullable Object]]>*/
+standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_7); /* Direct call array#ArrayIterator#next on <var_7:ArrayIterator[Couple[nullable Object, nullable Object]]>*/
}
} else {
goto BREAK_label;
}
BREAK_label: (void)0;
{
-{ /* Inline abstract_collection#Iterator#finish (var_7) on <var_7:ArrayIterator[Couple[Object, nullable Object]]> */
+{ /* Inline abstract_collection#Iterator#finish (var_7) on <var_7:ArrayIterator[Couple[nullable Object, nullable Object]]> */
RET_LABEL16:(void)0;
}
}
RET_LABEL:;
return var;
}
-/* method array#ArrayMapValues#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_array__ArrayMapValues__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = array__ArrayMapValues__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayMapValues#clear for (self: ArrayMapValues[Object, nullable Object]) */
-void array__ArrayMapValues__clear(val* self) {
-val* var /* : ArrayMap[Object, nullable Object] */;
-val* var2 /* : ArrayMap[Object, nullable Object] */;
+/* method array#ArrayMapValues#clear for (self: ArrayMapValues[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapValues___standard__abstract_collection__RemovableCollection__clear(val* self) {
+val* var /* : ArrayMap[nullable Object, nullable Object] */;
+val* var2 /* : ArrayMap[nullable Object, nullable Object] */;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var2 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var2 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var = var2;
}
}
{
-array__ArrayMap__clear(var); /* Direct call array#ArrayMap#clear on <var:ArrayMap[Object, nullable Object]>*/
-}
-RET_LABEL:;
+standard___standard__ArrayMap___standard__abstract_collection__Map__clear(var); /* Direct call array#ArrayMap#clear on <var:ArrayMap[nullable Object, nullable Object]>*/
}
-/* method array#ArrayMapValues#clear for (self: Object) */
-void VIRTUAL_array__ArrayMapValues__clear(val* self) {
-array__ArrayMapValues__clear(self); /* Direct call array#ArrayMapValues#clear on <self:Object(ArrayMapValues[Object, nullable Object])>*/
RET_LABEL:;
}
-/* method array#ArrayMapValues#remove for (self: ArrayMapValues[Object, nullable Object], nullable Object) */
-void array__ArrayMapValues__remove(val* self, val* p0) {
+/* method array#ArrayMapValues#remove for (self: ArrayMapValues[nullable Object, nullable Object], nullable Object) */
+void standard__array___standard__array__ArrayMapValues___standard__abstract_collection__RemovableCollection__remove(val* self, val* p0) {
short int var /* : Bool */;
int cltype;
int idtype;
short int is_nullable;
const char* var_class_name;
val* var_item /* var item: nullable Object */;
-val* var1 /* : ArrayMap[Object, nullable Object] */;
-val* var3 /* : ArrayMap[Object, nullable Object] */;
-val* var_map /* var map: ArrayMap[Object, nullable Object] */;
-val* var4 /* : Array[Couple[Object, nullable Object]] */;
+val* var1 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var3 /* : ArrayMap[nullable Object, nullable Object] */;
+val* var_map /* var map: ArrayMap[nullable Object, nullable Object] */;
+val* var4 /* : Array[Couple[nullable Object, nullable Object]] */;
long var5 /* : Int */;
long var7 /* : Int */;
long var8 /* : Int */;
int idtype21;
const char* var_class_name22;
short int var23 /* : Bool */;
-val* var24 /* : Array[Couple[Object, nullable Object]] */;
+val* var24 /* : Array[Couple[nullable Object, nullable Object]] */;
val* var25 /* : nullable Object */;
val* var26 /* : nullable Object */;
val* var28 /* : nullable Object */;
long var38 /* : Int */;
/* Covariant cast for argument 0 (item) <p0:nullable Object> isa E */
/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__array__ArrayMapValues___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 641);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 674);
show_backtrace(1);
}
var_item = p0;
{
-{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[Object, nullable Object]> */
-var3 = self->attrs[COLOR_array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[Object, nullable Object]> */
+{ /* Inline array#ArrayMapValues#map (self) on <self:ArrayMapValues[nullable Object, nullable Object]> */
+var3 = self->attrs[COLOR_standard__array__ArrayMapValues___map].val; /* _map on <self:ArrayMapValues[nullable Object, nullable Object]> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 610);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 643);
show_backtrace(1);
}
var1 = var3;
}
}
var_map = var1;
-var4 = var_map->attrs[COLOR_array__ArrayMap___items].val; /* _items on <var_map:ArrayMap[Object, nullable Object]> */
+var4 = var_map->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <var_map:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var4 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 644);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 677);
show_backtrace(1);
}
{
-{ /* Inline array#AbstractArrayRead#length (var4) on <var4:Array[Couple[Object, nullable Object]]> */
-var7 = var4->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on <var4:Array[Couple[Object, nullable Object]]> */
+{ /* Inline array#AbstractArrayRead#length (var4) on <var4:Array[Couple[nullable Object, nullable Object]]> */
+var7 = var4->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var4:Array[Couple[nullable Object, nullable Object]]> */
var5 = var7;
RET_LABEL6:(void)0;
}
/* <var8:Int> isa OTHER */
var11 = 1; /* easy <var8:Int> isa OTHER*/
if (unlikely(!var11)) {
-var_class_name14 = type_kernel__Int.name;
+var_class_name14 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var15 = var5 - var8;
/* <var16:Int> isa OTHER */
var19 = 1; /* easy <var16:Int> isa OTHER*/
if (unlikely(!var19)) {
-var_class_name22 = type_kernel__Int.name;
+var_class_name22 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name22);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 411);
show_backtrace(1);
}
var23 = var_i >= var16;
}
}
if (var17){
-var24 = var_map->attrs[COLOR_array__ArrayMap___items].val; /* _items on <var_map:ArrayMap[Object, nullable Object]> */
+var24 = var_map->attrs[COLOR_standard__array__ArrayMap___items].val; /* _items on <var_map:ArrayMap[nullable Object, nullable Object]> */
if (unlikely(var24 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _items");
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 646);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 679);
show_backtrace(1);
}
{
-var25 = array__Array___91d_93d(var24, var_i);
+var25 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var24, var_i);
}
{
-{ /* Inline abstract_collection#Couple#second (var25) on <var25:nullable Object(Couple[Object, nullable Object])> */
-var28 = var25->attrs[COLOR_abstract_collection__Couple___second].val; /* _second on <var25:nullable Object(Couple[Object, nullable Object])> */
+{ /* Inline abstract_collection#Couple#second (var25) on <var25:nullable Object(Couple[nullable Object, nullable Object])> */
+var28 = var25->attrs[COLOR_standard__abstract_collection__Couple___second].val; /* _second on <var25:nullable Object(Couple[nullable Object, nullable Object])> */
var26 = var28;
RET_LABEL27:(void)0;
}
if (var26 == NULL) {
var29 = (var_item == NULL);
} else {
-var30 = ((short int (*)(val*, val*))(var26->class->vft[COLOR_kernel__Object___61d_61d]))(var26, var_item) /* == on <var26:nullable Object>*/;
+var30 = ((short int (*)(val* self, val* p0))(var26->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var26, var_item) /* == on <var26:nullable Object>*/;
var29 = var30;
}
if (var29){
{
-array__ArrayMap__remove_at_index(var_map, var_i); /* Direct call array#ArrayMap#remove_at_index on <var_map:ArrayMap[Object, nullable Object]>*/
+standard___standard__ArrayMap___remove_at_index(var_map, var_i); /* Direct call array#ArrayMap#remove_at_index on <var_map:ArrayMap[nullable Object, nullable Object]>*/
}
goto RET_LABEL;
} else {
/* <var31:Int> isa OTHER */
var34 = 1; /* easy <var31:Int> isa OTHER*/
if (unlikely(!var34)) {
-var_class_name37 = type_kernel__Int.name;
+var_class_name37 = type_standard__Int.name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name37);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 416);
show_backtrace(1);
}
var38 = var_i - var31;
BREAK_label: (void)0;
RET_LABEL:;
}
-/* method array#ArrayMapValues#remove for (self: Object, nullable Object) */
-void VIRTUAL_array__ArrayMapValues__remove(val* self, val* p0) {
-array__ArrayMapValues__remove(self, p0); /* Direct call array#ArrayMapValues#remove on <self:Object(ArrayMapValues[Object, nullable Object])>*/
-RET_LABEL:;
-}
-/* method array#ArrayMapValues#init for (self: ArrayMapValues[Object, nullable Object]) */
-void array__ArrayMapValues__init(val* self) {
-{
-((void (*)(val*))(self->class->vft[COLOR_array__ArrayMapValues__init]))(self) /* init on <self:ArrayMapValues[Object, nullable Object]>*/;
-}
-RET_LABEL:;
-}
-/* method array#ArrayMapValues#init for (self: Object) */
-void VIRTUAL_array__ArrayMapValues__init(val* self) {
-{ /* Inline array#ArrayMapValues#init (self) on <self:Object(ArrayMapValues[Object, nullable Object])> */
+/* method array#ArrayMapValues#init for (self: ArrayMapValues[nullable Object, nullable Object]) */
+void standard__array___standard__array__ArrayMapValues___standard__kernel__Object__init(val* self) {
{
-((void (*)(val*))(self->class->vft[COLOR_array__ArrayMapValues__init]))(self) /* init on <self:Object(ArrayMapValues[Object, nullable Object])>*/;
-}
-RET_LABEL1:(void)0;
+((void (*)(val* self))(self->class->vft[COLOR_standard__array___standard__array__ArrayMapValues___standard__kernel__Object__init]))(self) /* init on <self:ArrayMapValues[nullable Object, nullable Object]>*/;
}
RET_LABEL:;
}
/* method array#Iterator#to_a for (self: Iterator[nullable Object]): Array[nullable Object] */
-val* array__Iterator__to_a(val* self) {
+val* standard__array___Iterator___to_a(val* self) {
val* var /* : Array[nullable Object] */;
val* var1 /* : Array[nullable Object] */;
val* var_res /* var res: Array[nullable Object] */;
short int var2 /* : Bool */;
val* var3 /* : nullable Object */;
-var1 = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arrayabstract_collection__Iterator_FT0]);
+var1 = NEW_standard__Array(self->type->resolution_table->types[COLOR_standard__Array__standard__Iterator___35dE]);
{
-((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:Array[nullable Object]>*/;
+standard___standard__Array___standard__kernel__Object__init(var1); /* Direct call array#Array#init on <var1:Array[nullable Object]>*/
}
var_res = var1;
for(;;) {
{
-var2 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:Iterator[nullable Object]>*/;
+var2 = ((short int (*)(val* self))(self->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:Iterator[nullable Object]>*/;
}
if (var2){
{
-var3 = ((val* (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__item]))(self) /* item on <self:Iterator[nullable Object]>*/;
+var3 = ((val* (*)(val* self))(self->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(self) /* item on <self:Iterator[nullable Object]>*/;
}
{
-array__Array__add(var_res, var3); /* Direct call array#Array#add on <var_res:Array[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_res, var3); /* Direct call array#Array#add on <var_res:Array[nullable Object]>*/
}
{
-((void (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__next]))(self) /* next on <self:Iterator[nullable Object]>*/;
+((void (*)(val* self))(self->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(self) /* next on <self:Iterator[nullable Object]>*/;
}
} else {
goto BREAK_label;
RET_LABEL:;
return var;
}
-/* method array#Iterator#to_a for (self: Object): Array[nullable Object] */
-val* VIRTUAL_array__Iterator__to_a(val* self) {
-val* var /* : Array[nullable Object] */;
-val* var1 /* : Array[nullable Object] */;
-var1 = array__Iterator__to_a(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#Collection#to_a for (self: Collection[nullable Object]): Array[nullable Object] */
-val* array__Collection__to_a(val* self) {
+val* standard__array___Collection___to_a(val* self) {
val* var /* : Array[nullable Object] */;
val* var1 /* : Array[nullable Object] */;
long var2 /* : Int */;
val* var_res /* var res: Array[nullable Object] */;
-var1 = NEW_array__Array(self->type->resolution_table->types[COLOR_array__Arrayabstract_collection__Collection_FT0]);
+var1 = NEW_standard__Array(self->type->resolution_table->types[COLOR_standard__Array__standard__Collection___35dE]);
{
-var2 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:Collection[nullable Object]>*/;
+var2 = ((long (*)(val* self))(self->class->vft[COLOR_standard__abstract_collection__Collection__length]))(self) /* length on <self:Collection[nullable Object]>*/;
}
{
-array__Array__with_capacity(var1, var2); /* Direct call array#Array#with_capacity on <var1:Array[nullable Object]>*/
+standard___standard__Array___with_capacity(var1, var2); /* Direct call array#Array#with_capacity on <var1:Array[nullable Object]>*/
}
var_res = var1;
{
-abstract_collection__SimpleCollection__add_all(var_res, self); /* Direct call abstract_collection#SimpleCollection#add_all on <var_res:Array[nullable Object]>*/
+standard___standard__Array___standard__abstract_collection__SimpleCollection__add_all(var_res, self); /* Direct call array#Array#add_all on <var_res:Array[nullable Object]>*/
}
var = var_res;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#Collection#to_a for (self: Object): Array[nullable Object] */
-val* VIRTUAL_array__Collection__to_a(val* self) {
-val* var /* : Array[nullable Object] */;
-val* var1 /* : Array[nullable Object] */;
-var1 = array__Collection__to_a(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayCapable#calloc_array for (self: ArrayCapable[nullable Object], Int): NativeArray[nullable Object] */
-val* array__ArrayCapable__calloc_array(val* self, long p0) {
-val* var /* : NativeArray[nullable Object] */;
-val* var1 /* : NativeArray[nullable Object] */;
-var1 = NEW_array__NativeArray(p0, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]);
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method array#ArrayCapable#calloc_array for (self: Object, Int): NativeArray[nullable Object] */
-val* VIRTUAL_array__ArrayCapable__calloc_array(val* self, long p0) {
-val* var /* : NativeArray[nullable Object] */;
-val* var1 /* : NativeArray[nullable Object] */;
-val* var3 /* : NativeArray[nullable Object] */;
-{ /* Inline array#ArrayCapable#calloc_array (self,p0) on <self:Object(ArrayCapable[nullable Object])> */
-var3 = NEW_array__NativeArray(p0, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]);
-var1 = var3;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#NativeArray#new for (self: NativeArray[nullable Object], Int): NativeArray[nullable Object] */
-val* array__NativeArray__new(val* self, long p0) {
-val* var /* : NativeArray[nullable Object] */;
-RET_LABEL:;
-return var;
-}
-/* method array#NativeArray#new for (self: Object, Int): NativeArray[nullable Object] */
-val* VIRTUAL_array__NativeArray__new(val* self, long p0) {
+val* standard___standard__NativeArray___new(val* self, long p0) {
val* var /* : NativeArray[nullable Object] */;
-val* var1 /* : NativeArray[nullable Object] */;
-{ /* Inline array#NativeArray#new (self,p0) on <self:Object(NativeArray[nullable Object])> */
-RET_LABEL2:(void)0;
-}
-var = var1;
RET_LABEL:;
return var;
}
/* method array#NativeArray#[] for (self: NativeArray[nullable Object], Int): nullable Object */
-val* array__NativeArray___91d_93d(val* self, long p0) {
+val* standard___standard__NativeArray____91d_93d(val* self, long p0) {
val* var /* : nullable Object */;
val* var1 /* : nullable Object */;
-var1 = ((struct instance_array__NativeArray*)self)->values[p0];
+var1 = ((struct instance_standard__NativeArray*)self)->values[p0];
var = var1;
goto RET_LABEL;
RET_LABEL:;
return var;
}
-/* method array#NativeArray#[] for (self: Object, Int): nullable Object */
-val* VIRTUAL_array__NativeArray___91d_93d(val* self, long p0) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-val* var3 /* : nullable Object */;
-{ /* Inline array#NativeArray#[] (self,p0) on <self:Object(NativeArray[nullable Object])> */
-var3 = ((struct instance_array__NativeArray*)self)->values[p0];
-var1 = var3;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
/* method array#NativeArray#[]= for (self: NativeArray[nullable Object], Int, nullable Object) */
-void array__NativeArray___91d_93d_61d(val* self, long p0, val* p1) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-const char* var_class_name;
-/* Covariant cast for argument 1 (item) <p1:nullable Object> isa E */
-/* <p1:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__NativeArray_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p1 == NULL) {
-var = is_nullable;
-} else {
-if(cltype >= p1->type->table_size) {
-var = 0;
-} else {
-var = p1->type->type_table[cltype] == idtype;
-}
-}
-if (unlikely(!var)) {
-var_class_name = p1 == NULL ? "null" : p1->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778);
-show_backtrace(1);
-}
-((struct instance_array__NativeArray*)self)->values[p0]=p1;
-RET_LABEL:;
-}
-/* method array#NativeArray#[]= for (self: Object, Int, nullable Object) */
-void VIRTUAL_array__NativeArray___91d_93d_61d(val* self, long p0, val* p1) {
+void standard___standard__NativeArray____91d_93d_61d(val* self, long p0, val* p1) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
short int is_nullable;
const char* var_class_name;
-{ /* Inline array#NativeArray#[]= (self,p0,p1) on <self:Object(NativeArray[nullable Object])> */
/* Covariant cast for argument 1 (item) <p1:nullable Object> isa E */
/* <p1:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__NativeArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
is_nullable = type_struct->is_nullable;
if (unlikely(!var)) {
var_class_name = p1 == NULL ? "null" : p1->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 808);
show_backtrace(1);
}
-((struct instance_array__NativeArray*)self)->values[p0]=p1;
-RET_LABEL1:(void)0;
-}
+((struct instance_standard__NativeArray*)self)->values[p0]=p1;
RET_LABEL:;
}
/* method array#NativeArray#copy_to for (self: NativeArray[nullable Object], NativeArray[nullable Object], Int) */
-void array__NativeArray__copy_to(val* self, val* p0, long p1) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (dest) <p0:NativeArray[nullable Object]> isa NativeArray[E] */
-/* <p0:NativeArray[nullable Object]> isa NativeArray[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__NativeArrayarray__NativeArray_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 779);
-show_backtrace(1);
-}
-memmove(((struct instance_array__NativeArray*)p0)->values, ((struct instance_array__NativeArray*)self)->values, p1*sizeof(val*));
-RET_LABEL:;
-}
-/* method array#NativeArray#copy_to for (self: Object, NativeArray[nullable Object], Int) */
-void VIRTUAL_array__NativeArray__copy_to(val* self, val* p0, long p1) {
+void standard___standard__NativeArray___copy_to(val* self, val* p0, long p1) {
short int var /* : Bool */;
int cltype;
int idtype;
const struct type* type_struct;
const char* var_class_name;
-{ /* Inline array#NativeArray#copy_to (self,p0,p1) on <self:Object(NativeArray[nullable Object])> */
/* Covariant cast for argument 0 (dest) <p0:NativeArray[nullable Object]> isa NativeArray[E] */
/* <p0:NativeArray[nullable Object]> isa NativeArray[E] */
-type_struct = self->type->resolution_table->types[COLOR_array__NativeArrayarray__NativeArray_FT0];
+type_struct = self->type->resolution_table->types[COLOR_standard__NativeArray__standard__NativeArray___35dE];
cltype = type_struct->color;
idtype = type_struct->id;
if(cltype >= p0->type->table_size) {
if (unlikely(!var)) {
var_class_name = p0 == NULL ? "null" : p0->type->name;
PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 779);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__array, 811);
show_backtrace(1);
}
-memmove(((struct instance_array__NativeArray*)p0)->values, ((struct instance_array__NativeArray*)self)->values, p1*sizeof(val*));
-RET_LABEL1:(void)0;
-}
+memmove(((struct instance_standard__NativeArray*)p0)->values, ((struct instance_standard__NativeArray*)self)->values, p1*sizeof(val*));
RET_LABEL:;
}
nitlanguage / nit.git / blobdiff