val_t metamodel___virtualtype___MMTypeProperty___stype_for(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_metamodel___virtualtype;
fra.me.line = 31;
fra.me.meth = LOCATE_metamodel___virtualtype___MMTypeProperty___stype_for;
fra.me.has_broke = 0;
fra.me.REG_size = 4;
fra.me.nitni_local_ref_head = NULL;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[1] = NIT_NULL;
fra.me.REG[2] = NIT_NULL;
fra.me.REG[3] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
/* metamodel/virtualtype.nit:34 */
fra.me.REG[2] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[1])(fra.me.REG[1]);
fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
/* metamodel/virtualtype.nit:35 */
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_metamodel___virtualtype___MMTypeProperty, ID_metamodel___virtualtype___MMTypeProperty)) /*cast MMTypeProperty*/;
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_metamodel___virtualtype, 35);
}
/* metamodel/virtualtype.nit:36 */
fra.me.REG[1] = CALL_metamodel___virtualtype___MMTypeProperty___real_stype_for(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
val_t metamodel___virtualtype___MMLocalClass___select_virtual_type(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_metamodel___virtualtype;
fra.me.line = 100;
fra.me.meth = LOCATE_metamodel___virtualtype___MMLocalClass___select_virtual_type;
fra.me.has_broke = 0;
fra.me.REG_size = 2;
fra.me.nitni_local_ref_head = NULL;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[1] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
/* metamodel/virtualtype.nit:103 */
fra.me.REG[1] = CALL_metamodel___virtualtype___MMLocalClass___virtual_type(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
/* metamodel/virtualtype.nit:104 */
fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
/* metamodel/virtualtype.nit:105 */
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_metamodel___virtualtype___MMTypeProperty, ID_metamodel___virtualtype___MMTypeProperty)) /*cast MMTypeProperty*/;
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_metamodel___virtualtype, 105);
}
/* metamodel/virtualtype.nit:106 */
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
val_t REGB0;
val_t REGB1;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_global___cha_analysis;
fra.me.line = 94;
fra.me.meth = LOCATE_global___cha_analysis___ChaVisitor___visit_icode;
fra.me.has_broke = 0;
fra.me.REG_size = 7;
fra.me.nitni_local_ref_head = NULL;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[1] = NIT_NULL;
fra.me.REG[2] = NIT_NULL;
fra.me.REG[3] = NIT_NULL;
fra.me.REG[4] = NIT_NULL;
fra.me.REG[5] = NIT_NULL;
fra.me.REG[6] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
/* global/cha_analysis.nit:94 */
fra.me.REG[2] = fra.me.REG[0];
fra.me.REG[3] = fra.me.REG[1];
/* global/cha_analysis.nit:96 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IStaticCall, ID_icode___icode_base___IStaticCall)) /*cast IStaticCall*/;
if (UNTAG_Bool(REGB0)) {
/* global/cha_analysis.nit:98 */
fra.me.REG[4] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 98);
}
fra.me.REG[5] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 98);
}
fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[6] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[6])(fra.me.REG[6]);
REGB0 = TAG_Bool(true);
REGB1 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5], fra.me.REG[6], REGB0, REGB1);
} else {
/* global/cha_analysis.nit:99 */
REGB1 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___INew, ID_icode___icode_base___INew)) /*cast INew*/;
if (UNTAG_Bool(REGB1)) {
/* global/cha_analysis.nit:101 */
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 101);
}
fra.me.REG[6] = CALL_icode___icode_base___INew___stype(fra.me.REG[3])(fra.me.REG[3]);
/* global/cha_analysis.nit:102 */
fra.me.REG[5] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[5] = CALL_global___cha_analysis___ChaBuilder___program(fra.me.REG[5])(fra.me.REG[5]);
fra.me.REG[5] = CALL_program___Program___main_module(fra.me.REG[5])(fra.me.REG[5]);
fra.me.REG[5] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[5]);
fra.me.REG[5] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[5])(fra.me.REG[5]);
/* global/cha_analysis.nit:103 */
fra.me.REG[6] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[5])(fra.me.REG[5]);
REGB1 = CALL_metamodel___abstractmetamodel___MMGlobalClass___is_extern(fra.me.REG[6])(fra.me.REG[6]);
REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
if (UNTAG_Bool(REGB1)) {
/* global/cha_analysis.nit:104 */
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 104);
}
fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[6] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[6])(fra.me.REG[6]);
fra.me.REG[6] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[6]);
REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[6], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_global___cha_analysis, 104);
}
/* global/cha_analysis.nit:105 */
fra.me.REG[5] = CALL_program___MMLocalClass___new_instance_iroutine(fra.me.REG[5])(fra.me.REG[5]);
fra.me.REG[6] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[6]);
/* global/cha_analysis.nit:106 */
fra.me.REG[5] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 106);
}
fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
REGB1 = TAG_Bool(false);
REGB0 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[6], REGB1, REGB0);
}
} else {
/* global/cha_analysis.nit:108 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ISuper, ID_icode___icode_base___ISuper)) /*cast ISuper*/;
if (UNTAG_Bool(REGB0)) {
/* global/cha_analysis.nit:109 */
fra.me.REG[6] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 109);
}
fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 109);
}
fra.me.REG[5] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[5] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[5])(fra.me.REG[5]);
REGB0 = TAG_Bool(false);
REGB1 = TAG_Bool(true);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[4], fra.me.REG[5], REGB0, REGB1);
} else {
/* global/cha_analysis.nit:110 */
REGB1 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ICall, ID_icode___icode_base___ICall)) /*cast ICall*/;
if (UNTAG_Bool(REGB1)) {
/* global/cha_analysis.nit:111 */
fra.me.REG[5] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 111);
}
fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 111);
}
fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[6] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[6])(fra.me.REG[6]);
REGB1 = TAG_Bool(false);
REGB0 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[6], REGB1, REGB0);
} else {
/* global/cha_analysis.nit:112 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ICheckInstance, ID_icode___icode_base___ICheckInstance)) /*cast ICheckInstance*/;
if (UNTAG_Bool(REGB0)) {
/* global/cha_analysis.nit:113 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 113);
}
fra.me.REG[6] = CALL_icode___icode_base___ICheckInstance___stype(fra.me.REG[3])(fra.me.REG[3]);
/* global/cha_analysis.nit:114 */
fra.me.REG[4] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[4] = CALL_global___cha_analysis___ChaBuilder___program(fra.me.REG[4])(fra.me.REG[4]);
fra.me.REG[4] = CALL_program___Program___main_module(fra.me.REG[4])(fra.me.REG[4]);
fra.me.REG[4] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[4]);
fra.me.REG[4] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[4])(fra.me.REG[4]);
/* global/cha_analysis.nit:115 */
fra.me.REG[4] = CALL_program___MMLocalClass___checknew_iroutine(fra.me.REG[4])(fra.me.REG[4]);
/* global/cha_analysis.nit:116 */
fra.me.REG[6] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(true);
REGB1 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[6])(fra.me.REG[6], NIT_NULL, fra.me.REG[4], REGB0, REGB1);
} else {
/* global/cha_analysis.nit:117 */
REGB1 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IInitAttributes, ID_icode___icode_base___IInitAttributes)) /*cast IInitAttributes*/;
if (UNTAG_Bool(REGB1)) {
/* global/cha_analysis.nit:118 */
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 118);
}
fra.me.REG[3] = CALL_icode___icode_base___IInitAttributes___stype(fra.me.REG[3])(fra.me.REG[3]);
/* global/cha_analysis.nit:119 */
fra.me.REG[4] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[4] = CALL_global___cha_analysis___ChaBuilder___program(fra.me.REG[4])(fra.me.REG[4]);
fra.me.REG[4] = CALL_program___Program___main_module(fra.me.REG[4])(fra.me.REG[4]);
fra.me.REG[4] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
fra.me.REG[4] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[4])(fra.me.REG[4]);
/* global/cha_analysis.nit:120 */
fra.me.REG[4] = CALL_program___MMLocalClass___init_var_iroutine(fra.me.REG[4])(fra.me.REG[4]);
/* global/cha_analysis.nit:121 */
fra.me.REG[2] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Bool(true);
REGB0 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[2])(fra.me.REG[2], NIT_NULL, fra.me.REG[4], REGB1, REGB0);
}
}
}
}
}
}
/* global/cha_analysis.nit:123 */
CALL_SUPER_global___cha_analysis___ChaVisitor___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
stack_frame_head = fra.me.prev;
return;
}
void OC_global___reachable_as_init___Program___dump_reachable_as_init_methods_5(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
val_t REGB0;
fun_t CREG[1];
val_t tmp;
static val_t once_value_7; /* Once value */
static val_t once_value_8; /* Once value */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_global___reachable_as_init;
fra.me.line = 0;
fra.me.meth = LOCATE_global___reachable_as_init___Program___dump_reachable_as_init_methods;
fra.me.has_broke = 0;
fra.me.REG_size = 3;
fra.me.nitni_local_ref_head = NULL;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[1] = NIT_NULL;
fra.me.REG[2] = NIT_NULL;
fra.me.closure_ctx = closctx_param;
fra.me.closure_funs = CREG;
fra.me.REG[0] = p0;
CREG[0] = clos_fun0;
/* global/reachable_as_init.nit:32 */
fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(closctx->REG[1])(closctx->REG[1], fra.me.REG[0]);
/* global/reachable_as_init.nit:33 */
fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = CALL_metamodel___abstractmetamodel___MMGlobalProperty___is_init_for(fra.me.REG[1])(fra.me.REG[1], closctx->REG[1]);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
goto label6;
}
/* global/reachable_as_init.nit:34 */
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_global___reachable_as_init, 34);
}
/* global/reachable_as_init.nit:35 */
fra.me.REG[1] = CALL_global___reachable_as_init___Program___rai(closctx->REG[0])(closctx->REG[0]);
REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___reachable_as_init, 35);
}
REGB0 = CALL_global___reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0], closctx->REG[1]);
if (UNTAG_Bool(REGB0)) {
/* global/reachable_as_init.nit:36 */
REGB0 = TAG_Int(3);
fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
if (!once_value_7) {
fra.me.REG[2] = BOX_NativeString("");
REGB0 = TAG_Int(0);
fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
once_value_7 = fra.me.REG[2];
register_static_object(&once_value_7);
} else fra.me.REG[2] = once_value_7;
fra.me.REG[2] = fra.me.REG[2];
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
if (!once_value_8) {
fra.me.REG[0] = BOX_NativeString("\n");
REGB0 = TAG_Int(1);
fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
once_value_8 = fra.me.REG[0];
register_static_object(&once_value_8);
} else fra.me.REG[0] = once_value_8;
fra.me.REG[0] = fra.me.REG[0];
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
}
label6: while(0);
stack_frame_head = fra.me.prev;
return;
}