/* This C file is generated by NIT to compile module genericity. */
#include "genericity._sep.h"
-val_t genericity___MMLocalClass___get_type(val_t p0){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
- fra.me.line = 80;
- fra.me.meth = LOCATE_genericity___MMLocalClass___get_type;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = fra.me.REG[0];
- fra.me.REG[2] = ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]);
- REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
- /* ./metamodel//genericity.nit:82 */
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- if (UNTAG_Bool(REGB0)) {
- REGB0 = CALL_genericity___MMLocalClass___is_generic(fra.me.REG[1])(fra.me.REG[1]);
- } else {
- REGB1 = TAG_Bool(false);
- REGB0 = REGB1;
- }
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[2] = CALL_genericity___MMLocalClass___formals_types(fra.me.REG[1])(fra.me.REG[1]);
- fra.me.REG[2] = CALL_genericity___MMLocalClass___get_instantiate_type(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
- /* ./metamodel//genericity.nit:83 */
- ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]) = fra.me.REG[2];
- fra.me.REG[1] = ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]);
- REGB0 = TAG_Bool((fra.me.REG[1]!=NIT_NULL) && VAL_ISA(fra.me.REG[1], COLOR_MMType, ID_MMType)) /*cast MMType*/;
- /* ./metamodel//genericity.nit:84 */
- if (UNTAG_Bool(REGB0)) {
- } else {
- fprintf(stderr, "Cast failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 84);
- nit_exit(1);
- }
- goto label1;
- } else {
- fra.me.REG[0] = CALL_SUPER_genericity___MMLocalClass___get_type(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[1] = fra.me.REG[0];
- /* ./metamodel//genericity.nit:86 */
- goto label1;
- }
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[1];
-}
val_t genericity___MMLocalClass___get_formal(val_t p0, val_t p1){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
REGB0 = p1;
+ /* ./metamodel//genericity.nit:28 */
fra.me.REG[0] = CALL_genericity___MMLocalClass___formals_types(fra.me.REG[0])(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:245 */
REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
+ /* ./../lib/standard//collection//array.nit:245 */
if (UNTAG_Bool(REGB1)) {
REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:212 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
} else {
+ /* ./../lib/standard//collection//array.nit:245 */
REGB2 = TAG_Bool(false);
REGB1 = REGB2;
}
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
+ /* ./../lib/standard//collection//array.nit:246 */
fra.me.REG[0] = ATTR_array___Array____items(fra.me.REG[0]);
REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
if (UNTAG_Bool(REGB1)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
+ /* ./../lib/standard//collection//array.nit:654 */
fra.me.REG[0] = ((Nit_NativeArray)fra.me.REG[0])->val[UNTAG_Int(REGB0)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:246 */
goto label1;
label1: while(0);
/* ./metamodel//genericity.nit:28 */
fra.me.REG[2] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:35 */
fra.me.REG[2] = CALL_genericity___MMTypeFormalParameter___def_class(fra.me.REG[1])(fra.me.REG[1]);
REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[0]));
- /* ./metamodel//genericity.nit:35 */
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
}
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Assert failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 35);
- nit_exit(1);
+ nit_abort("Assert failed", NULL, LOCATE_genericity, 35);
}
+ /* ./metamodel//genericity.nit:36 */
REGB0 = CALL_genericity___MMTypeFormalParameter___position(fra.me.REG[1])(fra.me.REG[1]);
REGB1 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:36 */
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_formals_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 36);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_formals_types", LOCATE_genericity, 36);
}
fra.me.REG[2] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
/* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
- REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
/* ./metamodel//genericity.nit:36 */
+ REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
if (UNTAG_Bool(REGB2)) {
} else {
+ /* ./../lib/standard//kernel.nit:207 */
REGB1 = TAG_Bool((REGB0)==(REGB1));
+ /* ./metamodel//genericity.nit:36 */
REGB2 = REGB1;
- /* ./metamodel//genericity.nit:36 */
}
if (UNTAG_Bool(REGB2)) {
} else {
- fprintf(stderr, "Assert failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 36);
- nit_exit(1);
+ nit_abort("Assert failed", NULL, LOCATE_genericity, 36);
}
- REGB2 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:37 */
+ REGB2 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB2)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_formals_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 37);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_formals_types", LOCATE_genericity, 37);
}
fra.me.REG[0] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
- array___Array___add(fra.me.REG[0], fra.me.REG[1]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
stack_frame_head = fra.me.prev;
return;
}
val_t genericity___MMLocalClass___get_instantiate_type(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ 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_genericity;
fra.me.line = 43;
fra.me.meth = LOCATE_genericity___MMLocalClass___get_instantiate_type;
fra.me.has_broke = 0;
- fra.me.REG_size = 4;
+ fra.me.REG_size = 5;
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;
- REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____types(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:46 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____types(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 46);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_types", LOCATE_genericity, 46);
}
fra.me.REG[2] = ATTR_genericity___MMLocalClass____types(fra.me.REG[0]);
- fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./../lib/standard//collection//array.nit:234 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//collection//array.nit:235 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//collection//array.nit:236 */
+ fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[2]);
+ /* ./../lib/standard//collection//array.nit:237 */
while(1) {
- REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
- REGB0 = CALL_genericity___MMTypeGeneric___params_equals(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:237 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//array.nit:238 */
+ REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
/* ./metamodel//genericity.nit:47 */
- if (UNTAG_Bool(REGB0)) {
+ REGB1 = CALL_genericity___MMTypeGeneric___params_equals(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB1)) {
goto label1;
}
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB0 = REGB1;
} else {
- /* ./metamodel//genericity.nit:46 */
+ /* ./../lib/standard//collection//array.nit:237 */
goto label2;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
}
label2: while(0);
+ /* ./metamodel//genericity.nit:49 */
fra.me.REG[1] = NEW_MMTypeGeneric_genericity___MMTypeGeneric___init(fra.me.REG[0], fra.me.REG[1]);
- REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____types(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:50 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____types(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 50);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_types", LOCATE_genericity, 50);
}
fra.me.REG[0] = ATTR_genericity___MMLocalClass____types(fra.me.REG[0]);
- array___Array___add(fra.me.REG[0], fra.me.REG[1]);
- fra.me.REG[3] = fra.me.REG[1];
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
/* ./metamodel//genericity.nit:51 */
+ fra.me.REG[4] = fra.me.REG[1];
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
- return fra.me.REG[3];
+ return fra.me.REG[4];
}
val_t genericity___MMLocalClass___formals_types(val_t p0){
- struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_genericity;
fra.me.line = 57;
fra.me.meth = LOCATE_genericity___MMLocalClass___formals_types;
fra.me.has_broke = 0;
- fra.me.REG_size = 5;
+ fra.me.REG_size = 4;
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;
- REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:61 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_formals_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 61);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_formals_types", LOCATE_genericity, 61);
}
fra.me.REG[1] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
REGB0 = CALL_abstract_collection___Collection___is_empty(fra.me.REG[1])(fra.me.REG[1]);
if (UNTAG_Bool(REGB0)) {
+ /* ./metamodel//genericity.nit:62 */
REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_MMConcreteClass, ID_MMConcreteClass)) /*cast MMConcreteClass*/;
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- /* ./metamodel//genericity.nit:62 */
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Assert failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 62);
- nit_exit(1);
+ nit_abort("Assert failed", NULL, LOCATE_genericity, 62);
}
+ /* ./metamodel//genericity.nit:65 */
REGB0 = TAG_Int(0);
REGB1 = CALL_abstractmetamodel___MMLocalClass___arity(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[1] = NEW_Range_range___Range___without_last(REGB0, REGB1);
- fra.me.REG[1] = CALL_abstract_collection___Collection___iterator(fra.me.REG[1])(fra.me.REG[1]);
- /* ./metamodel//genericity.nit:65 */
+ /* ./../lib/standard//kernel.nit:332 */
while(1) {
- REGB1 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]);
- fra.me.REG[2] = CALL_abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[2] = CALL_abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[2] = CALL_genericity___MMLocalClass___get_formal(fra.me.REG[2])(fra.me.REG[2], REGB1);
- fra.me.REG[2] = CALL_type_formal___MMTypeFormal___name(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[2] = NEW_MMTypeFormalParameter_genericity___MMTypeFormalParameter___init(fra.me.REG[2], REGB1, fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//kernel.nit:332 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./metamodel//genericity.nit:65 */
+ REGB2 = REGB0;
+ /* ./metamodel//genericity.nit:66 */
+ fra.me.REG[1] = CALL_abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_abstractmetamodel___MMGlobalClass___intro(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[1] = CALL_genericity___MMLocalClass___get_formal(fra.me.REG[1])(fra.me.REG[1], REGB2);
+ /* ./metamodel//genericity.nit:67 */
+ fra.me.REG[1] = CALL_type_formal___MMTypeFormal___name(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[1] = NEW_MMTypeFormalParameter_genericity___MMTypeFormalParameter___init(fra.me.REG[1], REGB2, fra.me.REG[0]);
/* ./metamodel//genericity.nit:68 */
- CALL_genericity___MMLocalClass___register_formal(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+ CALL_genericity___MMLocalClass___register_formal(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB0 = REGB2;
} else {
- /* ./metamodel//genericity.nit:65 */
+ /* ./../lib/standard//kernel.nit:332 */
goto label1;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
}
label1: while(0);
- REGB1 = TAG_Int(0);
- REGB0 = CALL_abstractmetamodel___MMLocalClass___arity(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[1] = NEW_Range_range___Range___without_last(REGB1, REGB0);
- fra.me.REG[1] = CALL_abstract_collection___Collection___iterator(fra.me.REG[1])(fra.me.REG[1]);
/* ./metamodel//genericity.nit:71 */
+ REGB0 = TAG_Int(0);
+ REGB1 = CALL_abstractmetamodel___MMLocalClass___arity(fra.me.REG[0])(fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:332 */
while(1) {
- REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]);
- if (UNTAG_Bool(REGB0)) {
- REGB0 = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]);
- fra.me.REG[2] = CALL_abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[2] = CALL_abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[2] = CALL_genericity___MMLocalClass___get_formal(fra.me.REG[2])(fra.me.REG[2], REGB0);
- REGB1 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//kernel.nit:332 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./metamodel//genericity.nit:71 */
+ REGB2 = REGB0;
+ /* ./metamodel//genericity.nit:72 */
+ fra.me.REG[1] = CALL_abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_abstractmetamodel___MMGlobalClass___intro(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[1] = CALL_genericity___MMLocalClass___get_formal(fra.me.REG[1])(fra.me.REG[1], REGB2);
/* ./metamodel//genericity.nit:73 */
- if (UNTAG_Bool(REGB1)) {
+ REGB3 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_formals_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 73);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_formals_types", LOCATE_genericity, 73);
}
- fra.me.REG[3] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
- REGB1 = TAG_Int(0);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
+ fra.me.REG[2] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB3 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB3));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB3)) {
+ REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
- REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
+ REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB3));
} else {
- REGB2 = TAG_Bool(false);
- REGB1 = REGB2;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB4 = TAG_Bool(false);
+ REGB3 = REGB4;
}
- if (UNTAG_Bool(REGB1)) {
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
- REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB1)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB3 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB2)];
+ /* ./../lib/standard//collection//array.nit:246 */
goto label2;
label2: while(0);
- fra.me.REG[2] = CALL_type_formal___MMTypeFormal___bound(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[4] = CALL_abstractmetamodel___MMLocalClass___module(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[4] = CALL_static_type___MMType___for_module(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
/* ./metamodel//genericity.nit:74 */
- CALL_genericity___MMTypeFormalParameter___bound__eq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
+ fra.me.REG[1] = CALL_type_formal___MMTypeFormal___bound(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[3] = CALL_abstractmetamodel___MMLocalClass___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[3] = CALL_static_type___MMType___for_module(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+ CALL_genericity___MMTypeFormalParameter___bound__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB0 = REGB2;
} else {
- /* ./metamodel//genericity.nit:71 */
+ /* ./../lib/standard//kernel.nit:332 */
goto label3;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
}
label3: while(0);
}
- REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:77 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_formals_types");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 77);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_formals_types", LOCATE_genericity, 77);
}
fra.me.REG[0] = ATTR_genericity___MMLocalClass____formals_types(fra.me.REG[0]);
goto label4;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
+val_t genericity___MMLocalClass___get_type(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
+ fra.me.line = 80;
+ fra.me.meth = LOCATE_genericity___MMLocalClass___get_type;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:80 */
+ fra.me.REG[1] = fra.me.REG[0];
+ /* ./metamodel//genericity.nit:82 */
+ fra.me.REG[2] = ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]);
+ 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(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = CALL_genericity___MMLocalClass___is_generic(fra.me.REG[1])(fra.me.REG[1]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./metamodel//genericity.nit:83 */
+ fra.me.REG[2] = CALL_genericity___MMLocalClass___formals_types(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[2] = CALL_genericity___MMLocalClass___get_instantiate_type(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]) = fra.me.REG[2];
+ /* ./metamodel//genericity.nit:84 */
+ fra.me.REG[1] = ATTR_static_type___MMLocalClass____base_type_cache(fra.me.REG[1]);
+ REGB0 = TAG_Bool((fra.me.REG[1]!=NIT_NULL) && VAL_ISA(fra.me.REG[1], COLOR_MMType, ID_MMType)) /*cast MMType*/;
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Cast failed", NULL, LOCATE_genericity, 84);
+ }
+ goto label1;
+ } else {
+ /* ./metamodel//genericity.nit:86 */
+ fra.me.REG[0] = CALL_SUPER_genericity___MMLocalClass___get_type(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];
+}
val_t genericity___MMLocalClass___is_generic(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
fra.me.REG_size = 1;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:91 */
REGB0 = CALL_abstractmetamodel___MMLocalClass___arity(fra.me.REG[0])(fra.me.REG[0]);
REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:214 */
REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
/* ./metamodel//genericity.nit:91 */
goto label1;
fra.me.has_broke = 0;
fra.me.REG_size = 0;
/* ./metamodel//genericity.nit:95 */
- fprintf(stderr, "Deferred method called");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 95);
- nit_exit(1);
+ nit_abort("Deferred method called", NULL, LOCATE_genericity, 95);
stack_frame_head = fra.me.prev;
return NIT_NULL;
}
fra.me.REG_size = 1;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:100 */
fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
- /* ./metamodel//genericity.nit:100 */
if (UNTAG_Bool(REGB0)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 100);
- nit_exit(1);
+ nit_abort("Reciever is null", NULL, LOCATE_genericity, 100);
}
REGB0 = CALL_genericity___MMType___is_generic(fra.me.REG[0])(fra.me.REG[0]);
goto label1;
fra.me.REG_size = 1;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(false);
/* ./metamodel//genericity.nit:104 */
+ REGB0 = TAG_Bool(false);
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return REGB0;
}
-val_t genericity___MMTypeGeneric___to_s(val_t p0){
+val_t genericity___MMTypeGeneric___params(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 109;
+ fra.me.meth = LOCATE_genericity___MMTypeGeneric___params;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:109 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 109);
+ }
+ fra.me.REG[0] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t genericity___MMTypeGeneric___is_generic(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 112;
+ fra.me.meth = LOCATE_genericity___MMTypeGeneric___is_generic;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:112 */
+ REGB0 = TAG_Bool(true);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}
+val_t genericity___MMTypeGeneric___is_supertype(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;
- static val_t once_value_1; /* Once value */
- static val_t once_value_2; /* Once value */
- static val_t once_value_3; /* Once value */
- static val_t once_value_4; /* Once value */
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_genericity;
- fra.me.line = 171;
- fra.me.meth = LOCATE_genericity___MMTypeGeneric___to_s;
- fra.me.has_broke = 0;
- fra.me.REG_size = 4;
- 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] = fra.me.REG[0];
- REGB0 = TAG_Int(5);
- fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
- /* ./metamodel//genericity.nit:173 */
- if (!once_value_1) {
- fra.me.REG[3] = BOX_NativeString("");
- REGB0 = TAG_Int(0);
- fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
- once_value_1 = fra.me.REG[3];
- register_static_object(&once_value_1);
- } else fra.me.REG[3] = once_value_1;
- array___Array___add(fra.me.REG[2], fra.me.REG[3]);
- fra.me.REG[0] = CALL_SUPER_genericity___MMTypeGeneric___to_s(fra.me.REG[0])(fra.me.REG[0]);
- array___Array___add(fra.me.REG[2], fra.me.REG[0]);
- if (!once_value_2) {
- fra.me.REG[0] = BOX_NativeString("[");
- REGB0 = TAG_Int(1);
- fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
- once_value_2 = fra.me.REG[0];
- register_static_object(&once_value_2);
- } else fra.me.REG[0] = once_value_2;
- array___Array___add(fra.me.REG[2], fra.me.REG[0]);
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[1])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 173);
- nit_exit(1);
- }
- fra.me.REG[1] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[1]);
- if (!once_value_3) {
- fra.me.REG[0] = BOX_NativeString(", ");
- REGB0 = TAG_Int(2);
- fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
- once_value_3 = fra.me.REG[0];
- register_static_object(&once_value_3);
- } else fra.me.REG[0] = once_value_3;
- fra.me.REG[0] = CALL_string___Collection___join(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
- array___Array___add(fra.me.REG[2], fra.me.REG[0]);
- if (!once_value_4) {
- fra.me.REG[0] = BOX_NativeString("]");
- REGB0 = TAG_Int(1);
- fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
- once_value_4 = fra.me.REG[0];
- register_static_object(&once_value_4);
- } else fra.me.REG[0] = once_value_4;
- array___Array___add(fra.me.REG[2], fra.me.REG[0]);
- fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
- goto label5;
- label5: while(0);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[2];
-}
-val_t genericity___MMTypeGeneric___is_supertype(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_genericity;
- fra.me.line = 114;
- fra.me.meth = LOCATE_genericity___MMTypeGeneric___is_supertype;
+ fra.me.line = 114;
+ fra.me.meth = LOCATE_genericity___MMTypeGeneric___is_supertype;
fra.me.has_broke = 0;
fra.me.REG_size = 4;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[3] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:116 */
fra.me.REG[2] = CALL_static_type___MMType___local_class(fra.me.REG[1])(fra.me.REG[1]);
fra.me.REG[2] = CALL_abstractmetamodel___MMLocalClass___cshe(fra.me.REG[2])(fra.me.REG[2]);
REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:116 */
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_local_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 116);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_genericity, 116);
}
fra.me.REG[3] = ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0]);
REGB0 = CALL_partial_order___PartialOrderElement_____leq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:117 */
+ REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_local_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 117);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_genericity, 117);
}
fra.me.REG[3] = ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0]);
fra.me.REG[3] = CALL_static_type___MMType___upcast_for(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_MMTypeGeneric, ID_MMTypeGeneric)) /*cast MMTypeGeneric*/;
/* ./metamodel//genericity.nit:118 */
+ REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_MMTypeGeneric, ID_MMTypeGeneric)) /*cast MMTypeGeneric*/;
if (UNTAG_Bool(REGB0)) {
- REGB0 = CALL_genericity___MMTypeGeneric___is_subtype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
/* ./metamodel//genericity.nit:119 */
+ REGB0 = CALL_genericity___MMTypeGeneric___is_subtype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
goto label1;
}
}
+ /* ./metamodel//genericity.nit:122 */
REGB1 = TAG_Bool(false);
REGB0 = REGB1;
- /* ./metamodel//genericity.nit:122 */
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return REGB0;
}
+val_t genericity___MMTypeGeneric___upcast_for(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
+ fra.me.line = 125;
+ fra.me.meth = LOCATE_genericity___MMTypeGeneric___upcast_for;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:125 */
+ fra.me.REG[2] = fra.me.REG[0];
+ /* ./metamodel//genericity.nit:127 */
+ fra.me.REG[1] = CALL_SUPER_genericity___MMTypeGeneric___upcast_for(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ /* ./metamodel//genericity.nit:128 */
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[2]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ REGB0 = REGB1;
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ /* ./metamodel//genericity.nit:129 */
+ fra.me.REG[2] = CALL_static_type___MMType___adapt_to(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ fra.me.REG[1] = fra.me.REG[2];
+ }
+ /* ./metamodel//genericity.nit:131 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
+}
val_t genericity___MMTypeGeneric___for_module(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+ struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
val_t REGB0;
val_t REGB1;
val_t tmp;
fra.me.line = 134;
fra.me.meth = LOCATE_genericity___MMTypeGeneric___for_module;
fra.me.has_broke = 0;
- fra.me.REG_size = 6;
+ 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;
+ /* ./metamodel//genericity.nit:136 */
fra.me.REG[2] = fra.me.REG[0];
- fra.me.REG[3] = CALL_static_type___MMType___module(fra.me.REG[0])(fra.me.REG[0]);
- REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[1]));
/* ./metamodel//genericity.nit:137 */
+ fra.me.REG[3] = CALL_static_type___MMType___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[1]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
+ /* ./metamodel//genericity.nit:138 */
fra.me.REG[3] = NEW_Array_array___Array___init();
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:139 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 139);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 139);
}
fra.me.REG[4] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- fra.me.REG[4] = CALL_abstract_collection___Collection___iterator(fra.me.REG[4])(fra.me.REG[4]);
+ /* ./../lib/standard//collection//array.nit:234 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//collection//array.nit:235 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
+ /* ./../lib/standard//collection//array.nit:236 */
+ fra.me.REG[5] = ATTR_array___Array____items(fra.me.REG[4]);
+ /* ./../lib/standard//collection//array.nit:237 */
while(1) {
- REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[4])(fra.me.REG[4]);
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[5] = CALL_abstract_collection___Iterator___item(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[5] = CALL_static_type___MMType___for_module(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[1]);
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:237 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//array.nit:238 */
+ REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[6] = ((Nit_NativeArray)fra.me.REG[5])->val[UNTAG_Int(REGB0)];
/* ./metamodel//genericity.nit:140 */
- array___Array___add(fra.me.REG[3], fra.me.REG[5]);
+ fra.me.REG[6] = CALL_static_type___MMType___for_module(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[1]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[6]);
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB0 = REGB1;
} else {
- /* ./metamodel//genericity.nit:139 */
+ /* ./../lib/standard//collection//array.nit:237 */
goto label1;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[4])(fra.me.REG[4]);
}
label1: while(0);
- REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:142 */
+ REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_local_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 142);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_genericity, 142);
}
fra.me.REG[0] = ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0]);
fra.me.REG[1] = CALL_abstractmetamodel___MMLocalClass___for_module(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ /* ./metamodel//genericity.nit:143 */
fra.me.REG[3] = CALL_genericity___MMLocalClass___get_instantiate_type(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
fra.me.REG[2] = fra.me.REG[3];
- /* ./metamodel//genericity.nit:143 */
}
/* ./metamodel//genericity.nit:145 */
goto label2;
return fra.me.REG[2];
}
val_t genericity___MMTypeGeneric___adapt_to(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ struct {struct stack_frame_t me; val_t MORE_REG[5];} 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_genericity;
fra.me.line = 148;
fra.me.meth = LOCATE_genericity___MMTypeGeneric___adapt_to;
fra.me.has_broke = 0;
- fra.me.REG_size = 5;
+ fra.me.REG_size = 6;
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[0] = p0;
fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:150 */
fra.me.REG[2] = NEW_Array_array___Array___init();
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:151 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 151);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 151);
}
fra.me.REG[3] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- fra.me.REG[3] = CALL_abstract_collection___Collection___iterator(fra.me.REG[3])(fra.me.REG[3]);
+ /* ./../lib/standard//collection//array.nit:234 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//collection//array.nit:235 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ /* ./../lib/standard//collection//array.nit:236 */
+ fra.me.REG[4] = ATTR_array___Array____items(fra.me.REG[3]);
+ /* ./../lib/standard//collection//array.nit:237 */
while(1) {
- REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[3])(fra.me.REG[3]);
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[4] = CALL_abstract_collection___Iterator___item(fra.me.REG[3])(fra.me.REG[3]);
- fra.me.REG[4] = CALL_static_type___MMType___adapt_to(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[1]);
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:237 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//array.nit:238 */
+ REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
/* ./metamodel//genericity.nit:152 */
- array___Array___add(fra.me.REG[2], fra.me.REG[4]);
+ fra.me.REG[5] = CALL_static_type___MMType___adapt_to(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[1]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB0 = REGB1;
} else {
- /* ./metamodel//genericity.nit:151 */
+ /* ./../lib/standard//collection//array.nit:237 */
goto label1;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[3])(fra.me.REG[3]);
}
label1: while(0);
- REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:154 */
+ REGB0 = TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_local_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 154);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_genericity, 154);
}
fra.me.REG[0] = ATTR_static_type___MMTypeClass____local_class(fra.me.REG[0]);
fra.me.REG[2] = CALL_genericity___MMLocalClass___get_instantiate_type(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
stack_frame_head = fra.me.prev;
return fra.me.REG[2];
}
-val_t genericity___MMTypeGeneric___upcast_for(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
- fra.me.line = 125;
- fra.me.meth = LOCATE_genericity___MMTypeGeneric___upcast_for;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- fra.me.REG[2] = fra.me.REG[0];
- fra.me.REG[1] = CALL_SUPER_genericity___MMTypeGeneric___upcast_for(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[2]));
- /* ./metamodel//genericity.nit:128 */
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
- REGB0 = REGB1;
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[2] = CALL_static_type___MMType___adapt_to(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
- fra.me.REG[1] = fra.me.REG[2];
- /* ./metamodel//genericity.nit:129 */
- }
- /* ./metamodel//genericity.nit:131 */
- goto label1;
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[1];
-}
-val_t genericity___MMTypeGeneric___is_generic(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_genericity;
- fra.me.line = 112;
- fra.me.meth = LOCATE_genericity___MMTypeGeneric___is_generic;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(true);
- /* ./metamodel//genericity.nit:112 */
- goto label1;
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return REGB0;
-}
-val_t genericity___MMTypeGeneric___params(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_genericity;
- fra.me.line = 109;
- fra.me.meth = LOCATE_genericity___MMTypeGeneric___params;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:109 */
- if (UNTAG_Bool(REGB0)) {
- } else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 109);
- nit_exit(1);
- }
- fra.me.REG[0] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
val_t genericity___MMTypeGeneric___params_equals(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t REGB3;
val_t REGB4;
+ val_t REGB5;
+ val_t REGB6;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_genericity;
fra.me.line = 158;
fra.me.meth = LOCATE_genericity___MMTypeGeneric___params_equals;
fra.me.has_broke = 0;
- fra.me.REG_size = 5;
+ fra.me.REG_size = 4;
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;
- REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
/* ./../lib/standard//collection//array.nit:23 */
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
- REGB1 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:160 */
+ REGB1 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 160);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 160);
}
fra.me.REG[2] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
/* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
- REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
/* ./metamodel//genericity.nit:160 */
+ REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
if (UNTAG_Bool(REGB2)) {
} else {
+ /* ./../lib/standard//kernel.nit:207 */
REGB1 = TAG_Bool((REGB0)==(REGB1));
+ /* ./metamodel//genericity.nit:160 */
REGB2 = REGB1;
- /* ./metamodel//genericity.nit:160 */
}
REGB2 = TAG_Bool(!UNTAG_Bool(REGB2));
if (UNTAG_Bool(REGB2)) {
- REGB2 = TAG_Bool(false);
/* ./metamodel//genericity.nit:161 */
+ REGB2 = TAG_Bool(false);
goto label1;
}
+ /* ./metamodel//genericity.nit:163 */
REGB1 = TAG_Int(0);
- REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
/* ./../lib/standard//collection//array.nit:23 */
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
- fra.me.REG[2] = NEW_Range_range___Range___without_last(REGB1, REGB0);
- fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
- /* ./metamodel//genericity.nit:163 */
+ /* ./../lib/standard//kernel.nit:332 */
while(1) {
- REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
- if (UNTAG_Bool(REGB0)) {
- REGB0 = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
- REGB1 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
+ /* ./../lib/standard//kernel.nit:332 */
+ if (UNTAG_Bool(REGB3)) {
+ /* ./metamodel//genericity.nit:163 */
+ REGB3 = REGB1;
/* ./metamodel//genericity.nit:164 */
- if (UNTAG_Bool(REGB1)) {
+ REGB4 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 164);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 164);
}
- fra.me.REG[3] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- REGB1 = REGB0;
- REGB3 = TAG_Int(0);
- REGB3 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB3));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB3)) {
- REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
- if (UNTAG_Bool(REGB3)) {
+ fra.me.REG[2] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:243 */
+ REGB4 = REGB3;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)>=UNTAG_Int(REGB5));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
- REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
- REGB3 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB3));
- /* ./../lib/standard//collection//array.nit:233 */
+ REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)<UNTAG_Int(REGB5));
} else {
- REGB4 = TAG_Bool(false);
- REGB3 = REGB4;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB6 = TAG_Bool(false);
+ REGB5 = REGB6;
}
- if (UNTAG_Bool(REGB3)) {
+ if (UNTAG_Bool(REGB5)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
- REGB3 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB3)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB1)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB4)];
+ /* ./../lib/standard//collection//array.nit:246 */
goto label2;
label2: while(0);
- fra.me.REG[4] = fra.me.REG[1];
- REGB1 = TAG_Int(0);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//array.nit:243 */
+ fra.me.REG[3] = fra.me.REG[1];
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB4 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB4));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
- REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
+ REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB4));
} else {
- REGB3 = TAG_Bool(false);
- REGB1 = REGB3;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Bool(false);
+ REGB4 = REGB5;
}
- if (UNTAG_Bool(REGB1)) {
+ if (UNTAG_Bool(REGB4)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- fra.me.REG[4] = ATTR_array___Array____items(fra.me.REG[4]);
- REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB1)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
+ REGB4 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB3)];
+ /* ./../lib/standard//collection//array.nit:246 */
goto label3;
label3: while(0);
- REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[3],fra.me.REG[4]));
/* ./metamodel//genericity.nit:164 */
- if (UNTAG_Bool(REGB0)) {
+ REGB3 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[2],fra.me.REG[3]));
+ if (UNTAG_Bool(REGB3)) {
} else {
- REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
- REGB0 = REGB1;
+ REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(false);
+ REGB3 = REGB4;
} else {
- REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
- REGB0 = REGB1;
+ REGB4 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+ REGB3 = REGB4;
}
}
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(false);
- REGB2 = REGB0;
+ REGB3 = TAG_Bool(!UNTAG_Bool(REGB3));
+ if (UNTAG_Bool(REGB3)) {
/* ./metamodel//genericity.nit:165 */
+ REGB3 = TAG_Bool(false);
+ REGB2 = REGB3;
goto label1;
}
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB1 = REGB3;
} else {
- /* ./metamodel//genericity.nit:163 */
+ /* ./../lib/standard//kernel.nit:332 */
goto label4;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
}
label4: while(0);
- REGB0 = TAG_Bool(true);
- REGB2 = REGB0;
/* ./metamodel//genericity.nit:168 */
+ REGB1 = TAG_Bool(true);
+ REGB2 = REGB1;
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
return REGB2;
}
+val_t genericity___MMTypeGeneric___to_s(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t REGB0;
+ val_t tmp;
+ static val_t once_value_1; /* Once value */
+ static val_t once_value_2; /* Once value */
+ static val_t once_value_3; /* Once value */
+ static val_t once_value_4; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 171;
+ fra.me.meth = LOCATE_genericity___MMTypeGeneric___to_s;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ 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;
+ /* ./metamodel//genericity.nit:171 */
+ fra.me.REG[1] = fra.me.REG[0];
+ /* ./metamodel//genericity.nit:173 */
+ REGB0 = TAG_Int(5);
+ fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
+ if (!once_value_1) {
+ fra.me.REG[3] = BOX_NativeString("");
+ REGB0 = TAG_Int(0);
+ fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
+ once_value_1 = fra.me.REG[3];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[3] = once_value_1;
+ fra.me.REG[3] = fra.me.REG[3];
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+ fra.me.REG[0] = CALL_SUPER_genericity___MMTypeGeneric___to_s(fra.me.REG[0])(fra.me.REG[0]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+ if (!once_value_2) {
+ fra.me.REG[0] = BOX_NativeString("[");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+ once_value_2 = fra.me.REG[0];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[0] = once_value_2;
+ fra.me.REG[0] = fra.me.REG[0];
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 173);
+ }
+ fra.me.REG[1] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[1]);
+ if (!once_value_3) {
+ fra.me.REG[0] = BOX_NativeString(", ");
+ REGB0 = TAG_Int(2);
+ fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+ once_value_3 = fra.me.REG[0];
+ register_static_object(&once_value_3);
+ } else fra.me.REG[0] = once_value_3;
+ fra.me.REG[0] = fra.me.REG[0];
+ fra.me.REG[0] = CALL_string___Collection___join(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+ if (!once_value_4) {
+ fra.me.REG[0] = BOX_NativeString("]");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+ once_value_4 = fra.me.REG[0];
+ register_static_object(&once_value_4);
+ } else fra.me.REG[0] = once_value_4;
+ fra.me.REG[0] = fra.me.REG[0];
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+ fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
+ goto label5;
+ label5: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
+}
val_t genericity___MMTypeGeneric___is_subtype(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
val_t REGB0;
val_t REGB1;
val_t REGB2;
val_t REGB3;
+ val_t REGB4;
+ val_t REGB5;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_genericity;
fra.me.line = 176;
fra.me.meth = LOCATE_genericity___MMTypeGeneric___is_subtype;
fra.me.has_broke = 0;
- fra.me.REG_size = 5;
+ fra.me.REG_size = 4;
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;
+ /* ./metamodel//genericity.nit:180 */
REGB0 = TAG_Int(0);
REGB1 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:180 */
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 180);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 180);
}
fra.me.REG[2] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
/* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
- fra.me.REG[2] = NEW_Range_range___Range___without_last(REGB0, REGB1);
- fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
- /* ./metamodel//genericity.nit:180 */
+ /* ./../lib/standard//kernel.nit:332 */
while(1) {
- REGB1 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[3] = CALL_genericity___MMTypeGeneric___params(fra.me.REG[1])(fra.me.REG[1]);
- REGB0 = REGB1;
- REGB2 = TAG_Int(0);
- REGB2 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB2));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB2)) {
- REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
- if (UNTAG_Bool(REGB2)) {
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//kernel.nit:332 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./metamodel//genericity.nit:180 */
+ REGB2 = REGB0;
+ /* ./metamodel//genericity.nit:182 */
+ fra.me.REG[2] = CALL_genericity___MMTypeGeneric___params(fra.me.REG[1])(fra.me.REG[1]);
+ /* ./../lib/standard//collection//array.nit:243 */
+ REGB3 = REGB2;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB4 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB4));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
- REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
- REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
- /* ./../lib/standard//collection//array.nit:233 */
+ REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB4));
} else {
- REGB3 = TAG_Bool(false);
- REGB2 = REGB3;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Bool(false);
+ REGB4 = REGB5;
}
- if (UNTAG_Bool(REGB2)) {
+ if (UNTAG_Bool(REGB4)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
- REGB2 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB2)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB3)];
+ /* ./../lib/standard//collection//array.nit:246 */
goto label1;
label1: while(0);
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:182 */
- if (UNTAG_Bool(REGB0)) {
+ REGB3 = TAG_Bool(ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_params");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 182);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_params", LOCATE_genericity, 182);
}
- fra.me.REG[4] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
- REGB0 = TAG_Int(0);
- REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[3] = ATTR_genericity___MMTypeGeneric____params(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB3 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB3));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB3)) {
+ REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
- REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
- REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
- /* ./../lib/standard//collection//array.nit:233 */
+ REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB3));
} else {
- REGB2 = TAG_Bool(false);
- REGB0 = REGB2;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB4 = TAG_Bool(false);
+ REGB3 = REGB4;
}
- if (UNTAG_Bool(REGB0)) {
+ if (UNTAG_Bool(REGB3)) {
} else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- fra.me.REG[4] = ATTR_array___Array____items(fra.me.REG[4]);
- REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB0)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
+ REGB3 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB1)];
- /* ./../lib/standard//collection//array.nit:234 */
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB2)];
+ /* ./../lib/standard//collection//array.nit:246 */
goto label2;
label2: while(0);
- REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
/* ./metamodel//genericity.nit:182 */
- if (UNTAG_Bool(REGB1)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 182);
- nit_exit(1);
+ REGB2 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ nit_abort("Reciever is null", NULL, LOCATE_genericity, 182);
}
- REGB1 = CALL_static_type___MMType_____l(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
- REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
+ REGB2 = CALL_static_type___MMType_____l(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+ REGB2 = TAG_Bool(!UNTAG_Bool(REGB2));
+ if (UNTAG_Bool(REGB2)) {
/* ./metamodel//genericity.nit:183 */
+ REGB2 = TAG_Bool(false);
goto label3;
}
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
+ /* ./../lib/standard//kernel.nit:334 */
+ REGB0 = REGB3;
} else {
- /* ./metamodel//genericity.nit:180 */
+ /* ./../lib/standard//kernel.nit:332 */
goto label4;
}
- CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
}
label4: while(0);
- REGB0 = TAG_Bool(true);
- REGB1 = REGB0;
/* ./metamodel//genericity.nit:186 */
+ REGB0 = TAG_Bool(true);
+ REGB2 = REGB0;
goto label3;
label3: while(0);
stack_frame_head = fra.me.prev;
- return REGB1;
+ return REGB2;
}
void genericity___MMTypeGeneric___init(val_t p0, val_t p1, val_t p2, int* init_table){
int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMTypeGeneric].i;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
fra.me.REG[2] = p2;
+ /* ./metamodel//genericity.nit:189 */
fra.me.REG[3] = fra.me.REG[0];
/* ./metamodel//genericity.nit:191 */
CALL_static_type___MMTypeClass___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], init_table);
init_table[itpos0] = 1;
return;
}
-val_t genericity___MMTypeFormalParameter___module(val_t p0){
+val_t genericity___MMTypeFormalParameter___def_class(val_t p0){
struct {struct stack_frame_t me;} fra;
val_t REGB0;
val_t tmp;
fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
fra.me.file = LOCATE_genericity;
- fra.me.line = 204;
- fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___module;
+ fra.me.line = 198;
+ fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___def_class;
fra.me.has_broke = 0;
fra.me.REG_size = 1;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:198 */
REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_def_class", LOCATE_genericity, 198);
+ }
+ fra.me.REG[0] = ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t genericity___MMTypeFormalParameter___position(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 201;
+ fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___position;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:201 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____position(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_position", LOCATE_genericity, 201);
+ }
+ REGB0 = ATTR_genericity___MMTypeFormalParameter____position(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}
+val_t genericity___MMTypeFormalParameter___mmmodule(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 204;
+ fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___mmmodule;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
/* ./metamodel//genericity.nit:204 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_def_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 204);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_def_class", LOCATE_genericity, 204);
}
fra.me.REG[0] = ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0]);
- fra.me.REG[0] = CALL_abstractmetamodel___MMLocalClass___module(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_abstractmetamodel___MMLocalClass___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
goto label1;
label1: while(0);
stack_frame_head = fra.me.prev;
fra.me.REG[3] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:208 */
fra.me.REG[2] = fra.me.REG[0];
- fra.me.REG[3] = CALL_static_type___MMType___module(fra.me.REG[0])(fra.me.REG[0]);
- REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[1]));
/* ./metamodel//genericity.nit:209 */
+ fra.me.REG[3] = CALL_static_type___MMType___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[1]));
if (UNTAG_Bool(REGB0)) {
} else {
REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
}
REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
if (UNTAG_Bool(REGB0)) {
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0])!=NIT_NULL);
/* ./metamodel//genericity.nit:210 */
+ REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0])!=NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_def_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 210);
- nit_exit(1);
+ nit_abort("Uninitialized attribute %s", "_def_class", LOCATE_genericity, 210);
}
fra.me.REG[3] = ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0]);
fra.me.REG[3] = CALL_abstractmetamodel___MMLocalClass___global(fra.me.REG[3])(fra.me.REG[3]);
stack_frame_head = fra.me.prev;
return fra.me.REG[2];
}
-val_t genericity___MMTypeFormalParameter___adapt_to(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
- fra.me.line = 223;
- fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___adapt_to;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- fra.me.REG[2] = CALL_type_formal___MMType___direct_type(fra.me.REG[1])(fra.me.REG[1]);
- fra.me.REG[1] = fra.me.REG[2];
- fra.me.REG[2] = CALL_genericity___MMTypeFormalParameter___def_class(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[2] = CALL_static_type___MMType___upcast_for(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_MMTypeGeneric, ID_MMTypeGeneric)) /*cast MMTypeGeneric*/;
- /* ./metamodel//genericity.nit:231 */
- if (UNTAG_Bool(REGB0)) {
- } else {
- fprintf(stderr, "Assert failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 231);
- nit_exit(1);
- }
- fra.me.REG[2] = CALL_genericity___MMTypeGeneric___params(fra.me.REG[2])(fra.me.REG[2]);
- REGB0 = CALL_genericity___MMTypeFormalParameter___position(fra.me.REG[0])(fra.me.REG[0]);
- REGB1 = TAG_Int(0);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- } else {
- fprintf(stderr, "Uninitialized attribute %s", "_length");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
- }
- REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
- REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
- /* ./../lib/standard//collection//array.nit:233 */
- } else {
- REGB2 = TAG_Bool(false);
- REGB1 = REGB2;
- }
- if (UNTAG_Bool(REGB1)) {
- } else {
- fprintf(stderr, "Assert %s failed", "'index'");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
- nit_exit(1);
- }
- fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
- REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
- /* ./../lib/standard//collection//array.nit:234 */
- if (UNTAG_Bool(REGB1)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
- nit_exit(1);
- }
- fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
- /* ./../lib/standard//collection//array.nit:234 */
- goto label1;
- label1: while(0);
- /* ./metamodel//genericity.nit:233 */
- goto label2;
- label2: while(0);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[2];
-}
val_t genericity___MMTypeFormalParameter___upcast_for(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t REGB0;
fra.me.REG[1] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:215 */
fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
- /* ./metamodel//genericity.nit:215 */
if (UNTAG_Bool(REGB0)) {
- fprintf(stderr, "Reciever is null");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 215);
- nit_exit(1);
+ nit_abort("Reciever is null", NULL, LOCATE_genericity, 215);
}
fra.me.REG[1] = CALL_static_type___MMType___upcast_for(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
goto label1;
stack_frame_head = fra.me.prev;
return fra.me.REG[1];
}
-val_t genericity___MMTypeFormalParameter___def_class(val_t p0){
- struct {struct stack_frame_t me;} fra;
+void genericity___MMTypeFormalParameter___bound__eq(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
- fra.me.line = 198;
- fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___def_class;
+ fra.me.line = 217;
+ fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___bound__eq;
fra.me.has_broke = 0;
- fra.me.REG_size = 1;
+ fra.me.REG_size = 3;
fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:198 */
+ fra.me.REG[1] = p1;
+ /* ./metamodel//genericity.nit:219 */
+ fra.me.REG[2] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_def_class");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 198);
- nit_exit(1);
+ REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+ REGB0 = REGB1;
+ }
}
- fra.me.REG[0] = ATTR_genericity___MMTypeFormalParameter____def_class(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-val_t genericity___MMTypeFormalParameter___position(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_genericity;
- fra.me.line = 201;
- fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___position;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(ATTR_genericity___MMTypeFormalParameter____position(fra.me.REG[0])!=NIT_NULL);
- /* ./metamodel//genericity.nit:201 */
if (UNTAG_Bool(REGB0)) {
} else {
- fprintf(stderr, "Uninitialized attribute %s", "_position");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 201);
- nit_exit(1);
+ nit_abort("Assert failed", NULL, LOCATE_genericity, 219);
}
- REGB0 = ATTR_genericity___MMTypeFormalParameter____position(fra.me.REG[0]);
+ /* ./metamodel//genericity.nit:220 */
+ ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]) = fra.me.REG[1];
stack_frame_head = fra.me.prev;
- return REGB0;
+ return;
}
-void genericity___MMTypeFormalParameter___bound__eq(val_t p0, val_t p1){
+val_t genericity___MMTypeFormalParameter___adapt_to(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_genericity;
- fra.me.line = 217;
- fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___bound__eq;
+ fra.me.line = 223;
+ fra.me.meth = LOCATE_genericity___MMTypeFormalParameter___adapt_to;
fra.me.has_broke = 0;
fra.me.REG_size = 3;
fra.me.REG[0] = NIT_NULL;
fra.me.REG[2] = NIT_NULL;
fra.me.REG[0] = p0;
fra.me.REG[1] = p1;
- fra.me.REG[2] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
- REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
- /* ./metamodel//genericity.nit:219 */
+ /* ./metamodel//genericity.nit:225 */
+ fra.me.REG[2] = CALL_type_formal___MMType___direct_type(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[1] = fra.me.REG[2];
+ /* ./metamodel//genericity.nit:226 */
+ fra.me.REG[2] = CALL_genericity___MMTypeFormalParameter___def_class(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_static_type___MMType___upcast_for(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ /* ./metamodel//genericity.nit:231 */
+ REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_MMTypeGeneric, ID_MMTypeGeneric)) /*cast MMTypeGeneric*/;
if (UNTAG_Bool(REGB0)) {
} else {
- REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ nit_abort("Assert failed", NULL, LOCATE_genericity, 231);
+ }
+ /* ./metamodel//genericity.nit:232 */
+ fra.me.REG[2] = CALL_genericity___MMTypeGeneric___params(fra.me.REG[2])(fra.me.REG[2]);
+ REGB0 = CALL_genericity___MMTypeFormalParameter___position(fra.me.REG[0])(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(false);
- REGB0 = REGB1;
} else {
- REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
- REGB0 = REGB1;
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
}
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB2 = TAG_Bool(false);
+ REGB1 = REGB2;
}
- if (UNTAG_Bool(REGB0)) {
+ if (UNTAG_Bool(REGB1)) {
} else {
- fprintf(stderr, "Assert failed");
- fprintf(stderr, " (%s:%d)\n", LOCATE_genericity, 219);
- nit_exit(1);
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- /* ./metamodel//genericity.nit:220 */
- ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label1;
+ label1: while(0);
+ /* ./metamodel//genericity.nit:233 */
+ goto label2;
+ label2: while(0);
stack_frame_head = fra.me.prev;
- return;
+ return fra.me.REG[2];
}
void genericity___MMTypeFormalParameter___with_bound(val_t p0, val_t p1, val_t p2, val_t p3, val_t p4, int* init_table){
int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMTypeFormalParameter].i;
fra.me.REG[1] = p1;
REGB0 = p2;
fra.me.REG[2] = p3;
+ /* ./metamodel//genericity.nit:242 */
fra.me.REG[3] = fra.me.REG[0];
/* ./metamodel//genericity.nit:244 */
CALL_type_formal___MMTypeFormal___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], NIT_NULL, init_table);
init_table[itpos2] = 1;
return;
}
+val_t genericity___MMTypeNone___is_generic(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_genericity;
+ fra.me.line = 251;
+ fra.me.meth = LOCATE_genericity___MMTypeNone___is_generic;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//genericity.nit:251 */
+ REGB0 = TAG_Bool(false);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}
val_t genericity___MMTypeNone___for_module(val_t p0, val_t p1){
struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
val_t tmp;
stack_frame_head = fra.me.prev;
return fra.me.REG[0];
}
-val_t genericity___MMTypeNone___is_generic(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_genericity;
- fra.me.line = 251;
- fra.me.meth = LOCATE_genericity___MMTypeNone___is_generic;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- REGB0 = TAG_Bool(false);
- /* ./metamodel//genericity.nit:251 */
- goto label1;
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return REGB0;
-}