-#include "nit__local_var_init.sep.0.h"
+#include "nitc__local_var_init.sep.0.h"
/* method local_var_init#ToolContext#local_var_init_phase for (self: ToolContext): Phase */
-val* nit__local_var_init___ToolContext___local_var_init_phase(val* self) {
+val* nitc__local_var_init___ToolContext___local_var_init_phase(val* self) {
val* var /* : Phase */;
val* var1 /* : Phase */;
-var1 = self->attrs[COLOR_nit__local_var_init__ToolContext___local_var_init_phase].val; /* _local_var_init_phase on <self:ToolContext> */
+var1 = self->attrs[COLOR_nitc__local_var_init__ToolContext___local_var_init_phase].val; /* _local_var_init_phase on <self:ToolContext> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _local_var_init_phase");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 24);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 24);
fatal_exit(1);
}
var = var1;
return var;
}
/* method local_var_init#LocalVarInitPhase#process_npropdef for (self: LocalVarInitPhase, APropdef) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitPhase___nit__phase__Phase__process_npropdef(val* self, val* p0) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitPhase___nitc__phase__Phase__process_npropdef(val* self, val* p0) {
val* var_npropdef /* var npropdef: APropdef */;
val* var /* : ToolContext */;
val* var2 /* : ToolContext */;
var_npropdef = p0;
{
{ /* Inline phase#Phase#toolcontext (self) on <self:LocalVarInitPhase> */
-var2 = self->attrs[COLOR_nit__phase__Phase___toolcontext].val; /* _toolcontext on <self:LocalVarInitPhase> */
+var2 = self->attrs[COLOR_nitc__phase__Phase___toolcontext].val; /* _toolcontext on <self:LocalVarInitPhase> */
if (unlikely(var2 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__phase, 200);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__phase, 200);
fatal_exit(1);
}
var = var2;
}
}
{
-nit__local_var_init___APropdef___do_local_var_init(var_npropdef, var); /* Direct call local_var_init#APropdef#do_local_var_init on <var_npropdef:APropdef>*/
+nitc__local_var_init___APropdef___do_local_var_init(var_npropdef, var); /* Direct call local_var_init#APropdef#do_local_var_init on <var_npropdef:APropdef>*/
}
RET_LABEL:;
}
/* method local_var_init#APropdef#do_local_var_init for (self: APropdef, ToolContext) */
-void nit__local_var_init___APropdef___do_local_var_init(val* self, val* p0) {
+void nitc__local_var_init___APropdef___do_local_var_init(val* self, val* p0) {
val* var_toolcontext /* var toolcontext: ToolContext */;
val* var /* : LocalVarInitVisitor */;
val* var_v /* var v: LocalVarInitVisitor */;
var_toolcontext = p0;
-var = NEW_nit__local_var_init__LocalVarInitVisitor(&type_nit__local_var_init__LocalVarInitVisitor);
+var = NEW_nitc__local_var_init__LocalVarInitVisitor(&type_nitc__local_var_init__LocalVarInitVisitor);
{
-((void(*)(val* self, val* p0))(var->class->vft[COLOR_nit__local_var_init__LocalVarInitVisitor__toolcontext_61d]))(var, var_toolcontext); /* toolcontext= on <var:LocalVarInitVisitor>*/
+((void(*)(val* self, val* p0))(var->class->vft[COLOR_nitc__local_var_init__LocalVarInitVisitor__toolcontext_61d]))(var, var_toolcontext); /* toolcontext= on <var:LocalVarInitVisitor>*/
}
{
-((void(*)(val* self))(var->class->vft[COLOR_standard__kernel__Object__init]))(var); /* init on <var:LocalVarInitVisitor>*/
+((void(*)(val* self))(var->class->vft[COLOR_core__kernel__Object__init]))(var); /* init on <var:LocalVarInitVisitor>*/
}
var_v = var;
{
-nit___nit__Visitor___enter_visit(var_v, self); /* Direct call parser_nodes#Visitor#enter_visit on <var_v:LocalVarInitVisitor>*/
+nitc___nitc__Visitor___enter_visit(var_v, self); /* Direct call parser_nodes#Visitor#enter_visit on <var_v:LocalVarInitVisitor>*/
}
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#toolcontext for (self: LocalVarInitVisitor): ToolContext */
-val* nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___toolcontext(val* self) {
+val* nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___toolcontext(val* self) {
val* var /* : ToolContext */;
val* var1 /* : ToolContext */;
-var1 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext].val; /* _toolcontext on <self:LocalVarInitVisitor> */
+var1 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___toolcontext].val; /* _toolcontext on <self:LocalVarInitVisitor> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 46);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 46);
fatal_exit(1);
}
var = var1;
return var;
}
/* method local_var_init#LocalVarInitVisitor#toolcontext= for (self: LocalVarInitVisitor, ToolContext) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___toolcontext_61d(val* self, val* p0) {
-self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext].val = p0; /* _toolcontext on <self:LocalVarInitVisitor> */
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___toolcontext_61d(val* self, val* p0) {
+self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___toolcontext].val = p0; /* _toolcontext on <self:LocalVarInitVisitor> */
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#maybe_unset_vars for (self: LocalVarInitVisitor): Set[Variable] */
-val* nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars(val* self) {
+val* nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars(val* self) {
val* var /* : Set[Variable] */;
val* var1 /* : Set[Variable] */;
-var1 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
+var1 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 48);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 48);
fatal_exit(1);
}
var = var1;
return var;
}
/* method local_var_init#LocalVarInitVisitor#mark_is_unset for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_unset(val* self, val* p0, val* p1) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___mark_is_unset(val* self, val* p0, val* p1) {
val* var_node /* var node: AExpr */;
val* var_variable /* var variable: nullable Variable */;
short int var /* : Bool */;
{ /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
var_other = ((val*)NULL);
{
-var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
+var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
}
var4 = !var3;
var1 = var4;
}
if (unlikely(!var)) {
PRINT_ERROR("Runtime error: %s", "Assert failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 53);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 53);
fatal_exit(1);
}
{
{ /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
-var7 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
+var7 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
if (unlikely(var7 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 48);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 48);
fatal_exit(1);
}
var5 = var7;
}
}
{
-((void(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_standard__abstract_collection__SimpleCollection__add]))(var5, var_variable); /* add on <var5:Set[Variable]>*/
+((void(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_core__abstract_collection__SimpleCollection__add]))(var5, var_variable); /* add on <var5:Set[Variable]>*/
}
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#mark_is_set for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_set(val* self, val* p0, val* p1) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___mark_is_set(val* self, val* p0, val* p1) {
val* var_node /* var node: AExpr */;
val* var_variable /* var variable: nullable Variable */;
short int var /* : Bool */;
{ /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
var_other = ((val*)NULL);
{
-var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
+var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
}
var4 = !var3;
var1 = var4;
}
if (unlikely(!var)) {
PRINT_ERROR("Runtime error: %s", "Assert failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 59);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 59);
fatal_exit(1);
}
{
{ /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
-var7 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
+var7 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
if (unlikely(var7 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 48);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 48);
fatal_exit(1);
}
var5 = var7;
}
}
{
-var8 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_standard__abstract_collection__Collection__has]))(var5, var_variable); /* has on <var5:Set[Variable]>*/
+var8 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var5, var_variable); /* has on <var5:Set[Variable]>*/
}
var9 = !var8;
if (var9){
}
{
{ /* Inline flow#AExpr#after_flow_context (var_node) on <var_node:AExpr> */
-var12 = var_node->attrs[COLOR_nit__flow__AExpr___after_flow_context].val; /* _after_flow_context on <var_node:AExpr> */
+var12 = var_node->attrs[COLOR_nitc__flow__AExpr___after_flow_context].val; /* _after_flow_context on <var_node:AExpr> */
var10 = var12;
RET_LABEL11:(void)0;
}
}
if (unlikely(var10 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Cast failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 62);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 62);
fatal_exit(1);
}
var_flow = var10;
{
{ /* Inline local_var_init#FlowContext#set_vars (var_flow) on <var_flow:FlowContext> */
-var15 = var_flow->attrs[COLOR_nit__local_var_init__FlowContext___set_vars].val; /* _set_vars on <var_flow:FlowContext> */
+var15 = var_flow->attrs[COLOR_nitc__local_var_init__FlowContext___set_vars].val; /* _set_vars on <var_flow:FlowContext> */
if (unlikely(var15 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 86);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 86);
fatal_exit(1);
}
var13 = var15;
}
}
{
-((void(*)(val* self, val* p0))((((long)var13&3)?class_info[((long)var13&3)]:var13->class)->vft[COLOR_standard__abstract_collection__SimpleCollection__add]))(var13, var_variable); /* add on <var13:Set[Variable]>*/
+((void(*)(val* self, val* p0))((((long)var13&3)?class_info[((long)var13&3)]:var13->class)->vft[COLOR_core__abstract_collection__SimpleCollection__add]))(var13, var_variable); /* add on <var13:Set[Variable]>*/
}
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#check_is_set for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(val* self, val* p0, val* p1) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___check_is_set(val* self, val* p0, val* p1) {
val* var_node /* var node: AExpr */;
val* var_variable /* var variable: nullable Variable */;
short int var /* : Bool */;
static val* varonce20;
val* var21 /* : String */;
char* var22 /* : NativeString */;
-val* var23 /* : FlatString */;
+val* var23 /* : String */;
static val* varonce24;
val* var25 /* : String */;
char* var26 /* : NativeString */;
-val* var27 /* : FlatString */;
+val* var27 /* : String */;
val* var28 /* : String */;
val* var29 /* : String */;
val* var30 /* : Message */;
{ /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
var_other = ((val*)NULL);
{
-var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
+var3 = ((short int(*)(val* self, val* p0))(var_variable->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_variable, var_other); /* == on <var_variable:nullable Variable(Variable)>*/
}
var4 = !var3;
var1 = var4;
}
if (unlikely(!var)) {
PRINT_ERROR("Runtime error: %s", "Assert failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 68);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 68);
fatal_exit(1);
}
{
{ /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
-var7 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
+var7 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
if (unlikely(var7 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 48);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 48);
fatal_exit(1);
}
var5 = var7;
}
}
{
-var8 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_standard__abstract_collection__Collection__has]))(var5, var_variable); /* has on <var5:Set[Variable]>*/
+var8 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var5, var_variable); /* has on <var5:Set[Variable]>*/
}
var9 = !var8;
if (var9){
}
{
{ /* Inline flow#AExpr#after_flow_context (var_node) on <var_node:AExpr> */
-var12 = var_node->attrs[COLOR_nit__flow__AExpr___after_flow_context].val; /* _after_flow_context on <var_node:AExpr> */
+var12 = var_node->attrs[COLOR_nitc__flow__AExpr___after_flow_context].val; /* _after_flow_context on <var_node:AExpr> */
var10 = var12;
RET_LABEL11:(void)0;
}
}
if (unlikely(var10 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Cast failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 71);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 71);
fatal_exit(1);
}
var_flow = var10;
{
-var13 = nit__local_var_init___FlowContext___is_variable_set(var_flow, var_variable);
+var13 = nitc__local_var_init___FlowContext___is_variable_set(var_flow, var_variable);
}
var14 = !var13;
if (var14){
{
{ /* Inline local_var_init#LocalVarInitVisitor#toolcontext (self) on <self:LocalVarInitVisitor> */
-var17 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext].val; /* _toolcontext on <self:LocalVarInitVisitor> */
+var17 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___toolcontext].val; /* _toolcontext on <self:LocalVarInitVisitor> */
if (unlikely(var17 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 46);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 46);
fatal_exit(1);
}
var15 = var17;
}
}
{
-var18 = nit___nit__ANode___hot_location(var_node);
+var18 = nitc___nitc__ANode___hot_location(var_node);
}
if (unlikely(varonce==NULL)) {
-var19 = NEW_standard__NativeArray(3l, &type_standard__NativeArray__standard__String);
+var19 = NEW_core__NativeArray(3l, &type_core__NativeArray__core__String);
if (likely(varonce20!=NULL)) {
var21 = varonce20;
} else {
var22 = "Error: possibly unset variable `";
-var23 = standard___standard__NativeString___to_s_with_length(var22, 32l);
+var23 = core__flat___NativeString___to_s_full(var22, 32l, 32l);
var21 = var23;
varonce20 = var21;
}
-((struct instance_standard__NativeArray*)var19)->values[0]=var21;
+((struct instance_core__NativeArray*)var19)->values[0]=var21;
if (likely(varonce24!=NULL)) {
var25 = varonce24;
} else {
var26 = "`.";
-var27 = standard___standard__NativeString___to_s_with_length(var26, 2l);
+var27 = core__flat___NativeString___to_s_full(var26, 2l, 2l);
var25 = var27;
varonce24 = var25;
}
-((struct instance_standard__NativeArray*)var19)->values[2]=var25;
+((struct instance_core__NativeArray*)var19)->values[2]=var25;
} else {
var19 = varonce;
varonce = NULL;
}
{
-var28 = ((val*(*)(val* self))(var_variable->class->vft[COLOR_standard__string__Object__to_s]))(var_variable); /* to_s on <var_variable:nullable Variable(Variable)>*/
+var28 = ((val*(*)(val* self))(var_variable->class->vft[COLOR_core__abstract_text__Object__to_s]))(var_variable); /* to_s on <var_variable:nullable Variable(Variable)>*/
}
-((struct instance_standard__NativeArray*)var19)->values[1]=var28;
+((struct instance_core__NativeArray*)var19)->values[1]=var28;
{
-var29 = ((val*(*)(val* self))(var19->class->vft[COLOR_standard__string__NativeArray__native_to_s]))(var19); /* native_to_s on <var19:NativeArray[String]>*/
+var29 = ((val*(*)(val* self))(var19->class->vft[COLOR_core__abstract_text__NativeArray__native_to_s]))(var19); /* native_to_s on <var19:NativeArray[String]>*/
}
varonce = var19;
{
-var30 = nit___nit__ToolContext___error(var15, var18, var29);
+var30 = nitc___nitc__ToolContext___error(var15, var18, var29);
}
{
{ /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
-var33 = self->attrs[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
+var33 = self->attrs[COLOR_nitc__local_var_init__LocalVarInitVisitor___maybe_unset_vars].val; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
if (unlikely(var33 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 48);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 48);
fatal_exit(1);
}
var31 = var33;
}
}
{
-((void(*)(val* self, val* p0))((((long)var31&3)?class_info[((long)var31&3)]:var31->class)->vft[COLOR_standard__abstract_collection__RemovableCollection__remove]))(var31, var_variable); /* remove on <var31:Set[Variable]>*/
+((void(*)(val* self, val* p0))((((long)var31&3)?class_info[((long)var31&3)]:var31->class)->vft[COLOR_core__abstract_collection__RemovableCollection__remove]))(var31, var_variable); /* remove on <var31:Set[Variable]>*/
}
} else {
}
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#visit for (self: LocalVarInitVisitor, ANode) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___nit__parser_nodes__Visitor__visit(val* self, val* p0) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___nitc__parser_nodes__Visitor__visit(val* self, val* p0) {
val* var_n /* var n: ANode */;
var_n = p0;
{
-((void(*)(val* self, val* p0))(var_n->class->vft[COLOR_nit__local_var_init__ANode__accept_local_var_visitor]))(var_n, self); /* accept_local_var_visitor on <var_n:ANode>*/
+((void(*)(val* self, val* p0))(var_n->class->vft[COLOR_nitc__local_var_init__ANode__accept_local_var_visitor]))(var_n, self); /* accept_local_var_visitor on <var_n:ANode>*/
}
RET_LABEL:;
}
/* method local_var_init#LocalVarInitVisitor#init for (self: LocalVarInitVisitor) */
-void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___standard__kernel__Object__init(val* self) {
+void nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___core__kernel__Object__init(val* self) {
{
-((void(*)(val* self))(self->class->vft[COLOR_nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___standard__kernel__Object__init]))(self); /* init on <self:LocalVarInitVisitor>*/
+((void(*)(val* self))(self->class->vft[COLOR_nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___core__kernel__Object__init]))(self); /* init on <self:LocalVarInitVisitor>*/
}
RET_LABEL:;
}
/* method local_var_init#FlowContext#set_vars for (self: FlowContext): Set[Variable] */
-val* nit__local_var_init___FlowContext___set_vars(val* self) {
+val* nitc__local_var_init___FlowContext___set_vars(val* self) {
val* var /* : Set[Variable] */;
val* var1 /* : Set[Variable] */;
-var1 = self->attrs[COLOR_nit__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
+var1 = self->attrs[COLOR_nitc__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
if (unlikely(var1 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 86);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 86);
fatal_exit(1);
}
var = var1;
return var;
}
/* method local_var_init#FlowContext#is_variable_set for (self: FlowContext, Variable): Bool */
-short int nit__local_var_init___FlowContext___is_variable_set(val* self, val* p0) {
+short int nitc__local_var_init___FlowContext___is_variable_set(val* self, val* p0) {
short int var /* : Bool */;
val* var_variable /* var variable: Variable */;
val* var1 /* : Set[Variable] */;
val* var22 /* : Array[FlowContext] */;
val* var24 /* : Array[FlowContext] */;
val* var_ /* var : Array[FlowContext] */;
-val* var25 /* : ArrayIterator[nullable Object] */;
-val* var_26 /* var : ArrayIterator[FlowContext] */;
+val* var25 /* : IndexedIterator[nullable Object] */;
+val* var_26 /* var : IndexedIterator[FlowContext] */;
short int var27 /* : Bool */;
val* var28 /* : nullable Object */;
val* var_p /* var p: FlowContext */;
var_variable = p0;
{
{ /* Inline local_var_init#FlowContext#set_vars (self) on <self:FlowContext> */
-var3 = self->attrs[COLOR_nit__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
+var3 = self->attrs[COLOR_nitc__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
if (unlikely(var3 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 86);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 86);
fatal_exit(1);
}
var1 = var3;
}
}
{
-var4 = ((short int(*)(val* self, val* p0))((((long)var1&3)?class_info[((long)var1&3)]:var1->class)->vft[COLOR_standard__abstract_collection__Collection__has]))(var1, var_variable); /* has on <var1:Set[Variable]>*/
+var4 = ((short int(*)(val* self, val* p0))((((long)var1&3)?class_info[((long)var1&3)]:var1->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var1, var_variable); /* has on <var1:Set[Variable]>*/
}
if (var4){
var = 1;
}
{
{ /* Inline flow#FlowContext#previous (self) on <self:FlowContext> */
-var7 = self->attrs[COLOR_nit__flow__FlowContext___previous].val; /* _previous on <self:FlowContext> */
+var7 = self->attrs[COLOR_nitc__flow__FlowContext___previous].val; /* _previous on <self:FlowContext> */
if (unlikely(var7 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _previous");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__flow, 189);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__flow, 189);
fatal_exit(1);
}
var5 = var7;
var_previous = var5;
{
{ /* Inline array#AbstractArrayRead#length (var_previous) on <var_previous:Array[FlowContext]> */
-var10 = var_previous->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_previous:Array[FlowContext]> */
+var10 = var_previous->attrs[COLOR_core__array__AbstractArrayRead___length].l; /* _length on <var_previous:Array[FlowContext]> */
var8 = var10;
RET_LABEL9:(void)0;
}
}
{
{ /* Inline array#AbstractArrayRead#length (var_previous) on <var_previous:Array[FlowContext]> */
-var16 = var_previous->attrs[COLOR_standard__array__AbstractArrayRead___length].l; /* _length on <var_previous:Array[FlowContext]> */
+var16 = var_previous->attrs[COLOR_core__array__AbstractArrayRead___length].l; /* _length on <var_previous:Array[FlowContext]> */
var14 = var16;
RET_LABEL15:(void)0;
}
}
if (var17){
{
-var20 = standard___standard__SequenceRead___Collection__first(var_previous);
+var20 = core___core__SequenceRead___Collection__first(var_previous);
}
{
-var21 = nit__local_var_init___FlowContext___is_variable_set(var20, var_variable);
+var21 = nitc__local_var_init___FlowContext___is_variable_set(var20, var_variable);
}
var = var21;
goto RET_LABEL;
}
{
{ /* Inline flow#FlowContext#previous (self) on <self:FlowContext> */
-var24 = self->attrs[COLOR_nit__flow__FlowContext___previous].val; /* _previous on <self:FlowContext> */
+var24 = self->attrs[COLOR_nitc__flow__FlowContext___previous].val; /* _previous on <self:FlowContext> */
if (unlikely(var24 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _previous");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__flow, 189);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__flow, 189);
fatal_exit(1);
}
var22 = var24;
}
var_ = var22;
{
-var25 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_);
+var25 = core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(var_);
}
var_26 = var25;
for(;;) {
{
-var27 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_26);
+var27 = ((short int(*)(val* self))((((long)var_26&3)?class_info[((long)var_26&3)]:var_26->class)->vft[COLOR_core__abstract_collection__Iterator__is_ok]))(var_26); /* is_ok on <var_26:IndexedIterator[FlowContext]>*/
}
if (var27){
+} else {
+goto BREAK_label;
+}
{
-var28 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_26);
+var28 = ((val*(*)(val* self))((((long)var_26&3)?class_info[((long)var_26&3)]:var_26->class)->vft[COLOR_core__abstract_collection__Iterator__item]))(var_26); /* item on <var_26:IndexedIterator[FlowContext]>*/
}
var_p = var28;
{
-var29 = nit__local_var_init___FlowContext___is_variable_set(var_p, var_variable);
+var29 = nitc__local_var_init___FlowContext___is_variable_set(var_p, var_variable);
}
var30 = !var29;
if (var30){
} else {
}
{
-standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_26); /* Direct call array#ArrayIterator#next on <var_26:ArrayIterator[FlowContext]>*/
-}
-} else {
-goto BREAK_label;
+((void(*)(val* self))((((long)var_26&3)?class_info[((long)var_26&3)]:var_26->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_26); /* next on <var_26:IndexedIterator[FlowContext]>*/
}
}
BREAK_label: (void)0;
{
-standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__finish(var_26); /* Direct call array#ArrayIterator#finish on <var_26:ArrayIterator[FlowContext]>*/
+((void(*)(val* self))((((long)var_26&3)?class_info[((long)var_26&3)]:var_26->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_26); /* finish on <var_26:IndexedIterator[FlowContext]>*/
}
{
{ /* Inline local_var_init#FlowContext#set_vars (self) on <self:FlowContext> */
-var33 = self->attrs[COLOR_nit__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
+var33 = self->attrs[COLOR_nitc__local_var_init__FlowContext___set_vars].val; /* _set_vars on <self:FlowContext> */
if (unlikely(var33 == NULL)) {
PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init, 86);
+PRINT_ERROR(" (%s:%d)\n", FILE_nitc__local_var_init, 86);
fatal_exit(1);
}
var31 = var33;
}
}
{
-((void(*)(val* self, val* p0))((((long)var31&3)?class_info[((long)var31&3)]:var31->class)->vft[COLOR_standard__abstract_collection__SimpleCollection__add]))(var31, var_variable); /* add on <var31:Set[Variable]>*/
+((void(*)(val* self, val* p0))((((long)var31&3)?class_info[((long)var31&3)]:var31->class)->vft[COLOR_core__abstract_collection__SimpleCollection__add]))(var31, var_variable); /* add on <var31:Set[Variable]>*/
}
var = 1;
goto RET_LABEL;
return var;
}
/* method local_var_init#ANode#accept_local_var_visitor for (self: ANode, LocalVarInitVisitor) */
-void nit__local_var_init___ANode___accept_local_var_visitor(val* self, val* p0) {
+void nitc__local_var_init___ANode___accept_local_var_visitor(val* self, val* p0) {
val* var_v /* var v: LocalVarInitVisitor */;
var_v = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__parser_nodes__ANode__visit_all]))(self, var_v); /* visit_all on <self:ANode>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__parser_nodes__ANode__visit_all]))(self, var_v); /* visit_all on <self:ANode>*/
}
RET_LABEL:;
}
/* method local_var_init#AVardeclExpr#accept_local_var_visitor for (self: AVardeclExpr, LocalVarInitVisitor) */
-void nit__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
+void nitc__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
val* var_v /* var v: LocalVarInitVisitor */;
val* var /* : nullable AExpr */;
val* var2 /* : nullable AExpr */;
val* var11 /* : nullable Variable */;
var_v = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVardeclExpr>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVardeclExpr>*/
}
{
{ /* Inline parser_nodes#AVardeclExpr#n_expr (self) on <self:AVardeclExpr> */
-var2 = self->attrs[COLOR_nit__parser_nodes__AVardeclExpr___n_expr].val; /* _n_expr on <self:AVardeclExpr> */
+var2 = self->attrs[COLOR_nitc__parser_nodes__AVardeclExpr___n_expr].val; /* _n_expr on <self:AVardeclExpr> */
var = var2;
RET_LABEL1:(void)0;
}
if (var3){
{
{ /* Inline scope#AVardeclExpr#variable (self) on <self:AVardeclExpr> */
-var11 = self->attrs[COLOR_nit__scope__AVardeclExpr___variable].val; /* _variable on <self:AVardeclExpr> */
+var11 = self->attrs[COLOR_nitc__scope__AVardeclExpr___variable].val; /* _variable on <self:AVardeclExpr> */
var9 = var11;
RET_LABEL10:(void)0;
}
}
{
-nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_unset(var_v, self, var9); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_unset on <var_v:LocalVarInitVisitor>*/
+nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___mark_is_unset(var_v, self, var9); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_unset on <var_v:LocalVarInitVisitor>*/
}
} else {
}
RET_LABEL:;
}
/* method local_var_init#AVarExpr#accept_local_var_visitor for (self: AVarExpr, LocalVarInitVisitor) */
-void nit__local_var_init___AVarExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
+void nitc__local_var_init___AVarExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
val* var_v /* var v: LocalVarInitVisitor */;
val* var /* : nullable Variable */;
val* var2 /* : nullable Variable */;
var_v = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__local_var_init___AVarExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarExpr>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__local_var_init___AVarExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarExpr>*/
}
{
{ /* Inline scope#AVarFormExpr#variable (self) on <self:AVarExpr> */
-var2 = self->attrs[COLOR_nit__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarExpr> */
+var2 = self->attrs[COLOR_nitc__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarExpr> */
var = var2;
RET_LABEL1:(void)0;
}
}
{
-nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/
+nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___check_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/
}
RET_LABEL:;
}
/* method local_var_init#AVarAssignExpr#accept_local_var_visitor for (self: AVarAssignExpr, LocalVarInitVisitor) */
-void nit__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
+void nitc__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
val* var_v /* var v: LocalVarInitVisitor */;
val* var /* : nullable Variable */;
val* var2 /* : nullable Variable */;
var_v = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarAssignExpr>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarAssignExpr>*/
}
{
{ /* Inline scope#AVarFormExpr#variable (self) on <self:AVarAssignExpr> */
-var2 = self->attrs[COLOR_nit__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarAssignExpr> */
+var2 = self->attrs[COLOR_nitc__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarAssignExpr> */
var = var2;
RET_LABEL1:(void)0;
}
}
{
-nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_set on <var_v:LocalVarInitVisitor>*/
+nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___mark_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_set on <var_v:LocalVarInitVisitor>*/
}
RET_LABEL:;
}
/* method local_var_init#AVarReassignExpr#accept_local_var_visitor for (self: AVarReassignExpr, LocalVarInitVisitor) */
-void nit__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
+void nitc__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor(val* self, val* p0) {
val* var_v /* var v: LocalVarInitVisitor */;
val* var /* : nullable Variable */;
val* var2 /* : nullable Variable */;
var_v = p0;
{
-((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarReassignExpr>*/
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nitc__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor]))(self, p0); /* accept_local_var_visitor on <self:AVarReassignExpr>*/
}
{
{ /* Inline scope#AVarFormExpr#variable (self) on <self:AVarReassignExpr> */
-var2 = self->attrs[COLOR_nit__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarReassignExpr> */
+var2 = self->attrs[COLOR_nitc__scope__AVarFormExpr___variable].val; /* _variable on <self:AVarReassignExpr> */
var = var2;
RET_LABEL1:(void)0;
}
}
{
-nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/
+nitc__local_var_init___nitc__local_var_init__LocalVarInitVisitor___check_is_set(var_v, self, var); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/
}
RET_LABEL:;
}