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 OC_global___cha_analysis___ChaBuilder___add_search_2(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[1];} fra;
val_t REGB0;
val_t REGB1;
fun_t CREG[1];
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_global___cha_analysis;
fra.me.line = 0;
fra.me.meth = LOCATE_global___cha_analysis___ChaBuilder___add_search;
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.closure_ctx = closctx_param;
fra.me.closure_funs = CREG;
fra.me.REG[0] = p0;
CREG[0] = clos_fun0;
/* global/cha_analysis.nit:67 */
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
if (UNTAG_Bool(REGB0)) {
/* global/cha_analysis.nit:68 */
fra.me.REG[1] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(true);
REGB1 = TAG_Bool(false);
CALL_global___cha_analysis___ChaBuilder___add_search(closctx->REG[0])(closctx->REG[0], fra.me.REG[0], fra.me.REG[1], REGB0, REGB1);
}
stack_frame_head = fra.me.prev;
return;
}
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 standard___collection___range___Range___length(val_t p0) {
struct {
struct stack_frame_t me;
val_t MORE_REG[1];
} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t tmp;
fra.me.prev = stack_frame_head;
stack_frame_head = &fra.me;
fra.me.file = LOCATE_standard___collection___range;
fra.me.line = 56;
fra.me.meth = LOCATE_standard___collection___range___Range___length;
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;
/* ../lib/standard/collection/range.nit:58 */
REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____first(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_first", LOCATE_standard___collection___range, 58);
}
fra.me.REG[1] = ATTR_standard___collection___range___Range____first(fra.me.REG[0]);
REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____after(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_after", LOCATE_standard___collection___range, 58);
}
fra.me.REG[0] = ATTR_standard___collection___range___Range____after(fra.me.REG[0]);
REGB0 = CALL_standard___kernel___Discrete___distance(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
/* ../lib/standard/collection/range.nit:59 */
REGB1 = TAG_Int(0);
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:234 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
/* ../lib/standard/collection/range.nit:59 */
if (UNTAG_Bool(REGB1)) {
/* ../lib/standard/collection/range.nit:60 */
goto label1;
} else {
/* ../lib/standard/collection/range.nit:62 */
REGB1 = TAG_Int(0);
REGB0 = REGB1;
goto label1;
}
label1:
while(0);
stack_frame_head = fra.me.prev;
return REGB0;
}
val_t metamodel___virtualtype___MMGlobalProperty___is_virtual_type(val_t p0){
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 = 24;
fra.me.meth = LOCATE_metamodel___virtualtype___MMGlobalProperty___is_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;
/* metamodel/virtualtype.nit:25 */
fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMGlobalProperty___intro(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_metamodel___virtualtype___MMTypeProperty, ID_metamodel___virtualtype___MMTypeProperty)) /*cast MMTypeProperty*/;
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return REGB0;
}
void global___remove_out_of_init_get_test___IssetCounter___visit_icode(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[3];} 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___remove_out_of_init_get_test;
fra.me.line = 61;
fra.me.meth = LOCATE_global___remove_out_of_init_get_test___IssetCounter___visit_icode;
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;
/* global/remove_out_of_init_get_test.nit:61 */
fra.me.REG[2] = fra.me.REG[0];
fra.me.REG[3] = fra.me.REG[1];
/* global/remove_out_of_init_get_test.nit:63 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IAttrIsset, ID_icode___icode_base___IAttrIsset)) /*cast IAttrIsset*/;
if (UNTAG_Bool(REGB0)) {
/* global/remove_out_of_init_get_test.nit:64 */
REGB0 = CALL_global___remove_out_of_init_get_test___IssetCounter___nb_isset(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Int(1);
/* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* global/remove_out_of_init_get_test.nit:64 */
ATTR_global___remove_out_of_init_get_test___IssetCounter____nb_isset(fra.me.REG[2]) = REGB1;
}
/* global/remove_out_of_init_get_test.nit:67 */
CALL_SUPER_global___remove_out_of_init_get_test___IssetCounter___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
stack_frame_head = fra.me.prev;
return;
}
void global___remove_out_of_init_get_test___GetterTestRemover___visit_icode(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[4];} 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___remove_out_of_init_get_test;
fra.me.line = 75;
fra.me.meth = LOCATE_global___remove_out_of_init_get_test___GetterTestRemover___visit_icode;
fra.me.has_broke = 0;
fra.me.REG_size = 5;
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[0] = p0;
fra.me.REG[1] = p1;
/* global/remove_out_of_init_get_test.nit:75 */
fra.me.REG[2] = fra.me.REG[0];
fra.me.REG[3] = fra.me.REG[1];
/* global/remove_out_of_init_get_test.nit:78 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IAttrIsset, ID_icode___icode_base___IAttrIsset)) /*cast IAttrIsset*/;
if (UNTAG_Bool(REGB0)) {
/* global/remove_out_of_init_get_test.nit:79 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___remove_out_of_init_get_test, 79);
}
fra.me.REG[3] = CALL_icode___icode_base___ICode___result(fra.me.REG[3])(fra.me.REG[3]);
/* global/remove_out_of_init_get_test.nit:80 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_global___remove_out_of_init_get_test, 80);
}
/* global/remove_out_of_init_get_test.nit:81 */
REGB0 = TAG_Bool(1);
fra.me.REG[4] = NEW_IBoolValue_icode___icode_base___IBoolValue___init(REGB0);
/* global/remove_out_of_init_get_test.nit:82 */
CALL_icode___icode_base___ICode___result__eq(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
/* global/remove_out_of_init_get_test.nit:83 */
fra.me.REG[3] = CALL_icode___icode_tools___ICodeVisitor___current_icode(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___remove_out_of_init_get_test, 83);
}
CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
/* global/remove_out_of_init_get_test.nit:84 */
fra.me.REG[4] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_global___remove_out_of_init_get_test, 84);
}
CALL_standard___collection___list___ListIterator___delete(fra.me.REG[4])(fra.me.REG[4]);
/* global/remove_out_of_init_get_test.nit:85 */
REGB0 = CALL_global___remove_out_of_init_get_test___GetterTestRemover___nb_optimized_isset(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Int(1);
/* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* global/remove_out_of_init_get_test.nit:85 */
ATTR_global___remove_out_of_init_get_test___GetterTestRemover____nb_optimized_isset(fra.me.REG[2]) = REGB1;
}
/* global/remove_out_of_init_get_test.nit:88 */
CALL_SUPER_global___remove_out_of_init_get_test___GetterTestRemover___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
stack_frame_head = fra.me.prev;
return;
}
void reachable_as_init_impl___RAIVisitor___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 tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_reachable_as_init_impl;
fra.me.line = 59;
fra.me.meth = LOCATE_reachable_as_init_impl___RAIVisitor___visit_icode;
fra.me.has_broke = 0;
fra.me.REG_size = 7;
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;
/* ./analysis//reachable_as_init_impl.nit:59 */
fra.me.REG[2] = fra.me.REG[0];
fra.me.REG[3] = fra.me.REG[1];
/* ./analysis//reachable_as_init_impl.nit:61 */
REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_INew, ID_INew)) /*cast INew*/;
if (UNTAG_Bool(REGB0)) {
/* ./analysis//reachable_as_init_impl.nit:63 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 63);
}
fra.me.REG[4] = CALL_icode_base___INew___stype(fra.me.REG[3])(fra.me.REG[3]);
/* ./analysis//reachable_as_init_impl.nit:64 */
fra.me.REG[5] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[5] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___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_static_type___MMType___for_module(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
fra.me.REG[5] = CALL_static_type___MMType___local_class(fra.me.REG[5])(fra.me.REG[5]);
/* ./analysis//reachable_as_init_impl.nit:65 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 65);
}
fra.me.REG[3] = CALL_icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[3] = CALL_abstractmetamodel___MMLocalProperty___global(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[3] = CALL_abstractmetamodel___MMLocalClass_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[3]);
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_MMMethod, ID_MMMethod)) /*cast MMMethod*/;
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_reachable_as_init_impl, 65);
}
/* ./analysis//reachable_as_init_impl.nit:66 */
fra.me.REG[4] = CALL_abstractmetamodel___MMLocalProperty___global(fra.me.REG[3])(fra.me.REG[3]);
REGB0 = CALL_abstractmetamodel___MMGlobalProperty___is_init(fra.me.REG[4])(fra.me.REG[4]);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_reachable_as_init_impl, 66);
}
/* ./analysis//reachable_as_init_impl.nit:67 */
fra.me.REG[4] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[4] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[4])(fra.me.REG[4]);
REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 67);
}
fra.me.REG[4] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4]);
REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
fra.me.REG[4] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[4] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[4])(fra.me.REG[4]);
REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 67);
}
fra.me.REG[4] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4]);
fra.me.REG[6] = NEW_List_list___List___init();
CALL_abstract_collection___Map_____braeq(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5], fra.me.REG[6]);
}
/* ./analysis//reachable_as_init_impl.nit:68 */
fra.me.REG[6] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[6] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[6])(fra.me.REG[6]);
REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[6])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 68);
}
fra.me.REG[6] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[6]);
fra.me.REG[6] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[5]);
REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 68);
}
REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[3]);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
fra.me.REG[2] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[2] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 68);
}
fra.me.REG[2] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[2]);
fra.me.REG[5] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
REGB0 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 68);
}
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[3]);
}
}
/* ./analysis//reachable_as_init_impl.nit:70 */
CALL_SUPER_reachable_as_init_impl___RAIVisitor___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;
}
void OC_ffi___ffi_base___MMModule___accept_ffi_visitor_2(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[1];} fra;
val_t REGB0;
val_t REGB1;
fun_t CREG[1];
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_ffi___ffi_base;
fra.me.line = 0;
fra.me.meth = LOCATE_ffi___ffi_base___MMModule___accept_ffi_visitor;
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.closure_ctx = closctx_param;
fra.me.closure_funs = CREG;
fra.me.REG[0] = p0;
CREG[0] = clos_fun0;
/* ffi/ffi_base.nit:106 */
fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalProperty___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],closctx->REG[0]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], closctx->REG[0]);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
} else {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
REGB0 = CALL_metamodel___abstractmetamodel___MMMethod___is_extern(fra.me.REG[0])(fra.me.REG[0]);
} else {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* ffi/ffi_base.nit:107 */
fra.me.REG[1] = CALL_syntax___extern_inline___MMMethod___extern_implementation(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
} else {
/* ffi/ffi_base.nit:106 */
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* ffi/ffi_base.nit:108 */
CALL_ffi___ffi_base___FFIVisited___accept_ffi_visitor(fra.me.REG[0])(fra.me.REG[0], closctx->REG[1]);
}
stack_frame_head = fra.me.prev;
return;
}
val_t utils___Object___cmangle(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 REGB2;
val_t tmp;
static val_t once_value_1; /* Once value */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_utils;
fra.me.line = 23;
fra.me.meth = LOCATE_utils___Object___cmangle;
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;
/* utils.nit:23 */
fra.me.REG[2] = fra.me.REG[0];
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_standard___collection___array___Array, ID_standard___collection___array___Array)) /*cast Array[Symbol]*/;
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_utils, 23);
}
/* utils.nit:26 */
if (!once_value_1) {
fra.me.REG[2] = CALL_utils___Object___cmangle_table(fra.me.REG[2])(fra.me.REG[2]);
once_value_1 = fra.me.REG[2];
register_static_object(&once_value_1);
} else fra.me.REG[2] = once_value_1;
fra.me.REG[2] = fra.me.REG[2];
/* utils.nit:27 */
fra.me.REG[0] = NEW_Buffer_standard___string___Buffer___init();
/* ../lib/standard/collection/array.nit:269 */
REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
/* ../lib/standard/collection/array.nit:271 */
fra.me.REG[3] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
/* ../lib/standard/collection/array.nit:272 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
/* ../lib/standard/collection/array.nit:273 */
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
}
/* ../lib/standard/collection/array.nit:718 */
fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
/* utils.nit:29 */
REGB1 = CALL_standard___collection___abstract_collection___Collection___is_empty(fra.me.REG[0])(fra.me.REG[0]);
REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
if (UNTAG_Bool(REGB1)) {
/* utils.nit:30 */
REGB1 = TAG_Char('_');
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
/* utils.nit:31 */
REGB1 = TAG_Char('_');
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
/* utils.nit:32 */
REGB1 = TAG_Char('_');
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
}
/* utils.nit:34 */
REGB1 = TAG_Bool(0);
fra.me.REG[5] = REGB1;
/* utils.nit:35 */
REGB1 = TAG_Bool(1);
fra.me.REG[6] = REGB1;
/* utils.nit:36 */
fra.me.REG[4] = CALL_standard___string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[4])(fra.me.REG[4], (&(fra.me)), ((fun_t)OC_utils___Object___cmangle_2));
/* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Int(1);
/* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB1;
} else {
/* ../lib/standard/collection/array.nit:272 */
goto label3;
}
}
label3: while(0);
/* utils.nit:57 */
fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
goto label4;
label4: while(0);
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
void OC_utils___Object___cmangle_2(struct stack_frame_t *closctx, val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t REGB3;
val_t tmp;
/* utils.nit:37 */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_utils;
fra.me.line = 0;
fra.me.meth = LOCATE_utils___Object___cmangle;
fra.me.has_broke = 0;
fra.me.REG_size = 1;
fra.me.nitni_local_ref_head = NULL;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
REGB0 = fra.me.REG[0];
/* utils.nit:38 */
REGB1 = TAG_Char('a');
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:387 */
REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
/* utils.nit:38 */
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Char('z');
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:385 */
REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
} else {
/* utils.nit:38 */
REGB2 = TAG_Bool(0);
REGB1 = REGB2;
}
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(1);
} else {
REGB2 = TAG_Char('A');
REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:387 */
REGB2 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB2));
/* utils.nit:38 */
if (UNTAG_Bool(REGB2)) {
REGB2 = TAG_Char('Z');
REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:385 */
REGB2 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB2));
} else {
/* utils.nit:38 */
REGB3 = TAG_Bool(0);
REGB2 = REGB3;
}
REGB1 = REGB2;
}
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(1);
} else {
REGB2 = TAG_Char('0');
REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:387 */
REGB2 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB2));
/* utils.nit:38 */
if (UNTAG_Bool(REGB2)) {
REGB2 = TAG_Char('9');
REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:385 */
REGB2 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB2));
} else {
/* utils.nit:38 */
REGB3 = TAG_Bool(0);
REGB2 = REGB3;
}
REGB1 = REGB2;
}
if (UNTAG_Bool(REGB1)) {
/* utils.nit:39 */
CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB0);
/* utils.nit:40 */
REGB1 = TAG_Bool(0);
closctx->REG[5] = REGB1;
/* utils.nit:41 */
REGB1 = TAG_Bool(1);
closctx->REG[6] = REGB1;
} else {
/* utils.nit:42 */
REGB1 = TAG_Char('_');
REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
if (UNTAG_Bool(REGB2)) {
} else {
/* ../lib/standard/kernel.nit:381 */
REGB1 = TAG_Bool((REGB0)==(REGB1));
/* utils.nit:42 */
REGB2 = REGB1;
}
if (UNTAG_Bool(REGB2)) {
REGB2 = TAG_Bool(!UNTAG_Bool(closctx->REG[5]));
} else {
REGB1 = TAG_Bool(0);
REGB2 = REGB1;
}
if (UNTAG_Bool(REGB2)) {
/* utils.nit:43 */
CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB0);
/* utils.nit:44 */
REGB2 = TAG_Bool(1);
closctx->REG[5] = REGB2;
/* utils.nit:45 */
REGB2 = TAG_Bool(1);
closctx->REG[6] = REGB2;
} else {
/* utils.nit:46 */
REGB2 = CALL_standard___collection___abstract_collection___MapRead___has_key(closctx->REG[2])(closctx->REG[2], REGB0);
if (UNTAG_Bool(REGB2)) {
/* utils.nit:47 */
if (UNTAG_Bool(closctx->REG[6])) {
/* utils.nit:48 */
REGB2 = TAG_Char('_');
CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB2);
/* utils.nit:49 */
REGB2 = TAG_Char('_');
CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB2);
}
/* utils.nit:51 */
fra.me.REG[0] = CALL_standard___collection___abstract_collection___MapRead_____bra(closctx->REG[2])(closctx->REG[2], REGB0);
CALL_standard___collection___abstract_collection___Sequence___append(closctx->REG[0])(closctx->REG[0], fra.me.REG[0]);
/* utils.nit:52 */
REGB0 = TAG_Bool(0);
closctx->REG[6] = REGB0;
/* utils.nit:53 */
REGB0 = TAG_Bool(0);
closctx->REG[5] = REGB0;
}
}
}
stack_frame_head = fra.me.prev;
return;
}
val_t syntax___extern_type_inheritance___MMLocalClass___extern_type(val_t p0){
struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t tmp;
static val_t once_value_2; /* Once value */
static val_t once_value_3; /* Once value */
static val_t once_value_4; /* Once value */
static val_t once_value_5; /* Once value */
static val_t once_value_7; /* Once value */
static val_t once_value_8; /* Once value */
static val_t once_value_9; /* Once value */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_syntax___extern_type_inheritance;
fra.me.line = 41;
fra.me.meth = LOCATE_syntax___extern_type_inheritance___MMLocalClass___extern_type;
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;
/* syntax/extern_type_inheritance.nit:43 */
fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = CALL_metamodel___abstractmetamodel___MMGlobalClass___is_extern(fra.me.REG[1])(fra.me.REG[1]);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_syntax___extern_type_inheritance, 43);
}
/* syntax/extern_type_inheritance.nit:45 */
fra.me.REG[1] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
fra.me.REG[1] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
goto label1;
}
/* syntax/extern_type_inheritance.nit:47 */
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[0]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
REGB0 = REGB1;
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
/* syntax/extern_type_inheritance.nit:48 */
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(0);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
/* syntax/extern_type_inheritance.nit:49 */
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[2])(fra.me.REG[2]);
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
/* syntax/extern_type_inheritance.nit:50 */
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[0]);
/* syntax/extern_type_inheritance.nit:51 */
fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[1] = fra.me.REG[2];
goto label1;
}
}
/* syntax/extern_type_inheritance.nit:55 */
fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[0])(fra.me.REG[0]);
if (!once_value_2) {
if (!once_value_3) {
fra.me.REG[3] = BOX_NativeString("Pointer");
REGB0 = TAG_Int(7);
fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
once_value_3 = fra.me.REG[3];
register_static_object(&once_value_3);
} else fra.me.REG[3] = once_value_3;
fra.me.REG[3] = fra.me.REG[3];
fra.me.REG[3] = CALL_symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
once_value_2 = fra.me.REG[3];
register_static_object(&once_value_2);
} else fra.me.REG[3] = once_value_2;
fra.me.REG[3] = fra.me.REG[3];
REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* syntax/extern_type_inheritance.nit:56 */
if (!once_value_4) {
fra.me.REG[3] = BOX_NativeString("C");
REGB0 = TAG_Int(1);
fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
once_value_4 = fra.me.REG[3];
register_static_object(&once_value_4);
} else fra.me.REG[3] = once_value_4;
fra.me.REG[3] = fra.me.REG[3];
if (!once_value_5) {
fra.me.REG[2] = BOX_NativeString("void*");
REGB0 = TAG_Int(5);
fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
once_value_5 = fra.me.REG[2];
register_static_object(&once_value_5);
} else fra.me.REG[2] = once_value_5;
fra.me.REG[2] = fra.me.REG[2];
fra.me.REG[2] = NEW_ExternCode_syntax___extern_inline___ExternCode___init(fra.me.REG[3], fra.me.REG[2], NIT_NULL);
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
/* syntax/extern_type_inheritance.nit:57 */
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[0]);
/* syntax/extern_type_inheritance.nit:58 */
fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[1] = fra.me.REG[2];
goto label1;
}
/* syntax/extern_type_inheritance.nit:62 */
fra.me.REG[2] = NEW_HashSet_standard___collection___hash_collection___HashSet___init();
/* syntax/extern_type_inheritance.nit:63 */
fra.me.REG[3] = fra.me.REG[0];
/* syntax/extern_type_inheritance.nit:64 */
fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalClass___cshe(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[3] = CALL_metamodel___partial_order___PartialOrderElement___direct_greaters(fra.me.REG[3])(fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:269 */
REGB0 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:271 */
fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
/* ../lib/standard/collection/array.nit:272 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:235 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB1)) {
/* ../lib/standard/collection/array.nit:273 */
REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
}
/* ../lib/standard/collection/array.nit:718 */
fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
/* syntax/extern_type_inheritance.nit:65 */
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]);
if (UNTAG_Bool(REGB1)) {
/* syntax/extern_type_inheritance.nit:66 */
fra.me.REG[5] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin(fra.me.REG[5])(fra.me.REG[5]);
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
}
/* ../lib/standard/collection/array.nit:274 */
REGB1 = TAG_Int(1);
/* ../lib/standard/kernel.nit:238 */
REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
/* ../lib/standard/collection/array.nit:274 */
REGB0 = REGB1;
} else {
/* ../lib/standard/collection/array.nit:272 */
goto label6;
}
}
label6: while(0);
/* syntax/extern_type_inheritance.nit:71 */
REGB0 = CALL_standard___collection___abstract_collection___Collection___length(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Int(1);
REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:237 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
/* syntax/extern_type_inheritance.nit:71 */
if (UNTAG_Bool(REGB1)) {
/* syntax/extern_type_inheritance.nit:72 */
fra.me.REG[4] = CALL_standard___file___Object___stderr(fra.me.REG[0])(fra.me.REG[0]);
REGB1 = TAG_Int(5);
fra.me.REG[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1);
if (!once_value_7) {
fra.me.REG[5] = BOX_NativeString("Error: Extern class ");
REGB1 = TAG_Int(20);
fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
once_value_7 = fra.me.REG[5];
register_static_object(&once_value_7);
} else fra.me.REG[5] = once_value_7;
fra.me.REG[5] = fra.me.REG[5];
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
fra.me.REG[5] = CALL_metamodel___abstractmetamodel___MMLocalClass___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[5] = CALL_standard___string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
if (!once_value_8) {
fra.me.REG[5] = BOX_NativeString("::");
REGB1 = TAG_Int(2);
fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
once_value_8 = fra.me.REG[5];
register_static_object(&once_value_8);
} else fra.me.REG[5] = once_value_8;
fra.me.REG[5] = fra.me.REG[5];
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
fra.me.REG[5] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[5] = CALL_standard___string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
if (!once_value_9) {
fra.me.REG[5] = BOX_NativeString(" has ambiguous extern type, found in super classes: \n");
REGB1 = TAG_Int(53);
fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
once_value_9 = fra.me.REG[5];
register_static_object(&once_value_9);
} else fra.me.REG[5] = once_value_9;
fra.me.REG[5] = fra.me.REG[5];
CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
fra.me.REG[3] = CALL_standard___string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
CALL_standard___stream___OStream___write(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[2])(fra.me.REG[2], (&(fra.me)), ((fun_t)OC_syntax___extern_type_inheritance___MMLocalClass___extern_type_10));
/* syntax/extern_type_inheritance.nit:74 */
REGB1 = TAG_Int(1);
CALL_standard___kernel___Object___exit(fra.me.REG[0])(fra.me.REG[0], REGB1);
} else {
/* syntax/extern_type_inheritance.nit:75 */
REGB1 = CALL_standard___collection___abstract_collection___Collection___length(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Int(1);
REGB2 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB0));
if (UNTAG_Bool(REGB2)) {
} else {
/* ../lib/standard/kernel.nit:230 */
REGB0 = TAG_Bool((REGB1)==(REGB0));
/* syntax/extern_type_inheritance.nit:75 */
REGB2 = REGB0;
}
if (UNTAG_Bool(REGB2)) {
/* syntax/extern_type_inheritance.nit:76 */
fra.me.REG[2] = CALL_standard___collection___abstract_collection___Collection___first(fra.me.REG[2])(fra.me.REG[2]);
/* syntax/extern_type_inheritance.nit:77 */
fra.me.REG[3] = CALL_syntax___extern_inline___MMLocalClass___extern_type(fra.me.REG[2])(fra.me.REG[2]);
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
/* syntax/extern_type_inheritance.nit:78 */
CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
} else {
/* syntax/extern_type_inheritance.nit:81 */
nit_abort("Aborted", NULL, LOCATE_syntax___extern_type_inheritance, 81);
}
}
/* syntax/extern_type_inheritance.nit:84 */
fra.me.REG[0] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[1] = fra.me.REG[0];
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;
}
val_t compiling___compiling_writer___Writer___add_all(val_t p0, val_t p1, val_t p2){
struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t REGB3;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_compiling___compiling_writer;
fra.me.line = 38;
fra.me.meth = LOCATE_compiling___compiling_writer___Writer___add_all;
fra.me.has_broke = 0;
fra.me.REG_size = 5;
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[0] = p0;
fra.me.REG[1] = p1;
fra.me.REG[2] = p2;
/* compiling/compiling_writer.nit:41 */
REGB0 = CALL_compiling___compiling_writer___Writer___is_frozen(fra.me.REG[0])(fra.me.REG[0]);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_compiling___compiling_writer, 41);
}
/* compiling/compiling_writer.nit:42 */
REGB0 = TAG_Bool(true);
/* ../lib/standard/collection/array.nit:269 */
REGB1 = TAG_Int(0);
/* ../lib/standard/collection/array.nit:270 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
}
REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
/* ../lib/standard/collection/array.nit:271 */
fra.me.REG[3] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
/* ../lib/standard/collection/array.nit:272 */
while(1) {
/* ../lib/standard/collection/array.nit:24 */
REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB2)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
}
REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
/* ../lib/standard/kernel.nit:232 */
REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:272 */
if (UNTAG_Bool(REGB2)) {
/* ../lib/standard/collection/array.nit:273 */
REGB2 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB2)) {
nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
}
/* ../lib/standard/collection/array.nit:718 */
fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB1)];
/* compiling/compiling_writer.nit:44 */
if (UNTAG_Bool(REGB0)) {
REGB2 = TAG_Bool(false);
REGB0 = REGB2;
} else {
CALL_compiling___compiling_writer___Writer___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
}
/* compiling/compiling_writer.nit:45 */
CALL_compiling___compiling_writer___Writer___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4]);
/* ../lib/standard/collection/array.nit:274 */
REGB2 = TAG_Int(1);
/* ../lib/standard/kernel.nit:235 */
REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
/* ../lib/standard/collection/array.nit:274 */
REGB1 = REGB2;
} else {
/* ../lib/standard/collection/array.nit:272 */
goto label1;
}
}
label1: while(0);
/* compiling/compiling_writer.nit:47 */
goto label2;
label2: while(0);
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
val_t syntax___SrcModuleLoader___parse_file(val_t p0, val_t p1, val_t p2, val_t p3, val_t p4, val_t p5){
struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
val_t REGB0;
val_t REGB1;
val_t tmp;
static val_t once_value_4; /* Once value */
static val_t once_value_5; /* Once value */
static val_t once_value_6; /* Once value */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_syntax;
fra.me.line = 33;
fra.me.meth = LOCATE_syntax___SrcModuleLoader___parse_file;
fra.me.has_broke = 0;
fra.me.REG_size = 7;
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;
fra.me.REG[2] = p2;
fra.me.REG[3] = p3;
fra.me.REG[4] = p4;
fra.me.REG[5] = p5;
/* ./syntax//syntax.nit:35 */
fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
/* ./../lib/standard//collection//array.nit:23 */
REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
/* ./syntax//syntax.nit:35 */
REGB1 = TAG_Int(0);
/* ./../lib/standard//kernel.nit:214 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
/* ./syntax//syntax.nit:35 */
if (UNTAG_Bool(REGB1)) {
fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
REGB1 = TAG_Int(0);
REGB1 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], REGB1);
REGB1 = CALL_kernel___Char___is_lower(REGB1)(REGB1);
} else {
REGB0 = TAG_Bool(false);
REGB1 = REGB0;
}
fra.me.REG[0] = REGB1;
/* ./syntax//syntax.nit:36 */
fra.me.REG[6] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
CALL_abstract_collection___Collection___iterate(fra.me.REG[6])(fra.me.REG[6], (&(fra.me)), ((fun_t)OC_syntax___SrcModuleLoader___parse_file_1));
switch ((&(fra.me))->has_broke) {
case 0: break;
case 1: (&(fra.me))->has_broke = 0; goto label3;
}
label3: while(0);
/* ./syntax//syntax.nit:41 */
REGB1 = TAG_Bool(!UNTAG_Bool(fra.me.REG[0]));
if (UNTAG_Bool(REGB1)) {
/* ./syntax//syntax.nit:42 */
REGB1 = TAG_Int(5);
fra.me.REG[0] = NEW_Array_array___Array___with_capacity(REGB1);
if (!once_value_4) {
fra.me.REG[6] = BOX_NativeString("");
REGB1 = TAG_Int(0);
fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB1);
once_value_4 = fra.me.REG[6];
register_static_object(&once_value_4);
} else fra.me.REG[6] = once_value_4;
fra.me.REG[6] = fra.me.REG[6];
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[6]);
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
if (!once_value_5) {
fra.me.REG[6] = BOX_NativeString(": Error module name \"");
REGB1 = TAG_Int(21);
fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB1);
once_value_5 = fra.me.REG[6];
register_static_object(&once_value_5);
} else fra.me.REG[6] = once_value_5;
fra.me.REG[6] = fra.me.REG[6];
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[6]);
fra.me.REG[6] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[6]);
if (!once_value_6) {
fra.me.REG[6] = BOX_NativeString("\", must start with a lower case letter and contain only letters, digits and '_'.");
REGB1 = TAG_Int(80);
fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB1);
once_value_6 = fra.me.REG[6];
register_static_object(&once_value_6);
} else fra.me.REG[6] = once_value_6;
fra.me.REG[6] = fra.me.REG[6];
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[6]);
fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
CALL_mmloader___ToolContext___error(fra.me.REG[1])(fra.me.REG[1], NIT_NULL, fra.me.REG[0]);
}
/* ./syntax//syntax.nit:45 */
fra.me.REG[2] = NEW_Lexer_lexer___Lexer___init(fra.me.REG[2], fra.me.REG[3]);
/* ./syntax//syntax.nit:46 */
fra.me.REG[2] = NEW_Parser_parser___Parser___init(fra.me.REG[2]);
/* ./syntax//syntax.nit:47 */
fra.me.REG[2] = CALL_parser___Parser___parse(fra.me.REG[2])(fra.me.REG[2]);
/* ./syntax//syntax.nit:48 */
fra.me.REG[0] = CALL_parser_nodes___Start___n_base(fra.me.REG[2])(fra.me.REG[2]);
REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
REGB0 = TAG_Bool(false);
REGB1 = REGB0;
} else {
REGB0 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
REGB1 = REGB0;
}
}
if (UNTAG_Bool(REGB1)) {
/* ./syntax//syntax.nit:49 */
fra.me.REG[0] = CALL_parser_nodes___Start___n_eof(fra.me.REG[2])(fra.me.REG[2]);
/* ./syntax//syntax.nit:50 */
REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_AError, ID_AError)) /*cast AError*/;
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_syntax, 50);
}
/* ./syntax//syntax.nit:51 */
fra.me.REG[6] = CALL_parser_nodes___ANode___location(fra.me.REG[0])(fra.me.REG[0]);
fra.me.REG[0] = CALL_lexer___AError___message(fra.me.REG[0])(fra.me.REG[0]);
CALL_mmloader___ToolContext___fatal_error(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[6], fra.me.REG[0]);
}
/* ./syntax//syntax.nit:53 */
fra.me.REG[2] = CALL_parser_nodes___Start___n_base(fra.me.REG[2])(fra.me.REG[2]);
/* ./syntax//syntax.nit:54 */
REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
REGB0 = TAG_Bool(false);
REGB1 = REGB0;
} else {
REGB0 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
REGB1 = REGB0;
}
}
REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_syntax, 54);
}
/* ./syntax//syntax.nit:55 */
fra.me.REG[3] = NEW_Location_location___Location___with_file(fra.me.REG[3]);
/* ./syntax//syntax.nit:56 */
fra.me.REG[3] = NEW_MMSrcModule_syntax_base___MMSrcModule___init(fra.me.REG[1], fra.me.REG[2], fra.me.REG[5], fra.me.REG[4], fra.me.REG[3]);
/* ./syntax//syntax.nit:57 */
goto label7;
label7: while(0);
stack_frame_head = fra.me.prev;
return fra.me.REG[3];
}
void analysis___inline_methods___InlineMethodVisitor___visit_icode(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[9];} 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_analysis___inline_methods;
fra.me.line = 27;
fra.me.meth = LOCATE_analysis___inline_methods___InlineMethodVisitor___visit_icode;
fra.me.has_broke = 0;
fra.me.REG_size = 10;
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[7] = NIT_NULL;
fra.me.REG[8] = NIT_NULL;
fra.me.REG[9] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
/* analysis/inline_methods.nit:27 */
fra.me.REG[2] = fra.me.REG[0];
fra.me.REG[3] = fra.me.REG[1];
/* analysis/inline_methods.nit:29 */
REGB0 = 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(REGB0)) {
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 29);
}
REGB0 = CALL_icode___icode_base___IAbsCall___is_explicit_from_extern(fra.me.REG[3])(fra.me.REG[3]);
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
} else {
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* analysis/inline_methods.nit:30 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 30);
}
fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
/* analysis/inline_methods.nit:31 */
fra.me.REG[4] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[4])(fra.me.REG[4]);
/* analysis/inline_methods.nit:32 */
REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 32);
}
REGB0 = CALL_analysis___inline_methods___ICall___is_inlinable(fra.me.REG[3])(fra.me.REG[3]);
} else {
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* analysis/inline_methods.nit:33 */
REGB0 = TAG_Bool(ATTR_analysis___inline_methods___InlineMethodVisitor____icb(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Uninitialized attribute %s", "_icb", LOCATE_analysis___inline_methods, 33);
}
fra.me.REG[5] = ATTR_analysis___inline_methods___InlineMethodVisitor____icb(fra.me.REG[2]);
/* analysis/inline_methods.nit:34 */
fra.me.REG[6] = CALL_icode___icode_builder___ICodeBuilder___iroutine(fra.me.REG[5])(fra.me.REG[5]);
REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[6],fra.me.REG[4]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[4]);
REGB0 = REGB1;
}
if (UNTAG_Bool(REGB0)) {
/* analysis/inline_methods.nit:37 */
fra.me.REG[6] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 37);
}
CALL_standard___collection___list___ListIterator___delete(fra.me.REG[6])(fra.me.REG[6]);
/* analysis/inline_methods.nit:38 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 38);
}
fra.me.REG[6] = 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_analysis___inline_methods, 38);
}
fra.me.REG[7] = CALL_icode___icode_base___ICodeN___exprs(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[7] = NEW_IStaticCall_icode___icode_base___IStaticCall___init(fra.me.REG[6], fra.me.REG[7]);
/* analysis/inline_methods.nit:39 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 39);
}
fra.me.REG[6] = CALL_icode___icode_base___ICodeN___closure_defs(fra.me.REG[3])(fra.me.REG[3]);
CALL_icode___icode_base___ICodeN___closure_defs__eq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
/* analysis/inline_methods.nit:40 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 40);
}
fra.me.REG[6] = CALL_icode___icode_base___ICode___result(fra.me.REG[3])(fra.me.REG[3]);
CALL_icode___icode_base___ICode___result__eq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
/* analysis/inline_methods.nit:41 */
fra.me.REG[6] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 41);
}
CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[7]);
/* analysis/inline_methods.nit:42 */
fra.me.REG[7] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 42);
}
CALL_standard___collection___list___ListIterator___delete(fra.me.REG[7])(fra.me.REG[7]);
} else {
/* analysis/inline_methods.nit:44 */
fra.me.REG[7] = NEW_ISeq_icode___icode_base___ISeq___init();
/* analysis/inline_methods.nit:45 */
fra.me.REG[6] = CALL_icode___icode_builder___ICodeBuilder___seq(fra.me.REG[5])(fra.me.REG[5]);
/* analysis/inline_methods.nit:46 */
CALL_icode___icode_builder___ICodeBuilder___seq__eq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[7]);
/* analysis/inline_methods.nit:47 */
fra.me.REG[8] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 47);
}
CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[7]);
/* analysis/inline_methods.nit:48 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 48);
}
fra.me.REG[8] = CALL_icode___icode_base___ICodeN___exprs(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_analysis___inline_methods, 48);
}
fra.me.REG[9] = CALL_icode___icode_base___ICodeN___closure_defs(fra.me.REG[3])(fra.me.REG[3]);
fra.me.REG[9] = CALL_icode___icode_tools___ICodeBuilder___inline_routine(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[8], fra.me.REG[9]);
/* analysis/inline_methods.nit:49 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 49);
}
fra.me.REG[3] = CALL_icode___icode_base___ICode___result(fra.me.REG[3])(fra.me.REG[3]);
/* analysis/inline_methods.nit:50 */
REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
/* analysis/inline_methods.nit:51 */
REGB0 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
} else {
REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[9])(fra.me.REG[9], NIT_NULL);
REGB0 = REGB1;
}
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
} else {
nit_abort("Assert failed", NULL, LOCATE_analysis___inline_methods, 51);
}
/* analysis/inline_methods.nit:52 */
fra.me.REG[8] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
fra.me.REG[9] = NEW_IMove_icode___icode_base___IMove___init(fra.me.REG[3], fra.me.REG[9]);
REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 52);
}
CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[9]);
}
/* analysis/inline_methods.nit:54 */
fra.me.REG[9] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 54);
}
CALL_standard___collection___list___ListIterator___delete(fra.me.REG[9])(fra.me.REG[9]);
/* analysis/inline_methods.nit:55 */
CALL_icode___icode_builder___ICodeBuilder___seq__eq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[6]);
/* analysis/inline_methods.nit:56 */
CALL_icode___icode_tools___ICodeVisitor___visit_icode(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[7]);
}
}
}
/* analysis/inline_methods.nit:60 */
CALL_SUPER_analysis___inline_methods___InlineMethodVisitor___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
stack_frame_head = fra.me.prev;
return;
}
