var_mainmodule = p0;
var1 = NEW_rapid_type_analysis__RapidTypeAnalysis(&type_rapid_type_analysis__RapidTypeAnalysis);
((void (*)(val*, val*, val*))(var1->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__init]))(var1, self, var_mainmodule) /* init on <var1:RapidTypeAnalysis>*/;
-CHECK_NEW_rapid_type_analysis__RapidTypeAnalysis(var1);
var_analysis = var1;
((void (*)(val*))(var_analysis->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__run_analysis]))(var_analysis) /* run_analysis on <var_analysis:RapidTypeAnalysis>*/;
var = var_analysis;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dmodelbuilder].val; /* @modelbuilder on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @modelbuilder");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 43);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 46);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dmainmodule].val; /* @mainmodule on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @mainmodule");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 46);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 49);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_types].val; /* @live_types on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_types");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 50);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 53);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_open_types].val; /* @live_open_types on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_open_types");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 55);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 58);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_classes].val; /* @live_classes on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_classes");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 59);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 62);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
rapid_type_analysis__RapidTypeAnalysis__live_classes_61d(self, p0);
RET_LABEL:;
}
-/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types for (self: RapidTypeAnalysis): HashSet[MClassType] */
+/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types for (self: RapidTypeAnalysis): HashSet[MType] */
val* rapid_type_analysis__RapidTypeAnalysis__live_cast_types(val* self) {
-val* var /* : HashSet[MClassType] */;
-val* var1 /* : HashSet[MClassType] */;
+val* var /* : HashSet[MType] */;
+val* var1 /* : HashSet[MType] */;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_cast_types].val; /* @live_cast_types on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_cast_types");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 62);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 65);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
return var;
}
-/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types for (self: Object): HashSet[MClassType] */
+/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types for (self: Object): HashSet[MType] */
val* VIRTUAL_rapid_type_analysis__RapidTypeAnalysis__live_cast_types(val* self) {
-val* var /* : HashSet[MClassType] */;
-val* var1 /* : HashSet[MClassType] */;
+val* var /* : HashSet[MType] */;
+val* var1 /* : HashSet[MType] */;
var1 = rapid_type_analysis__RapidTypeAnalysis__live_cast_types(self);
var = var1;
RET_LABEL:;
return var;
}
-/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types= for (self: RapidTypeAnalysis, HashSet[MClassType]) */
+/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types= for (self: RapidTypeAnalysis, HashSet[MType]) */
void rapid_type_analysis__RapidTypeAnalysis__live_cast_types_61d(val* self, val* p0) {
self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_cast_types].val = p0; /* @live_cast_types on <self:RapidTypeAnalysis> */
RET_LABEL:;
}
-/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types= for (self: Object, HashSet[MClassType]) */
+/* method rapid_type_analysis#RapidTypeAnalysis#live_cast_types= for (self: Object, HashSet[MType]) */
void VIRTUAL_rapid_type_analysis__RapidTypeAnalysis__live_cast_types_61d(val* self, val* p0) {
rapid_type_analysis__RapidTypeAnalysis__live_cast_types_61d(self, p0);
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_open_cast_types].val; /* @live_open_cast_types on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_open_cast_types");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 65);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 68);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_methoddefs].val; /* @live_methoddefs on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_methoddefs");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 69);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 72);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_methods].val; /* @live_methods on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_methods");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 72);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 75);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dlive_super_sends].val; /* @live_super_sends on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @live_super_sends");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 75);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 78);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
rapid_type_analysis__RapidTypeAnalysis__live_super_sends_61d(self, p0);
RET_LABEL:;
}
+/* method rapid_type_analysis#RapidTypeAnalysis#live_types_to_csv for (self: RapidTypeAnalysis): CSVDocument */
+val* rapid_type_analysis__RapidTypeAnalysis__live_types_to_csv(val* self) {
+val* var /* : CSVDocument */;
+val* var1 /* : HashSet[MType] */;
+val* var_typeset /* var typeset: HashSet[MType] */;
+val* var2 /* : HashSet[MClassType] */;
+val* var3 /* : HashSet[MClassType] */;
+val* var4 /* : HashSet[MType] */;
+val* var5 /* : HashSet[MType] */;
+val* var6 /* : Array[nullable Object] */;
+val* var_types /* var types: Array[MType] */;
+val* var7 /* : CachedAlphaComparator */;
+val* var8 /* : CSVDocument */;
+val* var_res /* var res: CSVDocument */;
+static val* varonce;
+val* var9 /* : String */;
+char* var10 /* : NativeString */;
+long var11 /* : Int */;
+val* var12 /* : String */;
+static val* varonce13;
+val* var14 /* : String */;
+char* var15 /* : NativeString */;
+long var16 /* : Int */;
+val* var17 /* : String */;
+static val* varonce18;
+val* var19 /* : String */;
+char* var20 /* : NativeString */;
+long var21 /* : Int */;
+val* var22 /* : String */;
+static val* varonce23;
+val* var24 /* : String */;
+char* var25 /* : NativeString */;
+long var26 /* : Int */;
+val* var27 /* : String */;
+val* var28 /* : Array[String] */;
+long var29 /* : Int */;
+val* var30 /* : NativeArray[String] */;
+val* var31 /* : Iterator[nullable Object] */;
+short int var32 /* : Bool */;
+val* var33 /* : nullable Object */;
+val* var_t /* var t: MType */;
+short int var34 /* : Bool */;
+static val* varonce35;
+val* var36 /* : String */;
+char* var37 /* : NativeString */;
+long var38 /* : Int */;
+val* var39 /* : String */;
+val* var_reso /* var reso: nullable Object */;
+static val* varonce40;
+val* var41 /* : String */;
+char* var42 /* : NativeString */;
+long var43 /* : Int */;
+val* var44 /* : String */;
+short int var45 /* : Bool */;
+short int var46 /* : Bool */;
+int cltype;
+int idtype;
+short int var47 /* : Bool */;
+val* var48 /* : HashSet[MClassType] */;
+short int var49 /* : Bool */;
+val* var50 /* : HashSet[MClassType] */;
+short int var51 /* : Bool */;
+static val* varonce52;
+val* var53 /* : String */;
+char* var54 /* : NativeString */;
+long var55 /* : Int */;
+val* var56 /* : String */;
+val* var_live /* var live: nullable Object */;
+static val* varonce57;
+val* var58 /* : String */;
+char* var59 /* : NativeString */;
+long var60 /* : Int */;
+val* var61 /* : String */;
+short int var62 /* : Bool */;
+val* var63 /* : HashSet[MType] */;
+short int var64 /* : Bool */;
+val* var65 /* : HashSet[MType] */;
+short int var66 /* : Bool */;
+static val* varonce67;
+val* var68 /* : String */;
+char* var69 /* : NativeString */;
+long var70 /* : Int */;
+val* var71 /* : String */;
+val* var_cast /* var cast: nullable Object */;
+static val* varonce72;
+val* var73 /* : String */;
+char* var74 /* : NativeString */;
+long var75 /* : Int */;
+val* var76 /* : String */;
+val* var77 /* : Array[Object] */;
+long var78 /* : Int */;
+val* var79 /* : NativeArray[Object] */;
+var1 = NEW_hash_collection__HashSet(&type_hash_collection__HashSetmodel__MType);
+((void (*)(val*))(var1->class->vft[COLOR_hash_collection__HashSet__init]))(var1) /* init on <var1:HashSet[MType]>*/;
+var_typeset = var1;
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_typeset->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_typeset, var2) /* add_all on <var_typeset:HashSet[MType]>*/;
+var3 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_types]))(self) /* live_open_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_typeset->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_typeset, var3) /* add_all on <var_typeset:HashSet[MType]>*/;
+var4 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_typeset->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_typeset, var4) /* add_all on <var_typeset:HashSet[MType]>*/;
+var5 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_typeset->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_typeset, var5) /* add_all on <var_typeset:HashSet[MType]>*/;
+var6 = ((val* (*)(val*))(var_typeset->class->vft[COLOR_array__Collection__to_a]))(var_typeset) /* to_a on <var_typeset:HashSet[MType]>*/;
+var_types = var6;
+var7 = NEW_string__CachedAlphaComparator(&type_string__CachedAlphaComparator);
+((void (*)(val*))(var7->class->vft[COLOR_string__CachedAlphaComparator__init]))(var7) /* init on <var7:CachedAlphaComparator>*/;
+((void (*)(val*, val*))(var7->class->vft[COLOR_sorter__AbstractSorter__sort]))(var7, var_types) /* sort on <var7:CachedAlphaComparator>*/;
+var8 = NEW_csv__CSVDocument(&type_csv__CSVDocument);
+((void (*)(val*))(var8->class->vft[COLOR_csv__CSVDocument__init]))(var8) /* init on <var8:CSVDocument>*/;
+var_res = var8;
+if (varonce) {
+var9 = varonce;
+} else {
+var10 = "Type";
+var11 = 4;
+var12 = string__NativeString__to_s_with_length(var10, var11);
+var9 = var12;
+varonce = var9;
+}
+if (varonce13) {
+var14 = varonce13;
+} else {
+var15 = "Resolution";
+var16 = 10;
+var17 = string__NativeString__to_s_with_length(var15, var16);
+var14 = var17;
+varonce13 = var14;
+}
+if (varonce18) {
+var19 = varonce18;
+} else {
+var20 = "Liveness";
+var21 = 8;
+var22 = string__NativeString__to_s_with_length(var20, var21);
+var19 = var22;
+varonce18 = var19;
+}
+if (varonce23) {
+var24 = varonce23;
+} else {
+var25 = "Cast-liveness";
+var26 = 13;
+var27 = string__NativeString__to_s_with_length(var25, var26);
+var24 = var27;
+varonce23 = var24;
+}
+var28 = NEW_array__Array(&type_array__Arraystring__String);
+{ /* var28 = array_instance Array[String] */
+var29 = 4;
+var30 = NEW_array__NativeArray(var29, &type_array__NativeArraystring__String);
+((struct instance_array__NativeArray*)var30)->values[0] = (val*) var9;
+((struct instance_array__NativeArray*)var30)->values[1] = (val*) var14;
+((struct instance_array__NativeArray*)var30)->values[2] = (val*) var19;
+((struct instance_array__NativeArray*)var30)->values[3] = (val*) var24;
+((void (*)(val*, val*, long))(var28->class->vft[COLOR_array__Array__with_native]))(var28, var30, var29) /* with_native on <var28:Array[String]>*/;
+}
+((void (*)(val*, val*))(var_res->class->vft[COLOR_csv__CSVDocument__header_61d]))(var_res, var28) /* header= on <var_res:CSVDocument>*/;
+var31 = ((val* (*)(val*))(var_types->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_types) /* iterator on <var_types:Array[MType]>*/;
+for(;;) {
+var32 = ((short int (*)(val*))(var31->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var31) /* is_ok on <var31:Iterator[nullable Object]>*/;
+if(!var32) break;
+var33 = ((val* (*)(val*))(var31->class->vft[COLOR_abstract_collection__Iterator__item]))(var31) /* item on <var31:Iterator[nullable Object]>*/;
+var_t = var33;
+var34 = ((short int (*)(val*))(var_t->class->vft[COLOR_model__MType__need_anchor]))(var_t) /* need_anchor on <var_t:MType>*/;
+if (var34){
+if (varonce35) {
+var36 = varonce35;
+} else {
+var37 = "OPEN ";
+var38 = 5;
+var39 = string__NativeString__to_s_with_length(var37, var38);
+var36 = var39;
+varonce35 = var36;
+}
+var_reso = var36;
+} else {
+if (varonce40) {
+var41 = varonce40;
+} else {
+var42 = "CLOSED";
+var43 = 6;
+var44 = string__NativeString__to_s_with_length(var42, var43);
+var41 = var44;
+varonce40 = var41;
+}
+var_reso = var41;
+}
+/* <var_t:MType> isa MClassType */
+cltype = type_model__MClassType.color;
+idtype = type_model__MClassType.id;
+if(cltype >= var_t->type->table_size) {
+var46 = 0;
+} else {
+var46 = var_t->type->type_table[cltype] == idtype;
+}
+if (!var46) {
+var45 = 0;
+} else {
+var48 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+var49 = ((short int (*)(val*, val*))(var48->class->vft[COLOR_abstract_collection__Collection__has]))(var48, var_t) /* has on <var48:HashSet[MClassType]>*/;
+if (var49) {
+var47 = 1;
+} else {
+var50 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_types]))(self) /* live_open_types on <self:RapidTypeAnalysis>*/;
+var51 = ((short int (*)(val*, val*))(var50->class->vft[COLOR_abstract_collection__Collection__has]))(var50, var_t) /* has on <var50:HashSet[MClassType]>*/;
+var47 = var51;
+}
+var45 = var47;
+}
+if (var45){
+if (varonce52) {
+var53 = varonce52;
+} else {
+var54 = "LIVE";
+var55 = 4;
+var56 = string__NativeString__to_s_with_length(var54, var55);
+var53 = var56;
+varonce52 = var53;
+}
+var_live = var53;
+} else {
+if (varonce57) {
+var58 = varonce57;
+} else {
+var59 = "DEAD";
+var60 = 4;
+var61 = string__NativeString__to_s_with_length(var59, var60);
+var58 = var61;
+varonce57 = var58;
+}
+var_live = var58;
+}
+var63 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
+var64 = ((short int (*)(val*, val*))(var63->class->vft[COLOR_abstract_collection__Collection__has]))(var63, var_t) /* has on <var63:HashSet[MType]>*/;
+if (var64) {
+var62 = 1;
+} else {
+var65 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
+var66 = ((short int (*)(val*, val*))(var65->class->vft[COLOR_abstract_collection__Collection__has]))(var65, var_t) /* has on <var65:HashSet[MType]>*/;
+var62 = var66;
+}
+if (var62){
+if (varonce67) {
+var68 = varonce67;
+} else {
+var69 = "CAST LIVE";
+var70 = 9;
+var71 = string__NativeString__to_s_with_length(var69, var70);
+var68 = var71;
+varonce67 = var68;
+}
+var_cast = var68;
+} else {
+if (varonce72) {
+var73 = varonce72;
+} else {
+var74 = "CAST DEAD";
+var75 = 9;
+var76 = string__NativeString__to_s_with_length(var74, var75);
+var73 = var76;
+varonce72 = var73;
+}
+var_cast = var73;
+}
+var77 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var77 = array_instance Array[Object] */
+var78 = 4;
+var79 = NEW_array__NativeArray(var78, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var79)->values[0] = (val*) var_t;
+((struct instance_array__NativeArray*)var79)->values[1] = (val*) var_reso;
+((struct instance_array__NativeArray*)var79)->values[2] = (val*) var_live;
+((struct instance_array__NativeArray*)var79)->values[3] = (val*) var_cast;
+((void (*)(val*, val*, long))(var77->class->vft[COLOR_array__Array__with_native]))(var77, var79, var78) /* with_native on <var77:Array[Object]>*/;
+}
+((void (*)(val*, val*))(var_res->class->vft[COLOR_csv__CSVDocument__add_line]))(var_res, var77) /* add_line on <var_res:CSVDocument>*/;
+CONTINUE_label: (void)0;
+((void (*)(val*))(var31->class->vft[COLOR_abstract_collection__Iterator__next]))(var31) /* next on <var31:Iterator[nullable Object]>*/;
+}
+BREAK_label: (void)0;
+var = var_res;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method rapid_type_analysis#RapidTypeAnalysis#live_types_to_csv for (self: Object): CSVDocument */
+val* VIRTUAL_rapid_type_analysis__RapidTypeAnalysis__live_types_to_csv(val* self) {
+val* var /* : CSVDocument */;
+val* var1 /* : CSVDocument */;
+var1 = rapid_type_analysis__RapidTypeAnalysis__live_types_to_csv(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method rapid_type_analysis#RapidTypeAnalysis#live_methods_to_tree for (self: RapidTypeAnalysis): OrderedTree[Object] */
+val* rapid_type_analysis__RapidTypeAnalysis__live_methods_to_tree(val* self) {
+val* var /* : OrderedTree[Object] */;
+val* var1 /* : OrderedTree[Object] */;
+val* var_tree /* var tree: OrderedTree[Object] */;
+val* var2 /* : HashSet[MMethod] */;
+val* var3 /* : Iterator[nullable Object] */;
+short int var4 /* : Bool */;
+val* var5 /* : nullable Object */;
+val* var_x /* var x: MMethod */;
+val* var6 /* : String */;
+val* var_xn /* var xn: String */;
+val* var7 /* : null */;
+val* var8 /* : Array[MPropDef] */;
+val* var9 /* : Iterator[nullable Object] */;
+short int var10 /* : Bool */;
+val* var11 /* : nullable Object */;
+val* var_z /* var z: MMethodDef */;
+val* var12 /* : String */;
+val* var_zn /* var zn: String */;
+val* var13 /* : HashSet[MMethodDef] */;
+short int var14 /* : Bool */;
+val* var15 /* : HashSet[MMethodDef] */;
+short int var16 /* : Bool */;
+static val* varonce;
+val* var17 /* : String */;
+char* var18 /* : NativeString */;
+long var19 /* : Int */;
+val* var20 /* : String */;
+val* var21 /* : String */;
+val* var22 /* : HashSet[MMethodDef] */;
+short int var23 /* : Bool */;
+static val* varonce24;
+val* var25 /* : String */;
+char* var26 /* : NativeString */;
+long var27 /* : Int */;
+val* var28 /* : String */;
+val* var29 /* : String */;
+val* var31 /* : AbstractSorter[Object] */;
+var1 = NEW_ordered_tree__OrderedTree(&type_ordered_tree__OrderedTreekernel__Object);
+((void (*)(val*))(var1->class->vft[COLOR_ordered_tree__OrderedTree__init]))(var1) /* init on <var1:OrderedTree[Object]>*/;
+var_tree = var1;
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_methods]))(self) /* live_methods on <self:RapidTypeAnalysis>*/;
+var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__Collection__iterator]))(var2) /* iterator on <var2:HashSet[MMethod]>*/;
+for(;;) {
+var4 = ((short int (*)(val*))(var3->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var3) /* is_ok on <var3:Iterator[nullable Object]>*/;
+if(!var4) break;
+var5 = ((val* (*)(val*))(var3->class->vft[COLOR_abstract_collection__Iterator__item]))(var3) /* item on <var3:Iterator[nullable Object]>*/;
+var_x = var5;
+var6 = ((val* (*)(val*))(var_x->class->vft[COLOR_model__MProperty__full_name]))(var_x) /* full_name on <var_x:MMethod>*/;
+var_xn = var6;
+var7 = NULL;
+((void (*)(val*, val*, val*))(var_tree->class->vft[COLOR_ordered_tree__OrderedTree__add]))(var_tree, var7, var_xn) /* add on <var_tree:OrderedTree[Object]>*/;
+var8 = ((val* (*)(val*))(var_x->class->vft[COLOR_model__MProperty__mpropdefs]))(var_x) /* mpropdefs on <var_x:MMethod>*/;
+var9 = ((val* (*)(val*))(var8->class->vft[COLOR_abstract_collection__Collection__iterator]))(var8) /* iterator on <var8:Array[MPropDef](Array[MMethodDef])>*/;
+for(;;) {
+var10 = ((short int (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var9) /* is_ok on <var9:Iterator[nullable Object]>*/;
+if(!var10) break;
+var11 = ((val* (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__item]))(var9) /* item on <var9:Iterator[nullable Object]>*/;
+var_z = var11;
+var12 = ((val* (*)(val*))(var_z->class->vft[COLOR_string__Object__to_s]))(var_z) /* to_s on <var_z:MMethodDef>*/;
+var_zn = var12;
+var13 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_methoddefs]))(self) /* live_methoddefs on <self:RapidTypeAnalysis>*/;
+var14 = ((short int (*)(val*, val*))(var13->class->vft[COLOR_abstract_collection__Collection__has]))(var13, var_z) /* has on <var13:HashSet[MMethodDef]>*/;
+if (var14){
+((void (*)(val*, val*, val*))(var_tree->class->vft[COLOR_ordered_tree__OrderedTree__add]))(var_tree, var_xn, var_zn) /* add on <var_tree:OrderedTree[Object]>*/;
+var15 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_super_sends]))(self) /* live_super_sends on <self:RapidTypeAnalysis>*/;
+var16 = ((short int (*)(val*, val*))(var15->class->vft[COLOR_abstract_collection__Collection__has]))(var15, var_z) /* has on <var15:HashSet[MMethodDef]>*/;
+if (var16){
+if (varonce) {
+var17 = varonce;
+} else {
+var18 = "(super)";
+var19 = 7;
+var20 = string__NativeString__to_s_with_length(var18, var19);
+var17 = var20;
+varonce = var17;
+}
+var21 = ((val* (*)(val*, val*))(var_zn->class->vft[COLOR_string__String___43d]))(var_zn, var17) /* + on <var_zn:String>*/;
+((void (*)(val*, val*, val*))(var_tree->class->vft[COLOR_ordered_tree__OrderedTree__add]))(var_tree, var_zn, var21) /* add on <var_tree:OrderedTree[Object]>*/;
+} else {
+}
+} else {
+var22 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_super_sends]))(self) /* live_super_sends on <self:RapidTypeAnalysis>*/;
+var23 = ((short int (*)(val*, val*))(var22->class->vft[COLOR_abstract_collection__Collection__has]))(var22, var_z) /* has on <var22:HashSet[MMethodDef]>*/;
+if (var23){
+if (varonce24) {
+var25 = varonce24;
+} else {
+var26 = "(super)";
+var27 = 7;
+var28 = string__NativeString__to_s_with_length(var26, var27);
+var25 = var28;
+varonce24 = var25;
+}
+var29 = ((val* (*)(val*, val*))(var_zn->class->vft[COLOR_string__String___43d]))(var_zn, var25) /* + on <var_zn:String>*/;
+((void (*)(val*, val*, val*))(var_tree->class->vft[COLOR_ordered_tree__OrderedTree__add]))(var_tree, var_xn, var29) /* add on <var_tree:OrderedTree[Object]>*/;
+} else {
+}
+}
+CONTINUE_label: (void)0;
+((void (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__next]))(var9) /* next on <var9:Iterator[nullable Object]>*/;
+}
+BREAK_label: (void)0;
+CONTINUE_label30: (void)0;
+((void (*)(val*))(var3->class->vft[COLOR_abstract_collection__Iterator__next]))(var3) /* next on <var3:Iterator[nullable Object]>*/;
+}
+BREAK_label30: (void)0;
+var31 = ((val* (*)(val*))(self->class->vft[COLOR_string__Object__alpha_comparator]))(self) /* alpha_comparator on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_tree->class->vft[COLOR_ordered_tree__OrderedTree__sort_with]))(var_tree, var31) /* sort_with on <var_tree:OrderedTree[Object]>*/;
+var = var_tree;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method rapid_type_analysis#RapidTypeAnalysis#live_methods_to_tree for (self: Object): OrderedTree[Object] */
+val* VIRTUAL_rapid_type_analysis__RapidTypeAnalysis__live_methods_to_tree(val* self) {
+val* var /* : OrderedTree[Object] */;
+val* var1 /* : OrderedTree[Object] */;
+var1 = rapid_type_analysis__RapidTypeAnalysis__live_methods_to_tree(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
/* method rapid_type_analysis#RapidTypeAnalysis#totry_methods for (self: RapidTypeAnalysis): HashSet[MMethod] */
val* rapid_type_analysis__RapidTypeAnalysis__totry_methods(val* self) {
val* var /* : HashSet[MMethod] */;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dtotry_methods].val; /* @totry_methods on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @totry_methods");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 78);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 132);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___64dtodo].val; /* @todo on <self:RapidTypeAnalysis> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @todo");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 81);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 135);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
rapid_type_analysis__RapidTypeAnalysis__todo_61d(self, p0);
RET_LABEL:;
}
+/* method rapid_type_analysis#RapidTypeAnalysis#force_alive for (self: RapidTypeAnalysis, String) */
+void rapid_type_analysis__RapidTypeAnalysis__force_alive(val* self, val* p0) {
+val* var_classname /* var classname: String */;
+val* var /* : ModelBuilder */;
+val* var1 /* : Model */;
+val* var2 /* : nullable Array[MClass] */;
+val* var_classes /* var classes: nullable Array[MClass] */;
+val* var3 /* : null */;
+short int var4 /* : Bool */;
+val* var5 /* : Iterator[nullable Object] */;
+short int var6 /* : Bool */;
+val* var7 /* : nullable Object */;
+val* var_c /* var c: MClass */;
+val* var8 /* : MClassType */;
+val* var9 /* : MClassType */;
+var_classname = p0;
+var = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+var1 = ((val* (*)(val*))(var->class->vft[COLOR_modelbuilder__ModelBuilder__model]))(var) /* model on <var:ModelBuilder>*/;
+var2 = ((val* (*)(val*, val*))(var1->class->vft[COLOR_model__Model__get_mclasses_by_name]))(var1, var_classname) /* get_mclasses_by_name on <var1:Model>*/;
+var_classes = var2;
+var3 = NULL;
+if (var_classes == NULL) {
+var4 = 0; /* is null */
+} else {
+var4 = 1; /* arg is null and recv is not */
+}
+if (var4){
+var5 = ((val* (*)(val*))(var_classes->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_classes) /* iterator on <var_classes:nullable Array[MClass](Array[MClass])>*/;
+for(;;) {
+var6 = ((short int (*)(val*))(var5->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var5) /* is_ok on <var5:Iterator[nullable Object]>*/;
+if(!var6) break;
+var7 = ((val* (*)(val*))(var5->class->vft[COLOR_abstract_collection__Iterator__item]))(var5) /* item on <var5:Iterator[nullable Object]>*/;
+var_c = var7;
+var8 = ((val* (*)(val*))(var_c->class->vft[COLOR_model__MClass__mclass_type]))(var_c) /* mclass_type on <var_c:MClass>*/;
+var9 = ((val* (*)(val*))(var_c->class->vft[COLOR_model__MClass__mclass_type]))(var_c) /* mclass_type on <var_c:MClass>*/;
+((void (*)(val*, val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_new]))(self, var8, var9) /* add_new on <self:RapidTypeAnalysis>*/;
+CONTINUE_label: (void)0;
+((void (*)(val*))(var5->class->vft[COLOR_abstract_collection__Iterator__next]))(var5) /* next on <var5:Iterator[nullable Object]>*/;
+}
+BREAK_label: (void)0;
+} else {
+}
+RET_LABEL:;
+}
+/* method rapid_type_analysis#RapidTypeAnalysis#force_alive for (self: Object, String) */
+void VIRTUAL_rapid_type_analysis__RapidTypeAnalysis__force_alive(val* self, val* p0) {
+rapid_type_analysis__RapidTypeAnalysis__force_alive(self, p0);
+RET_LABEL:;
+}
/* method rapid_type_analysis#RapidTypeAnalysis#run_analysis for (self: RapidTypeAnalysis) */
void rapid_type_analysis__RapidTypeAnalysis__run_analysis(val* self) {
val* var /* : MModule */;
val* var_mainprop /* var mainprop: nullable MMethod */;
val* var21 /* : null */;
short int var22 /* : Bool */;
-val* var23 /* : ModelBuilder */;
-val* var24 /* : Model */;
-static val* varonce25;
-val* var26 /* : String */;
-char* var27 /* : NativeString */;
-long var28 /* : Int */;
+static val* varonce23;
+val* var24 /* : String */;
+char* var25 /* : NativeString */;
+long var26 /* : Int */;
+val* var27 /* : String */;
+static val* varonce28;
val* var29 /* : String */;
-val* var30 /* : nullable Array[MClass] */;
-val* var_classes /* var classes: nullable Array[MClass] */;
-val* var31 /* : null */;
-short int var32 /* : Bool */;
-val* var33 /* : Iterator[nullable Object] */;
-short int var34 /* : Bool */;
-val* var35 /* : nullable Object */;
-val* var_c /* var c: MClass */;
-val* var36 /* : MClassType */;
-val* var37 /* : MClassType */;
-val* var38 /* : List[MMethodDef] */;
-short int var39 /* : Bool */;
-short int var40 /* : Bool */;
-val* var41 /* : List[MMethodDef] */;
-val* var42 /* : nullable Object */;
+char* var30 /* : NativeString */;
+long var31 /* : Int */;
+val* var32 /* : String */;
+static val* varonce33;
+val* var34 /* : String */;
+char* var35 /* : NativeString */;
+long var36 /* : Int */;
+val* var37 /* : String */;
+static val* varonce38;
+val* var39 /* : String */;
+char* var40 /* : NativeString */;
+long var41 /* : Int */;
+val* var42 /* : String */;
+val* var43 /* : List[MMethodDef] */;
+short int var44 /* : Bool */;
+short int var45 /* : Bool */;
+val* var46 /* : List[MMethodDef] */;
+val* var47 /* : nullable Object */;
val* var_mmethoddef /* var mmethoddef: MMethodDef */;
-val* var43 /* : RapidTypeVisitor */;
-val* var44 /* : MClassDef */;
-val* var45 /* : MClassType */;
+val* var48 /* : RapidTypeVisitor */;
+val* var49 /* : MClassDef */;
+val* var50 /* : MClassType */;
val* var_v /* var v: RapidTypeVisitor */;
-val* var46 /* : nullable MSignature */;
-long var47 /* : Int */;
+val* var51 /* : nullable MSignature */;
+long var52 /* : Int */;
long var_vararg_rank /* var vararg_rank: Int */;
-long var48 /* : Int */;
-long var49 /* : Int */;
-long var51 /* : Int */;
-short int var52 /* : Bool */;
-short int var54 /* : Bool */;
+long var53 /* : Int */;
+long var54 /* : Int */;
+long var56 /* : Int */;
+short int var57 /* : Bool */;
+short int var59 /* : Bool */;
int cltype;
int idtype;
const char* var_class_name;
-short int var55 /* : Bool */;
-val* var56 /* : ModelBuilder */;
-val* var57 /* : HashMap[MPropDef, APropdef] */;
-val* var58 /* : nullable Object */;
+short int var60 /* : Bool */;
+val* var61 /* : ModelBuilder */;
+val* var62 /* : HashMap[MPropDef, APropdef] */;
+val* var63 /* : nullable Object */;
val* var_node /* var node: APropdef */;
-val* var59 /* : nullable MSignature */;
-val* var60 /* : Array[MParameter] */;
-val* var61 /* : nullable Object */;
-val* var62 /* : MType */;
+val* var64 /* : nullable MSignature */;
+val* var65 /* : Array[MParameter] */;
+val* var66 /* : nullable Object */;
+val* var67 /* : MType */;
val* var_elttype /* var elttype: MType */;
-val* var63 /* : MModule */;
-static val* varonce64;
-val* var65 /* : String */;
-char* var66 /* : NativeString */;
-long var67 /* : Int */;
-val* var68 /* : String */;
-val* var69 /* : MClass */;
-val* var70 /* : Array[MType] */;
-long var71 /* : Int */;
-val* var72 /* : NativeArray[MType] */;
-val* var73 /* : MClassType */;
+val* var68 /* : MModule */;
+static val* varonce69;
+val* var70 /* : String */;
+char* var71 /* : NativeString */;
+long var72 /* : Int */;
+val* var73 /* : String */;
+val* var74 /* : MClass */;
+val* var75 /* : Array[MType] */;
+long var76 /* : Int */;
+val* var77 /* : NativeArray[MType] */;
+val* var78 /* : MClassType */;
val* var_vararg /* var vararg: MClassType */;
-val* var74 /* : ModelBuilder */;
-static val* varonce75;
-val* var76 /* : String */;
-char* var77 /* : NativeString */;
-long var78 /* : Int */;
-val* var79 /* : String */;
-val* var80 /* : MClass */;
-val* var81 /* : MModule */;
-val* var82 /* : MMethod */;
-val* var83 /* : MModule */;
-static val* varonce84;
-val* var85 /* : String */;
-char* var86 /* : NativeString */;
+val* var79 /* : MModule */;
+static val* varonce80;
+val* var81 /* : String */;
+char* var82 /* : NativeString */;
+long var83 /* : Int */;
+val* var84 /* : String */;
+val* var85 /* : MClass */;
+val* var86 /* : Array[MType] */;
long var87 /* : Int */;
-val* var88 /* : String */;
-val* var89 /* : MClass */;
-val* var90 /* : Array[MType] */;
-long var91 /* : Int */;
-val* var92 /* : NativeArray[MType] */;
-val* var93 /* : MClassType */;
+val* var88 /* : NativeArray[MType] */;
+val* var89 /* : MClassType */;
val* var_native /* var native: MClassType */;
-val* var94 /* : Range[Int] */;
-long var95 /* : Int */;
-val* var96 /* : nullable MSignature */;
-long var97 /* : Int */;
-val* var98 /* : Discrete */;
-val* var99 /* : Discrete */;
-val* var100 /* : Iterator[nullable Object] */;
-short int var101 /* : Bool */;
-val* var102 /* : nullable Object */;
+val* var90 /* : ModelBuilder */;
+static val* varonce91;
+val* var92 /* : String */;
+char* var93 /* : NativeString */;
+long var94 /* : Int */;
+val* var95 /* : String */;
+val* var96 /* : MClass */;
+val* var97 /* : MModule */;
+val* var98 /* : MMethod */;
+val* var99 /* : Range[Int] */;
+long var100 /* : Int */;
+val* var101 /* : nullable MSignature */;
+long var102 /* : Int */;
+val* var103 /* : Discrete */;
+val* var104 /* : Discrete */;
+val* var105 /* : Iterator[nullable Object] */;
+short int var106 /* : Bool */;
+val* var107 /* : nullable Object */;
long var_i /* var i: Int */;
-long var103 /* : Int */;
-val* var104 /* : MProperty */;
-val* var105 /* : MPropDef */;
-val* var106 /* : nullable MSignature */;
-val* var107 /* : Array[MParameter] */;
-val* var108 /* : nullable Object */;
-val* var109 /* : MType */;
+long var108 /* : Int */;
+val* var109 /* : MProperty */;
+val* var110 /* : MPropDef */;
+val* var111 /* : nullable MSignature */;
+val* var112 /* : Array[MParameter] */;
+val* var113 /* : nullable Object */;
+val* var114 /* : MType */;
val* var_origtype /* var origtype: MType */;
-short int var110 /* : Bool */;
-short int var111 /* : Bool */;
-val* var113 /* : nullable MSignature */;
-val* var114 /* : Array[MParameter] */;
-val* var115 /* : nullable Object */;
-val* var116 /* : MType */;
+short int var115 /* : Bool */;
+short int var116 /* : Bool */;
+val* var117 /* : nullable MSignature */;
+val* var118 /* : Array[MParameter] */;
+val* var119 /* : nullable Object */;
+val* var120 /* : MType */;
val* var_paramtype /* var paramtype: MType */;
-val* var117 /* : ModelBuilder */;
-val* var118 /* : HashMap[MPropDef, APropdef] */;
-short int var119 /* : Bool */;
-short int var120 /* : Bool */;
-val* var121 /* : MProperty */;
-val* var122 /* : String */;
-static val* varonce123;
-val* var124 /* : String */;
-char* var125 /* : NativeString */;
-long var126 /* : Int */;
-val* var127 /* : String */;
-short int var128 /* : Bool */;
-val* var129 /* : ModelBuilder */;
-val* var130 /* : HashMap[MClassDef, AClassdef] */;
-val* var131 /* : MClassDef */;
-val* var132 /* : nullable Object */;
+val* var121 /* : ModelBuilder */;
+val* var122 /* : HashMap[MPropDef, APropdef] */;
+short int var123 /* : Bool */;
+short int var124 /* : Bool */;
+val* var125 /* : MProperty */;
+val* var126 /* : String */;
+static val* varonce127;
+val* var128 /* : String */;
+char* var129 /* : NativeString */;
+long var130 /* : Int */;
+val* var131 /* : String */;
+short int var132 /* : Bool */;
+val* var133 /* : ModelBuilder */;
+val* var134 /* : HashMap[MClassDef, AClassdef] */;
+val* var135 /* : MClassDef */;
+val* var136 /* : nullable Object */;
val* var_nclassdef /* var nclassdef: AClassdef */;
-val* var133 /* : nullable Collection[MMethod] */;
+val* var137 /* : nullable Collection[MMethod] */;
val* var_super_inits /* var super_inits: nullable Collection[MMethod] */;
-val* var134 /* : null */;
-short int var135 /* : Bool */;
-val* var136 /* : Iterator[nullable Object] */;
-short int var137 /* : Bool */;
-val* var138 /* : nullable Object */;
+val* var138 /* : null */;
+short int var139 /* : Bool */;
+val* var140 /* : Iterator[nullable Object] */;
+short int var141 /* : Bool */;
+val* var142 /* : nullable Object */;
val* var_su /* var su: MMethod */;
-val* var139 /* : MClassType */;
-val* var142 /* : ModelBuilder */;
-val* var143 /* : HashMap[MPropDef, APropdef] */;
-val* var144 /* : nullable Object */;
+val* var143 /* : MClassType */;
+val* var146 /* : ModelBuilder */;
+val* var147 /* : HashMap[MPropDef, APropdef] */;
+val* var148 /* : nullable Object */;
val* var_npropdef /* var npropdef: APropdef */;
-short int var145 /* : Bool */;
-int cltype146;
-int idtype147;
-val* var148 /* : nullable Array[MMethod] */;
-val* var_auto_super_inits /* var auto_super_inits: nullable Array[MMethod] */;
-val* var149 /* : null */;
-short int var150 /* : Bool */;
-val* var151 /* : Iterator[nullable Object] */;
-short int var152 /* : Bool */;
-val* var153 /* : nullable Object */;
-val* var_auto_super_init /* var auto_super_init: MMethod */;
-val* var154 /* : MClassType */;
+short int var149 /* : Bool */;
+int cltype150;
+int idtype151;
+val* var152 /* : nullable Array[CallSite] */;
+val* var_auto_super_inits /* var auto_super_inits: nullable Array[CallSite] */;
+val* var153 /* : null */;
+short int var154 /* : Bool */;
+val* var155 /* : Iterator[nullable Object] */;
short int var156 /* : Bool */;
-short int var157 /* : Bool */;
-int cltype158;
-int idtype159;
-short int var_ /* var : Bool */;
+val* var157 /* : nullable Object */;
+val* var_auto_super_init /* var auto_super_init: CallSite */;
+short int var159 /* : Bool */;
short int var160 /* : Bool */;
int cltype161;
int idtype162;
-val* var163 /* : nullable MSignature */;
-val* var164 /* : nullable MType */;
+short int var_ /* var : Bool */;
+short int var163 /* : Bool */;
+short int var164 /* : Bool */;
+int cltype165;
+int idtype166;
+short int var_167 /* var : Bool */;
+val* var168 /* : nullable TString */;
+val* var169 /* : null */;
+short int var170 /* : Bool */;
+val* var171 /* : nullable MSignature */;
+val* var172 /* : nullable MType */;
val* var_ret /* var ret: nullable MType */;
-short int var165 /* : Bool */;
-short int var166 /* : Bool */;
-short int var167 /* : Bool */;
-val* var168 /* : null */;
-short int var169 /* : Bool */;
-short int var_170 /* var : Bool */;
-short int var171 /* : Bool */;
-int cltype172;
-int idtype173;
-short int var_174 /* var : Bool */;
-val* var175 /* : MClass */;
-val* var176 /* : MClassKind */;
-val* var177 /* : MClassKind */;
-short int var178 /* : Bool */;
-short int var_179 /* var : Bool */;
-val* var180 /* : MClass */;
-val* var181 /* : MClassKind */;
-val* var182 /* : MClassKind */;
-short int var183 /* : Bool */;
-short int var184 /* : Bool */;
-int cltype185;
-int idtype186;
-val* var187 /* : MClassType */;
-val* var188 /* : List[MClassType] */;
-val* var_todo_types /* var todo_types: List[MClassType] */;
-val* var189 /* : HashSet[MClassType] */;
-short int var190 /* : Bool */;
+short int var173 /* : Bool */;
+short int var174 /* : Bool */;
+short int var175 /* : Bool */;
+val* var176 /* : null */;
+short int var177 /* : Bool */;
+short int var_178 /* var : Bool */;
+short int var179 /* : Bool */;
+int cltype180;
+int idtype181;
+short int var_182 /* var : Bool */;
+val* var183 /* : MClass */;
+val* var184 /* : MClassKind */;
+val* var185 /* : MClassKind */;
+short int var186 /* : Bool */;
+short int var_187 /* var : Bool */;
+val* var188 /* : MClass */;
+val* var189 /* : MClassKind */;
+val* var190 /* : MClassKind */;
short int var191 /* : Bool */;
-val* var192 /* : nullable Object */;
+short int var192 /* : Bool */;
+int cltype193;
+int idtype194;
+val* var195 /* : nullable ANode */;
+short int var196 /* : Bool */;
+int cltype197;
+int idtype198;
+const char* var_class_name199;
+val* var_nclassdef200 /* var nclassdef: AClassdef */;
+short int var201 /* : Bool */;
+int cltype202;
+int idtype203;
+val* var204 /* : MClassType */;
+val* var205 /* : List[MClassType] */;
+val* var_todo_types /* var todo_types: List[MClassType] */;
+val* var206 /* : HashSet[MClassType] */;
+short int var207 /* : Bool */;
+short int var208 /* : Bool */;
+val* var209 /* : nullable Object */;
val* var_t /* var t: MClassType */;
-val* var193 /* : HashSet[MClassType] */;
-val* var194 /* : Iterator[nullable Object] */;
-short int var195 /* : Bool */;
-val* var196 /* : nullable Object */;
+val* var210 /* : HashSet[MClassType] */;
+val* var211 /* : Iterator[nullable Object] */;
+short int var212 /* : Bool */;
+val* var213 /* : nullable Object */;
val* var_ot /* var ot: MClassType */;
-val* var197 /* : MModule */;
-short int var198 /* : Bool */;
-short int var199 /* : Bool */;
-val* var201 /* : MModule */;
-val* var202 /* : MType */;
+val* var214 /* : MModule */;
+short int var215 /* : Bool */;
+short int var216 /* : Bool */;
+val* var218 /* : MModule */;
+val* var219 /* : MType */;
val* var_rt /* var rt: MClassType */;
-val* var203 /* : HashSet[MClassType] */;
-short int var204 /* : Bool */;
-val* var205 /* : HashSet[MClassType] */;
-val* var207 /* : HashSet[MType] */;
-val* var208 /* : Iterator[nullable Object] */;
-short int var209 /* : Bool */;
-val* var210 /* : nullable Object */;
-val* var_ot211 /* var ot: MType */;
-val* var212 /* : HashSet[MClassType] */;
-val* var213 /* : Iterator[nullable Object] */;
-short int var214 /* : Bool */;
-val* var215 /* : nullable Object */;
-val* var_t216 /* var t: MClassType */;
-val* var217 /* : MModule */;
-short int var218 /* : Bool */;
-short int var219 /* : Bool */;
-val* var221 /* : MModule */;
-val* var222 /* : MType */;
-val* var_rt223 /* var rt: MType */;
-short int var224 /* : Bool */;
-int cltype225;
-int idtype226;
-val* var227 /* : MType */;
-short int var228 /* : Bool */;
-int cltype229;
-int idtype230;
-val* var231 /* : HashSet[MClassType] */;
+val* var220 /* : HashSet[MClassType] */;
+short int var221 /* : Bool */;
+val* var222 /* : HashSet[MClassType] */;
+val* var224 /* : HashSet[MType] */;
+val* var225 /* : Iterator[nullable Object] */;
+short int var226 /* : Bool */;
+val* var227 /* : nullable Object */;
+val* var_ot228 /* var ot: MType */;
+val* var229 /* : HashSet[MClassType] */;
+val* var230 /* : Iterator[nullable Object] */;
+short int var231 /* : Bool */;
+val* var232 /* : nullable Object */;
+val* var_t233 /* var t: MClassType */;
+val* var234 /* : MModule */;
+short int var235 /* : Bool */;
+short int var236 /* : Bool */;
+val* var238 /* : MModule */;
+val* var239 /* : MType */;
+val* var_rt240 /* var rt: MType */;
+val* var241 /* : HashSet[MType] */;
var = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
var1 = ((val* (*)(val*))(var->class->vft[COLOR_model__MModule__sys_type]))(var) /* sys_type on <var:MModule>*/;
var_maintype = var1;
((void (*)(val*, val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_send]))(self, var_maintype, var_mainprop) /* add_send on <self:RapidTypeAnalysis>*/;
} else {
}
-var23 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-var24 = ((val* (*)(val*))(var23->class->vft[COLOR_modelbuilder__ModelBuilder__model]))(var23) /* model on <var23:ModelBuilder>*/;
-if (varonce25) {
-var26 = varonce25;
+if (varonce23) {
+var24 = varonce23;
} else {
-var27 = "Bool";
-var28 = 4;
-var29 = string__NativeString__to_s_with_length(var27, var28);
-var26 = var29;
-varonce25 = var26;
+var25 = "Bool";
+var26 = 4;
+var27 = string__NativeString__to_s_with_length(var25, var26);
+var24 = var27;
+varonce23 = var24;
}
-var30 = ((val* (*)(val*, val*))(var24->class->vft[COLOR_model__Model__get_mclasses_by_name]))(var24, var26) /* get_mclasses_by_name on <var24:Model>*/;
-var_classes = var30;
-var31 = NULL;
-if (var_classes == NULL) {
-var32 = 0; /* is null */
+((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__force_alive]))(self, var24) /* force_alive on <self:RapidTypeAnalysis>*/;
+if (varonce28) {
+var29 = varonce28;
} else {
-var32 = 1; /* arg is null and recv is not */
+var30 = "Int";
+var31 = 3;
+var32 = string__NativeString__to_s_with_length(var30, var31);
+var29 = var32;
+varonce28 = var29;
}
-if (var32){
-var33 = ((val* (*)(val*))(var_classes->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_classes) /* iterator on <var_classes:nullable Array[MClass](Array[MClass])>*/;
-for(;;) {
-var34 = ((short int (*)(val*))(var33->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var33) /* is_ok on <var33:Iterator[nullable Object]>*/;
-if(!var34) break;
-var35 = ((val* (*)(val*))(var33->class->vft[COLOR_abstract_collection__Iterator__item]))(var33) /* item on <var33:Iterator[nullable Object]>*/;
-var_c = var35;
-var36 = ((val* (*)(val*))(var_c->class->vft[COLOR_model__MClass__mclass_type]))(var_c) /* mclass_type on <var_c:MClass>*/;
-var37 = ((val* (*)(val*))(var_c->class->vft[COLOR_model__MClass__mclass_type]))(var_c) /* mclass_type on <var_c:MClass>*/;
-((void (*)(val*, val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_new]))(self, var36, var37) /* add_new on <self:RapidTypeAnalysis>*/;
-CONTINUE_label: (void)0;
-((void (*)(val*))(var33->class->vft[COLOR_abstract_collection__Iterator__next]))(var33) /* next on <var33:Iterator[nullable Object]>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__force_alive]))(self, var29) /* force_alive on <self:RapidTypeAnalysis>*/;
+if (varonce33) {
+var34 = varonce33;
+} else {
+var35 = "Float";
+var36 = 5;
+var37 = string__NativeString__to_s_with_length(var35, var36);
+var34 = var37;
+varonce33 = var34;
}
-BREAK_label: (void)0;
+((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__force_alive]))(self, var34) /* force_alive on <self:RapidTypeAnalysis>*/;
+if (varonce38) {
+var39 = varonce38;
} else {
+var40 = "Char";
+var41 = 4;
+var42 = string__NativeString__to_s_with_length(var40, var41);
+var39 = var42;
+varonce38 = var39;
}
+((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__force_alive]))(self, var39) /* force_alive on <self:RapidTypeAnalysis>*/;
for(;;) {
-var38 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__todo]))(self) /* todo on <self:RapidTypeAnalysis>*/;
-var39 = ((short int (*)(val*))(var38->class->vft[COLOR_abstract_collection__Collection__is_empty]))(var38) /* is_empty on <var38:List[MMethodDef]>*/;
-var40 = !var39;
-if (!var40) break;
-var41 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__todo]))(self) /* todo on <self:RapidTypeAnalysis>*/;
-var42 = ((val* (*)(val*))(var41->class->vft[COLOR_abstract_collection__Sequence__shift]))(var41) /* shift on <var41:List[MMethodDef]>*/;
-var_mmethoddef = var42;
-var43 = NEW_rapid_type_analysis__RapidTypeVisitor(&type_rapid_type_analysis__RapidTypeVisitor);
-var44 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mmethoddef) /* mclassdef on <var_mmethoddef:MMethodDef>*/;
-var45 = ((val* (*)(val*))(var44->class->vft[COLOR_model__MClassDef__bound_mtype]))(var44) /* bound_mtype on <var44:MClassDef>*/;
-((void (*)(val*, val*, val*, val*))(var43->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__init]))(var43, self, var45, var_mmethoddef) /* init on <var43:RapidTypeVisitor>*/;
-CHECK_NEW_rapid_type_analysis__RapidTypeVisitor(var43);
-var_v = var43;
-var46 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var46 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 108);
-exit(1);
-} else {
-var47 = ((long (*)(val*))(var46->class->vft[COLOR_model__MSignature__vararg_rank]))(var46) /* vararg_rank on <var46:nullable MSignature>*/;
-}
-var_vararg_rank = var47;
-var48 = 1;
-{ /* Inline kernel#Int#unary - (var48) */
-var51 = -var48;
-var49 = var51;
-goto RET_LABEL50;
-RET_LABEL50:(void)0;
-}
-{ /* Inline kernel#Int#> (var_vararg_rank,var49) */
-/* Covariant cast for argument 0 (i) <var49:Int> isa OTHER */
-/* <var49:Int> isa OTHER */
-var54 = 1; /* easy <var49:Int> isa OTHER*/
-if (!var54) {
+var43 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__todo]))(self) /* todo on <self:RapidTypeAnalysis>*/;
+var44 = ((short int (*)(val*))(var43->class->vft[COLOR_abstract_collection__Collection__is_empty]))(var43) /* is_empty on <var43:List[MMethodDef]>*/;
+var45 = !var44;
+if (!var45) break;
+var46 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__todo]))(self) /* todo on <self:RapidTypeAnalysis>*/;
+var47 = ((val* (*)(val*))(var46->class->vft[COLOR_abstract_collection__Sequence__shift]))(var46) /* shift on <var46:List[MMethodDef]>*/;
+var_mmethoddef = var47;
+var48 = NEW_rapid_type_analysis__RapidTypeVisitor(&type_rapid_type_analysis__RapidTypeVisitor);
+var49 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mmethoddef) /* mclassdef on <var_mmethoddef:MMethodDef>*/;
+var50 = ((val* (*)(val*))(var49->class->vft[COLOR_model__MClassDef__bound_mtype]))(var49) /* bound_mtype on <var49:MClassDef>*/;
+((void (*)(val*, val*, val*, val*))(var48->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__init]))(var48, self, var50, var_mmethoddef) /* init on <var48:RapidTypeVisitor>*/;
+var_v = var48;
+var51 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var51 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 170);
+show_backtrace(1);
+} else {
+var52 = ((long (*)(val*))(var51->class->vft[COLOR_model__MSignature__vararg_rank]))(var51) /* vararg_rank on <var51:nullable MSignature>*/;
+}
+var_vararg_rank = var52;
+var53 = 1;
+{ /* Inline kernel#Int#unary - (var53) */
+var56 = -var53;
+var54 = var56;
+goto RET_LABEL55;
+RET_LABEL55:(void)0;
+}
+{ /* Inline kernel#Int#> (var_vararg_rank,var54) */
+/* Covariant cast for argument 0 (i) <var54:Int> isa OTHER */
+/* <var54:Int> isa OTHER */
+var59 = 1; /* easy <var54:Int> isa OTHER*/
+if (!var59) {
var_class_name = type_kernel__Int.name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
-}
-var55 = var_vararg_rank > var49;
-var52 = var55;
-goto RET_LABEL53;
-RET_LABEL53:(void)0;
-}
-if (var52){
-var56 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-var57 = ((val* (*)(val*))(var56->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var56) /* mpropdef2npropdef on <var56:ModelBuilder>*/;
-var58 = ((val* (*)(val*, val*))(var57->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var57, var_mmethoddef) /* [] on <var57:HashMap[MPropDef, APropdef]>*/;
-var_node = var58;
-var59 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var59 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 111);
-exit(1);
-} else {
-var60 = ((val* (*)(val*))(var59->class->vft[COLOR_model__MSignature__mparameters]))(var59) /* mparameters on <var59:nullable MSignature>*/;
-}
-var61 = ((val* (*)(val*, long))(var60->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var60, var_vararg_rank) /* [] on <var60:Array[MParameter]>*/;
-var62 = ((val* (*)(val*))(var61->class->vft[COLOR_model__MParameter__mtype]))(var61) /* mtype on <var61:nullable Object(MParameter)>*/;
-var_elttype = var62;
-var63 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-if (varonce64) {
-var65 = varonce64;
-} else {
-var66 = "Array";
-var67 = 5;
-var68 = string__NativeString__to_s_with_length(var66, var67);
-var65 = var68;
-varonce64 = var65;
-}
-var69 = ((val* (*)(val*, val*))(var63->class->vft[COLOR_model__MModule__get_primitive_class]))(var63, var65) /* get_primitive_class on <var63:MModule>*/;
-var70 = NEW_array__Array(&type_array__Arraymodel__MType);
-{ /* var70 = array_instance Array[MType] */
-var71 = 1;
-var72 = NEW_array__NativeArray(var71, &type_array__NativeArraymodel__MType);
-((struct instance_array__NativeArray*)var72)->values[0] = (val*) var_elttype;
-((void (*)(val*, val*, long))(var70->class->vft[COLOR_array__Array__with_native]))(var70, var72, var71) /* with_native on <var70:Array[MType]>*/;
-CHECK_NEW_array__Array(var70);
-}
-var73 = ((val* (*)(val*, val*))(var69->class->vft[COLOR_model__MClass__get_mtype]))(var69, var70) /* get_mtype on <var69:MClass>*/;
-var_vararg = var73;
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
+}
+var60 = var_vararg_rank > var54;
+var57 = var60;
+goto RET_LABEL58;
+RET_LABEL58:(void)0;
+}
+if (var57){
+var61 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+var62 = ((val* (*)(val*))(var61->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var61) /* mpropdef2npropdef on <var61:ModelBuilder>*/;
+var63 = ((val* (*)(val*, val*))(var62->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var62, var_mmethoddef) /* [] on <var62:HashMap[MPropDef, APropdef]>*/;
+var_node = var63;
+var64 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var64 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 173);
+show_backtrace(1);
+} else {
+var65 = ((val* (*)(val*))(var64->class->vft[COLOR_model__MSignature__mparameters]))(var64) /* mparameters on <var64:nullable MSignature>*/;
+}
+var66 = ((val* (*)(val*, long))(var65->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var65, var_vararg_rank) /* [] on <var65:Array[MParameter]>*/;
+var67 = ((val* (*)(val*))(var66->class->vft[COLOR_model__MParameter__mtype]))(var66) /* mtype on <var66:nullable Object(MParameter)>*/;
+var_elttype = var67;
+var68 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+if (varonce69) {
+var70 = varonce69;
+} else {
+var71 = "Array";
+var72 = 5;
+var73 = string__NativeString__to_s_with_length(var71, var72);
+var70 = var73;
+varonce69 = var70;
+}
+var74 = ((val* (*)(val*, val*))(var68->class->vft[COLOR_model__MModule__get_primitive_class]))(var68, var70) /* get_primitive_class on <var68:MModule>*/;
+var75 = NEW_array__Array(&type_array__Arraymodel__MType);
+{ /* var75 = array_instance Array[MType] */
+var76 = 1;
+var77 = NEW_array__NativeArray(var76, &type_array__NativeArraymodel__MType);
+((struct instance_array__NativeArray*)var77)->values[0] = (val*) var_elttype;
+((void (*)(val*, val*, long))(var75->class->vft[COLOR_array__Array__with_native]))(var75, var77, var76) /* with_native on <var75:Array[MType]>*/;
+}
+var78 = ((val* (*)(val*, val*))(var74->class->vft[COLOR_model__MClass__get_mtype]))(var74, var75) /* get_mtype on <var74:MClass>*/;
+var_vararg = var78;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_vararg) /* add_type on <var_v:RapidTypeVisitor>*/;
-var74 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-if (varonce75) {
-var76 = varonce75;
-} else {
-var77 = "with_native";
-var78 = 11;
-var79 = string__NativeString__to_s_with_length(var77, var78);
-var76 = var79;
-varonce75 = var76;
-}
-var80 = ((val* (*)(val*))(var_vararg->class->vft[COLOR_model__MClassType__mclass]))(var_vararg) /* mclass on <var_vararg:MClassType>*/;
-var81 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-var82 = ((val* (*)(val*, val*, val*, val*, val*))(var74->class->vft[COLOR_modelbuilder__ModelBuilder__force_get_primitive_method]))(var74, var_node, var76, var80, var81) /* force_get_primitive_method on <var74:ModelBuilder>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var_vararg, var82) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
-var83 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-if (varonce84) {
-var85 = varonce84;
-} else {
-var86 = "NativeArray";
-var87 = 11;
-var88 = string__NativeString__to_s_with_length(var86, var87);
-var85 = var88;
-varonce84 = var85;
-}
-var89 = ((val* (*)(val*, val*))(var83->class->vft[COLOR_model__MModule__get_primitive_class]))(var83, var85) /* get_primitive_class on <var83:MModule>*/;
-var90 = NEW_array__Array(&type_array__Arraymodel__MType);
-{ /* var90 = array_instance Array[MType] */
-var91 = 1;
-var92 = NEW_array__NativeArray(var91, &type_array__NativeArraymodel__MType);
-((struct instance_array__NativeArray*)var92)->values[0] = (val*) var_elttype;
-((void (*)(val*, val*, long))(var90->class->vft[COLOR_array__Array__with_native]))(var90, var92, var91) /* with_native on <var90:Array[MType]>*/;
-CHECK_NEW_array__Array(var90);
-}
-var93 = ((val* (*)(val*, val*))(var89->class->vft[COLOR_model__MClass__get_mtype]))(var89, var90) /* get_mtype on <var89:MClass>*/;
-var_native = var93;
+var79 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+if (varonce80) {
+var81 = varonce80;
+} else {
+var82 = "NativeArray";
+var83 = 11;
+var84 = string__NativeString__to_s_with_length(var82, var83);
+var81 = var84;
+varonce80 = var81;
+}
+var85 = ((val* (*)(val*, val*))(var79->class->vft[COLOR_model__MModule__get_primitive_class]))(var79, var81) /* get_primitive_class on <var79:MModule>*/;
+var86 = NEW_array__Array(&type_array__Arraymodel__MType);
+{ /* var86 = array_instance Array[MType] */
+var87 = 1;
+var88 = NEW_array__NativeArray(var87, &type_array__NativeArraymodel__MType);
+((struct instance_array__NativeArray*)var88)->values[0] = (val*) var_elttype;
+((void (*)(val*, val*, long))(var86->class->vft[COLOR_array__Array__with_native]))(var86, var88, var87) /* with_native on <var86:Array[MType]>*/;
+}
+var89 = ((val* (*)(val*, val*))(var85->class->vft[COLOR_model__MClass__get_mtype]))(var85, var86) /* get_mtype on <var85:MClass>*/;
+var_native = var89;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_native) /* add_type on <var_v:RapidTypeVisitor>*/;
+var90 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+if (varonce91) {
+var92 = varonce91;
+} else {
+var93 = "with_native";
+var94 = 11;
+var95 = string__NativeString__to_s_with_length(var93, var94);
+var92 = var95;
+varonce91 = var92;
+}
+var96 = ((val* (*)(val*))(var_vararg->class->vft[COLOR_model__MClassType__mclass]))(var_vararg) /* mclass on <var_vararg:MClassType>*/;
+var97 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+var98 = ((val* (*)(val*, val*, val*, val*, val*))(var90->class->vft[COLOR_modelbuilder__ModelBuilder__force_get_primitive_method]))(var90, var_node, var92, var96, var97) /* force_get_primitive_method on <var90:ModelBuilder>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var_vararg, var98) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
+} else {
+}
+var99 = NEW_range__Range(&type_range__Rangekernel__Int);
+var100 = 0;
+var101 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var101 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 183);
+show_backtrace(1);
+} else {
+var102 = ((long (*)(val*))(var101->class->vft[COLOR_model__MSignature__arity]))(var101) /* arity on <var101:nullable MSignature>*/;
+}
+var103 = BOX_kernel__Int(var100); /* autobox from Int to Discrete */
+var104 = BOX_kernel__Int(var102); /* autobox from Int to Discrete */
+((void (*)(val*, val*, val*))(var99->class->vft[COLOR_range__Range__without_last]))(var99, var103, var104) /* without_last on <var99:Range[Int]>*/;
+var105 = ((val* (*)(val*))(var99->class->vft[COLOR_abstract_collection__Collection__iterator]))(var99) /* iterator on <var99:Range[Int]>*/;
+for(;;) {
+var106 = ((short int (*)(val*))(var105->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var105) /* is_ok on <var105:Iterator[nullable Object]>*/;
+if(!var106) break;
+var107 = ((val* (*)(val*))(var105->class->vft[COLOR_abstract_collection__Iterator__item]))(var105) /* item on <var105:Iterator[nullable Object]>*/;
+var108 = ((struct instance_kernel__Int*)var107)->value; /* autounbox from nullable Object to Int */;
+var_i = var108;
+var109 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mmethoddef) /* mproperty on <var_mmethoddef:MMethodDef>*/;
+var110 = ((val* (*)(val*))(var109->class->vft[COLOR_model__MProperty__intro]))(var109) /* intro on <var109:MProperty(MMethod)>*/;
+var111 = ((val* (*)(val*))(var110->class->vft[COLOR_model__MMethodDef__msignature]))(var110) /* msignature on <var110:MPropDef(MMethodDef)>*/;
+if (var111 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 184);
+show_backtrace(1);
+} else {
+var112 = ((val* (*)(val*))(var111->class->vft[COLOR_model__MSignature__mparameters]))(var111) /* mparameters on <var111:nullable MSignature>*/;
+}
+var113 = ((val* (*)(val*, long))(var112->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var112, var_i) /* [] on <var112:Array[MParameter]>*/;
+var114 = ((val* (*)(val*))(var113->class->vft[COLOR_model__MParameter__mtype]))(var113) /* mtype on <var113:nullable Object(MParameter)>*/;
+var_origtype = var114;
+var115 = ((short int (*)(val*))(var_origtype->class->vft[COLOR_model__MType__need_anchor]))(var_origtype) /* need_anchor on <var_origtype:MType>*/;
+var116 = !var115;
+if (var116){
+goto CONTINUE_label;
} else {
}
-var94 = NEW_range__Range(&type_range__Rangekernel__Int);
-var95 = 0;
-var96 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var96 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 121);
-exit(1);
+var117 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var117 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 186);
+show_backtrace(1);
} else {
-var97 = ((long (*)(val*))(var96->class->vft[COLOR_model__MSignature__arity]))(var96) /* arity on <var96:nullable MSignature>*/;
+var118 = ((val* (*)(val*))(var117->class->vft[COLOR_model__MSignature__mparameters]))(var117) /* mparameters on <var117:nullable MSignature>*/;
}
-var98 = BOX_kernel__Int(var95); /* autobox from Int to Discrete */
-var99 = BOX_kernel__Int(var97); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var94->class->vft[COLOR_range__Range__without_last]))(var94, var98, var99) /* without_last on <var94:Range[Int]>*/;
-CHECK_NEW_range__Range(var94);
-var100 = ((val* (*)(val*))(var94->class->vft[COLOR_abstract_collection__Collection__iterator]))(var94) /* iterator on <var94:Range[Int]>*/;
-for(;;) {
-var101 = ((short int (*)(val*))(var100->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var100) /* is_ok on <var100:Iterator[nullable Object]>*/;
-if(!var101) break;
-var102 = ((val* (*)(val*))(var100->class->vft[COLOR_abstract_collection__Iterator__item]))(var100) /* item on <var100:Iterator[nullable Object]>*/;
-var103 = ((struct instance_kernel__Int*)var102)->value; /* autounbox from nullable Object to Int */;
-var_i = var103;
-var104 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mmethoddef) /* mproperty on <var_mmethoddef:MMethodDef>*/;
-var105 = ((val* (*)(val*))(var104->class->vft[COLOR_model__MProperty__intro]))(var104) /* intro on <var104:MProperty(MMethod)>*/;
-var106 = ((val* (*)(val*))(var105->class->vft[COLOR_model__MMethodDef__msignature]))(var105) /* msignature on <var105:MPropDef(MMethodDef)>*/;
-if (var106 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 122);
-exit(1);
-} else {
-var107 = ((val* (*)(val*))(var106->class->vft[COLOR_model__MSignature__mparameters]))(var106) /* mparameters on <var106:nullable MSignature>*/;
-}
-var108 = ((val* (*)(val*, long))(var107->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var107, var_i) /* [] on <var107:Array[MParameter]>*/;
-var109 = ((val* (*)(val*))(var108->class->vft[COLOR_model__MParameter__mtype]))(var108) /* mtype on <var108:nullable Object(MParameter)>*/;
-var_origtype = var109;
-var110 = ((short int (*)(val*))(var_origtype->class->vft[COLOR_model__MType__need_anchor]))(var_origtype) /* need_anchor on <var_origtype:MType>*/;
-var111 = !var110;
-if (var111){
-goto CONTINUE_label112;
-} else {
-}
-var113 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var113 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 124);
-exit(1);
-} else {
-var114 = ((val* (*)(val*))(var113->class->vft[COLOR_model__MSignature__mparameters]))(var113) /* mparameters on <var113:nullable MSignature>*/;
-}
-var115 = ((val* (*)(val*, long))(var114->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var114, var_i) /* [] on <var114:Array[MParameter]>*/;
-var116 = ((val* (*)(val*))(var115->class->vft[COLOR_model__MParameter__mtype]))(var115) /* mtype on <var115:nullable Object(MParameter)>*/;
-var_paramtype = var116;
+var119 = ((val* (*)(val*, long))(var118->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var118, var_i) /* [] on <var118:Array[MParameter]>*/;
+var120 = ((val* (*)(val*))(var119->class->vft[COLOR_model__MParameter__mtype]))(var119) /* mtype on <var119:nullable Object(MParameter)>*/;
+var_paramtype = var120;
((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_cast]))(self, var_paramtype) /* add_cast on <self:RapidTypeAnalysis>*/;
-CONTINUE_label112: (void)0;
-((void (*)(val*))(var100->class->vft[COLOR_abstract_collection__Iterator__next]))(var100) /* next on <var100:Iterator[nullable Object]>*/;
-}
-BREAK_label112: (void)0;
-var117 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-var118 = ((val* (*)(val*))(var117->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var117) /* mpropdef2npropdef on <var117:ModelBuilder>*/;
-var119 = ((short int (*)(val*, val*))(var118->class->vft[COLOR_abstract_collection__MapRead__has_key]))(var118, var_mmethoddef) /* has_key on <var118:HashMap[MPropDef, APropdef]>*/;
-var120 = !var119;
-if (var120){
-var121 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mmethoddef) /* mproperty on <var_mmethoddef:MMethodDef>*/;
-var122 = ((val* (*)(val*))(var121->class->vft[COLOR_model__MProperty__name]))(var121) /* name on <var121:MProperty(MMethod)>*/;
-if (varonce123) {
-var124 = varonce123;
-} else {
-var125 = "init";
-var126 = 4;
-var127 = string__NativeString__to_s_with_length(var125, var126);
-var124 = var127;
-varonce123 = var124;
-}
-var128 = ((short int (*)(val*, val*))(var122->class->vft[COLOR_kernel__Object___61d_61d]))(var122, var124) /* == on <var122:String>*/;
-if (var128){
-var129 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-var130 = ((val* (*)(val*))(var129->class->vft[COLOR_modelize_class__ModelBuilder__mclassdef2nclassdef]))(var129) /* mclassdef2nclassdef on <var129:ModelBuilder>*/;
-var131 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mmethoddef) /* mclassdef on <var_mmethoddef:MMethodDef>*/;
-var132 = ((val* (*)(val*, val*))(var130->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var130, var131) /* [] on <var130:HashMap[MClassDef, AClassdef]>*/;
-var_nclassdef = var132;
-var133 = ((val* (*)(val*))(var_nclassdef->class->vft[COLOR_modelize_property__AClassdef__super_inits]))(var_nclassdef) /* super_inits on <var_nclassdef:AClassdef>*/;
-var_super_inits = var133;
-var134 = NULL;
+CONTINUE_label: (void)0;
+((void (*)(val*))(var105->class->vft[COLOR_abstract_collection__Iterator__next]))(var105) /* next on <var105:Iterator[nullable Object]>*/;
+}
+BREAK_label: (void)0;
+var121 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+var122 = ((val* (*)(val*))(var121->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var121) /* mpropdef2npropdef on <var121:ModelBuilder>*/;
+var123 = ((short int (*)(val*, val*))(var122->class->vft[COLOR_abstract_collection__MapRead__has_key]))(var122, var_mmethoddef) /* has_key on <var122:HashMap[MPropDef, APropdef]>*/;
+var124 = !var123;
+if (var124){
+var125 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mmethoddef) /* mproperty on <var_mmethoddef:MMethodDef>*/;
+var126 = ((val* (*)(val*))(var125->class->vft[COLOR_model__MProperty__name]))(var125) /* name on <var125:MProperty(MMethod)>*/;
+if (varonce127) {
+var128 = varonce127;
+} else {
+var129 = "init";
+var130 = 4;
+var131 = string__NativeString__to_s_with_length(var129, var130);
+var128 = var131;
+varonce127 = var128;
+}
+var132 = ((short int (*)(val*, val*))(var126->class->vft[COLOR_kernel__Object___61d_61d]))(var126, var128) /* == on <var126:String>*/;
+if (var132){
+var133 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+var134 = ((val* (*)(val*))(var133->class->vft[COLOR_modelize_class__ModelBuilder__mclassdef2nclassdef]))(var133) /* mclassdef2nclassdef on <var133:ModelBuilder>*/;
+var135 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mmethoddef) /* mclassdef on <var_mmethoddef:MMethodDef>*/;
+var136 = ((val* (*)(val*, val*))(var134->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var134, var135) /* [] on <var134:HashMap[MClassDef, AClassdef]>*/;
+var_nclassdef = var136;
+var137 = ((val* (*)(val*))(var_nclassdef->class->vft[COLOR_modelize_property__AClassdef__super_inits]))(var_nclassdef) /* super_inits on <var_nclassdef:AClassdef>*/;
+var_super_inits = var137;
+var138 = NULL;
if (var_super_inits == NULL) {
-var135 = 0; /* is null */
+var139 = 0; /* is null */
} else {
-var135 = 1; /* arg is null and recv is not */
+var139 = 1; /* arg is null and recv is not */
}
-if (var135){
-var136 = ((val* (*)(val*))(var_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_super_inits) /* iterator on <var_super_inits:nullable Collection[MMethod](Collection[MMethod])>*/;
+if (var139){
+var140 = ((val* (*)(val*))(var_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_super_inits) /* iterator on <var_super_inits:nullable Collection[MMethod](Collection[MMethod])>*/;
for(;;) {
-var137 = ((short int (*)(val*))(var136->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var136) /* is_ok on <var136:Iterator[nullable Object]>*/;
-if(!var137) break;
-var138 = ((val* (*)(val*))(var136->class->vft[COLOR_abstract_collection__Iterator__item]))(var136) /* item on <var136:Iterator[nullable Object]>*/;
-var_su = var138;
-var139 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var139, var_su) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
-CONTINUE_label140: (void)0;
-((void (*)(val*))(var136->class->vft[COLOR_abstract_collection__Iterator__next]))(var136) /* next on <var136:Iterator[nullable Object]>*/;
+var141 = ((short int (*)(val*))(var140->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var140) /* is_ok on <var140:Iterator[nullable Object]>*/;
+if(!var141) break;
+var142 = ((val* (*)(val*))(var140->class->vft[COLOR_abstract_collection__Iterator__item]))(var140) /* item on <var140:Iterator[nullable Object]>*/;
+var_su = var142;
+var143 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var143, var_su) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
+CONTINUE_label144: (void)0;
+((void (*)(val*))(var140->class->vft[COLOR_abstract_collection__Iterator__next]))(var140) /* next on <var140:Iterator[nullable Object]>*/;
}
-BREAK_label140: (void)0;
+BREAK_label144: (void)0;
} else {
}
} else {
fprintf(stderr, "Runtime error: %s", "Aborted");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 142);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 204);
+show_backtrace(1);
}
-goto CONTINUE_label141;
+goto CONTINUE_label145;
} else {
}
-var142 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
-var143 = ((val* (*)(val*))(var142->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var142) /* mpropdef2npropdef on <var142:ModelBuilder>*/;
-var144 = ((val* (*)(val*, val*))(var143->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var143, var_mmethoddef) /* [] on <var143:HashMap[MPropDef, APropdef]>*/;
-var_npropdef = var144;
+var146 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(self) /* modelbuilder on <self:RapidTypeAnalysis>*/;
+var147 = ((val* (*)(val*))(var146->class->vft[COLOR_modelize_property__ModelBuilder__mpropdef2npropdef]))(var146) /* mpropdef2npropdef on <var146:ModelBuilder>*/;
+var148 = ((val* (*)(val*, val*))(var147->class->vft[COLOR_abstract_collection__MapRead___91d_93d]))(var147, var_mmethoddef) /* [] on <var147:HashMap[MPropDef, APropdef]>*/;
+var_npropdef = var148;
/* <var_npropdef:APropdef> isa AConcreteMethPropdef */
-cltype146 = type_parser_nodes__AConcreteMethPropdef.color;
-idtype147 = type_parser_nodes__AConcreteMethPropdef.id;
-if(cltype146 >= var_npropdef->type->table_size) {
-var145 = 0;
+cltype150 = type_parser_nodes__AConcreteMethPropdef.color;
+idtype151 = type_parser_nodes__AConcreteMethPropdef.id;
+if(cltype150 >= var_npropdef->type->table_size) {
+var149 = 0;
} else {
-var145 = var_npropdef->type->type_table[cltype146] == idtype147;
+var149 = var_npropdef->type->type_table[cltype150] == idtype151;
}
-if (var145){
-var148 = ((val* (*)(val*))(var_npropdef->class->vft[COLOR_auto_super_init__AConcreteMethPropdef__auto_super_inits]))(var_npropdef) /* auto_super_inits on <var_npropdef:APropdef(AConcreteMethPropdef)>*/;
-var_auto_super_inits = var148;
-var149 = NULL;
+if (var149){
+var152 = ((val* (*)(val*))(var_npropdef->class->vft[COLOR_auto_super_init__AConcreteMethPropdef__auto_super_inits]))(var_npropdef) /* auto_super_inits on <var_npropdef:APropdef(AConcreteMethPropdef)>*/;
+var_auto_super_inits = var152;
+var153 = NULL;
if (var_auto_super_inits == NULL) {
-var150 = 0; /* is null */
+var154 = 0; /* is null */
} else {
-var150 = 1; /* arg is null and recv is not */
+var154 = 1; /* arg is null and recv is not */
}
-if (var150){
-var151 = ((val* (*)(val*))(var_auto_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_auto_super_inits) /* iterator on <var_auto_super_inits:nullable Array[MMethod](Array[MMethod])>*/;
+if (var154){
+var155 = ((val* (*)(val*))(var_auto_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_auto_super_inits) /* iterator on <var_auto_super_inits:nullable Array[CallSite](Array[CallSite])>*/;
for(;;) {
-var152 = ((short int (*)(val*))(var151->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var151) /* is_ok on <var151:Iterator[nullable Object]>*/;
-if(!var152) break;
-var153 = ((val* (*)(val*))(var151->class->vft[COLOR_abstract_collection__Iterator__item]))(var151) /* item on <var151:Iterator[nullable Object]>*/;
-var_auto_super_init = var153;
-var154 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var154, var_auto_super_init) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
-CONTINUE_label155: (void)0;
-((void (*)(val*))(var151->class->vft[COLOR_abstract_collection__Iterator__next]))(var151) /* next on <var151:Iterator[nullable Object]>*/;
+var156 = ((short int (*)(val*))(var155->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var155) /* is_ok on <var155:Iterator[nullable Object]>*/;
+if(!var156) break;
+var157 = ((val* (*)(val*))(var155->class->vft[COLOR_abstract_collection__Iterator__item]))(var155) /* item on <var155:Iterator[nullable Object]>*/;
+var_auto_super_init = var157;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var_auto_super_init) /* add_callsite on <var_v:RapidTypeVisitor>*/;
+CONTINUE_label158: (void)0;
+((void (*)(val*))(var155->class->vft[COLOR_abstract_collection__Iterator__next]))(var155) /* next on <var155:Iterator[nullable Object]>*/;
}
-BREAK_label155: (void)0;
+BREAK_label158: (void)0;
} else {
}
} else {
/* <var_npropdef:APropdef> isa AInternMethPropdef */
-cltype158 = type_parser_nodes__AInternMethPropdef.color;
-idtype159 = type_parser_nodes__AInternMethPropdef.id;
-if(cltype158 >= var_npropdef->type->table_size) {
-var157 = 0;
+cltype161 = type_parser_nodes__AInternMethPropdef.color;
+idtype162 = type_parser_nodes__AInternMethPropdef.id;
+if(cltype161 >= var_npropdef->type->table_size) {
+var160 = 0;
} else {
-var157 = var_npropdef->type->type_table[cltype158] == idtype159;
+var160 = var_npropdef->type->type_table[cltype161] == idtype162;
}
-var_ = var157;
-if (var157){
-var156 = var_;
+var_ = var160;
+if (var160){
+var159 = var_;
} else {
/* <var_npropdef:APropdef> isa AExternMethPropdef */
-cltype161 = type_parser_nodes__AExternMethPropdef.color;
-idtype162 = type_parser_nodes__AExternMethPropdef.id;
-if(cltype161 >= var_npropdef->type->table_size) {
-var160 = 0;
+cltype165 = type_parser_nodes__AExternMethPropdef.color;
+idtype166 = type_parser_nodes__AExternMethPropdef.id;
+if(cltype165 >= var_npropdef->type->table_size) {
+var164 = 0;
} else {
-var160 = var_npropdef->type->type_table[cltype161] == idtype162;
+var164 = var_npropdef->type->type_table[cltype165] == idtype166;
+}
+var_167 = var164;
+if (var164){
+var168 = ((val* (*)(val*))(var_npropdef->class->vft[COLOR_parser_nodes__AExternPropdef__n_extern]))(var_npropdef) /* n_extern on <var_npropdef:APropdef(AExternMethPropdef)>*/;
+var169 = NULL;
+if (var168 == NULL) {
+var170 = 0; /* is null */
+} else {
+var170 = 1; /* arg is null and recv is not */
+}
+var163 = var170;
+} else {
+var163 = var_167;
}
-var156 = var160;
+var159 = var163;
}
-if (var156){
-var163 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var163 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 158);
-exit(1);
+if (var159){
+var171 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var171 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 221);
+show_backtrace(1);
} else {
-var164 = ((val* (*)(val*))(var163->class->vft[COLOR_model__MSignature__return_mtype]))(var163) /* return_mtype on <var163:nullable MSignature>*/;
+var172 = ((val* (*)(val*))(var171->class->vft[COLOR_model__MSignature__return_mtype]))(var171) /* return_mtype on <var171:nullable MSignature>*/;
}
-var_ret = var164;
-var168 = NULL;
+var_ret = var172;
+var176 = NULL;
if (var_ret == NULL) {
-var169 = 0; /* is null */
+var177 = 0; /* is null */
} else {
-var169 = 1; /* arg is null and recv is not */
+var177 = 1; /* arg is null and recv is not */
}
-var_170 = var169;
-if (var169){
+var_178 = var177;
+if (var177){
/* <var_ret:nullable MType(MType)> isa MClassType */
-cltype172 = type_model__MClassType.color;
-idtype173 = type_model__MClassType.id;
-if(cltype172 >= var_ret->type->table_size) {
-var171 = 0;
+cltype180 = type_model__MClassType.color;
+idtype181 = type_model__MClassType.id;
+if(cltype180 >= var_ret->type->table_size) {
+var179 = 0;
} else {
-var171 = var_ret->type->type_table[cltype172] == idtype173;
+var179 = var_ret->type->type_table[cltype180] == idtype181;
}
-var167 = var171;
+var175 = var179;
} else {
-var167 = var_170;
+var175 = var_178;
}
-var_174 = var167;
-if (var167){
-var175 = ((val* (*)(val*))(var_ret->class->vft[COLOR_model__MClassType__mclass]))(var_ret) /* mclass on <var_ret:nullable MType(MClassType)>*/;
-var176 = ((val* (*)(val*))(var175->class->vft[COLOR_model__MClass__kind]))(var175) /* kind on <var175:MClass>*/;
-var177 = ((val* (*)(val*))(self->class->vft[COLOR_model__Object__abstract_kind]))(self) /* abstract_kind on <self:RapidTypeAnalysis>*/;
-var178 = ((short int (*)(val*, val*))(var176->class->vft[COLOR_kernel__Object___33d_61d]))(var176, var177) /* != on <var176:MClassKind>*/;
-var166 = var178;
+var_182 = var175;
+if (var175){
+var183 = ((val* (*)(val*))(var_ret->class->vft[COLOR_model__MClassType__mclass]))(var_ret) /* mclass on <var_ret:nullable MType(MClassType)>*/;
+var184 = ((val* (*)(val*))(var183->class->vft[COLOR_model__MClass__kind]))(var183) /* kind on <var183:MClass>*/;
+var185 = ((val* (*)(val*))(self->class->vft[COLOR_model__Object__abstract_kind]))(self) /* abstract_kind on <self:RapidTypeAnalysis>*/;
+var186 = ((short int (*)(val*, val*))(var184->class->vft[COLOR_kernel__Object___33d_61d]))(var184, var185) /* != on <var184:MClassKind>*/;
+var174 = var186;
} else {
-var166 = var_174;
+var174 = var_182;
}
-var_179 = var166;
-if (var166){
-var180 = ((val* (*)(val*))(var_ret->class->vft[COLOR_model__MClassType__mclass]))(var_ret) /* mclass on <var_ret:nullable MType(MClassType)>*/;
-var181 = ((val* (*)(val*))(var180->class->vft[COLOR_model__MClass__kind]))(var180) /* kind on <var180:MClass>*/;
-var182 = ((val* (*)(val*))(self->class->vft[COLOR_model__Object__interface_kind]))(self) /* interface_kind on <self:RapidTypeAnalysis>*/;
-var183 = ((short int (*)(val*, val*))(var181->class->vft[COLOR_kernel__Object___33d_61d]))(var181, var182) /* != on <var181:MClassKind>*/;
-var165 = var183;
+var_187 = var174;
+if (var174){
+var188 = ((val* (*)(val*))(var_ret->class->vft[COLOR_model__MClassType__mclass]))(var_ret) /* mclass on <var_ret:nullable MType(MClassType)>*/;
+var189 = ((val* (*)(val*))(var188->class->vft[COLOR_model__MClass__kind]))(var188) /* kind on <var188:MClass>*/;
+var190 = ((val* (*)(val*))(self->class->vft[COLOR_model__Object__interface_kind]))(self) /* interface_kind on <self:RapidTypeAnalysis>*/;
+var191 = ((short int (*)(val*, val*))(var189->class->vft[COLOR_kernel__Object___33d_61d]))(var189, var190) /* != on <var189:MClassKind>*/;
+var173 = var191;
} else {
-var165 = var_179;
+var173 = var_187;
}
-if (var165){
+if (var173){
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_ret) /* add_type on <var_v:RapidTypeVisitor>*/;
} else {
}
} else {
+/* <var_npropdef:APropdef> isa AExternMethPropdef */
+cltype193 = type_parser_nodes__AExternMethPropdef.color;
+idtype194 = type_parser_nodes__AExternMethPropdef.id;
+if(cltype193 >= var_npropdef->type->table_size) {
+var192 = 0;
+} else {
+var192 = var_npropdef->type->type_table[cltype193] == idtype194;
+}
+if (var192){
+var195 = ((val* (*)(val*))(var_npropdef->class->vft[COLOR_parser_nodes__ANode__parent]))(var_npropdef) /* parent on <var_npropdef:APropdef(AExternMethPropdef)>*/;
+/* <var195:nullable ANode> isa AClassdef */
+cltype197 = type_parser_nodes__AClassdef.color;
+idtype198 = type_parser_nodes__AClassdef.id;
+if(var195 == NULL) {
+var196 = 0;
+} else {
+if(cltype197 >= var195->type->table_size) {
+var196 = 0;
+} else {
+var196 = var195->type->type_table[cltype197] == idtype198;
+}
+}
+if (!var196) {
+var_class_name199 = var195 == NULL ? "null" : var195->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AClassdef", var_class_name199);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 226);
+show_backtrace(1);
+}
+var_nclassdef200 = var195;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_parser_nodes__Visitor__enter_visit]))(var_v, var_npropdef) /* enter_visit on <var_v:RapidTypeVisitor>*/;
+} else {
/* <var_npropdef:APropdef> isa AExternInitPropdef */
-cltype185 = type_parser_nodes__AExternInitPropdef.color;
-idtype186 = type_parser_nodes__AExternInitPropdef.id;
-if(cltype185 >= var_npropdef->type->table_size) {
-var184 = 0;
+cltype202 = type_parser_nodes__AExternInitPropdef.color;
+idtype203 = type_parser_nodes__AExternInitPropdef.id;
+if(cltype202 >= var_npropdef->type->table_size) {
+var201 = 0;
} else {
-var184 = var_npropdef->type->type_table[cltype185] == idtype186;
+var201 = var_npropdef->type->type_table[cltype202] == idtype203;
}
-if (var184){
-var187 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var187) /* add_type on <var_v:RapidTypeVisitor>*/;
+if (var201){
+var204 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var204) /* add_type on <var_v:RapidTypeVisitor>*/;
} else {
}
}
}
+}
((void (*)(val*, val*))(var_v->class->vft[COLOR_parser_nodes__Visitor__enter_visit]))(var_v, var_npropdef) /* enter_visit on <var_v:RapidTypeVisitor>*/;
-CONTINUE_label141: (void)0;
-}
-BREAK_label141: (void)0;
-var188 = NEW_list__List(&type_list__Listmodel__MClassType);
-((void (*)(val*))(var188->class->vft[COLOR_list__List__init]))(var188) /* init on <var188:List[MClassType]>*/;
-CHECK_NEW_list__List(var188);
-var_todo_types = var188;
-var189 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
-((void (*)(val*, val*))(var_todo_types->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_todo_types, var189) /* add_all on <var_todo_types:List[MClassType]>*/;
+CONTINUE_label145: (void)0;
+}
+BREAK_label145: (void)0;
+var205 = NEW_list__List(&type_list__Listmodel__MClassType);
+((void (*)(val*))(var205->class->vft[COLOR_list__List__init]))(var205) /* init on <var205:List[MClassType]>*/;
+var_todo_types = var205;
+var206 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var_todo_types->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(var_todo_types, var206) /* add_all on <var_todo_types:List[MClassType]>*/;
for(;;) {
-var190 = ((short int (*)(val*))(var_todo_types->class->vft[COLOR_abstract_collection__Collection__is_empty]))(var_todo_types) /* is_empty on <var_todo_types:List[MClassType]>*/;
-var191 = !var190;
-if (!var191) break;
-var192 = ((val* (*)(val*))(var_todo_types->class->vft[COLOR_abstract_collection__Sequence__shift]))(var_todo_types) /* shift on <var_todo_types:List[MClassType]>*/;
-var_t = var192;
-var193 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_types]))(self) /* live_open_types on <self:RapidTypeAnalysis>*/;
-var194 = ((val* (*)(val*))(var193->class->vft[COLOR_abstract_collection__Collection__iterator]))(var193) /* iterator on <var193:HashSet[MClassType]>*/;
+var207 = ((short int (*)(val*))(var_todo_types->class->vft[COLOR_abstract_collection__Collection__is_empty]))(var_todo_types) /* is_empty on <var_todo_types:List[MClassType]>*/;
+var208 = !var207;
+if (!var208) break;
+var209 = ((val* (*)(val*))(var_todo_types->class->vft[COLOR_abstract_collection__Sequence__shift]))(var_todo_types) /* shift on <var_todo_types:List[MClassType]>*/;
+var_t = var209;
+var210 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_types]))(self) /* live_open_types on <self:RapidTypeAnalysis>*/;
+var211 = ((val* (*)(val*))(var210->class->vft[COLOR_abstract_collection__Collection__iterator]))(var210) /* iterator on <var210:HashSet[MClassType]>*/;
for(;;) {
-var195 = ((short int (*)(val*))(var194->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var194) /* is_ok on <var194:Iterator[nullable Object]>*/;
-if(!var195) break;
-var196 = ((val* (*)(val*))(var194->class->vft[COLOR_abstract_collection__Iterator__item]))(var194) /* item on <var194:Iterator[nullable Object]>*/;
-var_ot = var196;
-var197 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-var198 = ((short int (*)(val*, val*, val*, val*))(var_ot->class->vft[COLOR_model__MType__can_resolve_for]))(var_ot, var_t, var_t, var197) /* can_resolve_for on <var_ot:MClassType>*/;
-var199 = !var198;
-if (var199){
-goto CONTINUE_label200;
-} else {
-}
-var201 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-var202 = ((val* (*)(val*, val*, val*))(var_ot->class->vft[COLOR_model__MType__anchor_to]))(var_ot, var201, var_t) /* anchor_to on <var_ot:MClassType>*/;
-var_rt = var202;
-var203 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
-var204 = ((short int (*)(val*, val*))(var203->class->vft[COLOR_abstract_collection__Collection__has]))(var203, var_rt) /* has on <var203:HashSet[MClassType]>*/;
-if (var204){
-goto CONTINUE_label200;
-} else {
-}
-var205 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
-((void (*)(val*, val*))(var205->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var205, var_rt) /* add on <var205:HashSet[MClassType]>*/;
+var212 = ((short int (*)(val*))(var211->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var211) /* is_ok on <var211:Iterator[nullable Object]>*/;
+if(!var212) break;
+var213 = ((val* (*)(val*))(var211->class->vft[COLOR_abstract_collection__Iterator__item]))(var211) /* item on <var211:Iterator[nullable Object]>*/;
+var_ot = var213;
+var214 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+var215 = ((short int (*)(val*, val*, val*, val*))(var_ot->class->vft[COLOR_model__MType__can_resolve_for]))(var_ot, var_t, var_t, var214) /* can_resolve_for on <var_ot:MClassType>*/;
+var216 = !var215;
+if (var216){
+goto CONTINUE_label217;
+} else {
+}
+var218 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+var219 = ((val* (*)(val*, val*, val*))(var_ot->class->vft[COLOR_model__MType__anchor_to]))(var_ot, var218, var_t) /* anchor_to on <var_ot:MClassType>*/;
+var_rt = var219;
+var220 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+var221 = ((short int (*)(val*, val*))(var220->class->vft[COLOR_abstract_collection__Collection__has]))(var220, var_rt) /* has on <var220:HashSet[MClassType]>*/;
+if (var221){
+goto CONTINUE_label217;
+} else {
+}
+var222 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var222->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var222, var_rt) /* add on <var222:HashSet[MClassType]>*/;
((void (*)(val*, val*))(var_todo_types->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_todo_types, var_rt) /* add on <var_todo_types:List[MClassType]>*/;
((void (*)(val*, val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__check_depth]))(self, var_rt) /* check_depth on <self:RapidTypeAnalysis>*/;
-CONTINUE_label200: (void)0;
-((void (*)(val*))(var194->class->vft[COLOR_abstract_collection__Iterator__next]))(var194) /* next on <var194:Iterator[nullable Object]>*/;
+CONTINUE_label217: (void)0;
+((void (*)(val*))(var211->class->vft[COLOR_abstract_collection__Iterator__next]))(var211) /* next on <var211:Iterator[nullable Object]>*/;
}
-BREAK_label200: (void)0;
-CONTINUE_label206: (void)0;
+BREAK_label217: (void)0;
+CONTINUE_label223: (void)0;
}
-BREAK_label206: (void)0;
-var207 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
-var208 = ((val* (*)(val*))(var207->class->vft[COLOR_abstract_collection__Collection__iterator]))(var207) /* iterator on <var207:HashSet[MType]>*/;
+BREAK_label223: (void)0;
+var224 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
+var225 = ((val* (*)(val*))(var224->class->vft[COLOR_abstract_collection__Collection__iterator]))(var224) /* iterator on <var224:HashSet[MType]>*/;
for(;;) {
-var209 = ((short int (*)(val*))(var208->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var208) /* is_ok on <var208:Iterator[nullable Object]>*/;
-if(!var209) break;
-var210 = ((val* (*)(val*))(var208->class->vft[COLOR_abstract_collection__Iterator__item]))(var208) /* item on <var208:Iterator[nullable Object]>*/;
-var_ot211 = var210;
-var212 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
-var213 = ((val* (*)(val*))(var212->class->vft[COLOR_abstract_collection__Collection__iterator]))(var212) /* iterator on <var212:HashSet[MClassType]>*/;
+var226 = ((short int (*)(val*))(var225->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var225) /* is_ok on <var225:Iterator[nullable Object]>*/;
+if(!var226) break;
+var227 = ((val* (*)(val*))(var225->class->vft[COLOR_abstract_collection__Iterator__item]))(var225) /* item on <var225:Iterator[nullable Object]>*/;
+var_ot228 = var227;
+var229 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_types]))(self) /* live_types on <self:RapidTypeAnalysis>*/;
+var230 = ((val* (*)(val*))(var229->class->vft[COLOR_abstract_collection__Collection__iterator]))(var229) /* iterator on <var229:HashSet[MClassType]>*/;
for(;;) {
-var214 = ((short int (*)(val*))(var213->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var213) /* is_ok on <var213:Iterator[nullable Object]>*/;
-if(!var214) break;
-var215 = ((val* (*)(val*))(var213->class->vft[COLOR_abstract_collection__Iterator__item]))(var213) /* item on <var213:Iterator[nullable Object]>*/;
-var_t216 = var215;
-var217 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-var218 = ((short int (*)(val*, val*, val*, val*))(var_ot211->class->vft[COLOR_model__MType__can_resolve_for]))(var_ot211, var_t216, var_t216, var217) /* can_resolve_for on <var_ot211:MType>*/;
-var219 = !var218;
-if (var219){
-goto CONTINUE_label220;
-} else {
-}
-var221 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
-var222 = ((val* (*)(val*, val*, val*))(var_ot211->class->vft[COLOR_model__MType__anchor_to]))(var_ot211, var221, var_t216) /* anchor_to on <var_ot211:MType>*/;
-var_rt223 = var222;
-/* <var_rt223:MType> isa MNullableType */
-cltype225 = type_model__MNullableType.color;
-idtype226 = type_model__MNullableType.id;
-if(cltype225 >= var_rt223->type->table_size) {
-var224 = 0;
-} else {
-var224 = var_rt223->type->type_table[cltype225] == idtype226;
-}
-if (var224){
-var227 = ((val* (*)(val*))(var_rt223->class->vft[COLOR_model__MNullableType__mtype]))(var_rt223) /* mtype on <var_rt223:MType(MNullableType)>*/;
-var_rt223 = var227;
-} else {
-}
-/* <var_rt223:MType> isa MClassType */
-cltype229 = type_model__MClassType.color;
-idtype230 = type_model__MClassType.id;
-if(cltype229 >= var_rt223->type->table_size) {
-var228 = 0;
-} else {
-var228 = var_rt223->type->type_table[cltype229] == idtype230;
-}
-if (!var228) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 199);
-exit(1);
+var231 = ((short int (*)(val*))(var230->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var230) /* is_ok on <var230:Iterator[nullable Object]>*/;
+if(!var231) break;
+var232 = ((val* (*)(val*))(var230->class->vft[COLOR_abstract_collection__Iterator__item]))(var230) /* item on <var230:Iterator[nullable Object]>*/;
+var_t233 = var232;
+var234 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+var235 = ((short int (*)(val*, val*, val*, val*))(var_ot228->class->vft[COLOR_model__MType__can_resolve_for]))(var_ot228, var_t233, var_t233, var234) /* can_resolve_for on <var_ot228:MType>*/;
+var236 = !var235;
+if (var236){
+goto CONTINUE_label237;
+} else {
}
-var231 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
-((void (*)(val*, val*))(var231->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var231, var_rt223) /* add on <var231:HashSet[MClassType]>*/;
-CONTINUE_label220: (void)0;
-((void (*)(val*))(var213->class->vft[COLOR_abstract_collection__Iterator__next]))(var213) /* next on <var213:Iterator[nullable Object]>*/;
+var238 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__mainmodule]))(self) /* mainmodule on <self:RapidTypeAnalysis>*/;
+var239 = ((val* (*)(val*, val*, val*))(var_ot228->class->vft[COLOR_model__MType__anchor_to]))(var_ot228, var238, var_t233) /* anchor_to on <var_ot228:MType>*/;
+var_rt240 = var239;
+var241 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var241->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var241, var_rt240) /* add on <var241:HashSet[MType]>*/;
+CONTINUE_label237: (void)0;
+((void (*)(val*))(var230->class->vft[COLOR_abstract_collection__Iterator__next]))(var230) /* next on <var230:Iterator[nullable Object]>*/;
}
-BREAK_label220: (void)0;
-CONTINUE_label232: (void)0;
-((void (*)(val*))(var208->class->vft[COLOR_abstract_collection__Iterator__next]))(var208) /* next on <var208:Iterator[nullable Object]>*/;
+BREAK_label237: (void)0;
+CONTINUE_label242: (void)0;
+((void (*)(val*))(var225->class->vft[COLOR_abstract_collection__Iterator__next]))(var225) /* next on <var225:Iterator[nullable Object]>*/;
}
-BREAK_label232: (void)0;
+BREAK_label242: (void)0;
RET_LABEL:;
}
/* method rapid_type_analysis#RapidTypeAnalysis#run_analysis for (self: Object) */
if (!var4) {
var_class_name = type_kernel__Int.name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
}
var5 = var_d > var1;
var2 = var5;
((struct instance_array__NativeArray*)var25)->values[3] = (val*) var_mtype;
((struct instance_array__NativeArray*)var25)->values[4] = (val*) var19;
((void (*)(val*, val*, long))(var23->class->vft[COLOR_array__Array__with_native]))(var23, var25, var24) /* with_native on <var23:Array[Object]>*/;
-CHECK_NEW_array__Array(var23);
}
var27 = ((val* (*)(val*))(var23->class->vft[COLOR_string__Object__to_s]))(var23) /* to_s on <var23:Array[Object]>*/;
((void (*)(val*, val*, val*))(var7->class->vft[COLOR_toolcontext__ToolContext__fatal_error]))(var7, var8, var27) /* fatal_error on <var7:ToolContext>*/;
var1 = !var;
if (!var1) {
fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 217);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 281);
+show_backtrace(1);
}
var2 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MClassType>*/;
if (var2){
var48 = ((val* (*)(val*))(var_npropdef->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(var_npropdef) /* mpropdef on <var_npropdef:APropdef(AAttrPropdef)>*/;
if (var48 == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 242);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 306);
+show_backtrace(1);
}
var_mpropdef = var48;
var49 = NEW_rapid_type_analysis__RapidTypeVisitor(&type_rapid_type_analysis__RapidTypeVisitor);
((void (*)(val*, val*, val*, val*))(var49->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__init]))(var49, self, var_bound_mtype, var_mpropdef) /* init on <var49:RapidTypeVisitor>*/;
-CHECK_NEW_rapid_type_analysis__RapidTypeVisitor(var49);
var_v = var49;
((void (*)(val*, val*))(var_v->class->vft[COLOR_parser_nodes__Visitor__enter_visit]))(var_v, var_nexpr) /* enter_visit on <var_v:RapidTypeVisitor>*/;
CONTINUE_label44: (void)0;
void rapid_type_analysis__RapidTypeAnalysis__add_cast(val* self, val* p0) {
val* var_mtype /* var mtype: MType */;
short int var /* : Bool */;
-int cltype;
-int idtype;
-val* var1 /* : MType */;
-short int var2 /* : Bool */;
-val* var3 /* : HashSet[MType] */;
-short int var4 /* : Bool */;
-int cltype5;
-int idtype6;
-val* var7 /* : HashSet[MClassType] */;
+val* var1 /* : HashSet[MType] */;
+val* var2 /* : HashSet[MType] */;
var_mtype = p0;
-/* <var_mtype:MType> isa MNullableType */
-cltype = type_model__MNullableType.color;
-idtype = type_model__MNullableType.id;
-if(cltype >= var_mtype->type->table_size) {
-var = 0;
-} else {
-var = var_mtype->type->type_table[cltype] == idtype;
-}
+var = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;
if (var){
-var1 = ((val* (*)(val*))(var_mtype->class->vft[COLOR_model__MNullableType__mtype]))(var_mtype) /* mtype on <var_mtype:MType(MNullableType)>*/;
-var_mtype = var1;
+var1 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var1, var_mtype) /* add on <var1:HashSet[MType]>*/;
} else {
-}
-var2 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;
-if (var2){
-var3 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_open_cast_types]))(self) /* live_open_cast_types on <self:RapidTypeAnalysis>*/;
-((void (*)(val*, val*))(var3->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var3, var_mtype) /* add on <var3:HashSet[MType]>*/;
-} else {
-/* <var_mtype:MType> isa MClassType */
-cltype5 = type_model__MClassType.color;
-idtype6 = type_model__MClassType.id;
-if(cltype5 >= var_mtype->type->table_size) {
-var4 = 0;
-} else {
-var4 = var_mtype->type->type_table[cltype5] == idtype6;
-}
-if (!var4) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 256);
-exit(1);
-}
-var7 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
-((void (*)(val*, val*))(var7->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var7, var_mtype) /* add on <var7:HashSet[MClassType]>*/;
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__live_cast_types]))(self) /* live_cast_types on <self:RapidTypeAnalysis>*/;
+((void (*)(val*, val*))(var2->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var2, var_mtype) /* add on <var2:HashSet[MType]>*/;
}
RET_LABEL:;
}
if (!var10) {
var_class_name = type_kernel__Int.name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
}
var11 = var6 <= var7;
var8 = var11;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeVisitor___64danalysis].val; /* @analysis on <self:RapidTypeVisitor> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @analysis");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 327);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 389);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeVisitor___64dreceiver].val; /* @receiver on <self:RapidTypeVisitor> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @receiver");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 328);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 390);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = self->attrs[COLOR_rapid_type_analysis__RapidTypeVisitor___64dmpropdef].val; /* @mpropdef on <self:RapidTypeVisitor> */
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @mpropdef");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 329);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 391);
+show_backtrace(1);
}
var = var1;
RET_LABEL:;
var1 = !var;
if (!var1) {
fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 336);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 398);
+show_backtrace(1);
}
RET_LABEL:;
}
}
if (!var11) {
fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 358);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 420);
+show_backtrace(1);
}
var14 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType(MClassType)>*/;
var15 = !var14;
if (!var15) {
fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 359);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 421);
+show_backtrace(1);
}
var = var_mtype;
goto RET_LABEL;
}
if (!var3) {
fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 371);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 433);
+show_backtrace(1);
}
var4 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__analysis]))(self) /* analysis on <self:RapidTypeVisitor>*/;
var5 = ((val* (*)(val*))(var4->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__modelbuilder]))(var4) /* modelbuilder on <var4:RapidTypeAnalysis>*/;
var6 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__Visitor__current_node]))(self) /* current_node on <self:RapidTypeVisitor>*/;
if (var6 == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 372);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 434);
+show_backtrace(1);
}
var7 = ((val* (*)(val*))(var_mtype->class->vft[COLOR_model__MClassType__mclass]))(var_mtype) /* mclass on <var_mtype:nullable MClassType(MClassType)>*/;
var8 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__analysis]))(self) /* analysis on <self:RapidTypeVisitor>*/;
if (!var1) {
var_class_name = var_mtype == NULL ? "null" : var_mtype->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 377);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 439);
+show_backtrace(1);
}
((void (*)(val*, val*, val*))(var->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__try_send]))(var, var_mtype, var_mproperty) /* try_send on <var:RapidTypeAnalysis>*/;
RET_LABEL:;
rapid_type_analysis__RapidTypeVisitor__add_cast_type(self, p0);
RET_LABEL:;
}
+/* method rapid_type_analysis#RapidTypeVisitor#add_callsite for (self: RapidTypeVisitor, nullable CallSite) */
+void rapid_type_analysis__RapidTypeVisitor__add_callsite(val* self, val* p0) {
+val* var_callsite /* var callsite: nullable CallSite */;
+val* var /* : null */;
+short int var1 /* : Bool */;
+val* var2 /* : RapidTypeAnalysis */;
+val* var3 /* : MType */;
+val* var4 /* : MMethod */;
+var_callsite = p0;
+var = NULL;
+if (var_callsite == NULL) {
+var1 = 0; /* is null */
+} else {
+var1 = 1; /* arg is null and recv is not */
+}
+if (var1){
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__analysis]))(self) /* analysis on <self:RapidTypeVisitor>*/;
+var3 = ((val* (*)(val*))(var_callsite->class->vft[COLOR_typing__CallSite__recv]))(var_callsite) /* recv on <var_callsite:nullable CallSite(CallSite)>*/;
+var4 = ((val* (*)(val*))(var_callsite->class->vft[COLOR_typing__CallSite__mproperty]))(var_callsite) /* mproperty on <var_callsite:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*, val*))(var2->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_send]))(var2, var3, var4) /* add_send on <var2:RapidTypeAnalysis>*/;
+} else {
+}
+RET_LABEL:;
+}
+/* method rapid_type_analysis#RapidTypeVisitor#add_callsite for (self: Object, nullable CallSite) */
+void VIRTUAL_rapid_type_analysis__RapidTypeVisitor__add_callsite(val* self, val* p0) {
+rapid_type_analysis__RapidTypeVisitor__add_callsite(self, p0);
+RET_LABEL:;
+}
/* method rapid_type_analysis#ANode#accept_rapid_type_visitor for (self: ANode, RapidTypeVisitor) */
void rapid_type_analysis__ANode__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 395);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 459);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var) /* add_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 402);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 466);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var) /* add_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 409);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 473);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var) /* add_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 416);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 480);
+show_backtrace(1);
}
var_mtype = var;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_mtype) /* add_type on <var_v:RapidTypeVisitor>*/;
var13 = NEW_array__NativeArray(var12, &type_array__NativeArraymodel__MType);
((struct instance_array__NativeArray*)var13)->values[0] = (val*) var10;
((void (*)(val*, val*, long))(var11->class->vft[COLOR_array__Array__with_native]))(var11, var13, var12) /* with_native on <var11:Array[MType]>*/;
-CHECK_NEW_array__Array(var11);
}
var14 = ((val* (*)(val*, val*))(var8->class->vft[COLOR_model__MClass__get_mtype]))(var8, var11) /* get_mtype on <var8:MClass>*/;
var_native = var14;
var15 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__cleanup_type]))(var_v, var_mtype) /* cleanup_type on <var_v:RapidTypeVisitor>*/;
if (var15 == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 420);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 484);
+show_backtrace(1);
}
var_mtype = var15;
if (varonce16) {
if (varonce6) {
var7 = varonce6;
} else {
-var8 = "to_s";
-var9 = 4;
+var8 = "to_s_with_length";
+var9 = 16;
var10 = string__NativeString__to_s_with_length(var8, var9);
var7 = var10;
varonce6 = var7;
var14 = NEW_array__NativeArray(var13, &type_array__NativeArraymodel__MClassType);
((struct instance_array__NativeArray*)var14)->values[0] = (val*) var11;
((void (*)(val*, val*, long))(var12->class->vft[COLOR_array__Array__with_native]))(var12, var14, var13) /* with_native on <var12:Array[MClassType]>*/;
-CHECK_NEW_array__Array(var12);
}
var15 = ((val* (*)(val*, val*))(var4->class->vft[COLOR_model__MClass__get_mtype]))(var4, var12) /* get_mtype on <var4:MClass>*/;
var_arraytype = var15;
var31 = NEW_array__NativeArray(var30, &type_array__NativeArraymodel__MClassType);
((struct instance_array__NativeArray*)var31)->values[0] = (val*) var28;
((void (*)(val*, val*, long))(var29->class->vft[COLOR_array__Array__with_native]))(var29, var31, var30) /* with_native on <var29:Array[MClassType]>*/;
-CHECK_NEW_array__Array(var29);
}
var32 = ((val* (*)(val*, val*))(var21->class->vft[COLOR_model__MClass__get_mtype]))(var21, var29) /* get_mtype on <var21:MClass>*/;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var32) /* add_type on <var_v:RapidTypeVisitor>*/;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 452);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 516);
+show_backtrace(1);
}
var_mtype = var;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_mtype) /* add_type on <var_v:RapidTypeVisitor>*/;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 462);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 526);
+show_backtrace(1);
}
var_mtype = var;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_mtype) /* add_type on <var_v:RapidTypeVisitor>*/;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 472);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 536);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var) /* add_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 479);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 543);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var) /* add_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AIsaExpr__cast_type]))(self) /* cast_type on <self:AIsaExpr>*/;
if (var == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 486);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 550);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_cast_type]))(var_v, var) /* add_cast_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AExpr__mtype]))(self) /* mtype on <self:AAsCastExpr>*/;
if (var == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 493);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 557);
+show_backtrace(1);
}
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_cast_type]))(var_v, var) /* add_cast_type on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
/* method rapid_type_analysis#ASendExpr#accept_rapid_type_visitor for (self: ASendExpr, RapidTypeVisitor) */
void rapid_type_analysis__ASendExpr__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
-val* var /* : nullable MMethod */;
-val* var_mproperty /* var mproperty: MMethod */;
-val* var1 /* : AExpr */;
-val* var2 /* : nullable MType */;
-val* var_recvtype /* var recvtype: MType */;
+val* var /* : nullable CallSite */;
var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__mproperty]))(self) /* mproperty on <self:ASendExpr>*/;
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 500);
-exit(1);
-}
-var_mproperty = var;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_expr]))(self) /* n_expr on <self:ASendExpr>*/;
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_typing__AExpr__mtype]))(var1) /* mtype on <var1:AExpr>*/;
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 501);
-exit(1);
-}
-var_recvtype = var2;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var_recvtype, var_mproperty) /* add_send on <var_v:RapidTypeVisitor>*/;
+var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__callsite]))(self) /* callsite on <self:ASendExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var) /* add_callsite on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#ASendExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
/* method rapid_type_analysis#ASendReassignFormExpr#accept_rapid_type_visitor for (self: ASendReassignFormExpr, RapidTypeVisitor) */
void rapid_type_analysis__ASendReassignFormExpr__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
-val* var /* : nullable MType */;
-val* var1 /* : nullable MMethodDef */;
-val* var2 /* : MProperty */;
-val* var3 /* : nullable MMethod */;
-val* var_mproperty /* var mproperty: MMethod */;
-val* var4 /* : nullable MMethod */;
-val* var_write_mproperty /* var write_mproperty: MMethod */;
-val* var5 /* : AExpr */;
-short int var6 /* : Bool */;
-int cltype;
-int idtype;
-val* var7 /* : MClassType */;
-val* var8 /* : MClassType */;
-val* var9 /* : AExpr */;
-val* var10 /* : nullable MType */;
-val* var_recvtype /* var recvtype: MType */;
+val* var /* : nullable CallSite */;
+val* var1 /* : nullable CallSite */;
+val* var2 /* : nullable CallSite */;
var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__read_type]))(self) /* read_type on <self:ASendReassignFormExpr>*/;
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 510);
-exit(1);
-}
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_property]))(self) /* reassign_property on <self:ASendReassignFormExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 510);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MPropDef__mproperty]))(var1) /* mproperty on <var1:nullable MMethodDef>*/;
-}
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var, var2) /* add_send on <var_v:RapidTypeVisitor>*/;
-var3 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__mproperty]))(self) /* mproperty on <self:ASendReassignFormExpr>*/;
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 511);
-exit(1);
-}
-var_mproperty = var3;
-var4 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendReassignFormExpr__write_mproperty]))(self) /* write_mproperty on <self:ASendReassignFormExpr>*/;
-if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 512);
-exit(1);
-}
-var_write_mproperty = var4;
-var5 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_expr]))(self) /* n_expr on <self:ASendReassignFormExpr>*/;
-/* <var5:AExpr> isa ASelfExpr */
-cltype = type_parser_nodes__ASelfExpr.color;
-idtype = type_parser_nodes__ASelfExpr.id;
-if(cltype >= var5->type->table_size) {
-var6 = 0;
-} else {
-var6 = var5->type->type_table[cltype] == idtype;
-}
-if (var6){
-var7 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var7, var_mproperty) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
-var8 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var8, var_write_mproperty) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
-} else {
-var9 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_expr]))(self) /* n_expr on <self:ASendReassignFormExpr>*/;
-var10 = ((val* (*)(val*))(var9->class->vft[COLOR_typing__AExpr__mtype]))(var9) /* mtype on <var9:AExpr>*/;
-if (var10 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 517);
-exit(1);
-}
-var_recvtype = var10;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var_recvtype, var_mproperty) /* add_send on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var_recvtype, var_write_mproperty) /* add_send on <var_v:RapidTypeVisitor>*/;
-}
+var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__callsite]))(self) /* callsite on <self:ASendReassignFormExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var) /* add_callsite on <var_v:RapidTypeVisitor>*/;
+var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_callsite]))(self) /* reassign_callsite on <self:ASendReassignFormExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var1) /* add_callsite on <var_v:RapidTypeVisitor>*/;
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendReassignFormExpr__write_callsite]))(self) /* write_callsite on <self:ASendReassignFormExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var2) /* add_callsite on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#ASendReassignFormExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
/* method rapid_type_analysis#AVarReassignExpr#accept_rapid_type_visitor for (self: AVarReassignExpr, RapidTypeVisitor) */
void rapid_type_analysis__AVarReassignExpr__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
-val* var /* : nullable MType */;
-val* var1 /* : nullable MMethodDef */;
-val* var2 /* : MProperty */;
+val* var /* : nullable CallSite */;
var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__read_type]))(self) /* read_type on <self:AVarReassignExpr>*/;
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 527);
-exit(1);
-}
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_property]))(self) /* reassign_property on <self:AVarReassignExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 527);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MPropDef__mproperty]))(var1) /* mproperty on <var1:nullable MMethodDef>*/;
-}
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var, var2) /* add_send on <var_v:RapidTypeVisitor>*/;
+var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_callsite]))(self) /* reassign_callsite on <self:AVarReassignExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var) /* add_callsite on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#AVarReassignExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
/* method rapid_type_analysis#AAttrReassignExpr#accept_rapid_type_visitor for (self: AAttrReassignExpr, RapidTypeVisitor) */
void rapid_type_analysis__AAttrReassignExpr__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
-val* var /* : nullable MType */;
-val* var1 /* : nullable MMethodDef */;
-val* var2 /* : MProperty */;
+val* var /* : nullable CallSite */;
var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__read_type]))(self) /* read_type on <self:AAttrReassignExpr>*/;
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 534);
-exit(1);
-}
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_property]))(self) /* reassign_property on <self:AAttrReassignExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 534);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MPropDef__mproperty]))(var1) /* mproperty on <var1:nullable MMethodDef>*/;
-}
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var, var2) /* add_send on <var_v:RapidTypeVisitor>*/;
+var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_callsite]))(self) /* reassign_callsite on <self:AAttrReassignExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var) /* add_callsite on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#AAttrReassignExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
/* method rapid_type_analysis#ASuperExpr#accept_rapid_type_visitor for (self: ASuperExpr, RapidTypeVisitor) */
void rapid_type_analysis__ASuperExpr__accept_rapid_type_visitor(val* self, val* p0) {
val* var_v /* var v: RapidTypeVisitor */;
-val* var /* : nullable MMethod */;
-val* var_mproperty /* var mproperty: nullable MMethod */;
+val* var /* : nullable CallSite */;
+val* var_callsite /* var callsite: nullable CallSite */;
val* var1 /* : null */;
short int var2 /* : Bool */;
-val* var3 /* : MClassType */;
-val* var4 /* : RapidTypeAnalysis */;
-val* var5 /* : MClassType */;
-val* var6 /* : MPropDef */;
-short int var7 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
+val* var3 /* : RapidTypeAnalysis */;
+val* var4 /* : MClassType */;
+val* var5 /* : nullable MMethodDef */;
var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASuperExpr__mproperty]))(self) /* mproperty on <self:ASuperExpr>*/;
-var_mproperty = var;
+var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASuperExpr__callsite]))(self) /* callsite on <self:ASuperExpr>*/;
+var_callsite = var;
var1 = NULL;
-if (var_mproperty == NULL) {
+if (var_callsite == NULL) {
var2 = 0; /* is null */
} else {
var2 = 1; /* arg is null and recv is not */
}
if (var2){
-var3 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var3, var_mproperty) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var_callsite) /* add_callsite on <var_v:RapidTypeVisitor>*/;
goto RET_LABEL;
} else {
}
-var4 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__analysis]))(var_v) /* analysis on <var_v:RapidTypeVisitor>*/;
-var5 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
-var6 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__mpropdef]))(var_v) /* mpropdef on <var_v:RapidTypeVisitor>*/;
-/* <var6:MPropDef> isa MMethodDef */
-cltype = type_model__MMethodDef.color;
-idtype = type_model__MMethodDef.id;
-if(cltype >= var6->type->table_size) {
-var7 = 0;
-} else {
-var7 = var6->type->type_table[cltype] == idtype;
-}
-if (!var7) {
-var_class_name = var6 == NULL ? "null" : var6->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MMethodDef", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 547);
-exit(1);
+var3 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__analysis]))(var_v) /* analysis on <var_v:RapidTypeVisitor>*/;
+var4 = ((val* (*)(val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__receiver]))(var_v) /* receiver on <var_v:RapidTypeVisitor>*/;
+var5 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASuperExpr__mpropdef]))(self) /* mpropdef on <self:ASuperExpr>*/;
+if (var5 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Cast failed");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 601);
+show_backtrace(1);
}
-((void (*)(val*, val*, val*))(var4->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_super_send]))(var4, var5, var6) /* add_super_send on <var4:RapidTypeAnalysis>*/;
+((void (*)(val*, val*, val*))(var3->class->vft[COLOR_rapid_type_analysis__RapidTypeAnalysis__add_super_send]))(var3, var4, var5) /* add_super_send on <var3:RapidTypeAnalysis>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#ASuperExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
var1 = ((val* (*)(val*))(var->class->vft[COLOR_typing__AExpr__mtype]))(var) /* mtype on <var:AExpr>*/;
if (var1 == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 554);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 608);
+show_backtrace(1);
}
var_recvtype = var1;
var2 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AForExpr__coltype]))(self) /* coltype on <self:AForExpr>*/;
if (var2 == NULL) {
fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 555);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 609);
+show_backtrace(1);
}
var_colltype = var2;
if (varonce) {
var8 = ((val* (*)(val*))(var_itmeth->class->vft[COLOR_model__MProperty__intro]))(var_itmeth) /* intro on <var_itmeth:MMethod>*/;
var9 = ((val* (*)(val*))(var8->class->vft[COLOR_model__MMethodDef__msignature]))(var8) /* msignature on <var8:MPropDef(MMethodDef)>*/;
if (var9 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 558);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 612);
+show_backtrace(1);
} else {
var10 = ((val* (*)(val*))(var9->class->vft[COLOR_model__MSignature__return_mtype]))(var9) /* return_mtype on <var9:nullable MSignature>*/;
}
if (!var11) {
var_class_name = var10 == NULL ? "null" : var10->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 558);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 612);
+show_backtrace(1);
}
var12 = ((val* (*)(val*))(var10->class->vft[COLOR_model__MClassType__mclass]))(var10) /* mclass on <var10:nullable MType(MClassType)>*/;
var13 = ((val* (*)(val*))(var12->class->vft[COLOR_model__MClass__intro]))(var12) /* intro on <var12:MClass>*/;
((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var_objtype, var27) /* add_send on <var_v:RapidTypeVisitor>*/;
var28 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
if (var28 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 561);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 615);
+show_backtrace(1);
} else {
var29 = ((long (*)(val*))(var28->class->vft[COLOR_abstract_collection__Collection__length]))(var28) /* length on <var28:nullable Array[Variable]>*/;
}
} else {
var40 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
if (var40 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 563);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 617);
+show_backtrace(1);
} else {
var41 = ((long (*)(val*))(var40->class->vft[COLOR_abstract_collection__Collection__length]))(var40) /* length on <var40:nullable Array[Variable]>*/;
}
((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_send]))(var_v, var_objtype, var57) /* add_send on <var_v:RapidTypeVisitor>*/;
} else {
fprintf(stderr, "Runtime error: %s", "Aborted");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 567);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 621);
+show_backtrace(1);
}
}
if (varonce58) {
int idtype;
const char* var_class_name;
val* var_mtype /* var mtype: MClassType */;
-val* var2 /* : nullable MMethod */;
-val* var_mproperty /* var mproperty: MMethod */;
+val* var2 /* : nullable CallSite */;
var_v = p0;
var = ((val* (*)(val*))(self->class->vft[COLOR_typing__AExpr__mtype]))(self) /* mtype on <self:ANewExpr>*/;
/* <var:nullable MType> isa MClassType */
if (!var1) {
var_class_name = var == NULL ? "null" : var->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 576);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 630);
+show_backtrace(1);
}
var_mtype = var;
((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_type]))(var_v, var_mtype) /* add_type on <var_v:RapidTypeVisitor>*/;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ANewExpr__mproperty]))(self) /* mproperty on <self:ANewExpr>*/;
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Cast failed");
-fprintf(stderr, " (%s:%d)\n", "src/rapid_type_analysis.nit", 578);
-exit(1);
-}
-var_mproperty = var2;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send]))(var_v, var_mtype, var_mproperty) /* add_monomorphic_send on <var_v:RapidTypeVisitor>*/;
+var2 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ANewExpr__callsite]))(self) /* callsite on <self:ANewExpr>*/;
+((void (*)(val*, val*))(var_v->class->vft[COLOR_rapid_type_analysis__RapidTypeVisitor__add_callsite]))(var_v, var2) /* add_callsite on <var_v:RapidTypeVisitor>*/;
RET_LABEL:;
}
/* method rapid_type_analysis#ANewExpr#accept_rapid_type_visitor for (self: Object, RapidTypeVisitor) */
nitlanguage / nit.git / blobdiff