X-Git-Url: http://nitlanguage.org diff --git a/c_src/string_search._sep.c b/c_src/string_search._sep.c index ec5d85b..8d3bc0b 100644 --- a/c_src/string_search._sep.c +++ b/c_src/string_search._sep.c @@ -10,9 +10,7 @@ val_t string_search___Pattern___search_index_in(val_t p0, val_t p1, val_t p2){ fra.me.has_broke = 0; fra.me.REG_size = 0; /* ./../lib/standard//string_search.nit:21 */ - fprintf(stderr, "Deferred method called"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 21); - nit_exit(1); + nit_abort("Deferred method called", NULL, LOCATE_string_search, 21); stack_frame_head = fra.me.prev; return NIT_NULL; } @@ -26,9 +24,7 @@ val_t string_search___Pattern___search_in(val_t p0, val_t p1, val_t p2){ fra.me.has_broke = 0; fra.me.REG_size = 0; /* ./../lib/standard//string_search.nit:26 */ - fprintf(stderr, "Deferred method called"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 26); - nit_exit(1); + nit_abort("Deferred method called", NULL, LOCATE_string_search, 26); stack_frame_head = fra.me.prev; return NIT_NULL; } @@ -50,7 +46,9 @@ val_t string_search___Pattern___search_all_in(val_t p0, val_t p1){ fra.me.REG[4] = NIT_NULL; fra.me.REG[0] = p0; fra.me.REG[1] = p1; + /* ./../lib/standard//string_search.nit:33 */ fra.me.REG[2] = NEW_Array_array___Array___init(); + /* ./../lib/standard//string_search.nit:34 */ REGB0 = TAG_Int(0); fra.me.REG[3] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0); /* ./../lib/standard//string_search.nit:35 */ @@ -70,13 +68,11 @@ val_t string_search___Pattern___search_all_in(val_t p0, val_t p1){ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0)); if (UNTAG_Bool(REGB0)) { /* ./../lib/standard//string_search.nit:36 */ - array___Array___add(fra.me.REG[2], fra.me.REG[3]); - REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]); /* ./../lib/standard//string_search.nit:37 */ + REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL); if (UNTAG_Bool(REGB0)) { - fprintf(stderr, "Reciever is null"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 37); - nit_exit(1); + nit_abort("Reciever is null", NULL, LOCATE_string_search, 37); } REGB0 = CALL_string_search___Match___after(fra.me.REG[3])(fra.me.REG[3]); fra.me.REG[4] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0); @@ -112,8 +108,11 @@ val_t string_search___Pattern___split_in(val_t p0, val_t p1){ fra.me.REG[4] = NIT_NULL; fra.me.REG[0] = p0; fra.me.REG[1] = p1; + /* ./../lib/standard//string_search.nit:45 */ fra.me.REG[2] = NEW_Array_array___Array___init(); + /* ./../lib/standard//string_search.nit:46 */ REGB0 = TAG_Int(0); + /* ./../lib/standard//string_search.nit:47 */ REGB1 = TAG_Int(0); fra.me.REG[3] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB1); /* ./../lib/standard//string_search.nit:48 */ @@ -132,49 +131,45 @@ val_t string_search___Pattern___split_in(val_t p0, val_t p1){ } REGB1 = TAG_Bool(!UNTAG_Bool(REGB1)); if (UNTAG_Bool(REGB1)) { - REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL); /* ./../lib/standard//string_search.nit:50 */ + REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL); if (UNTAG_Bool(REGB1)) { - fprintf(stderr, "Reciever is null"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 50); - nit_exit(1); + nit_abort("Reciever is null", NULL, LOCATE_string_search, 50); } REGB1 = CALL_string_search___Match___from(fra.me.REG[3])(fra.me.REG[3]); + /* ./../lib/standard//kernel.nit:217 */ REGB1 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0)); - fra.me.REG[4] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1); /* ./../lib/standard//string_search.nit:51 */ - array___Array___add(fra.me.REG[2], fra.me.REG[4]); - REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL); + fra.me.REG[4] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]); /* ./../lib/standard//string_search.nit:52 */ + REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL); if (UNTAG_Bool(REGB1)) { - fprintf(stderr, "Reciever is null"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 52); - nit_exit(1); + nit_abort("Reciever is null", NULL, LOCATE_string_search, 52); } REGB1 = CALL_string_search___Match___after(fra.me.REG[3])(fra.me.REG[3]); REGB0 = REGB1; + /* ./../lib/standard//string_search.nit:53 */ fra.me.REG[4] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0); fra.me.REG[3] = fra.me.REG[4]; - /* ./../lib/standard//string_search.nit:53 */ } else { /* ./../lib/standard//string_search.nit:48 */ goto label1; } } label1: while(0); - REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); /* ./../lib/standard//collection//array.nit:23 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=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[1]); + /* ./../lib/standard//kernel.nit:217 */ REGB1 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0)); - fra.me.REG[1] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1); /* ./../lib/standard//string_search.nit:56 */ - array___Array___add(fra.me.REG[2], fra.me.REG[1]); + fra.me.REG[1] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]); /* ./../lib/standard//string_search.nit:57 */ goto label2; label2: while(0); @@ -208,13 +203,11 @@ val_t string_search___BM_Pattern___to_s(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:67 */ + REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_motif"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 67); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 67); } fra.me.REG[0] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]); goto label1; @@ -245,67 +238,70 @@ val_t string_search___BM_Pattern___search_index_in(val_t p0, val_t p1, val_t p2) fra.me.REG[0] = p0; fra.me.REG[1] = p1; REGB0 = p2; + /* ./../lib/standard//string_search.nit:72 */ REGB1 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:72 */ if (UNTAG_Bool(REGB1)) { } else { - fprintf(stderr, "Assert failed"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 72); - nit_exit(1); + nit_abort("Assert failed", NULL, LOCATE_string_search, 72); } - REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); /* ./../lib/standard//collection//array.nit:23 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=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[1]); - REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:74 */ + REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB2)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_length"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 74); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 74); } REGB2 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]); /* ./../lib/standard//string_search.nit:77 */ while(1) { + /* ./../lib/standard//kernel.nit:217 */ REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2)); + /* ./../lib/standard//string_search.nit:77 */ REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB4)); + /* ./../lib/standard//kernel.nit:212 */ REGB4 = TAG_Bool(UNTAG_Int(REGB0)=UNTAG_Int(REGB3)); /* ./../lib/standard//string_search.nit:79 */ if (UNTAG_Bool(REGB3)) { REGB3 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB3)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_motif"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 79); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 79); } fra.me.REG[2] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]); REGB3 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], REGB4); + /* ./../lib/standard//kernel.nit:215 */ REGB5 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB0)); + /* ./../lib/standard//string_search.nit:79 */ REGB5 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB5); REGB6 = TAG_Bool(IS_EQUAL_OO(REGB3,REGB5)); - /* ./../lib/standard//string_search.nit:79 */ if (UNTAG_Bool(REGB6)) { } else { + /* ./../lib/standard//kernel.nit:347 */ REGB5 = TAG_Bool((REGB3)==(REGB5)); + /* ./../lib/standard//string_search.nit:79 */ REGB6 = REGB5; - /* ./../lib/standard//string_search.nit:79 */ } } else { REGB5 = TAG_Bool(false); @@ -313,86 +309,95 @@ val_t string_search___BM_Pattern___search_index_in(val_t p0, val_t p1, val_t p2) } if (UNTAG_Bool(REGB6)) { REGB6 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB6 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB6)); + /* ./../lib/standard//string_search.nit:79 */ REGB4 = REGB6; - /* ./../lib/standard//string_search.nit:79 */ } else { goto label1; } } label1: while(0); + /* ./../lib/standard//string_search.nit:80 */ REGB6 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:212 */ REGB6 = TAG_Bool(UNTAG_Int(REGB4)=UNTAG_Int(REGB3)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../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); } REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ REGB3 = TAG_Bool(UNTAG_Int(REGB5)val[UNTAG_Int(REGB5)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label3; label3: while(0); + /* ./../lib/standard//string_search.nit:83 */ REGB5 = fra.me.REG[2]; + /* ./../lib/standard//kernel.nit:215 */ REGB3 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB0)); + /* ./../lib/standard//string_search.nit:84 */ REGB3 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB3); REGB3 = CALL_string_search___BM_Pattern___bc(fra.me.REG[0])(fra.me.REG[0], REGB3); + /* ./../lib/standard//kernel.nit:217 */ REGB3 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB2)); + /* ./../lib/standard//string_search.nit:84 */ REGB7 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB7 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB7)); REGB4 = TAG_Int(UNTAG_Int(REGB7)+UNTAG_Int(REGB4)); + /* ./../lib/standard//kernel.nit:214 */ REGB7 = TAG_Bool(UNTAG_Int(REGB5)>UNTAG_Int(REGB4)); /* ./../lib/standard//string_search.nit:86 */ if (UNTAG_Bool(REGB7)) { + /* ./../lib/standard//kernel.nit:215 */ REGB5 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB5)); + /* ./../lib/standard//string_search.nit:87 */ REGB0 = REGB5; - /* ./../lib/standard//string_search.nit:87 */ } else { + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB4)); + /* ./../lib/standard//string_search.nit:89 */ REGB0 = REGB4; - /* ./../lib/standard//string_search.nit:89 */ } } } else { @@ -401,10 +406,12 @@ val_t string_search___BM_Pattern___search_index_in(val_t p0, val_t p1, val_t p2) } } label4: while(0); + /* ./../lib/standard//string_search.nit:93 */ REGB0 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:216 */ REGB0 = TAG_Int(-UNTAG_Int(REGB0)); - REGB6 = REGB0; /* ./../lib/standard//string_search.nit:93 */ + REGB6 = REGB0; goto label2; label2: while(0); stack_frame_head = fra.me.prev; @@ -427,22 +434,23 @@ val_t string_search___BM_Pattern___search_in(val_t p0, val_t p1, val_t p2){ fra.me.REG[0] = p0; fra.me.REG[1] = p1; REGB0 = p2; + /* ./../lib/standard//string_search.nit:99 */ REGB0 = CALL_string_search___Pattern___search_index_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0); + /* ./../lib/standard//string_search.nit:100 */ REGB1 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:212 */ REGB1 = TAG_Bool(UNTAG_Int(REGB0)=UNTAG_Int(REGB4)); /* ./../lib/standard//string_search.nit:159 */ if (UNTAG_Bool(REGB4)) { + /* ./../lib/standard//kernel.nit:214 */ REGB4 = TAG_Bool(UNTAG_Int(REGB3)>UNTAG_Int(REGB2)); /* ./../lib/standard//string_search.nit:160 */ if (UNTAG_Bool(REGB4)) { + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB0)); + /* ./../lib/standard//string_search.nit:160 */ REGB5 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB5)); REGB5 = TAG_Int(UNTAG_Int(REGB5)-UNTAG_Int(REGB1)); + /* ./../lib/standard//collection//array.nit:243 */ fra.me.REG[2] = fra.me.REG[0]; + /* ./../lib/standard//collection//array.nit:245 */ REGB4 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ REGB4 = TAG_Bool(UNTAG_Int(REGB5)>=UNTAG_Int(REGB4)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../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); } REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ REGB4 = TAG_Bool(UNTAG_Int(REGB5)val[UNTAG_Int(REGB5)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label1; label1: while(0); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB2)); - REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL); /* ./../lib/standard//string_search.nit:160 */ + REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL); if (UNTAG_Bool(REGB4)) { - fprintf(stderr, "Reciever is null"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 160); - nit_exit(1); + nit_abort("Reciever is null", NULL, LOCATE_string_search, 160); } + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(fra.me.REG[2])=UNTAG_Int(REGB5)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../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); } REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(REGB4)val[UNTAG_Int(REGB4)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label2; label2: while(0); /* ./../lib/standard//string_search.nit:161 */ CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], REGB3, fra.me.REG[2]); } else { + /* ./../lib/standard//kernel.nit:212 */ REGB4 = TAG_Bool(UNTAG_Int(REGB3)=UNTAG_Int(REGB4)); /* ./../lib/standard//string_search.nit:165 */ if (UNTAG_Bool(REGB4)) { REGB4 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB2); + /* ./../lib/standard//kernel.nit:215 */ REGB5 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0)); + /* ./../lib/standard//string_search.nit:165 */ REGB6 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB6 = TAG_Int(UNTAG_Int(REGB5)-UNTAG_Int(REGB6)); REGB6 = TAG_Int(UNTAG_Int(REGB6)-UNTAG_Int(REGB1)); + /* ./../lib/standard//string_search.nit:165 */ REGB6 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB6); REGB5 = TAG_Bool(IS_EQUAL_OO(REGB4,REGB6)); - /* ./../lib/standard//string_search.nit:165 */ if (UNTAG_Bool(REGB5)) { } else { + /* ./../lib/standard//kernel.nit:347 */ REGB6 = TAG_Bool((REGB4)==(REGB6)); + /* ./../lib/standard//string_search.nit:165 */ REGB5 = REGB6; - /* ./../lib/standard//string_search.nit:165 */ } } else { REGB6 = TAG_Bool(false); @@ -820,22 +835,26 @@ val_t string_search___BM_Pattern___suffixes(val_t p0){ } if (UNTAG_Bool(REGB5)) { REGB5 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB5)); + /* ./../lib/standard//string_search.nit:165 */ REGB2 = REGB5; - /* ./../lib/standard//string_search.nit:165 */ } else { goto label3; } } label3: while(0); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2)); /* ./../lib/standard//string_search.nit:166 */ CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], REGB3, REGB5); } + /* ./../lib/standard//string_search.nit:168 */ REGB5 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB5)); + /* ./../lib/standard//string_search.nit:168 */ REGB3 = REGB5; - /* ./../lib/standard//string_search.nit:168 */ } else { /* ./../lib/standard//string_search.nit:159 */ goto label4; @@ -869,117 +888,126 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ fra.me.REG[2] = NIT_NULL; fra.me.REG[3] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:175 */ + REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_motif"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 175); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 175); } fra.me.REG[1] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]); - REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:176 */ + REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_length"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 176); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 176); } REGB0 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]); + /* ./../lib/standard//string_search.nit:177 */ fra.me.REG[1] = CALL_string_search___BM_Pattern___suffixes(fra.me.REG[0])(fra.me.REG[0]); + /* ./../lib/standard//string_search.nit:178 */ REGB1 = TAG_Int(0); /* ./../lib/standard//string_search.nit:179 */ while(1) { + /* ./../lib/standard//kernel.nit:212 */ REGB2 = TAG_Bool(UNTAG_Int(REGB1)=UNTAG_Int(REGB3)); /* ./../lib/standard//string_search.nit:185 */ if (UNTAG_Bool(REGB3)) { + /* ./../lib/standard//string_search.nit:186 */ REGB3 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:216 */ REGB3 = TAG_Int(-UNTAG_Int(REGB3)); - REGB4 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB3)); /* ./../lib/standard//string_search.nit:186 */ + REGB4 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB3)); if (UNTAG_Bool(REGB4)) { } else { + /* ./../lib/standard//kernel.nit:207 */ REGB3 = TAG_Bool((REGB1)==(REGB3)); + /* ./../lib/standard//string_search.nit:186 */ REGB4 = REGB3; - /* ./../lib/standard//string_search.nit:186 */ } if (UNTAG_Bool(REGB4)) { REGB4 = TAG_Bool(true); } else { + /* ./../lib/standard//collection//array.nit:243 */ fra.me.REG[2] = fra.me.REG[1]; REGB3 = REGB1; + /* ./../lib/standard//collection//array.nit:245 */ REGB5 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ REGB5 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB5)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../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); } REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(REGB3)val[UNTAG_Int(REGB3)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label2; label2: while(0); + /* ./../lib/standard//string_search.nit:186 */ REGB3 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3)); - REGB5 = TAG_Bool(IS_EQUAL_ON(REGB3,fra.me.REG[2])); /* ./../lib/standard//string_search.nit:186 */ + REGB5 = TAG_Bool(IS_EQUAL_ON(REGB3,fra.me.REG[2])); if (UNTAG_Bool(REGB5)) { } else { REGB6 = TAG_Bool(fra.me.REG[2]==NIT_NULL); @@ -987,9 +1015,10 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ REGB6 = TAG_Bool(false); REGB5 = REGB6; } else { + /* ./../lib/standard//kernel.nit:207 */ REGB3 = TAG_Bool((fra.me.REG[2])==(REGB3)); + /* ./../lib/standard//string_search.nit:186 */ REGB5 = REGB3; - /* ./../lib/standard//string_search.nit:186 */ } } REGB4 = REGB5; @@ -998,59 +1027,58 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ /* ./../lib/standard//string_search.nit:187 */ while(1) { REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4)); REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1)); + /* ./../lib/standard//kernel.nit:212 */ REGB4 = TAG_Bool(UNTAG_Int(REGB2)=UNTAG_Int(REGB5)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../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); } REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]); + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(REGB4)val[UNTAG_Int(REGB4)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label3; label3: while(0); - REGB4 = TAG_Bool(IS_EQUAL_ON(REGB0,fra.me.REG[2])); /* ./../lib/standard//string_search.nit:188 */ + REGB4 = TAG_Bool(IS_EQUAL_ON(REGB0,fra.me.REG[2])); if (UNTAG_Bool(REGB4)) { } else { REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL); @@ -1058,30 +1086,32 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ REGB5 = TAG_Bool(false); REGB4 = REGB5; } else { + /* ./../lib/standard//kernel.nit:207 */ REGB5 = TAG_Bool((fra.me.REG[2])==(REGB0)); + /* ./../lib/standard//string_search.nit:188 */ REGB4 = REGB5; - /* ./../lib/standard//string_search.nit:188 */ } } if (UNTAG_Bool(REGB4)) { REGB4 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB4)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_gs"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 188); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 188); } fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]); REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4)); REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:188 */ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB2, REGB4); } + /* ./../lib/standard//string_search.nit:189 */ REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB4)); + /* ./../lib/standard//string_search.nit:189 */ REGB2 = REGB4; - /* ./../lib/standard//string_search.nit:189 */ } else { /* ./../lib/standard//string_search.nit:187 */ goto label4; @@ -1089,84 +1119,92 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ } label4: while(0); } + /* ./../lib/standard//string_search.nit:192 */ REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB4 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB4)); + /* ./../lib/standard//string_search.nit:192 */ REGB1 = REGB4; - /* ./../lib/standard//string_search.nit:192 */ } else { /* ./../lib/standard//string_search.nit:185 */ goto label5; } } label5: while(0); + /* ./../lib/standard//string_search.nit:194 */ REGB2 = TAG_Int(0); REGB1 = REGB2; /* ./../lib/standard//string_search.nit:195 */ while(1) { REGB2 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2)); + /* ./../lib/standard//kernel.nit:212 */ REGB2 = TAG_Bool(UNTAG_Int(REGB1)=UNTAG_Int(REGB5)); - /* ./../lib/standard//collection//array.nit:233 */ + /* ./../lib/standard//collection//array.nit:245 */ if (UNTAG_Bool(REGB5)) { REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=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); } REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]); + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(REGB4)val[UNTAG_Int(REGB4)]; - /* ./../lib/standard//collection//array.nit:234 */ + /* ./../lib/standard//collection//array.nit:246 */ goto label6; label6: while(0); + /* ./../lib/standard//kernel.nit:217 */ REGB2 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(fra.me.REG[3])); + /* ./../lib/standard//string_search.nit:196 */ REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4)); REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:196 */ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB2, REGB4); + /* ./../lib/standard//string_search.nit:197 */ REGB4 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB4)); + /* ./../lib/standard//string_search.nit:197 */ REGB1 = REGB4; - /* ./../lib/standard//string_search.nit:197 */ } else { /* ./../lib/standard//string_search.nit:195 */ goto label7; @@ -1176,51 +1214,6 @@ void string_search___BM_Pattern___compute_gs(val_t p0){ stack_frame_head = fra.me.prev; return; } -val_t string_search___Match___to_s(val_t p0){ - struct {struct stack_frame_t me; val_t MORE_REG[1];} 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_string_search; - fra.me.line = 217; - fra.me.meth = LOCATE_string_search___Match___to_s; - fra.me.has_broke = 0; - fra.me.REG_size = 2; - fra.me.REG[0] = NIT_NULL; - fra.me.REG[1] = NIT_NULL; - fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL); - /* ./../lib/standard//string_search.nit:218 */ - if (UNTAG_Bool(REGB0)) { - } else { - fprintf(stderr, "Uninitialized attribute %s", "_string"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 218); - nit_exit(1); - } - fra.me.REG[1] = ATTR_string_search___Match____string(fra.me.REG[0]); - REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); - if (UNTAG_Bool(REGB0)) { - } else { - fprintf(stderr, "Uninitialized attribute %s", "_from"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 218); - nit_exit(1); - } - REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]); - REGB1 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL); - if (UNTAG_Bool(REGB1)) { - } else { - fprintf(stderr, "Uninitialized attribute %s", "_length"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 218); - nit_exit(1); - } - REGB1 = ATTR_string_search___Match____length(fra.me.REG[0]); - fra.me.REG[1] = CALL_string___AbstractString___substring(fra.me.REG[1])(fra.me.REG[1], REGB0, REGB1); - goto label1; - label1: while(0); - stack_frame_head = fra.me.prev; - return fra.me.REG[1]; -} val_t string_search___Match___string(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -1233,13 +1226,11 @@ val_t string_search___Match___string(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:204 */ + REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_string"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 204); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_string", LOCATE_string_search, 204); } fra.me.REG[0] = ATTR_string_search___Match____string(fra.me.REG[0]); stack_frame_head = fra.me.prev; @@ -1257,13 +1248,11 @@ val_t string_search___Match___from(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:207 */ + REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_from"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 207); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 207); } REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]); stack_frame_head = fra.me.prev; @@ -1281,13 +1270,11 @@ val_t string_search___Match___length(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:210 */ + REGB0 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_length"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 210); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 210); } REGB0 = ATTR_string_search___Match____length(fra.me.REG[0]); stack_frame_head = fra.me.prev; @@ -1306,23 +1293,20 @@ val_t string_search___Match___after(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; - REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//string_search.nit:215 */ + REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB0)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_from"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 215); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 215); } REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]); REGB1 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB1)) { } else { - fprintf(stderr, "Uninitialized attribute %s", "_length"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 215); - nit_exit(1); + nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 215); } REGB1 = ATTR_string_search___Match____length(fra.me.REG[0]); + /* ./../lib/standard//kernel.nit:215 */ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:215 */ goto label1; @@ -1330,6 +1314,45 @@ val_t string_search___Match___after(val_t p0){ stack_frame_head = fra.me.prev; return REGB1; } +val_t string_search___Match___to_s(val_t p0){ + struct {struct stack_frame_t me; val_t MORE_REG[1];} 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_string_search; + fra.me.line = 217; + fra.me.meth = LOCATE_string_search___Match___to_s; + fra.me.has_broke = 0; + fra.me.REG_size = 2; + fra.me.REG[0] = NIT_NULL; + fra.me.REG[1] = NIT_NULL; + fra.me.REG[0] = p0; + /* ./../lib/standard//string_search.nit:218 */ + REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_string", LOCATE_string_search, 218); + } + fra.me.REG[1] = ATTR_string_search___Match____string(fra.me.REG[0]); + REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB0)) { + } else { + nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 218); + } + REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]); + REGB1 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL); + if (UNTAG_Bool(REGB1)) { + } else { + nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 218); + } + REGB1 = ATTR_string_search___Match____length(fra.me.REG[0]); + fra.me.REG[1] = CALL_string___AbstractString___substring(fra.me.REG[1])(fra.me.REG[1], REGB0, REGB1); + goto label1; + label1: while(0); + stack_frame_head = fra.me.prev; + return fra.me.REG[1]; +} void string_search___Match___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){ int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Match].i; struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; @@ -1351,41 +1374,39 @@ void string_search___Match___init(val_t p0, val_t p1, val_t p2, val_t p3, int* i fra.me.REG[1] = p1; REGB0 = p2; REGB1 = p3; + /* ./../lib/standard//string_search.nit:223 */ REGB2 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ REGB2 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB2)); /* ./../lib/standard//string_search.nit:223 */ if (UNTAG_Bool(REGB2)) { } else { - fprintf(stderr, "Assert %s failed", "'positive_length'"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 223); - nit_exit(1); + nit_abort("Assert %s failed", "'positive_length'", LOCATE_string_search, 223); } + /* ./../lib/standard//string_search.nit:224 */ REGB2 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:213 */ REGB2 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB2)); /* ./../lib/standard//string_search.nit:224 */ if (UNTAG_Bool(REGB2)) { } else { - fprintf(stderr, "Assert %s failed", "'valid_from'"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 224); - nit_exit(1); + nit_abort("Assert %s failed", "'valid_from'", LOCATE_string_search, 224); } + /* ./../lib/standard//kernel.nit:215 */ REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1)); - REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); /* ./../lib/standard//collection//array.nit:23 */ + REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); if (UNTAG_Bool(REGB3)) { } 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); } REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]); + /* ./../lib/standard//kernel.nit:211 */ REGB3 = TAG_Bool(UNTAG_Int(REGB2)<=UNTAG_Int(REGB3)); /* ./../lib/standard//string_search.nit:225 */ if (UNTAG_Bool(REGB3)) { } else { - fprintf(stderr, "Assert %s failed", "'valid_after'"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 225); - nit_exit(1); + nit_abort("Assert %s failed", "'valid_after'", LOCATE_string_search, 225); } /* ./../lib/standard//string_search.nit:226 */ ATTR_string_search___Match____string(fra.me.REG[0]) = fra.me.REG[1]; @@ -1415,47 +1436,51 @@ val_t string_search___Char___search_index_in(val_t p0, val_t p1, val_t p2){ REGB0 = p0; fra.me.REG[0] = p1; REGB1 = p2; - REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL); /* ./../lib/standard//collection//array.nit:23 */ + REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB2)) { } 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); } REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]); /* ./../lib/standard//string_search.nit:237 */ while(1) { + /* ./../lib/standard//kernel.nit:212 */ REGB3 = TAG_Bool(UNTAG_Int(REGB1)=UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:259 */ if (UNTAG_Bool(REGB1)) { } else { - fprintf(stderr, "Assert failed"); - fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 259); - nit_exit(1); + nit_abort("Assert failed", NULL, LOCATE_string_search, 259); } - REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL); /* ./../lib/standard//collection//array.nit:23 */ + REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=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[1]); REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL); if (UNTAG_Bool(REGB2)) { } 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); } REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]); + /* ./../lib/standard//kernel.nit:217 */ REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2)); + /* ./../lib/standard//string_search.nit:260 */ REGB1 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:215 */ REGB1 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB1)); /* ./../lib/standard//string_search.nit:261 */ while(1) { + /* ./../lib/standard//kernel.nit:212 */ REGB2 = TAG_Bool(UNTAG_Int(REGB0)=UNTAG_Int(REGB2)); /* ./../lib/standard//string_search.nit:263 */ if (UNTAG_Bool(REGB2)) { REGB2 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], REGB3); + /* ./../lib/standard//kernel.nit:215 */ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB0)); + /* ./../lib/standard//string_search.nit:263 */ REGB4 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB4); REGB5 = TAG_Bool(IS_EQUAL_OO(REGB2,REGB4)); - /* ./../lib/standard//string_search.nit:263 */ if (UNTAG_Bool(REGB5)) { } else { + /* ./../lib/standard//kernel.nit:347 */ REGB4 = TAG_Bool((REGB2)==(REGB4)); + /* ./../lib/standard//string_search.nit:263 */ REGB5 = REGB4; - /* ./../lib/standard//string_search.nit:263 */ } } else { REGB4 = TAG_Bool(false); @@ -1584,35 +1615,42 @@ val_t string_search___String___search_index_in(val_t p0, val_t p1, val_t p2){ } if (UNTAG_Bool(REGB5)) { REGB5 = TAG_Int(1); + /* ./../lib/standard//kernel.nit:217 */ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB5)); + /* ./../lib/standard//string_search.nit:263 */ REGB3 = REGB5; - /* ./../lib/standard//string_search.nit:263 */ } else { goto label1; } } label1: while(0); + /* ./../lib/standard//string_search.nit:265 */ REGB5 = TAG_Int(0); + /* ./../lib/standard//kernel.nit:212 */ REGB5 = TAG_Bool(UNTAG_Int(REGB3)val[UNTAG_Int(REGB0)]; + /* ./../lib/standard//string_search.nit:305 */ + fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]); + CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]); + /* ./../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 { + /* ./../lib/standard//collection//array.nit:237 */ goto label1; } - CALL_abstract_collection___Iterator___next(fra.me.REG[0])(fra.me.REG[0]); } label1: while(0); /* ./../lib/standard//string_search.nit:306 */ @@ -1784,9 +1857,9 @@ val_t string_search___String___split(val_t p0){ fra.me.REG_size = 1; fra.me.REG[0] = NIT_NULL; fra.me.REG[0] = p0; + /* ./../lib/standard//string_search.nit:311 */ REGB0 = TAG_Char('\n'); fra.me.REG[0] = CALL_string_search___String___split_with(fra.me.REG[0])(fra.me.REG[0], REGB0); - /* ./../lib/standard//string_search.nit:311 */ goto label1; label1: while(0); stack_frame_head = fra.me.prev;