X-Git-Url: http://nitlanguage.org diff --git a/c_src/auto_super_init.sep.1.c b/c_src/auto_super_init.sep.1.c index ca5af5d..539615d 100644 --- a/c_src/auto_super_init.sep.1.c +++ b/c_src/auto_super_init.sep.1.c @@ -3,10 +3,11 @@ val* auto_super_init__ToolContext__auto_super_init_phase(val* self) { val* var /* : Phase */; val* var1 /* : Phase */; -var1 = self->attrs[COLOR_auto_super_init__ToolContext___64dauto_super_init_phase].val; /* @auto_super_init_phase on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @auto_super_init_phase", "src/auto_super_init.nit", 26); -exit(1); +var1 = self->attrs[COLOR_auto_super_init__ToolContext___auto_super_init_phase].val; /* _auto_super_init_phase on */ +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _auto_super_init_phase"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 25); +show_backtrace(1); } var = var1; RET_LABEL:; @@ -16,20 +17,20 @@ return var; val* VIRTUAL_auto_super_init__ToolContext__auto_super_init_phase(val* self) { val* var /* : Phase */; val* var1 /* : Phase */; -var1 = auto_super_init__ToolContext__auto_super_init_phase(self); -var = var1; -RET_LABEL:; -return var; +val* var3 /* : Phase */; +{ /* Inline auto_super_init#ToolContext#auto_super_init_phase (self) on */ +var3 = self->attrs[COLOR_auto_super_init__ToolContext___auto_super_init_phase].val; /* _auto_super_init_phase on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _auto_super_init_phase"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 25); +show_backtrace(1); } -/* method auto_super_init#ToolContext#auto_super_init_phase= for (self: ToolContext, Phase) */ -void auto_super_init__ToolContext__auto_super_init_phase_61d(val* self, val* p0) { -self->attrs[COLOR_auto_super_init__ToolContext___64dauto_super_init_phase].val = p0; /* @auto_super_init_phase on */ -RET_LABEL:; +var1 = var3; +RET_LABEL2:(void)0; } -/* method auto_super_init#ToolContext#auto_super_init_phase= for (self: Object, Phase) */ -void VIRTUAL_auto_super_init__ToolContext__auto_super_init_phase_61d(val* self, val* p0) { -auto_super_init__ToolContext__auto_super_init_phase_61d(self, p0); +var = var1; RET_LABEL:; +return var; } /* method auto_super_init#AutoSuperInitPhase#process_npropdef for (self: AutoSuperInitPhase, APropdef) */ void auto_super_init__AutoSuperInitPhase__process_npropdef(val* self, val* p0) { @@ -38,596 +39,2411 @@ short int var /* : Bool */; int cltype; int idtype; val* var1 /* : ToolContext */; -val* var2 /* : ModelBuilder */; +val* var3 /* : ToolContext */; +val* var4 /* : ModelBuilder */; var_npropdef = p0; -/* isa AConcreteMethPropdef */ -cltype = type_parser_nodes__AConcreteMethPropdef.color; -idtype = type_parser_nodes__AConcreteMethPropdef.id; +/* isa AMethPropdef */ +cltype = type_parser_nodes__AMethPropdef.color; +idtype = type_parser_nodes__AMethPropdef.id; if(cltype >= var_npropdef->type->table_size) { var = 0; } else { var = var_npropdef->type->type_table[cltype] == idtype; } if (var){ -var1 = ((val* (*)(val*))(self->class->vft[COLOR_phase__Phase__toolcontext]))(self) /* toolcontext on */; -var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelbuilder__ToolContext__modelbuilder]))(var1) /* modelbuilder on */; -((void (*)(val*, val*))(var_npropdef->class->vft[COLOR_auto_super_init__AConcreteMethPropdef__do_auto_super_init]))(var_npropdef, var2) /* do_auto_super_init on */; +{ +{ /* Inline phase#Phase#toolcontext (self) on */ +var3 = self->attrs[COLOR_phase__Phase___toolcontext].val; /* _toolcontext on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext"); +PRINT_ERROR(" (%s:%d)\n", "phase.nit", 162); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} +} +{ +var4 = modelbuilder__ToolContext__modelbuilder(var1); +} +{ +auto_super_init__AMethPropdef__do_auto_super_init(var_npropdef, var4); /* Direct call auto_super_init#AMethPropdef#do_auto_super_init on */ +} } else { } RET_LABEL:; } /* method auto_super_init#AutoSuperInitPhase#process_npropdef for (self: Object, APropdef) */ void VIRTUAL_auto_super_init__AutoSuperInitPhase__process_npropdef(val* self, val* p0) { -auto_super_init__AutoSuperInitPhase__process_npropdef(self, p0); -RET_LABEL:; -} -/* method auto_super_init#AutoSuperInitVisitor#init for (self: AutoSuperInitVisitor) */ -void auto_super_init__AutoSuperInitVisitor__init(val* self) { -((void (*)(val*))(self->class->vft[COLOR_parser_nodes__Visitor__init]))(self) /* init on */; -RET_LABEL:; -} -/* method auto_super_init#AutoSuperInitVisitor#init for (self: Object) */ -void VIRTUAL_auto_super_init__AutoSuperInitVisitor__init(val* self) { -auto_super_init__AutoSuperInitVisitor__init(self); +auto_super_init__AutoSuperInitPhase__process_npropdef(self, p0); /* Direct call auto_super_init#AutoSuperInitPhase#process_npropdef on */ RET_LABEL:; } /* method auto_super_init#AutoSuperInitVisitor#visit for (self: AutoSuperInitVisitor, ANode) */ void auto_super_init__AutoSuperInitVisitor__visit(val* self, val* p0) { val* var_n /* var n: ANode */; var_n = p0; +{ ((void (*)(val*, val*))(var_n->class->vft[COLOR_auto_super_init__ANode__accept_auto_super_init]))(var_n, self) /* accept_auto_super_init on */; +} +{ ((void (*)(val*, val*))(var_n->class->vft[COLOR_parser_nodes__ANode__visit_all]))(var_n, self) /* visit_all on */; +} RET_LABEL:; } /* method auto_super_init#AutoSuperInitVisitor#visit for (self: Object, ANode) */ void VIRTUAL_auto_super_init__AutoSuperInitVisitor__visit(val* self, val* p0) { -auto_super_init__AutoSuperInitVisitor__visit(self, p0); +auto_super_init__AutoSuperInitVisitor__visit(self, p0); /* Direct call auto_super_init#AutoSuperInitVisitor#visit on */ RET_LABEL:; } -/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init for (self: AutoSuperInitVisitor): Bool */ -short int auto_super_init__AutoSuperInitVisitor__has_explicit_super_init(val* self) { +/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init for (self: AutoSuperInitVisitor): nullable ANode */ +val* auto_super_init__AutoSuperInitVisitor__has_explicit_super_init(val* self) { +val* var /* : nullable ANode */; +val* var1 /* : nullable ANode */; +var1 = self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val; /* _has_explicit_super_init on */ +var = var1; +RET_LABEL:; +return var; +} +/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init for (self: Object): nullable ANode */ +val* VIRTUAL_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init(val* self) { +val* var /* : nullable ANode */; +val* var1 /* : nullable ANode */; +val* var3 /* : nullable ANode */; +{ /* Inline auto_super_init#AutoSuperInitVisitor#has_explicit_super_init (self) on */ +var3 = self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val; /* _has_explicit_super_init on */ +var1 = var3; +RET_LABEL2:(void)0; +} +var = var1; +RET_LABEL:; +return var; +} +/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= for (self: AutoSuperInitVisitor, nullable ANode) */ +void auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d(val* self, val* p0) { +self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val = p0; /* _has_explicit_super_init on */ +RET_LABEL:; +} +/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= for (self: Object, nullable ANode) */ +void VIRTUAL_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d(val* self, val* p0) { +{ /* Inline auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= (self,p0) on */ +self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val = p0; /* _has_explicit_super_init on */ +RET_LABEL1:(void)0; +} +RET_LABEL:; +} +/* method auto_super_init#AutoSuperInitVisitor#is_broken for (self: AutoSuperInitVisitor): Bool */ +short int auto_super_init__AutoSuperInitVisitor__is_broken(val* self) { short int var /* : Bool */; short int var1 /* : Bool */; -var1 = self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___64dhas_explicit_super_init].s; /* @has_explicit_super_init on */ +var1 = self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s; /* _is_broken on */ var = var1; RET_LABEL:; return var; } -/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init for (self: Object): Bool */ -short int VIRTUAL_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init(val* self) { +/* method auto_super_init#AutoSuperInitVisitor#is_broken for (self: Object): Bool */ +short int VIRTUAL_auto_super_init__AutoSuperInitVisitor__is_broken(val* self) { short int var /* : Bool */; short int var1 /* : Bool */; -var1 = auto_super_init__AutoSuperInitVisitor__has_explicit_super_init(self); +short int var3 /* : Bool */; +{ /* Inline auto_super_init#AutoSuperInitVisitor#is_broken (self) on */ +var3 = self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s; /* _is_broken on */ +var1 = var3; +RET_LABEL2:(void)0; +} var = var1; RET_LABEL:; return var; } -/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= for (self: AutoSuperInitVisitor, Bool) */ -void auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d(val* self, short int p0) { -self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___64dhas_explicit_super_init].s = p0; /* @has_explicit_super_init on */ +/* method auto_super_init#AutoSuperInitVisitor#is_broken= for (self: AutoSuperInitVisitor, Bool) */ +void auto_super_init__AutoSuperInitVisitor__is_broken_61d(val* self, short int p0) { +self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s = p0; /* _is_broken on */ RET_LABEL:; } -/* method auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= for (self: Object, Bool) */ -void VIRTUAL_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d(val* self, short int p0) { -auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d(self, p0); +/* method auto_super_init#AutoSuperInitVisitor#is_broken= for (self: Object, Bool) */ +void VIRTUAL_auto_super_init__AutoSuperInitVisitor__is_broken_61d(val* self, short int p0) { +{ /* Inline auto_super_init#AutoSuperInitVisitor#is_broken= (self,p0) on */ +self->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s = p0; /* _is_broken on */ +RET_LABEL1:(void)0; +} RET_LABEL:; } -/* method auto_super_init#AConcreteMethPropdef#auto_super_inits for (self: AConcreteMethPropdef): nullable Array[MMethod] */ -val* auto_super_init__AConcreteMethPropdef__auto_super_inits(val* self) { -val* var /* : nullable Array[MMethod] */; -val* var1 /* : nullable Array[MMethod] */; -var1 = self->attrs[COLOR_auto_super_init__AConcreteMethPropdef___64dauto_super_inits].val; /* @auto_super_inits on */ +/* method auto_super_init#AMethPropdef#auto_super_inits for (self: AMethPropdef): nullable Array[CallSite] */ +val* auto_super_init__AMethPropdef__auto_super_inits(val* self) { +val* var /* : nullable Array[CallSite] */; +val* var1 /* : nullable Array[CallSite] */; +var1 = self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val; /* _auto_super_inits on */ +var = var1; +RET_LABEL:; +return var; +} +/* method auto_super_init#AMethPropdef#auto_super_inits for (self: Object): nullable Array[CallSite] */ +val* VIRTUAL_auto_super_init__AMethPropdef__auto_super_inits(val* self) { +val* var /* : nullable Array[CallSite] */; +val* var1 /* : nullable Array[CallSite] */; +val* var3 /* : nullable Array[CallSite] */; +{ /* Inline auto_super_init#AMethPropdef#auto_super_inits (self) on */ +var3 = self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val; /* _auto_super_inits on */ +var1 = var3; +RET_LABEL2:(void)0; +} +var = var1; +RET_LABEL:; +return var; +} +/* method auto_super_init#AMethPropdef#auto_super_inits= for (self: AMethPropdef, nullable Array[CallSite]) */ +void auto_super_init__AMethPropdef__auto_super_inits_61d(val* self, val* p0) { +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val = p0; /* _auto_super_inits on */ +RET_LABEL:; +} +/* method auto_super_init#AMethPropdef#auto_super_inits= for (self: Object, nullable Array[CallSite]) */ +void VIRTUAL_auto_super_init__AMethPropdef__auto_super_inits_61d(val* self, val* p0) { +{ /* Inline auto_super_init#AMethPropdef#auto_super_inits= (self,p0) on */ +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val = p0; /* _auto_super_inits on */ +RET_LABEL1:(void)0; +} +RET_LABEL:; +} +/* method auto_super_init#AMethPropdef#auto_super_call for (self: AMethPropdef): Bool */ +short int auto_super_init__AMethPropdef__auto_super_call(val* self) { +short int var /* : Bool */; +short int var1 /* : Bool */; +var1 = self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_call].s; /* _auto_super_call on */ var = var1; RET_LABEL:; return var; } -/* method auto_super_init#AConcreteMethPropdef#auto_super_inits for (self: Object): nullable Array[MMethod] */ -val* VIRTUAL_auto_super_init__AConcreteMethPropdef__auto_super_inits(val* self) { -val* var /* : nullable Array[MMethod] */; -val* var1 /* : nullable Array[MMethod] */; -var1 = auto_super_init__AConcreteMethPropdef__auto_super_inits(self); +/* method auto_super_init#AMethPropdef#auto_super_call for (self: Object): Bool */ +short int VIRTUAL_auto_super_init__AMethPropdef__auto_super_call(val* self) { +short int var /* : Bool */; +short int var1 /* : Bool */; +short int var3 /* : Bool */; +{ /* Inline auto_super_init#AMethPropdef#auto_super_call (self) on */ +var3 = self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_call].s; /* _auto_super_call on */ +var1 = var3; +RET_LABEL2:(void)0; +} var = var1; RET_LABEL:; return var; } -/* method auto_super_init#AConcreteMethPropdef#auto_super_inits= for (self: AConcreteMethPropdef, nullable Array[MMethod]) */ -void auto_super_init__AConcreteMethPropdef__auto_super_inits_61d(val* self, val* p0) { -self->attrs[COLOR_auto_super_init__AConcreteMethPropdef___64dauto_super_inits].val = p0; /* @auto_super_inits on */ +/* method auto_super_init#AMethPropdef#auto_super_call= for (self: AMethPropdef, Bool) */ +void auto_super_init__AMethPropdef__auto_super_call_61d(val* self, short int p0) { +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_call].s = p0; /* _auto_super_call on */ RET_LABEL:; } -/* method auto_super_init#AConcreteMethPropdef#auto_super_inits= for (self: Object, nullable Array[MMethod]) */ -void VIRTUAL_auto_super_init__AConcreteMethPropdef__auto_super_inits_61d(val* self, val* p0) { -auto_super_init__AConcreteMethPropdef__auto_super_inits_61d(self, p0); +/* method auto_super_init#AMethPropdef#auto_super_call= for (self: Object, Bool) */ +void VIRTUAL_auto_super_init__AMethPropdef__auto_super_call_61d(val* self, short int p0) { +{ /* Inline auto_super_init#AMethPropdef#auto_super_call= (self,p0) on */ +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_call].s = p0; /* _auto_super_call on */ +RET_LABEL1:(void)0; +} RET_LABEL:; } -/* method auto_super_init#AConcreteMethPropdef#do_auto_super_init for (self: AConcreteMethPropdef, ModelBuilder) */ -void auto_super_init__AConcreteMethPropdef__do_auto_super_init(val* self, val* p0) { +/* method auto_super_init#AMethPropdef#do_auto_super_init for (self: AMethPropdef, ModelBuilder) */ +void auto_super_init__AMethPropdef__do_auto_super_init(val* self, val* p0) { val* var_modelbuilder /* var modelbuilder: ModelBuilder */; val* var /* : nullable ANode */; -short int var1 /* : Bool */; +val* var2 /* : nullable ANode */; +short int var3 /* : Bool */; int cltype; int idtype; -val* var2 /* : nullable MClassDef */; +const char* var_class_name; +val* var4 /* : nullable MClassDef */; +val* var6 /* : nullable MClassDef */; val* var_mclassdef /* var mclassdef: MClassDef */; -val* var3 /* : nullable MPropDef */; +val* var7 /* : nullable MPropDef */; +val* var9 /* : nullable MPropDef */; val* var_mpropdef /* var mpropdef: MMethodDef */; -val* var4 /* : MClassDef */; -val* var5 /* : MModule */; +val* var10 /* : MClassDef */; +val* var12 /* : MClassDef */; +val* var13 /* : MModule */; +val* var15 /* : MModule */; val* var_mmodule /* var mmodule: MModule */; -val* var6 /* : MProperty */; -short int var7 /* : Bool */; -short int var8 /* : Bool */; -val* var9 /* : MClassDef */; -short int var10 /* : Bool */; -short int var11 /* : Bool */; -short int var12 /* : Bool */; +val* var16 /* : MClassType */; +val* var18 /* : MClassType */; +val* var_anchor /* var anchor: MClassType */; +val* var19 /* : MClass */; +val* var21 /* : MClass */; +val* var22 /* : MClassType */; +val* var24 /* : MClassType */; +val* var_recvtype /* var recvtype: MClassType */; +static val* varonce; +val* var25 /* : String */; +char* var26 /* : NativeString */; +long var27 /* : Int */; +val* var28 /* : FlatString */; +val* var29 /* : nullable AAnnotation */; +val* var_nosuper /* var nosuper: nullable AAnnotation */; +val* var30 /* : MProperty */; +val* var32 /* : MProperty */; +short int var33 /* : Bool */; +short int var35 /* : Bool */; +short int var36 /* : Bool */; +val* var37 /* : null */; +short int var38 /* : Bool */; +short int var39 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var41 /* : Bool */; +short int var42 /* : Bool */; +short int var43 /* : Bool */; +static val* varonce44; +val* var45 /* : String */; +char* var46 /* : NativeString */; +long var47 /* : Int */; +val* var48 /* : FlatString */; +val* var49 /* : MClassDef */; +val* var51 /* : MClassDef */; +short int var52 /* : Bool */; +short int var53 /* : Bool */; +short int var54 /* : Bool */; short int var_skip /* var skip: Bool */; -val* var13 /* : nullable POSetElement[MClassDef] */; -val* var14 /* : Collection[Object] */; -val* var15 /* : Iterator[nullable Object] */; -short int var16 /* : Bool */; -val* var17 /* : nullable Object */; +val* var55 /* : nullable POSetElement[MClassDef] */; +val* var57 /* : nullable POSetElement[MClassDef] */; +val* var58 /* : Collection[Object] */; +val* var_ /* var : Collection[MClassDef] */; +val* var59 /* : Iterator[nullable Object] */; +val* var_60 /* var : Iterator[MClassDef] */; +short int var61 /* : Bool */; +val* var62 /* : nullable Object */; val* var_cd /* var cd: MClassDef */; -val* var18 /* : MClass */; -val* var19 /* : MClassKind */; -short int var20 /* : Bool */; -short int var21 /* : Bool */; -val* var22 /* : nullable AExpr */; +val* var63 /* : MClass */; +val* var65 /* : MClass */; +val* var66 /* : MClassKind */; +val* var68 /* : MClassKind */; +short int var69 /* : Bool */; +short int var71 /* : Bool */; +short int var72 /* : Bool */; +val* var74 /* : nullable AExpr */; +val* var76 /* : nullable AExpr */; val* var_nblock /* var nblock: nullable AExpr */; -val* var23 /* : null */; -short int var24 /* : Bool */; -val* var25 /* : AutoSuperInitVisitor */; +val* var77 /* : null */; +short int var78 /* : Bool */; +short int var79 /* : Bool */; +short int var81 /* : Bool */; +short int var82 /* : Bool */; +short int var83 /* : Bool */; +val* var84 /* : AutoSuperInitVisitor */; val* var_v /* var v: AutoSuperInitVisitor */; -short int var26 /* : Bool */; -val* var27 /* : Array[MMethod] */; -val* var_auto_super_inits /* var auto_super_inits: Array[MMethod] */; -val* var28 /* : Array[MClassType] */; -val* var29 /* : Iterator[nullable Object] */; -short int var30 /* : Bool */; -val* var31 /* : nullable Object */; +val* var85 /* : nullable ANode */; +val* var87 /* : nullable ANode */; +val* var_anode /* var anode: nullable ANode */; +val* var88 /* : null */; +short int var89 /* : Bool */; +short int var90 /* : Bool */; +short int var92 /* : Bool */; +short int var93 /* : Bool */; +short int var94 /* : Bool */; +val* var95 /* : null */; +short int var96 /* : Bool */; +short int var97 /* : Bool */; +short int var99 /* : Bool */; +short int var100 /* : Bool */; +short int var101 /* : Bool */; +static val* varonce102; +val* var103 /* : String */; +char* var104 /* : NativeString */; +long var105 /* : Int */; +val* var106 /* : FlatString */; +short int var107 /* : Bool */; +short int var109 /* : Bool */; +val* var110 /* : null */; +short int var111 /* : Bool */; +short int var112 /* : Bool */; +short int var114 /* : Bool */; +short int var115 /* : Bool */; +short int var116 /* : Bool */; +short int var117 /* : Bool */; +short int var118 /* : Bool */; +short int var119 /* : Bool */; +short int var121 /* : Bool */; +val* var123 /* : Array[CallSite] */; +val* var_auto_super_inits /* var auto_super_inits: Array[CallSite] */; +val* var124 /* : Array[MClassType] */; +val* var126 /* : Array[MClassType] */; +val* var_127 /* var : Array[MClassType] */; +val* var128 /* : ArrayIterator[nullable Object] */; +val* var_129 /* var : ArrayIterator[MClassType] */; +short int var130 /* : Bool */; +val* var131 /* : nullable Object */; val* var_msupertype /* var msupertype: MClassType */; -val* var32 /* : MClass */; -val* var33 /* : MClassKind */; -short int var34 /* : Bool */; -short int var35 /* : Bool */; -val* var37 /* : MClassType */; -val* var38 /* : MType */; -val* var39 /* : MProperty */; -val* var40 /* : String */; -val* var41 /* : nullable MProperty */; +val* var132 /* : MClass */; +val* var134 /* : MClass */; +val* var135 /* : MClassKind */; +val* var137 /* : MClassKind */; +short int var138 /* : Bool */; +short int var140 /* : Bool */; +short int var141 /* : Bool */; +val* var143 /* : MClassType */; +val* var145 /* : MClassType */; +val* var146 /* : MClassType */; +val* var147 /* : MProperty */; +val* var149 /* : MProperty */; +val* var150 /* : String */; +val* var152 /* : String */; +val* var153 /* : nullable MProperty */; val* var_candidate /* var candidate: nullable MProperty */; -val* var42 /* : null */; -short int var43 /* : Bool */; -static val* varonce; -val* var44 /* : String */; -char* var45 /* : NativeString */; -long var46 /* : Int */; -val* var47 /* : String */; -val* var48 /* : nullable MProperty */; -val* var49 /* : null */; -short int var50 /* : Bool */; -static val* varonce51; -val* var52 /* : String */; -char* var53 /* : NativeString */; -long var54 /* : Int */; -val* var55 /* : String */; -static val* varonce56; -val* var57 /* : String */; -char* var58 /* : NativeString */; -long var59 /* : Int */; -val* var60 /* : String */; -val* var61 /* : MProperty */; -val* var62 /* : String */; -static val* varonce63; -val* var64 /* : String */; -char* var65 /* : NativeString */; -long var66 /* : Int */; -val* var67 /* : String */; -static val* varonce68; -val* var69 /* : String */; -char* var70 /* : NativeString */; -long var71 /* : Int */; -val* var72 /* : String */; -val* var73 /* : Array[Object] */; -long var74 /* : Int */; -val* var75 /* : NativeArray[Object] */; -val* var76 /* : String */; -short int var77 /* : Bool */; -int cltype78; -int idtype79; -short int var80 /* : Bool */; -static val* varonce81; -val* var82 /* : String */; -char* var83 /* : NativeString */; -long var84 /* : Int */; -val* var85 /* : String */; -val* var86 /* : Iterator[nullable Object] */; -short int var87 /* : Bool */; -val* var88 /* : nullable Object */; -val* var_auto_super_init /* var auto_super_init: MMethod */; -val* var89 /* : MPropDef */; +val* var154 /* : null */; +short int var155 /* : Bool */; +short int var156 /* : Bool */; +val* var_other158 /* var other: nullable Object */; +short int var159 /* : Bool */; +short int var161 /* : Bool */; +static val* varonce162; +val* var163 /* : String */; +char* var164 /* : NativeString */; +long var165 /* : Int */; +val* var166 /* : FlatString */; +val* var167 /* : nullable MProperty */; +val* var168 /* : null */; +short int var169 /* : Bool */; +short int var170 /* : Bool */; +short int var172 /* : Bool */; +short int var174 /* : Bool */; +static val* varonce175; +val* var176 /* : String */; +char* var177 /* : NativeString */; +long var178 /* : Int */; +val* var179 /* : FlatString */; +static val* varonce180; +val* var181 /* : String */; +char* var182 /* : NativeString */; +long var183 /* : Int */; +val* var184 /* : FlatString */; +val* var185 /* : MProperty */; +val* var187 /* : MProperty */; +val* var188 /* : String */; +val* var190 /* : String */; +static val* varonce191; +val* var192 /* : String */; +char* var193 /* : NativeString */; +long var194 /* : Int */; +val* var195 /* : FlatString */; +static val* varonce196; +val* var197 /* : String */; +char* var198 /* : NativeString */; +long var199 /* : Int */; +val* var200 /* : FlatString */; +val* var201 /* : Array[Object] */; +long var202 /* : Int */; +val* var203 /* : NativeArray[Object] */; +val* var204 /* : String */; +short int var205 /* : Bool */; +int cltype206; +int idtype207; +short int var208 /* : Bool */; +short int var210 /* : Bool */; +val* var211 /* : Array[MPropDef] */; +val* var_candidatedefs /* var candidatedefs: Array[MMethodDef] */; +val* var212 /* : nullable Object */; +val* var_candidatedef /* var candidatedef: MMethodDef */; +val* var213 /* : nullable MSignature */; +val* var214 /* : nullable MSignature */; +val* var216 /* : nullable MSignature */; +val* var217 /* : nullable MSignature */; +val* var219 /* : nullable MSignature */; +val* var_msignature /* var msignature: nullable MSignature */; +short int var220 /* : Bool */; +val* var221 /* : MSignature */; +val* var222 /* : CallSite */; +short int var223 /* : Bool */; +short int var224 /* : Bool */; +val* var_callsite /* var callsite: CallSite */; +val* var227 /* : nullable MMethod */; +val* var229 /* : nullable MMethod */; +val* var_the_root_init_mmethod /* var the_root_init_mmethod: nullable MMethod */; +short int var230 /* : Bool */; +val* var231 /* : null */; +short int var232 /* : Bool */; +short int var233 /* : Bool */; +short int var235 /* : Bool */; +short int var236 /* : Bool */; +short int var237 /* : Bool */; +short int var_238 /* var : Bool */; +short int var239 /* : Bool */; +val* var240 /* : Array[MPropDef] */; +val* var_candidatedefs241 /* var candidatedefs: Array[MMethodDef] */; +val* var242 /* : nullable Object */; +val* var_candidatedef243 /* var candidatedef: MMethodDef */; +long var244 /* : Int */; +long var246 /* : Int */; +long var247 /* : Int */; +short int var248 /* : Bool */; +short int var250 /* : Bool */; +int cltype251; +int idtype252; +const char* var_class_name253; +short int var254 /* : Bool */; +val* var_255 /* var : Array[MMethodDef] */; +val* var256 /* : ArrayIterator[nullable Object] */; +val* var_257 /* var : ArrayIterator[MMethodDef] */; +short int var258 /* : Bool */; +val* var259 /* : nullable Object */; +val* var_spd /* var spd: MMethodDef */; +val* var260 /* : Array[MProperty] */; +val* var262 /* : Array[MProperty] */; +long var263 /* : Int */; +long var265 /* : Int */; +val* var266 /* : Array[MProperty] */; +val* var268 /* : Array[MProperty] */; +long var269 /* : Int */; +long var271 /* : Int */; +short int var272 /* : Bool */; +short int var274 /* : Bool */; +int cltype275; +int idtype276; +const char* var_class_name277; +short int var278 /* : Bool */; +val* var_281 /* var : Array[MMethodDef] */; +val* var282 /* : ArrayIterator[nullable Object] */; +val* var_283 /* var : ArrayIterator[MMethodDef] */; +short int var284 /* : Bool */; +val* var285 /* : nullable Object */; +val* var_spd286 /* var spd: MMethodDef */; +long var287 /* : Int */; +long var_i /* var i: Int */; +val* var288 /* : Array[MProperty] */; +val* var290 /* : Array[MProperty] */; +val* var_291 /* var : Array[MProperty] */; +val* var292 /* : ArrayIterator[nullable Object] */; +val* var_293 /* var : ArrayIterator[MProperty] */; +short int var294 /* : Bool */; +val* var295 /* : nullable Object */; +val* var_p /* var p: MProperty */; +val* var296 /* : Array[MProperty] */; +val* var298 /* : Array[MProperty] */; +val* var299 /* : nullable Object */; +short int var300 /* : Bool */; +short int var301 /* : Bool */; +short int var303 /* : Bool */; +short int var304 /* : Bool */; +short int var305 /* : Bool */; +static val* varonce306; +val* var307 /* : String */; +char* var308 /* : NativeString */; +long var309 /* : Int */; +val* var310 /* : FlatString */; +static val* varonce311; +val* var312 /* : String */; +char* var313 /* : NativeString */; +long var314 /* : Int */; +val* var315 /* : FlatString */; +val* var316 /* : Array[MProperty] */; +val* var318 /* : Array[MProperty] */; +static val* varonce319; +val* var320 /* : String */; +char* var321 /* : NativeString */; +long var322 /* : Int */; +val* var323 /* : FlatString */; +val* var324 /* : String */; +static val* varonce325; +val* var326 /* : String */; +char* var327 /* : NativeString */; +long var328 /* : Int */; +val* var329 /* : FlatString */; +static val* varonce330; +val* var331 /* : String */; +char* var332 /* : NativeString */; +long var333 /* : Int */; +val* var334 /* : FlatString */; +val* var335 /* : Array[MProperty] */; +val* var337 /* : Array[MProperty] */; +static val* varonce338; +val* var339 /* : String */; +char* var340 /* : NativeString */; +long var341 /* : Int */; +val* var342 /* : FlatString */; +val* var343 /* : String */; +static val* varonce344; +val* var345 /* : String */; +char* var346 /* : NativeString */; +long var347 /* : Int */; +val* var348 /* : FlatString */; +val* var349 /* : Array[Object] */; +long var350 /* : Int */; +val* var351 /* : NativeArray[Object] */; +val* var352 /* : String */; +long var353 /* : Int */; +long var354 /* : Int */; +short int var356 /* : Bool */; +int cltype357; +int idtype358; +const char* var_class_name359; +long var360 /* : Int */; +val* var365 /* : nullable MSignature */; +val* var366 /* : nullable MSignature */; +val* var368 /* : nullable MSignature */; +val* var369 /* : nullable MSignature */; +val* var371 /* : nullable MSignature */; +val* var_msignature372 /* var msignature: nullable MSignature */; +short int var373 /* : Bool */; +val* var374 /* : MSignature */; +val* var375 /* : CallSite */; +short int var376 /* : Bool */; +short int var377 /* : Bool */; +val* var_callsite378 /* var callsite: CallSite */; +short int var379 /* : Bool */; +static val* varonce380; +val* var381 /* : String */; +char* var382 /* : NativeString */; +long var383 /* : Int */; +val* var384 /* : FlatString */; +static val* varonce385; +val* var386 /* : String */; +char* var387 /* : NativeString */; +long var388 /* : Int */; +val* var389 /* : FlatString */; +val* var390 /* : Array[Object] */; +long var391 /* : Int */; +val* var392 /* : NativeArray[Object] */; +val* var393 /* : String */; +val* var_394 /* var : Array[CallSite] */; +val* var395 /* : ArrayIterator[nullable Object] */; +val* var_396 /* var : ArrayIterator[CallSite] */; +short int var397 /* : Bool */; +val* var398 /* : nullable Object */; +val* var_auto_super_init /* var auto_super_init: CallSite */; +val* var399 /* : MMethodDef */; +val* var401 /* : MMethodDef */; val* var_auto_super_init_def /* var auto_super_init_def: MMethodDef */; -val* var90 /* : nullable MSignature */; +val* var402 /* : nullable MSignature */; +val* var404 /* : nullable MSignature */; val* var_msig /* var msig: MSignature */; -val* var91 /* : nullable MSignature */; +val* var405 /* : MSignature */; +val* var407 /* : MSignature */; val* var_supermsig /* var supermsig: MSignature */; -short int var92 /* : Bool */; -val* var93 /* : nullable MSignature */; -long var94 /* : Int */; -long var95 /* : Int */; -short int var96 /* : Bool */; -short int var98 /* : Bool */; -short int var99 /* : Bool */; -short int var_ /* var : Bool */; -val* var100 /* : nullable MSignature */; -long var101 /* : Int */; -val* var102 /* : nullable MSignature */; -long var103 /* : Int */; -short int var104 /* : Bool */; -short int var106 /* : Bool */; -short int var107 /* : Bool */; -static val* varonce108; -val* var109 /* : String */; -char* var110 /* : NativeString */; -long var111 /* : Int */; -val* var112 /* : String */; -static val* varonce113; -val* var114 /* : String */; -char* var115 /* : NativeString */; -long var116 /* : Int */; -val* var117 /* : String */; -val* var118 /* : Array[Object] */; -long var119 /* : Int */; -val* var120 /* : NativeArray[Object] */; -val* var121 /* : String */; +long var408 /* : Int */; +long var409 /* : Int */; +short int var410 /* : Bool */; +short int var412 /* : Bool */; +int cltype413; +int idtype414; +const char* var_class_name415; +short int var416 /* : Bool */; +static val* varonce417; +val* var418 /* : String */; +char* var419 /* : NativeString */; +long var420 /* : Int */; +val* var421 /* : FlatString */; +static val* varonce422; +val* var423 /* : String */; +char* var424 /* : NativeString */; +long var425 /* : Int */; +val* var426 /* : FlatString */; +long var427 /* : Int */; +static val* varonce428; +val* var429 /* : String */; +char* var430 /* : NativeString */; +long var431 /* : Int */; +val* var432 /* : FlatString */; +long var433 /* : Int */; +static val* varonce434; +val* var435 /* : String */; +char* var436 /* : NativeString */; +long var437 /* : Int */; +val* var438 /* : FlatString */; +val* var439 /* : Array[Object] */; +long var440 /* : Int */; +val* var441 /* : NativeArray[Object] */; +val* var442 /* : Object */; +val* var443 /* : Object */; +val* var444 /* : String */; +long var446 /* : Int */; +long var_i447 /* var i: Int */; +val* var448 /* : Array[MParameter] */; +val* var450 /* : Array[MParameter] */; +val* var_451 /* var : Array[MParameter] */; +val* var452 /* : ArrayIterator[nullable Object] */; +val* var_453 /* var : ArrayIterator[MParameter] */; +short int var454 /* : Bool */; +val* var455 /* : nullable Object */; +val* var_sp /* var sp: MParameter */; +val* var456 /* : Array[MParameter] */; +val* var458 /* : Array[MParameter] */; +val* var459 /* : nullable Object */; +val* var_p460 /* var p: MParameter */; +val* var461 /* : MType */; +val* var463 /* : MType */; +val* var_sub /* var sub: MType */; +val* var464 /* : MType */; +val* var466 /* : MType */; +val* var_sup /* var sup: MType */; +short int var467 /* : Bool */; +short int var468 /* : Bool */; +static val* varonce469; +val* var470 /* : String */; +char* var471 /* : NativeString */; +long var472 /* : Int */; +val* var473 /* : FlatString */; +static val* varonce474; +val* var475 /* : String */; +char* var476 /* : NativeString */; +long var477 /* : Int */; +val* var478 /* : FlatString */; +static val* varonce479; +val* var480 /* : String */; +char* var481 /* : NativeString */; +long var482 /* : Int */; +val* var483 /* : FlatString */; +val* var484 /* : MType */; +val* var486 /* : MType */; +static val* varonce487; +val* var488 /* : String */; +char* var489 /* : NativeString */; +long var490 /* : Int */; +val* var491 /* : FlatString */; +val* var492 /* : String */; +val* var494 /* : String */; +static val* varonce495; +val* var496 /* : String */; +char* var497 /* : NativeString */; +long var498 /* : Int */; +val* var499 /* : FlatString */; +val* var500 /* : MType */; +val* var502 /* : MType */; +static val* varonce503; +val* var504 /* : String */; +char* var505 /* : NativeString */; +long var506 /* : Int */; +val* var507 /* : FlatString */; +val* var508 /* : Array[Object] */; +long var509 /* : Int */; +val* var510 /* : NativeArray[Object] */; +val* var511 /* : Object */; +val* var512 /* : String */; +long var514 /* : Int */; +long var515 /* : Int */; +short int var517 /* : Bool */; +int cltype518; +int idtype519; +const char* var_class_name520; +long var521 /* : Int */; var_modelbuilder = p0; -var = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ANode__parent]))(self) /* parent on */; +{ +{ /* Inline parser_nodes#ANode#parent (self) on */ +var2 = self->attrs[COLOR_parser_nodes__ANode___parent].val; /* _parent on */ +var = var2; +RET_LABEL1:(void)0; +} +} /* isa AClassdef */ cltype = type_parser_nodes__AClassdef.color; idtype = type_parser_nodes__AClassdef.id; if(var == NULL) { -var1 = 0; +var3 = 0; } else { if(cltype >= var->type->table_size) { -var1 = 0; -} else { -var1 = var->type->type_table[cltype] == idtype; -} -} -if (!var1) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/auto_super_init.nit", 56); -exit(1); -} -var2 = ((val* (*)(val*))(var->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var) /* mclassdef on */; -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/auto_super_init.nit", 56); -exit(1); -} -var_mclassdef = var2; -var3 = ((val* (*)(val*))(self->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(self) /* mpropdef on */; -if (var3 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/auto_super_init.nit", 57); -exit(1); -} -var_mpropdef = var3; -var4 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mpropdef) /* mclassdef on */; -var5 = ((val* (*)(val*))(var4->class->vft[COLOR_model__MClassDef__mmodule]))(var4) /* mmodule on */; -var_mmodule = var5; -var6 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mpropdef) /* mproperty on */; -var7 = ((short int (*)(val*))(var6->class->vft[COLOR_model__MMethod__is_init]))(var6) /* is_init on */; -var8 = !var7; -if (var8){ +var3 = 0; +} else { +var3 = var->type->type_table[cltype] == idtype; +} +} +if (unlikely(!var3)) { +var_class_name = var == NULL ? "null" : var->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "AClassdef", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 58); +show_backtrace(1); +} +{ +{ /* Inline modelize_class#AClassdef#mclassdef (var) on */ +var6 = var->attrs[COLOR_modelize_class__AClassdef___mclassdef].val; /* _mclassdef on */ +var4 = var6; +RET_LABEL5:(void)0; +} +} +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Cast failed"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 58); +show_backtrace(1); +} +var_mclassdef = var4; +{ +{ /* Inline modelize_property#APropdef#mpropdef (self) on */ +var9 = self->attrs[COLOR_modelize_property__APropdef___mpropdef].val; /* _mpropdef on */ +var7 = var9; +RET_LABEL8:(void)0; +} +} +if (unlikely(var7 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Cast failed"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 59); +show_backtrace(1); +} +var_mpropdef = var7; +{ +{ /* Inline model#MPropDef#mclassdef (var_mpropdef) on */ +var12 = var_mpropdef->attrs[COLOR_model__MPropDef___mclassdef].val; /* _mclassdef on */ +if (unlikely(var12 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1895); +show_backtrace(1); +} +var10 = var12; +RET_LABEL11:(void)0; +} +} +{ +{ /* Inline model#MClassDef#mmodule (var10) on */ +var15 = var10->attrs[COLOR_model__MClassDef___mmodule].val; /* _mmodule on */ +if (unlikely(var15 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 489); +show_backtrace(1); +} +var13 = var15; +RET_LABEL14:(void)0; +} +} +var_mmodule = var13; +{ +{ /* Inline model#MClassDef#bound_mtype (var_mclassdef) on */ +var18 = var_mclassdef->attrs[COLOR_model__MClassDef___bound_mtype].val; /* _bound_mtype on */ +if (unlikely(var18 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 495); +show_backtrace(1); +} +var16 = var18; +RET_LABEL17:(void)0; +} +} +var_anchor = var16; +{ +{ /* Inline model#MClassDef#mclass (var_mclassdef) on */ +var21 = var_mclassdef->attrs[COLOR_model__MClassDef___mclass].val; /* _mclass on */ +if (unlikely(var21 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 492); +show_backtrace(1); +} +var19 = var21; +RET_LABEL20:(void)0; +} +} +{ +{ /* Inline model#MClass#mclass_type (var19) on */ +var24 = var19->attrs[COLOR_model__MClass___mclass_type].val; /* _mclass_type on */ +if (unlikely(var24 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass_type"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 435); +show_backtrace(1); +} +var22 = var24; +RET_LABEL23:(void)0; +} +} +var_recvtype = var22; +if (varonce) { +var25 = varonce; +} else { +var26 = "nosuper"; +var27 = 7; +var28 = string__NativeString__to_s_with_length(var26, var27); +var25 = var28; +varonce = var25; +} +{ +var29 = annotation__Prod__get_single_annotation(self, var25, var_modelbuilder); +} +var_nosuper = var29; +{ +{ /* Inline model#MPropDef#mproperty (var_mpropdef) on */ +var32 = var_mpropdef->attrs[COLOR_model__MPropDef___mproperty].val; /* _mproperty on */ +if (unlikely(var32 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1898); +show_backtrace(1); +} +var30 = var32; +RET_LABEL31:(void)0; +} +} +{ +{ /* Inline model#MMethod#is_init (var30) on */ +var35 = var30->attrs[COLOR_model__MMethod___is_init].s; /* _is_init on */ +var33 = var35; +RET_LABEL34:(void)0; +} +} +var36 = !var33; +if (var36){ +var37 = NULL; +if (var_nosuper == NULL) { +var38 = 0; /* is null */ +} else { +var38 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_nosuper,var37) on */ +var_other = var37; +{ +var42 = ((short int (*)(val*, val*))(var_nosuper->class->vft[COLOR_kernel__Object___61d_61d]))(var_nosuper, var_other) /* == on */; +var41 = var42; +} +var43 = !var41; +var39 = var43; +goto RET_LABEL40; +RET_LABEL40:(void)0; +} +var38 = var39; +} +if (var38){ +if (varonce44) { +var45 = varonce44; +} else { +var46 = "Error: nosuper only in `init`"; +var47 = 29; +var48 = string__NativeString__to_s_with_length(var46, var47); +var45 = var48; +varonce44 = var45; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, var_nosuper, var45); /* Direct call modelbuilder#ModelBuilder#error on */ +} +} else { +} goto RET_LABEL; } else { } -var9 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MPropDef__mclassdef]))(var_mpropdef) /* mclassdef on */; -var10 = ((short int (*)(val*))(var9->class->vft[COLOR_model__MClassDef__is_intro]))(var9) /* is_intro on */; -var11 = !var10; -if (var11){ +{ +{ /* Inline model#MPropDef#mclassdef (var_mpropdef) on */ +var51 = var_mpropdef->attrs[COLOR_model__MPropDef___mclassdef].val; /* _mclassdef on */ +if (unlikely(var51 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1895); +show_backtrace(1); +} +var49 = var51; +RET_LABEL50:(void)0; +} +} +{ +var52 = model__MClassDef__is_intro(var49); +} +var53 = !var52; +if (var53){ goto RET_LABEL; } else { } -var12 = 1; -var_skip = var12; -var13 = ((val* (*)(val*))(var_mclassdef->class->vft[COLOR_model__MClassDef__in_hierarchy]))(var_mclassdef) /* in_hierarchy on */; -if (var13 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/auto_super_init.nit", 68); -exit(1); +var54 = 1; +var_skip = var54; +{ +{ /* Inline model#MClassDef#in_hierarchy (var_mclassdef) on */ +var57 = var_mclassdef->attrs[COLOR_model__MClassDef___in_hierarchy].val; /* _in_hierarchy on */ +var55 = var57; +RET_LABEL56:(void)0; +} +} +if (var55 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 78); +show_backtrace(1); } else { -var14 = ((val* (*)(val*))(var13->class->vft[COLOR_poset__POSetElement__direct_greaters]))(var13) /* direct_greaters on */; +var58 = poset__POSetElement__direct_greaters(var55); +} +var_ = var58; +{ +var59 = ((val* (*)(val*))(var_->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_) /* iterator on */; } -var15 = ((val* (*)(val*))(var14->class->vft[COLOR_abstract_collection__Collection__iterator]))(var14) /* iterator on */; +var_60 = var59; for(;;) { -var16 = ((short int (*)(val*))(var15->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var15) /* is_ok on */; -if(!var16) break; -var17 = ((val* (*)(val*))(var15->class->vft[COLOR_abstract_collection__Iterator__item]))(var15) /* item on */; -var_cd = var17; -var18 = ((val* (*)(val*))(var_cd->class->vft[COLOR_model__MClassDef__mclass]))(var_cd) /* mclass on */; -var19 = ((val* (*)(val*))(var18->class->vft[COLOR_model__MClass__kind]))(var18) /* kind on */; -var20 = ((short int (*)(val*))(var19->class->vft[COLOR_model__MClassKind__need_init]))(var19) /* need_init on */; -if (var20){ -var21 = 0; -var_skip = var21; +{ +var61 = ((short int (*)(val*))(var_60->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var_60) /* is_ok on */; +} +if (var61){ +{ +var62 = ((val* (*)(val*))(var_60->class->vft[COLOR_abstract_collection__Iterator__item]))(var_60) /* item on */; +} +var_cd = var62; +{ +{ /* Inline model#MClassDef#mclass (var_cd) on */ +var65 = var_cd->attrs[COLOR_model__MClassDef___mclass].val; /* _mclass on */ +if (unlikely(var65 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 492); +show_backtrace(1); +} +var63 = var65; +RET_LABEL64:(void)0; +} +} +{ +{ /* Inline model#MClass#kind (var63) on */ +var68 = var63->attrs[COLOR_model__MClass___kind].val; /* _kind on */ +if (unlikely(var68 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _kind"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 371); +show_backtrace(1); +} +var66 = var68; +RET_LABEL67:(void)0; +} +} +{ +{ /* Inline model#MClassKind#need_init (var66) on */ +var71 = var66->attrs[COLOR_model__MClassKind___need_init].s; /* _need_init on */ +var69 = var71; +RET_LABEL70:(void)0; +} +} +if (var69){ +var72 = 0; +var_skip = var72; } else { } -CONTINUE_label: (void)0; -((void (*)(val*))(var15->class->vft[COLOR_abstract_collection__Iterator__next]))(var15) /* next on */; +{ +((void (*)(val*))(var_60->class->vft[COLOR_abstract_collection__Iterator__next]))(var_60) /* next on */; +} +} else { +goto BREAK_label; +} } BREAK_label: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_60) on */ +RET_LABEL73:(void)0; +} +} if (var_skip){ goto RET_LABEL; } else { } -var22 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AConcreteMethPropdef__n_block]))(self) /* n_block on */; -var_nblock = var22; -var23 = NULL; +{ +{ /* Inline parser_nodes#AMethPropdef#n_block (self) on */ +var76 = self->attrs[COLOR_parser_nodes__AMethPropdef___n_block].val; /* _n_block on */ +var74 = var76; +RET_LABEL75:(void)0; +} +} +var_nblock = var74; +var77 = NULL; if (var_nblock == NULL) { -var24 = 0; /* is null */ -} else { -var24 = 1; /* arg is null and recv is not */ -} -if (var24){ -var25 = NEW_auto_super_init__AutoSuperInitVisitor(&type_auto_super_init__AutoSuperInitVisitor); -((void (*)(val*))(var25->class->vft[COLOR_auto_super_init__AutoSuperInitVisitor__init]))(var25) /* init on */; -CHECK_NEW_auto_super_init__AutoSuperInitVisitor(var25); -var_v = var25; -((void (*)(val*, val*))(var_v->class->vft[COLOR_parser_nodes__Visitor__enter_visit]))(var_v, var_nblock) /* enter_visit on */; -var26 = ((short int (*)(val*))(var_v->class->vft[COLOR_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init]))(var_v) /* has_explicit_super_init on */; -if (var26){ +var78 = 0; /* is null */ +} else { +var78 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_nblock,var77) on */ +var_other = var77; +{ +var82 = ((short int (*)(val*, val*))(var_nblock->class->vft[COLOR_kernel__Object___61d_61d]))(var_nblock, var_other) /* == on */; +var81 = var82; +} +var83 = !var81; +var79 = var83; +goto RET_LABEL80; +RET_LABEL80:(void)0; +} +var78 = var79; +} +if (var78){ +var84 = NEW_auto_super_init__AutoSuperInitVisitor(&type_auto_super_init__AutoSuperInitVisitor); +{ +((void (*)(val*))(var84->class->vft[COLOR_kernel__Object__init]))(var84) /* init on */; +} +var_v = var84; +{ +parser_nodes__Visitor__enter_visit(var_v, var_nblock); /* Direct call parser_nodes#Visitor#enter_visit on */ +} +{ +{ /* Inline auto_super_init#AutoSuperInitVisitor#has_explicit_super_init (var_v) on */ +var87 = var_v->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val; /* _has_explicit_super_init on */ +var85 = var87; +RET_LABEL86:(void)0; +} +} +var_anode = var85; +var88 = NULL; +if (var_anode == NULL) { +var89 = 0; /* is null */ +} else { +var89 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_anode,var88) on */ +var_other = var88; +{ +var93 = ((short int (*)(val*, val*))(var_anode->class->vft[COLOR_kernel__Object___61d_61d]))(var_anode, var_other) /* == on */; +var92 = var93; +} +var94 = !var92; +var90 = var94; +goto RET_LABEL91; +RET_LABEL91:(void)0; +} +var89 = var90; +} +if (var89){ +var95 = NULL; +if (var_nosuper == NULL) { +var96 = 0; /* is null */ +} else { +var96 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_nosuper,var95) on */ +var_other = var95; +{ +var100 = ((short int (*)(val*, val*))(var_nosuper->class->vft[COLOR_kernel__Object___61d_61d]))(var_nosuper, var_other) /* == on */; +var99 = var100; +} +var101 = !var99; +var97 = var101; +goto RET_LABEL98; +RET_LABEL98:(void)0; +} +var96 = var97; +} +if (var96){ +if (varonce102) { +var103 = varonce102; +} else { +var104 = "Error: method is annotated nosuper but a constructor call is present"; +var105 = 68; +var106 = string__NativeString__to_s_with_length(var104, var105); +var103 = var106; +varonce102 = var103; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, var_anode, var103); /* Direct call modelbuilder#ModelBuilder#error on */ +} +} else { +} +goto RET_LABEL; +} else { +} +{ +{ /* Inline auto_super_init#AutoSuperInitVisitor#is_broken (var_v) on */ +var109 = var_v->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s; /* _is_broken on */ +var107 = var109; +RET_LABEL108:(void)0; +} +} +if (var107){ goto RET_LABEL; } else { } } else { } -var27 = NEW_array__Array(&type_array__Arraymodel__MMethod); -((void (*)(val*))(var27->class->vft[COLOR_array__Array__init]))(var27) /* init on */; -CHECK_NEW_array__Array(var27); -var_auto_super_inits = var27; -var28 = ((val* (*)(val*))(var_mclassdef->class->vft[COLOR_model__MClassDef__supertypes]))(var_mclassdef) /* supertypes on */; -var29 = ((val* (*)(val*))(var28->class->vft[COLOR_abstract_collection__Collection__iterator]))(var28) /* iterator on */; +var110 = NULL; +if (var_nosuper == NULL) { +var111 = 0; /* is null */ +} else { +var111 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_nosuper,var110) on */ +var_other = var110; +{ +var115 = ((short int (*)(val*, val*))(var_nosuper->class->vft[COLOR_kernel__Object___61d_61d]))(var_nosuper, var_other) /* == on */; +var114 = var115; +} +var116 = !var114; +var112 = var116; +goto RET_LABEL113; +RET_LABEL113:(void)0; +} +var111 = var112; +} +if (var111){ +goto RET_LABEL; +} else { +} +{ +var117 = model__MPropDef__is_intro(var_mpropdef); +} +var118 = !var117; +if (var118){ +var119 = 1; +{ +{ /* Inline auto_super_init#AMethPropdef#auto_super_call= (self,var119) on */ +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_call].s = var119; /* _auto_super_call on */ +RET_LABEL120:(void)0; +} +} +var121 = 1; +{ +{ /* Inline modelize_property#MPropDef#has_supercall= (var_mpropdef,var121) on */ +var_mpropdef->attrs[COLOR_modelize_property__MPropDef___has_supercall].s = var121; /* _has_supercall on */ +RET_LABEL122:(void)0; +} +} +goto RET_LABEL; +} else { +} +var123 = NEW_array__Array(&type_array__Arraytyping__CallSite); +{ +((void (*)(val*))(var123->class->vft[COLOR_kernel__Object__init]))(var123) /* init on */; +} +var_auto_super_inits = var123; +{ +{ /* Inline model#MClassDef#supertypes (var_mclassdef) on */ +var126 = var_mclassdef->attrs[COLOR_model__MClassDef___supertypes].val; /* _supertypes on */ +if (unlikely(var126 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _supertypes"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 534); +show_backtrace(1); +} +var124 = var126; +RET_LABEL125:(void)0; +} +} +var_127 = var124; +{ +var128 = array__AbstractArrayRead__iterator(var_127); +} +var_129 = var128; for(;;) { -var30 = ((short int (*)(val*))(var29->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var29) /* is_ok on */; -if(!var30) break; -var31 = ((val* (*)(val*))(var29->class->vft[COLOR_abstract_collection__Iterator__item]))(var29) /* item on */; -var_msupertype = var31; -var32 = ((val* (*)(val*))(var_msupertype->class->vft[COLOR_model__MClassType__mclass]))(var_msupertype) /* mclass on */; -var33 = ((val* (*)(val*))(var32->class->vft[COLOR_model__MClass__kind]))(var32) /* kind on */; -var34 = ((short int (*)(val*))(var33->class->vft[COLOR_model__MClassKind__need_init]))(var33) /* need_init on */; -var35 = !var34; -if (var35){ -goto CONTINUE_label36; -} else { -} -var37 = ((val* (*)(val*))(var_mclassdef->class->vft[COLOR_model__MClassDef__bound_mtype]))(var_mclassdef) /* bound_mtype on */; -var38 = ((val* (*)(val*, val*, val*))(var_msupertype->class->vft[COLOR_model__MType__anchor_to]))(var_msupertype, var_mmodule, var37) /* anchor_to on */; -var_msupertype = var38; -var39 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mpropdef) /* mproperty on */; -var40 = ((val* (*)(val*))(var39->class->vft[COLOR_model__MProperty__name]))(var39) /* name on */; -var41 = ((val* (*)(val*, val*, val*, val*, val*))(var_modelbuilder->class->vft[COLOR_modelbuilder__ModelBuilder__try_get_mproperty_by_name2]))(var_modelbuilder, self, var_mmodule, var_msupertype, var40) /* try_get_mproperty_by_name2 on */; -var_candidate = var41; -var42 = NULL; +{ +var130 = array__ArrayIterator__is_ok(var_129); +} +if (var130){ +{ +var131 = array__ArrayIterator__item(var_129); +} +var_msupertype = var131; +{ +{ /* Inline model#MClassType#mclass (var_msupertype) on */ +var134 = var_msupertype->attrs[COLOR_model__MClassType___mclass].val; /* _mclass on */ +if (unlikely(var134 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 986); +show_backtrace(1); +} +var132 = var134; +RET_LABEL133:(void)0; +} +} +{ +{ /* Inline model#MClass#kind (var132) on */ +var137 = var132->attrs[COLOR_model__MClass___kind].val; /* _kind on */ +if (unlikely(var137 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _kind"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 371); +show_backtrace(1); +} +var135 = var137; +RET_LABEL136:(void)0; +} +} +{ +{ /* Inline model#MClassKind#need_init (var135) on */ +var140 = var135->attrs[COLOR_model__MClassKind___need_init].s; /* _need_init on */ +var138 = var140; +RET_LABEL139:(void)0; +} +} +var141 = !var138; +if (var141){ +goto BREAK_label142; +} else { +} +{ +{ /* Inline model#MClassDef#bound_mtype (var_mclassdef) on */ +var145 = var_mclassdef->attrs[COLOR_model__MClassDef___bound_mtype].val; /* _bound_mtype on */ +if (unlikely(var145 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 495); +show_backtrace(1); +} +var143 = var145; +RET_LABEL144:(void)0; +} +} +{ +var146 = model__MClassType__anchor_to(var_msupertype, var_mmodule, var143); +} +var_msupertype = var146; +{ +{ /* Inline model#MPropDef#mproperty (var_mpropdef) on */ +var149 = var_mpropdef->attrs[COLOR_model__MPropDef___mproperty].val; /* _mproperty on */ +if (unlikely(var149 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1898); +show_backtrace(1); +} +var147 = var149; +RET_LABEL148:(void)0; +} +} +{ +{ /* Inline model#MProperty#name (var147) on */ +var152 = var147->attrs[COLOR_model__MProperty___name].val; /* _name on */ +if (unlikely(var152 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1620); +show_backtrace(1); +} +var150 = var152; +RET_LABEL151:(void)0; +} +} +{ +var153 = modelbuilder__ModelBuilder__try_get_mproperty_by_name2(var_modelbuilder, self, var_mmodule, var_msupertype, var150); +} +var_candidate = var153; +var154 = NULL; if (var_candidate == NULL) { -var43 = 1; /* is null */ +var155 = 1; /* is null */ } else { -var43 = 0; /* arg is null but recv is not */ +var155 = 0; /* arg is null but recv is not */ } -if (var43){ -if (varonce) { -var44 = varonce; +if (0) { +{ /* Inline kernel#Object#== (var_candidate,var154) on */ +var_other158 = var154; +{ +{ /* Inline kernel#Object#is_same_instance (var_candidate,var_other158) on */ +var161 = var_candidate == var_other158; +var159 = var161; +goto RET_LABEL160; +RET_LABEL160:(void)0; +} +} +var156 = var159; +goto RET_LABEL157; +RET_LABEL157:(void)0; +} +var155 = var156; +} +if (var155){ +if (varonce162) { +var163 = varonce162; } else { -var45 = "init"; -var46 = 4; -var47 = string__NativeString__to_s_with_length(var45, var46); -var44 = var47; -varonce = var44; +var164 = "init"; +var165 = 4; +var166 = string__NativeString__to_s_with_length(var164, var165); +var163 = var166; +varonce162 = var163; } -var48 = ((val* (*)(val*, val*, val*, val*, val*))(var_modelbuilder->class->vft[COLOR_modelbuilder__ModelBuilder__try_get_mproperty_by_name2]))(var_modelbuilder, self, var_mmodule, var_msupertype, var44) /* try_get_mproperty_by_name2 on */; -var_candidate = var48; +{ +var167 = modelbuilder__ModelBuilder__try_get_mproperty_by_name2(var_modelbuilder, self, var_mmodule, var_msupertype, var163); +} +var_candidate = var167; } else { } -var49 = NULL; +var168 = NULL; if (var_candidate == NULL) { -var50 = 1; /* is null */ -} else { -var50 = 0; /* arg is null but recv is not */ -} -if (var50){ -if (varonce51) { -var52 = varonce51; -} else { -var53 = "Cannot do an implicit constructor call for "; -var54 = 43; -var55 = string__NativeString__to_s_with_length(var53, var54); -var52 = var55; -varonce51 = var52; -} -if (varonce56) { -var57 = varonce56; -} else { -var58 = ": there is no costructor named "; -var59 = 31; -var60 = string__NativeString__to_s_with_length(var58, var59); -var57 = var60; -varonce56 = var57; -} -var61 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MPropDef__mproperty]))(var_mpropdef) /* mproperty on */; -var62 = ((val* (*)(val*))(var61->class->vft[COLOR_model__MProperty__name]))(var61) /* name on */; -if (varonce63) { -var64 = varonce63; -} else { -var65 = " in "; -var66 = 4; -var67 = string__NativeString__to_s_with_length(var65, var66); -var64 = var67; -varonce63 = var64; -} -if (varonce68) { -var69 = varonce68; -} else { -var70 = "."; -var71 = 1; -var72 = string__NativeString__to_s_with_length(var70, var71); -var69 = var72; -varonce68 = var69; -} -var73 = NEW_array__Array(&type_array__Arraykernel__Object); -{ /* var73 = array_instance Array[Object] */ -var74 = 7; -var75 = NEW_array__NativeArray(var74, &type_array__NativeArraykernel__Object); -((struct instance_array__NativeArray*)var75)->values[0] = (val*) var52; -((struct instance_array__NativeArray*)var75)->values[1] = (val*) var_mpropdef; -((struct instance_array__NativeArray*)var75)->values[2] = (val*) var57; -((struct instance_array__NativeArray*)var75)->values[3] = (val*) var62; -((struct instance_array__NativeArray*)var75)->values[4] = (val*) var64; -((struct instance_array__NativeArray*)var75)->values[5] = (val*) var_msupertype; -((struct instance_array__NativeArray*)var75)->values[6] = (val*) var69; -((void (*)(val*, val*, long))(var73->class->vft[COLOR_array__Array__with_native]))(var73, var75, var74) /* with_native on */; -CHECK_NEW_array__Array(var73); -} -var76 = ((val* (*)(val*))(var73->class->vft[COLOR_string__Object__to_s]))(var73) /* to_s on */; -((void (*)(val*, val*, val*))(var_modelbuilder->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var_modelbuilder, self, var76) /* error on */; +var169 = 1; /* is null */ +} else { +var169 = 0; /* arg is null but recv is not */ +} +if (0) { +{ /* Inline kernel#Object#== (var_candidate,var168) on */ +var_other158 = var168; +{ +{ /* Inline kernel#Object#is_same_instance (var_candidate,var_other158) on */ +var174 = var_candidate == var_other158; +var172 = var174; +goto RET_LABEL173; +RET_LABEL173:(void)0; +} +} +var170 = var172; +goto RET_LABEL171; +RET_LABEL171:(void)0; +} +var169 = var170; +} +if (var169){ +if (varonce175) { +var176 = varonce175; +} else { +var177 = "Error: Cannot do an implicit constructor call in "; +var178 = 49; +var179 = string__NativeString__to_s_with_length(var177, var178); +var176 = var179; +varonce175 = var176; +} +if (varonce180) { +var181 = varonce180; +} else { +var182 = "; there is no constructor named "; +var183 = 32; +var184 = string__NativeString__to_s_with_length(var182, var183); +var181 = var184; +varonce180 = var181; +} +{ +{ /* Inline model#MPropDef#mproperty (var_mpropdef) on */ +var187 = var_mpropdef->attrs[COLOR_model__MPropDef___mproperty].val; /* _mproperty on */ +if (unlikely(var187 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1898); +show_backtrace(1); +} +var185 = var187; +RET_LABEL186:(void)0; +} +} +{ +{ /* Inline model#MProperty#name (var185) on */ +var190 = var185->attrs[COLOR_model__MProperty___name].val; /* _name on */ +if (unlikely(var190 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1620); +show_backtrace(1); +} +var188 = var190; +RET_LABEL189:(void)0; +} +} +if (varonce191) { +var192 = varonce191; +} else { +var193 = " in "; +var194 = 4; +var195 = string__NativeString__to_s_with_length(var193, var194); +var192 = var195; +varonce191 = var192; +} +if (varonce196) { +var197 = varonce196; +} else { +var198 = "."; +var199 = 1; +var200 = string__NativeString__to_s_with_length(var198, var199); +var197 = var200; +varonce196 = var197; +} +var201 = NEW_array__Array(&type_array__Arraykernel__Object); +{ /* var201 = array_instance Array[Object] */ +var202 = 7; +var203 = NEW_array__NativeArray(var202, &type_array__NativeArraykernel__Object); +((struct instance_array__NativeArray*)var203)->values[0] = (val*) var176; +((struct instance_array__NativeArray*)var203)->values[1] = (val*) var_mpropdef; +((struct instance_array__NativeArray*)var203)->values[2] = (val*) var181; +((struct instance_array__NativeArray*)var203)->values[3] = (val*) var188; +((struct instance_array__NativeArray*)var203)->values[4] = (val*) var192; +((struct instance_array__NativeArray*)var203)->values[5] = (val*) var_msupertype; +((struct instance_array__NativeArray*)var203)->values[6] = (val*) var197; +{ +((void (*)(val*, val*, long))(var201->class->vft[COLOR_array__Array__with_native]))(var201, var203, var202) /* with_native on */; +} +} +{ +var204 = ((val* (*)(val*))(var201->class->vft[COLOR_string__Object__to_s]))(var201) /* to_s on */; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, self, var204); /* Direct call modelbuilder#ModelBuilder#error on */ +} goto RET_LABEL; } else { } /* isa MMethod */ -cltype78 = type_model__MMethod.color; -idtype79 = type_model__MMethod.id; -if(cltype78 >= var_candidate->type->table_size) { -var77 = 0; -} else { -var77 = var_candidate->type->type_table[cltype78] == idtype79; -} -if (!var77) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/auto_super_init.nit", 98); -exit(1); -} -((void (*)(val*, val*))(var_auto_super_inits->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_auto_super_inits, var_candidate) /* add on */; -CONTINUE_label36: (void)0; -((void (*)(val*))(var29->class->vft[COLOR_abstract_collection__Iterator__next]))(var29) /* next on */; -} -BREAK_label36: (void)0; -var80 = ((short int (*)(val*))(var_auto_super_inits->class->vft[COLOR_abstract_collection__Collection__is_empty]))(var_auto_super_inits) /* is_empty on */; -if (var80){ -if (varonce81) { -var82 = varonce81; -} else { -var83 = "No constructors to call implicitely. Call one explicitely."; -var84 = 58; -var85 = string__NativeString__to_s_with_length(var83, var84); -var82 = var85; -varonce81 = var82; -} -((void (*)(val*, val*, val*))(var_modelbuilder->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var_modelbuilder, self, var82) /* error on */; +cltype206 = type_model__MMethod.color; +idtype207 = type_model__MMethod.id; +if(cltype206 >= var_candidate->type->table_size) { +var205 = 0; +} else { +var205 = var_candidate->type->type_table[cltype206] == idtype207; +} +if (unlikely(!var205)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 124); +show_backtrace(1); +} +{ +{ /* Inline model#MMethod#is_root_init (var_candidate) on */ +var210 = var_candidate->attrs[COLOR_model__MMethod___is_root_init].s; /* _is_root_init on */ +var208 = var210; +RET_LABEL209:(void)0; +} +} +if (var208){ +goto BREAK_label142; +} else { +} +{ +var211 = model__MProperty__lookup_definitions(var_candidate, var_mmodule, var_anchor); +} +var_candidatedefs = var211; +{ +var212 = abstract_collection__SequenceRead__first(var_candidatedefs); +} +var_candidatedef = var212; +{ +{ /* Inline model#MMethodDef#new_msignature (var_candidatedef) on */ +var216 = var_candidatedef->attrs[COLOR_model__MMethodDef___new_msignature].val; /* _new_msignature on */ +var214 = var216; +RET_LABEL215:(void)0; +} +} +if (var214!=NULL) { +var213 = var214; +} else { +{ +{ /* Inline model#MMethodDef#msignature (var_candidatedef) on */ +var219 = var_candidatedef->attrs[COLOR_model__MMethodDef___msignature].val; /* _msignature on */ +var217 = var219; +RET_LABEL218:(void)0; +} +} +var213 = var217; +} +var_msignature = var213; +var220 = 1; +if (var_msignature == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 134); +show_backtrace(1); +} else { +var221 = model__MSignature__resolve_for(var_msignature, var_recvtype, var_anchor, var_mmodule, var220); +} +var_msignature = var221; +var222 = NEW_typing__CallSite(&type_typing__CallSite); +var223 = 1; +var224 = 0; +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__node_61d]))(var222, self) /* node= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__recv_61d]))(var222, var_recvtype) /* recv= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__mmodule_61d]))(var222, var_mmodule) /* mmodule= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__anchor_61d]))(var222, var_anchor) /* anchor= on */; +} +{ +((void (*)(val*, short int))(var222->class->vft[COLOR_typing__CallSite__recv_is_self_61d]))(var222, var223) /* recv_is_self= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__mproperty_61d]))(var222, var_candidate) /* mproperty= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__mpropdef_61d]))(var222, var_candidatedef) /* mpropdef= on */; +} +{ +((void (*)(val*, val*))(var222->class->vft[COLOR_typing__CallSite__msignature_61d]))(var222, var_msignature) /* msignature= on */; +} +{ +((void (*)(val*, short int))(var222->class->vft[COLOR_typing__CallSite__erasure_cast_61d]))(var222, var224) /* erasure_cast= on */; +} +{ +((void (*)(val*))(var222->class->vft[COLOR_kernel__Object__init]))(var222) /* init on */; +} +var_callsite = var222; +{ +array__Array__add(var_auto_super_inits, var_callsite); /* Direct call array#Array#add on */ +} +BREAK_label142: (void)0; +{ +array__ArrayIterator__next(var_129); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label225; +} +} +BREAK_label225: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_129) on */ +RET_LABEL226:(void)0; +} +} +{ +{ /* Inline modelize_property#ModelBuilder#the_root_init_mmethod (var_modelbuilder) on */ +var229 = var_modelbuilder->attrs[COLOR_modelize_property__ModelBuilder___the_root_init_mmethod].val; /* _the_root_init_mmethod on */ +var227 = var229; +RET_LABEL228:(void)0; +} +} +var_the_root_init_mmethod = var227; +var231 = NULL; +if (var_the_root_init_mmethod == NULL) { +var232 = 0; /* is null */ +} else { +var232 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_the_root_init_mmethod,var231) on */ +var_other = var231; +{ +var236 = ((short int (*)(val*, val*))(var_the_root_init_mmethod->class->vft[COLOR_kernel__Object___61d_61d]))(var_the_root_init_mmethod, var_other) /* == on */; +var235 = var236; +} +var237 = !var235; +var233 = var237; +goto RET_LABEL234; +RET_LABEL234:(void)0; +} +var232 = var233; +} +var_238 = var232; +if (var232){ +{ +var239 = array__AbstractArrayRead__is_empty(var_auto_super_inits); +} +var230 = var239; +} else { +var230 = var_238; +} +if (var230){ +{ +var240 = model__MProperty__lookup_definitions(var_the_root_init_mmethod, var_mmodule, var_anchor); +} +var_candidatedefs241 = var240; +{ +var242 = abstract_collection__SequenceRead__first(var_candidatedefs241); +} +var_candidatedef243 = var242; +{ +{ /* Inline array#AbstractArrayRead#length (var_candidatedefs241) on */ +var246 = var_candidatedefs241->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on */ +var244 = var246; +RET_LABEL245:(void)0; +} +} +var247 = 1; +{ +{ /* Inline kernel#Int#> (var244,var247) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var250 = 1; /* easy isa OTHER*/ +if (unlikely(!var250)) { +var_class_name253 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name253); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373); +show_backtrace(1); +} +var254 = var244 > var247; +var248 = var254; +goto RET_LABEL249; +RET_LABEL249:(void)0; +} +} +if (var248){ +var_255 = var_candidatedefs241; +{ +var256 = array__AbstractArrayRead__iterator(var_255); +} +var_257 = var256; +for(;;) { +{ +var258 = array__ArrayIterator__is_ok(var_257); +} +if (var258){ +{ +var259 = array__ArrayIterator__item(var_257); +} +var_spd = var259; +{ +{ /* Inline model#MMethodDef#initializers (var_spd) on */ +var262 = var_spd->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var262 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var260 = var262; +RET_LABEL261:(void)0; +} +} +{ +{ /* Inline array#AbstractArrayRead#length (var260) on */ +var265 = var260->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on */ +var263 = var265; +RET_LABEL264:(void)0; +} +} +{ +{ /* Inline model#MMethodDef#initializers (var_candidatedef243) on */ +var268 = var_candidatedef243->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var268 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var266 = var268; +RET_LABEL267:(void)0; +} +} +{ +{ /* Inline array#AbstractArrayRead#length (var266) on */ +var271 = var266->attrs[COLOR_array__AbstractArrayRead___length].l; /* _length on */ +var269 = var271; +RET_LABEL270:(void)0; +} +} +{ +{ /* Inline kernel#Int#> (var263,var269) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var274 = 1; /* easy isa OTHER*/ +if (unlikely(!var274)) { +var_class_name277 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name277); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373); +show_backtrace(1); +} +var278 = var263 > var269; +var272 = var278; +goto RET_LABEL273; +RET_LABEL273:(void)0; +} +} +if (var272){ +var_candidatedef243 = var_spd; +} else { +} +{ +array__ArrayIterator__next(var_257); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label279; +} +} +BREAK_label279: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_257) on */ +RET_LABEL280:(void)0; +} +} +var_281 = var_candidatedefs241; +{ +var282 = array__AbstractArrayRead__iterator(var_281); +} +var_283 = var282; +for(;;) { +{ +var284 = array__ArrayIterator__is_ok(var_283); +} +if (var284){ +{ +var285 = array__ArrayIterator__item(var_283); +} +var_spd286 = var285; +var287 = 0; +var_i = var287; +{ +{ /* Inline model#MMethodDef#initializers (var_spd286) on */ +var290 = var_spd286->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var290 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var288 = var290; +RET_LABEL289:(void)0; +} +} +var_291 = var288; +{ +var292 = array__AbstractArrayRead__iterator(var_291); +} +var_293 = var292; +for(;;) { +{ +var294 = array__ArrayIterator__is_ok(var_293); +} +if (var294){ +{ +var295 = array__ArrayIterator__item(var_293); +} +var_p = var295; +{ +{ /* Inline model#MMethodDef#initializers (var_candidatedef243) on */ +var298 = var_candidatedef243->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var298 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var296 = var298; +RET_LABEL297:(void)0; +} +} +{ +var299 = array__Array___91d_93d(var296, var_i); +} +{ +{ /* Inline kernel#Object#!= (var_p,var299) on */ +var_other = var299; +{ +var304 = ((short int (*)(val*, val*))(var_p->class->vft[COLOR_kernel__Object___61d_61d]))(var_p, var_other) /* == on */; +var303 = var304; +} +var305 = !var303; +var301 = var305; +goto RET_LABEL302; +RET_LABEL302:(void)0; +} +var300 = var301; +} +if (var300){ +if (varonce306) { +var307 = varonce306; +} else { +var308 = "Error: Cannot do an implicit constructor call to comflicting for inherited inits "; +var309 = 81; +var310 = string__NativeString__to_s_with_length(var308, var309); +var307 = var310; +varonce306 = var307; +} +if (varonce311) { +var312 = varonce311; +} else { +var313 = "("; +var314 = 1; +var315 = string__NativeString__to_s_with_length(var313, var314); +var312 = var315; +varonce311 = var312; +} +{ +{ /* Inline model#MMethodDef#initializers (var_spd286) on */ +var318 = var_spd286->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var318 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var316 = var318; +RET_LABEL317:(void)0; +} +} +if (varonce319) { +var320 = varonce319; +} else { +var321 = ", "; +var322 = 2; +var323 = string__NativeString__to_s_with_length(var321, var322); +var320 = var323; +varonce319 = var320; +} +{ +var324 = string__Collection__join(var316, var320); +} +if (varonce325) { +var326 = varonce325; +} else { +var327 = ") and "; +var328 = 6; +var329 = string__NativeString__to_s_with_length(var327, var328); +var326 = var329; +varonce325 = var326; +} +if (varonce330) { +var331 = varonce330; +} else { +var332 = "("; +var333 = 1; +var334 = string__NativeString__to_s_with_length(var332, var333); +var331 = var334; +varonce330 = var331; +} +{ +{ /* Inline model#MMethodDef#initializers (var_candidatedef243) on */ +var337 = var_candidatedef243->attrs[COLOR_model__MMethodDef___initializers].val; /* _initializers on */ +if (unlikely(var337 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1967); +show_backtrace(1); +} +var335 = var337; +RET_LABEL336:(void)0; +} +} +if (varonce338) { +var339 = varonce338; +} else { +var340 = ", "; +var341 = 2; +var342 = string__NativeString__to_s_with_length(var340, var341); +var339 = var342; +varonce338 = var339; +} +{ +var343 = string__Collection__join(var335, var339); +} +if (varonce344) { +var345 = varonce344; +} else { +var346 = "). NOTE: Do not mix old-style and new-style init!"; +var347 = 49; +var348 = string__NativeString__to_s_with_length(var346, var347); +var345 = var348; +varonce344 = var345; +} +var349 = NEW_array__Array(&type_array__Arraykernel__Object); +{ /* var349 = array_instance Array[Object] */ +var350 = 9; +var351 = NEW_array__NativeArray(var350, &type_array__NativeArraykernel__Object); +((struct instance_array__NativeArray*)var351)->values[0] = (val*) var307; +((struct instance_array__NativeArray*)var351)->values[1] = (val*) var_spd286; +((struct instance_array__NativeArray*)var351)->values[2] = (val*) var312; +((struct instance_array__NativeArray*)var351)->values[3] = (val*) var324; +((struct instance_array__NativeArray*)var351)->values[4] = (val*) var326; +((struct instance_array__NativeArray*)var351)->values[5] = (val*) var_candidatedef243; +((struct instance_array__NativeArray*)var351)->values[6] = (val*) var331; +((struct instance_array__NativeArray*)var351)->values[7] = (val*) var343; +((struct instance_array__NativeArray*)var351)->values[8] = (val*) var345; +{ +((void (*)(val*, val*, long))(var349->class->vft[COLOR_array__Array__with_native]))(var349, var351, var350) /* with_native on */; +} +} +{ +var352 = ((val* (*)(val*))(var349->class->vft[COLOR_string__Object__to_s]))(var349) /* to_s on */; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, self, var352); /* Direct call modelbuilder#ModelBuilder#error on */ +} +goto RET_LABEL; +} else { +} +var353 = 1; +{ +{ /* Inline kernel#Int#+ (var_i,var353) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var356 = 1; /* easy isa OTHER*/ +if (unlikely(!var356)) { +var_class_name359 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name359); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var360 = var_i + var353; +var354 = var360; +goto RET_LABEL355; +RET_LABEL355:(void)0; +} +} +var_i = var354; +{ +array__ArrayIterator__next(var_293); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label361; +} +} +BREAK_label361: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_293) on */ +RET_LABEL362:(void)0; +} +} +{ +array__ArrayIterator__next(var_283); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label363; +} +} +BREAK_label363: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_283) on */ +RET_LABEL364:(void)0; +} +} +} else { +} +{ +{ /* Inline model#MMethodDef#new_msignature (var_candidatedef243) on */ +var368 = var_candidatedef243->attrs[COLOR_model__MMethodDef___new_msignature].val; /* _new_msignature on */ +var366 = var368; +RET_LABEL367:(void)0; +} +} +if (var366!=NULL) { +var365 = var366; +} else { +{ +{ /* Inline model#MMethodDef#msignature (var_candidatedef243) on */ +var371 = var_candidatedef243->attrs[COLOR_model__MMethodDef___msignature].val; /* _msignature on */ +var369 = var371; +RET_LABEL370:(void)0; +} +} +var365 = var369; +} +var_msignature372 = var365; +var373 = 1; +if (var_msignature372 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 168); +show_backtrace(1); +} else { +var374 = model__MSignature__resolve_for(var_msignature372, var_recvtype, var_anchor, var_mmodule, var373); +} +var_msignature372 = var374; +var375 = NEW_typing__CallSite(&type_typing__CallSite); +var376 = 1; +var377 = 0; +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__node_61d]))(var375, self) /* node= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__recv_61d]))(var375, var_recvtype) /* recv= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__mmodule_61d]))(var375, var_mmodule) /* mmodule= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__anchor_61d]))(var375, var_anchor) /* anchor= on */; +} +{ +((void (*)(val*, short int))(var375->class->vft[COLOR_typing__CallSite__recv_is_self_61d]))(var375, var376) /* recv_is_self= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__mproperty_61d]))(var375, var_the_root_init_mmethod) /* mproperty= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__mpropdef_61d]))(var375, var_candidatedef243) /* mpropdef= on */; +} +{ +((void (*)(val*, val*))(var375->class->vft[COLOR_typing__CallSite__msignature_61d]))(var375, var_msignature372) /* msignature= on */; +} +{ +((void (*)(val*, short int))(var375->class->vft[COLOR_typing__CallSite__erasure_cast_61d]))(var375, var377) /* erasure_cast= on */; +} +{ +((void (*)(val*))(var375->class->vft[COLOR_kernel__Object__init]))(var375) /* init on */; +} +var_callsite378 = var375; +{ +array__Array__add(var_auto_super_inits, var_callsite378); /* Direct call array#Array#add on */ +} +} else { +} +{ +var379 = array__AbstractArrayRead__is_empty(var_auto_super_inits); +} +if (var379){ +if (varonce380) { +var381 = varonce380; +} else { +var382 = "Error: No constructors to call implicitely in "; +var383 = 46; +var384 = string__NativeString__to_s_with_length(var382, var383); +var381 = var384; +varonce380 = var381; +} +if (varonce385) { +var386 = varonce385; +} else { +var387 = ". Call one explicitely."; +var388 = 23; +var389 = string__NativeString__to_s_with_length(var387, var388); +var386 = var389; +varonce385 = var386; +} +var390 = NEW_array__Array(&type_array__Arraykernel__Object); +{ /* var390 = array_instance Array[Object] */ +var391 = 3; +var392 = NEW_array__NativeArray(var391, &type_array__NativeArraykernel__Object); +((struct instance_array__NativeArray*)var392)->values[0] = (val*) var381; +((struct instance_array__NativeArray*)var392)->values[1] = (val*) var_mpropdef; +((struct instance_array__NativeArray*)var392)->values[2] = (val*) var386; +{ +((void (*)(val*, val*, long))(var390->class->vft[COLOR_array__Array__with_native]))(var390, var392, var391) /* with_native on */; +} +} +{ +var393 = ((val* (*)(val*))(var390->class->vft[COLOR_string__Object__to_s]))(var390) /* to_s on */; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, self, var393); /* Direct call modelbuilder#ModelBuilder#error on */ +} goto RET_LABEL; } else { } -var86 = ((val* (*)(val*))(var_auto_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_auto_super_inits) /* iterator on */; +var_394 = var_auto_super_inits; +{ +var395 = array__AbstractArrayRead__iterator(var_394); +} +var_396 = var395; for(;;) { -var87 = ((short int (*)(val*))(var86->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var86) /* is_ok on */; -if(!var87) break; -var88 = ((val* (*)(val*))(var86->class->vft[COLOR_abstract_collection__Iterator__item]))(var86) /* item on */; -var_auto_super_init = var88; -var89 = ((val* (*)(val*))(var_auto_super_init->class->vft[COLOR_model__MProperty__intro]))(var_auto_super_init) /* intro on */; -var_auto_super_init_def = var89; -var90 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mpropdef) /* msignature on */; -if (var90 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/auto_super_init.nit", 107); -exit(1); -} -var_msig = var90; -var91 = ((val* (*)(val*))(var_auto_super_init_def->class->vft[COLOR_model__MMethodDef__msignature]))(var_auto_super_init_def) /* msignature on */; -if (var91 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/auto_super_init.nit", 108); -exit(1); -} -var_supermsig = var91; -var93 = ((val* (*)(val*))(var_auto_super_init_def->class->vft[COLOR_model__MMethodDef__msignature]))(var_auto_super_init_def) /* msignature on */; -if (var93 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/auto_super_init.nit", 109); -exit(1); -} else { -var94 = ((long (*)(val*))(var93->class->vft[COLOR_model__MSignature__arity]))(var93) /* arity on */; -} -var95 = 0; -{ /* Inline kernel#Int#!= (var94,var95) */ -var98 = var94 == var95; -var99 = !var98; -var96 = var99; -goto RET_LABEL97; -RET_LABEL97:(void)0; -} -var_ = var96; -if (var96){ -var100 = ((val* (*)(val*))(var_auto_super_init_def->class->vft[COLOR_model__MMethodDef__msignature]))(var_auto_super_init_def) /* msignature on */; -if (var100 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/auto_super_init.nit", 109); -exit(1); -} else { -var101 = ((long (*)(val*))(var100->class->vft[COLOR_model__MSignature__arity]))(var100) /* arity on */; -} -var102 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mpropdef) /* msignature on */; -if (var102 == NULL) { -fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/auto_super_init.nit", 109); -exit(1); -} else { -var103 = ((long (*)(val*))(var102->class->vft[COLOR_model__MSignature__arity]))(var102) /* arity on */; -} -{ /* Inline kernel#Int#!= (var101,var103) */ -var106 = var101 == var103; -var107 = !var106; -var104 = var107; -goto RET_LABEL105; -RET_LABEL105:(void)0; -} -var92 = var104; -} else { -var92 = var_; -} -if (var92){ -if (varonce108) { -var109 = varonce108; -} else { -var110 = "Problem with signature of constructor "; -var111 = 38; -var112 = string__NativeString__to_s_with_length(var110, var111); -var109 = var112; -varonce108 = var109; -} -if (varonce113) { -var114 = varonce113; -} else { -var115 = ". Expected "; -var116 = 11; -var117 = string__NativeString__to_s_with_length(var115, var116); -var114 = var117; -varonce113 = var114; -} -var118 = NEW_array__Array(&type_array__Arraykernel__Object); -{ /* var118 = array_instance Array[Object] */ -var119 = 5; -var120 = NEW_array__NativeArray(var119, &type_array__NativeArraykernel__Object); -((struct instance_array__NativeArray*)var120)->values[0] = (val*) var109; -((struct instance_array__NativeArray*)var120)->values[1] = (val*) var_auto_super_init_def; -((struct instance_array__NativeArray*)var120)->values[2] = (val*) var_supermsig; -((struct instance_array__NativeArray*)var120)->values[3] = (val*) var114; -((struct instance_array__NativeArray*)var120)->values[4] = (val*) var_msig; -((void (*)(val*, val*, long))(var118->class->vft[COLOR_array__Array__with_native]))(var118, var120, var119) /* with_native on */; -CHECK_NEW_array__Array(var118); -} -var121 = ((val* (*)(val*))(var118->class->vft[COLOR_string__Object__to_s]))(var118) /* to_s on */; -((void (*)(val*, val*, val*))(var_modelbuilder->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var_modelbuilder, self, var121) /* error on */; -} else { -} -CONTINUE_label122: (void)0; -((void (*)(val*))(var86->class->vft[COLOR_abstract_collection__Iterator__next]))(var86) /* next on */; -} -BREAK_label122: (void)0; -((void (*)(val*, val*))(self->class->vft[COLOR_auto_super_init__AConcreteMethPropdef__auto_super_inits_61d]))(self, var_auto_super_inits) /* auto_super_inits= on */; +{ +var397 = array__ArrayIterator__is_ok(var_396); +} +if (var397){ +{ +var398 = array__ArrayIterator__item(var_396); +} +var_auto_super_init = var398; +{ +{ /* Inline typing#CallSite#mpropdef (var_auto_super_init) on */ +var401 = var_auto_super_init->attrs[COLOR_typing__CallSite___mpropdef].val; /* _mpropdef on */ +if (unlikely(var401 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdef"); +PRINT_ERROR(" (%s:%d)\n", "semantize/typing.nit", 486); +show_backtrace(1); +} +var399 = var401; +RET_LABEL400:(void)0; +} +} +var_auto_super_init_def = var399; +{ +{ /* Inline model#MMethodDef#msignature (var_mpropdef) on */ +var404 = var_mpropdef->attrs[COLOR_model__MMethodDef___msignature].val; /* _msignature on */ +var402 = var404; +RET_LABEL403:(void)0; +} +} +if (unlikely(var402 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Cast failed"); +PRINT_ERROR(" (%s:%d)\n", "semantize/auto_super_init.nit", 181); +show_backtrace(1); +} +var_msig = var402; +{ +{ /* Inline typing#CallSite#msignature (var_auto_super_init) on */ +var407 = var_auto_super_init->attrs[COLOR_typing__CallSite___msignature].val; /* _msignature on */ +if (unlikely(var407 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _msignature"); +PRINT_ERROR(" (%s:%d)\n", "semantize/typing.nit", 490); +show_backtrace(1); +} +var405 = var407; +RET_LABEL406:(void)0; +} +} +var_supermsig = var405; +{ +var408 = model__MSignature__arity(var_supermsig); +} +{ +var409 = model__MSignature__arity(var_msig); +} +{ +{ /* Inline kernel#Int#> (var408,var409) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var412 = 1; /* easy isa OTHER*/ +if (unlikely(!var412)) { +var_class_name415 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name415); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373); +show_backtrace(1); +} +var416 = var408 > var409; +var410 = var416; +goto RET_LABEL411; +RET_LABEL411:(void)0; +} +} +if (var410){ +if (varonce417) { +var418 = varonce417; +} else { +var419 = "Error: Cannot do an implicit constructor call to "; +var420 = 49; +var421 = string__NativeString__to_s_with_length(var419, var420); +var418 = var421; +varonce417 = var418; +} +if (varonce422) { +var423 = varonce422; +} else { +var424 = ". Expected at least "; +var425 = 20; +var426 = string__NativeString__to_s_with_length(var424, var425); +var423 = var426; +varonce422 = var423; +} +{ +var427 = model__MSignature__arity(var_supermsig); +} +if (varonce428) { +var429 = varonce428; +} else { +var430 = " arguments, got "; +var431 = 16; +var432 = string__NativeString__to_s_with_length(var430, var431); +var429 = var432; +varonce428 = var429; +} +{ +var433 = model__MSignature__arity(var_msig); +} +if (varonce434) { +var435 = varonce434; +} else { +var436 = "."; +var437 = 1; +var438 = string__NativeString__to_s_with_length(var436, var437); +var435 = var438; +varonce434 = var435; +} +var439 = NEW_array__Array(&type_array__Arraykernel__Object); +{ /* var439 = array_instance Array[Object] */ +var440 = 8; +var441 = NEW_array__NativeArray(var440, &type_array__NativeArraykernel__Object); +((struct instance_array__NativeArray*)var441)->values[0] = (val*) var418; +((struct instance_array__NativeArray*)var441)->values[1] = (val*) var_auto_super_init_def; +((struct instance_array__NativeArray*)var441)->values[2] = (val*) var_supermsig; +((struct instance_array__NativeArray*)var441)->values[3] = (val*) var423; +var442 = BOX_kernel__Int(var427); /* autobox from Int to Object */ +((struct instance_array__NativeArray*)var441)->values[4] = (val*) var442; +((struct instance_array__NativeArray*)var441)->values[5] = (val*) var429; +var443 = BOX_kernel__Int(var433); /* autobox from Int to Object */ +((struct instance_array__NativeArray*)var441)->values[6] = (val*) var443; +((struct instance_array__NativeArray*)var441)->values[7] = (val*) var435; +{ +((void (*)(val*, val*, long))(var439->class->vft[COLOR_array__Array__with_native]))(var439, var441, var440) /* with_native on */; +} +} +{ +var444 = ((val* (*)(val*))(var439->class->vft[COLOR_string__Object__to_s]))(var439) /* to_s on */; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, self, var444); /* Direct call modelbuilder#ModelBuilder#error on */ +} +goto BREAK_label445; +} else { +} +var446 = 0; +var_i447 = var446; +{ +{ /* Inline model#MSignature#mparameters (var_supermsig) on */ +var450 = var_supermsig->attrs[COLOR_model__MSignature___mparameters].val; /* _mparameters on */ +if (unlikely(var450 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1465); +show_backtrace(1); +} +var448 = var450; +RET_LABEL449:(void)0; +} +} +var_451 = var448; +{ +var452 = array__AbstractArrayRead__iterator(var_451); +} +var_453 = var452; +for(;;) { +{ +var454 = array__ArrayIterator__is_ok(var_453); +} +if (var454){ +{ +var455 = array__ArrayIterator__item(var_453); +} +var_sp = var455; +{ +{ /* Inline model#MSignature#mparameters (var_msig) on */ +var458 = var_msig->attrs[COLOR_model__MSignature___mparameters].val; /* _mparameters on */ +if (unlikely(var458 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1465); +show_backtrace(1); +} +var456 = var458; +RET_LABEL457:(void)0; +} +} +{ +var459 = array__Array___91d_93d(var456, var_i447); +} +var_p460 = var459; +{ +{ /* Inline model#MParameter#mtype (var_p460) on */ +var463 = var_p460->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on */ +if (unlikely(var463 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1565); +show_backtrace(1); +} +var461 = var463; +RET_LABEL462:(void)0; +} +} +var_sub = var461; +{ +{ /* Inline model#MParameter#mtype (var_sp) on */ +var466 = var_sp->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on */ +if (unlikely(var466 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1565); +show_backtrace(1); +} +var464 = var466; +RET_LABEL465:(void)0; +} +} +var_sup = var464; +{ +var467 = model__MType__is_subtype(var_sub, var_mmodule, var_anchor, var_sup); +} +var468 = !var467; +if (var468){ +if (varonce469) { +var470 = varonce469; +} else { +var471 = "Error: Cannot do an implicit constructor call to "; +var472 = 49; +var473 = string__NativeString__to_s_with_length(var471, var472); +var470 = var473; +varonce469 = var470; +} +if (varonce474) { +var475 = varonce474; +} else { +var476 = ". Expected argument #"; +var477 = 21; +var478 = string__NativeString__to_s_with_length(var476, var477); +var475 = var478; +varonce474 = var475; +} +if (varonce479) { +var480 = varonce479; +} else { +var481 = " of type "; +var482 = 9; +var483 = string__NativeString__to_s_with_length(var481, var482); +var480 = var483; +varonce479 = var480; +} +{ +{ /* Inline model#MParameter#mtype (var_sp) on */ +var486 = var_sp->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on */ +if (unlikely(var486 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1565); +show_backtrace(1); +} +var484 = var486; +RET_LABEL485:(void)0; +} +} +if (varonce487) { +var488 = varonce487; +} else { +var489 = ", got implicit argument "; +var490 = 24; +var491 = string__NativeString__to_s_with_length(var489, var490); +var488 = var491; +varonce487 = var488; +} +{ +{ /* Inline model#MParameter#name (var_p460) on */ +var494 = var_p460->attrs[COLOR_model__MParameter___name].val; /* _name on */ +if (unlikely(var494 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1562); +show_backtrace(1); +} +var492 = var494; +RET_LABEL493:(void)0; +} +} +if (varonce495) { +var496 = varonce495; +} else { +var497 = " of type "; +var498 = 9; +var499 = string__NativeString__to_s_with_length(var497, var498); +var496 = var499; +varonce495 = var496; +} +{ +{ /* Inline model#MParameter#mtype (var_p460) on */ +var502 = var_p460->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on */ +if (unlikely(var502 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype"); +PRINT_ERROR(" (%s:%d)\n", "model/model.nit", 1565); +show_backtrace(1); +} +var500 = var502; +RET_LABEL501:(void)0; +} +} +if (varonce503) { +var504 = varonce503; +} else { +var505 = "."; +var506 = 1; +var507 = string__NativeString__to_s_with_length(var505, var506); +var504 = var507; +varonce503 = var504; +} +var508 = NEW_array__Array(&type_array__Arraykernel__Object); +{ /* var508 = array_instance Array[Object] */ +var509 = 12; +var510 = NEW_array__NativeArray(var509, &type_array__NativeArraykernel__Object); +((struct instance_array__NativeArray*)var510)->values[0] = (val*) var470; +((struct instance_array__NativeArray*)var510)->values[1] = (val*) var_auto_super_init_def; +((struct instance_array__NativeArray*)var510)->values[2] = (val*) var_supermsig; +((struct instance_array__NativeArray*)var510)->values[3] = (val*) var475; +var511 = BOX_kernel__Int(var_i447); /* autobox from Int to Object */ +((struct instance_array__NativeArray*)var510)->values[4] = (val*) var511; +((struct instance_array__NativeArray*)var510)->values[5] = (val*) var480; +((struct instance_array__NativeArray*)var510)->values[6] = (val*) var484; +((struct instance_array__NativeArray*)var510)->values[7] = (val*) var488; +((struct instance_array__NativeArray*)var510)->values[8] = (val*) var492; +((struct instance_array__NativeArray*)var510)->values[9] = (val*) var496; +((struct instance_array__NativeArray*)var510)->values[10] = (val*) var500; +((struct instance_array__NativeArray*)var510)->values[11] = (val*) var504; +{ +((void (*)(val*, val*, long))(var508->class->vft[COLOR_array__Array__with_native]))(var508, var510, var509) /* with_native on */; +} +} +{ +var512 = ((val* (*)(val*))(var508->class->vft[COLOR_string__Object__to_s]))(var508) /* to_s on */; +} +{ +modelbuilder__ModelBuilder__error(var_modelbuilder, self, var512); /* Direct call modelbuilder#ModelBuilder#error on */ +} +goto BREAK_label513; +} else { +} +var514 = 1; +{ +{ /* Inline kernel#Int#+ (var_i447,var514) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var517 = 1; /* easy isa OTHER*/ +if (unlikely(!var517)) { +var_class_name520 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name520); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var521 = var_i447 + var514; +var515 = var521; +goto RET_LABEL516; +RET_LABEL516:(void)0; +} +} +var_i447 = var515; +{ +array__ArrayIterator__next(var_453); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label513; +} +} +BREAK_label513: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_453) on */ +RET_LABEL522:(void)0; +} +} +BREAK_label445: (void)0; +{ +array__ArrayIterator__next(var_396); /* Direct call array#ArrayIterator#next on */ +} +} else { +goto BREAK_label523; +} +} +BREAK_label523: (void)0; +{ +{ /* Inline abstract_collection#Iterator#finish (var_396) on */ +RET_LABEL524:(void)0; +} +} +{ +{ /* Inline auto_super_init#AMethPropdef#auto_super_inits= (self,var_auto_super_inits) on */ +self->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val = var_auto_super_inits; /* _auto_super_inits on */ +RET_LABEL525:(void)0; +} +} RET_LABEL:; } -/* method auto_super_init#AConcreteMethPropdef#do_auto_super_init for (self: Object, ModelBuilder) */ -void VIRTUAL_auto_super_init__AConcreteMethPropdef__do_auto_super_init(val* self, val* p0) { -auto_super_init__AConcreteMethPropdef__do_auto_super_init(self, p0); +/* method auto_super_init#AMethPropdef#do_auto_super_init for (self: Object, ModelBuilder) */ +void VIRTUAL_auto_super_init__AMethPropdef__do_auto_super_init(val* self, val* p0) { +auto_super_init__AMethPropdef__do_auto_super_init(self, p0); /* Direct call auto_super_init#AMethPropdef#do_auto_super_init on */ RET_LABEL:; } /* method auto_super_init#ANode#accept_auto_super_init for (self: ANode, AutoSuperInitVisitor) */ @@ -638,55 +2454,122 @@ RET_LABEL:; } /* method auto_super_init#ANode#accept_auto_super_init for (self: Object, AutoSuperInitVisitor) */ void VIRTUAL_auto_super_init__ANode__accept_auto_super_init(val* self, val* p0) { -auto_super_init__ANode__accept_auto_super_init(self, p0); +val* var_v /* var v: AutoSuperInitVisitor */; +{ /* Inline auto_super_init#ANode#accept_auto_super_init (self,p0) on */ +var_v = p0; +RET_LABEL1:(void)0; +} RET_LABEL:; } /* method auto_super_init#ASendExpr#accept_auto_super_init for (self: ASendExpr, AutoSuperInitVisitor) */ void auto_super_init__ASendExpr__accept_auto_super_init(val* self, val* p0) { val* var_v /* var v: AutoSuperInitVisitor */; -val* var /* : nullable MMethod */; -val* var_mproperty /* var mproperty: nullable MMethod */; -val* var1 /* : null */; -short int var2 /* : Bool */; -short int var3 /* : Bool */; +val* var /* : nullable CallSite */; +val* var2 /* : nullable CallSite */; +val* var_callsite /* var callsite: nullable CallSite */; +val* var3 /* : null */; short int var4 /* : Bool */; +short int var5 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var7 /* : Bool */; +short int var9 /* : Bool */; +short int var10 /* : Bool */; +val* var12 /* : MMethod */; +val* var14 /* : MMethod */; +short int var15 /* : Bool */; +short int var17 /* : Bool */; var_v = p0; -var = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__mproperty]))(self) /* mproperty on */; -var_mproperty = var; -var1 = NULL; -if (var_mproperty == NULL) { -var2 = 1; /* is null */ +{ +{ /* Inline typing#ASendExpr#callsite (self) on */ +var2 = self->attrs[COLOR_typing__ASendExpr___callsite].val; /* _callsite on */ +var = var2; +RET_LABEL1:(void)0; +} +} +var_callsite = var; +var3 = NULL; +if (var_callsite == NULL) { +var4 = 1; /* is null */ } else { -var2 = 0; /* arg is null but recv is not */ +var4 = 0; /* arg is null but recv is not */ +} +if (0) { +{ /* Inline kernel#Object#== (var_callsite,var3) on */ +var_other = var3; +{ +{ /* Inline kernel#Object#is_same_instance (var_callsite,var_other) on */ +var9 = var_callsite == var_other; +var7 = var9; +goto RET_LABEL8; +RET_LABEL8:(void)0; +} +} +var5 = var7; +goto RET_LABEL6; +RET_LABEL6:(void)0; +} +var4 = var5; +} +if (var4){ +var10 = 1; +{ +{ /* Inline auto_super_init#AutoSuperInitVisitor#is_broken= (var_v,var10) on */ +var_v->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___is_broken].s = var10; /* _is_broken on */ +RET_LABEL11:(void)0; +} } -if (var2){ goto RET_LABEL; } else { } -var3 = ((short int (*)(val*))(var_mproperty->class->vft[COLOR_model__MMethod__is_init]))(var_mproperty) /* is_init on */; -if (var3){ -var4 = 1; -((void (*)(val*, short int))(var_v->class->vft[COLOR_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d]))(var_v, var4) /* has_explicit_super_init= on */; +{ +{ /* Inline typing#CallSite#mproperty (var_callsite) on */ +var14 = var_callsite->attrs[COLOR_typing__CallSite___mproperty].val; /* _mproperty on */ +if (unlikely(var14 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty"); +PRINT_ERROR(" (%s:%d)\n", "semantize/typing.nit", 483); +show_backtrace(1); +} +var12 = var14; +RET_LABEL13:(void)0; +} +} +{ +{ /* Inline model#MMethod#is_init (var12) on */ +var17 = var12->attrs[COLOR_model__MMethod___is_init].s; /* _is_init on */ +var15 = var17; +RET_LABEL16:(void)0; +} +} +if (var15){ +{ +{ /* Inline auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= (var_v,self) on */ +var_v->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val = self; /* _has_explicit_super_init on */ +RET_LABEL18:(void)0; +} +} } else { } RET_LABEL:; } /* method auto_super_init#ASendExpr#accept_auto_super_init for (self: Object, AutoSuperInitVisitor) */ void VIRTUAL_auto_super_init__ASendExpr__accept_auto_super_init(val* self, val* p0) { -auto_super_init__ASendExpr__accept_auto_super_init(self, p0); +auto_super_init__ASendExpr__accept_auto_super_init(self, p0); /* Direct call auto_super_init#ASendExpr#accept_auto_super_init on */ RET_LABEL:; } /* method auto_super_init#ASuperExpr#accept_auto_super_init for (self: ASuperExpr, AutoSuperInitVisitor) */ void auto_super_init__ASuperExpr__accept_auto_super_init(val* self, val* p0) { val* var_v /* var v: AutoSuperInitVisitor */; -short int var /* : Bool */; var_v = p0; -var = 1; -((void (*)(val*, short int))(var_v->class->vft[COLOR_auto_super_init__AutoSuperInitVisitor__has_explicit_super_init_61d]))(var_v, var) /* has_explicit_super_init= on */; +{ +{ /* Inline auto_super_init#AutoSuperInitVisitor#has_explicit_super_init= (var_v,self) on */ +var_v->attrs[COLOR_auto_super_init__AutoSuperInitVisitor___has_explicit_super_init].val = self; /* _has_explicit_super_init on */ +RET_LABEL1:(void)0; +} +} RET_LABEL:; } /* method auto_super_init#ASuperExpr#accept_auto_super_init for (self: Object, AutoSuperInitVisitor) */ void VIRTUAL_auto_super_init__ASuperExpr__accept_auto_super_init(val* self, val* p0) { -auto_super_init__ASuperExpr__accept_auto_super_init(self, p0); +auto_super_init__ASuperExpr__accept_auto_super_init(self, p0); /* Direct call auto_super_init#ASuperExpr#accept_auto_super_init on */ RET_LABEL:; }