[BACK]Return to pa_string.C CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/pa_string.C between versions 1.172.2.21.2.10 and 1.175

version 1.172.2.21.2.10, 2003/03/20 14:34:01 version 1.175, 2003/08/18 08:27:41
Line 28  public: Line 28  public:
                 *this+=new String("match");                  *this+=new String("match");
                 *this+=new String("postmatch");                  *this+=new String("postmatch");
                 for(int i=0; i<MAX_MATCH_GROUPS; i++) {                  for(int i=0; i<MAX_MATCH_GROUPS; i++) {
                         char *cname=new(PointerFreeGC) char[3/*strlen("100")*/+1/*terminating 0*/];                          *this+=new String(StringBody::Format(1+i), String::L_CLEAN);
                         *this+=new String(cname, sprintf(cname, "%d", 1+i));  
                 }                  }
         }          }
 };  };
Line 38  Table string_match_table_template(new St Line 37  Table string_match_table_template(new St
   
 // String::ArrayFragment methods  // String::ArrayFragment methods
   
 String::ArrayFragment& String::ArrayFragment::append(const ArrayFragment& src,   void String::ArrayFragment::append_positions(const ArrayFragment& src, 
                                                      size_t substr_start, size_t substr_end) {                                               size_t substr_begin, size_t substr_end) {
         if(substr_start==substr_end)          if(substr_begin==substr_end)
                 return *this;                  return;
   
   //      FILE *err=fopen("append.log", "wt");
   
         size_t fragment_start=0;          size_t fragment_begin=0;
         size_t fragment_end;          size_t fragment_end;
         for(Array_iterator<element_type> i(src); ; fragment_start=fragment_end) {          for(Array_iterator<element_type> i(src); ; fragment_begin=fragment_end) {
                 const element_type& fragment=i.next();                  const Fragment fragment=i.next();
                 fragment_end=fragment_start+fragment.length;                              fragment_end=fragment_begin+fragment.length;            
                   //fprintf(err, "1end=%u\n", fragment_end);fflush(err);
   
                 if(substr_start<fragment_start) // not reached fragments which may include 'substr'?                  // not reached fragments which may include 'substr'?
                   if(!(substr_begin>=fragment_begin && substr_begin<fragment_end))
                         continue;                          continue;
   
                 // found first fragment including piece of 'substr'                  // found first fragment including piece of 'substr'
                 size_t piece_end=min(substr_end, fragment_end);                  if(substr_end<=fragment_end) // fits into first fragment?
                 *this+=Fragment(fragment.lang, piece_end-substr_start);                          *this+=Fragment(fragment.lang, substr_end-substr_begin);
                                   else { // spans more then one fragment
                 while(substr_end>fragment_end) { // are there more fragments including pieces of 'substr'?                          *this+=Fragment(fragment.lang, fragment_end-substr_begin);
                         const element_type& fragment=i.next();                          while(true) {
                         fragment_end=fragment_start+fragment.length;                                  const Fragment fragment=i.next();
                                   fragment_end=(fragment_begin=fragment_end)+fragment.length;
                         if(substr_end>fragment_end) // are there still more?                                  //fprintf(err, "2end=%u\n", fragment_end);fflush(err);
                                 simple_append(Fragment(fragment.lang, fragment.length)); // appending whole fragment  
                         else { // no, it was last                                  if(substr_end>fragment_end) // are there still more?
                                 simple_append(Fragment(fragment.lang, substr_end-fragment_start));                                          append(Fragment(fragment.lang, fragment.length)); // appending whole fragment
                                 goto break2;                                  else { // no, it was last
                                           append(Fragment(fragment.lang, substr_end-fragment_begin));
                                           //fclose(err);
                                           return;
                                   }
                         }                          }
                 }                  }
   
                 break;                  break;
         }                 }
 break2:          //fclose(err);
           
         return *this;  
 }  }
 /*  
 void String::ArrayFragment::mid(ArrayFragment& result, size_t substr_start, size_t substr_end) {  // StringBody methods
   
   StringBody StringBody::Format(int value) {
           char local[MAX_NUMBER];
           size_t length=snprintf(local, MAX_NUMBER, "%d", value);
           return StringBody(pa_strdup(local, length), length);
   }
   
   static int CORD_batched_iter_fn_generic_hash_code(char c, void * client_data) {
           uint& result=*static_cast<uint*>(client_data);
           generic_hash_code(result, c);
           return 0;
   }
   static int CORD_batched_iter_fn_generic_hash_code(const char*  s, void * client_data) {
           uint& result=*static_cast<uint*>(client_data);
           generic_hash_code(result, s);
           return 0;
   };
   uint StringBody::hash_code() const {
           uint result=0;
           CORD_iter5(body, 0,
                   CORD_batched_iter_fn_generic_hash_code, 
                   CORD_batched_iter_fn_generic_hash_code, &result);
           return result;
 }  }
 */  
   
 // String methods  // String methods
   
 String::String(const char* cstr, size_t helper_length, bool tainted): body(CORD_EMPTY) {  String::String(const char* cstr, size_t helper_length, bool tainted): body(CORD_EMPTY) {
         append_cstr(cstr, helper_length, tainted?UL_TAINTED:UL_CLEAN);          append_help_length(cstr, helper_length, tainted?L_TAINTED:L_CLEAN);
   }
   String::String(const String::C cstr, bool tainted): body(CORD_EMPTY) {
           append_know_length(cstr.str, cstr.length, tainted?L_TAINTED:L_CLEAN);
 }  }
   
 String::String(const String& src): body(src.body), fragments(src.fragments) {}  String::String(const String& src): body(src.body) {
           fragments.append(src.fragments);
           ASSERT_STRING_INVARIANT(*this);
   }
   
 String& String::append_cstr(const char* heap_variable, size_t helper_length, Untaint_lang lang) {  String& String::append_know_length(const char* str, size_t known_length, Language lang) {
         if(!heap_variable)          if(!known_length)
                 return *this;  
         size_t use_length;  
         if(helper_length) {  
 #ifdef _DEBUG  
                 size_t real_length=strlen(heap_variable);  
                 if(helper_length!=real_length)  
                         throw Exception(0,  
                                 this,  
                                 "bad String::String(real=%d, helper%d",   
                                         real_length, helper_length);  
 #endif  
                 use_length=helper_length;  
         } else  
                 use_length=strlen(heap_variable);  
         size_t length=helper_length?helper_length:strlen(heap_variable);  
         if(!length)  
                 return *this;                  return *this;
   
         body=CORD_cat_char_star(body, heap_variable, length);          body.append_know_length(str, known_length);
         fragments+=Fragment(lang, length);          fragments+=Fragment(lang, known_length);
   
           ASSERT_STRING_INVARIANT(*this);
         return *this;          return *this;
 }  }
   String& String::append_help_length(const char* str, size_t helper_length, Language lang) {
 String& String::append_copy(const char* auto_variable, size_t helper_length, Untaint_lang lang) {          if(!str)
         if(!auto_variable)  
                 return *this;                  return *this;
         size_t use_length=helper_length?helper_length:strlen(auto_variable);          size_t known_length=helper_length?helper_length:strlen(str);
         if(!use_length)          if(!known_length)
                 return *this;                  return *this;
   
         body=pa_strdup(auto_variable, use_length);          return append_know_length(str, known_length, lang);
         fragments+=Fragment(lang, use_length);  
   
         return *this;  
 }  }
   String& String::append_strdup(const char* str, size_t helper_length, Language lang) {
           size_t known_length=helper_length?helper_length:strlen(str);
           if(!known_length)
                   return *this;
   
 static int CORD_batched_iter_fn_generic_hash_code(const char*  s, void * client_data) {          body.append_strdup_know_length(str, known_length);
         uint& result=*static_cast<uint*>(client_data);          fragments+=Fragment(lang, known_length);
         generic_hash_code(result, s);  
         return 0;          ASSERT_STRING_INVARIANT(*this);
 };          return *this;
 uint String::hash_code() const {  
         uint result=0;  
         CORD_iter5(body, 0, 0, CORD_batched_iter_fn_generic_hash_code, &result);  
         return result;  
 }  }
   
 const String& String::mid(size_t substr_start, size_t substr_end) const {  /// @todo check in doc: whether it documents NOW bad situation "abc".mid(-1, 3) =were?="ab"
   String& String::mid(size_t substr_begin, size_t substr_end) const {
         String& result=*new String;          String& result=*new String;
   
         substr_start=min(substr_start, length());          size_t self_length=length();
         substr_end=max(substr_start, substr_end);          substr_begin=min(substr_begin, self_length);
         if(substr_start==substr_end)          substr_end=min(max(substr_end, substr_begin), self_length);
           if(substr_begin==substr_end)
                 return result;                  return result;
   
         // first: letters themselves          // first: letters themselves
         result.body=CORD_substr(body, substr_start, substr_end-substr_start);          result.body=body.mid(substr_begin, substr_end-substr_begin);
   
         // next: their langs          // next: their langs
         result.fragments.append(fragments, substr_start, substr_end);          result.fragments.append_positions(fragments, substr_begin, substr_end);
   
 //      SAPI::log(pool(), "piece of '%s' from %d to %d is '%s'",  //      SAPI::log("piece of '%s' from %d to %d is '%s'",
                 //cstr(), substr_start, substr_end, result.cstr());                  //cstr(), substr_begin, substr_end, result.cstr());
           ASSERT_STRING_INVARIANT(result);
         return result;          return result;
 }  }
   
 size_t String::pos(CORD substr,   size_t String::pos(const StringBody substr, 
                    size_t this_offset, Untaint_lang lang) const {                     size_t this_offset, Language lang) const {
         // first: letters themselves          // first: letters themselves
         size_t substr_start=CORD_str(body, this_offset, substr);          size_t substr_begin=body.pos(substr, this_offset);
         if(substr_start==CORD_NOT_FOUND)          if(substr_begin==CORD_NOT_FOUND)
                 return STRING_NOT_FOUND;                  return STRING_NOT_FOUND;
   
         // next: check the lang when specified          // next: check the lang when specified
   
         if(lang==UL_UNSPECIFIED) // ignore lang?          if(lang==L_UNSPECIFIED) // ignore lang?
                 return substr_start;                  return substr_begin;
   
         // substr must be in one fragment, and fragments' lang must = lang          // substr must be in one fragment, and fragments' lang must = lang
         size_t substr_end=substr_start+CORD_len(substr);          size_t substr_end=substr_begin+substr.length();
         size_t fragment_start=0;          size_t fragment_begin=0;
         size_t fragment_end;          size_t fragment_end;
         for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); fragment_start=fragment_end) {          for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); fragment_begin=fragment_end) {
                 const Fragment& fragment=i.next();                  const Fragment fragment=i.next();
                 fragment_end=fragment_start+fragment.length;                  fragment_end=fragment_begin+fragment.length;
   
                 if(substr_start<fragment_start) // not reached fragments which may include 'result'?                  if(substr_begin<fragment_begin) // not reached fragments which may include 'result'?
                           continue;
                   if(substr_begin>=fragment_end) // begin of substr OUT of current fragment?
                         continue;                          continue;
                                   
                 if(substr_end>fragment_end) // end of substr OUT of current fragment?                  if(substr_end>fragment_end) // end of substr OUT of current fragment?
                         break;                          throw Exception(0, // (*) see below
                                   this,
                                   "searching for '%s' starting from %ud problem: found begin in one fragment, but end in another",
                                           substr.cstr(), this_offset);
   
                 return fragment.lang==lang?substr_end:STRING_NOT_FOUND;                  if(fragment.lang<=lang)
                           return substr_begin;
                   else { // bad lang...
                           /// WARNING: this possibly skips assert (*), but it's fast
                           substr_begin=body.pos(substr, fragment_end/*...search AFTER for more*/);
                           if(substr_begin==CORD_NOT_FOUND)
                                   return STRING_NOT_FOUND;
   
                           size_t substr_end=substr_begin+substr.length();
                           // and continuing with next fragment
                   }
         }                 }       
   
         return STRING_NOT_FOUND;          return STRING_NOT_FOUND;
 }  }
   
 size_t String::pos(const String& substr,   size_t String::pos(const String& substr, 
                                 size_t this_offset, Untaint_lang lang) const {                                  size_t this_offset, Language lang) const {
         return pos(substr.body, this_offset, lang);          return pos(substr.body, this_offset, lang);
 }  }
   
 void String::split(ArrayString& result,   void String::split(ArrayString& result, 
                                    size_t& pos_after,                      size_t& pos_after, 
                                    const char* delim,                      const char* delim, 
                                    Untaint_lang lang, int limit) {                     Language lang, int limit) const {
         size_t self_length=length();          size_t self_length=length();
         if(size_t delim_length=strlen(delim)) {          if(size_t delim_length=strlen(delim)) {
                 int pos_before;                  int pos_before;
                 // while we have 'delim'...                  // while we have 'delim'...
                 for(; (pos_before=pos(delim, pos_after, lang))>=0 && limit; limit--) {                  for(; (pos_before=pos(delim, pos_after, lang))!=STRING_NOT_FOUND && limit; limit--) {
                         result+=&mid(pos_after, pos_before);                          result+=&mid(pos_after, pos_before);
                         pos_after=pos_before+delim_length;                          pos_after=pos_before+delim_length;
                 }                  }
Line 217  void String::split(ArrayString& result, Line 249  void String::split(ArrayString& result,
 }  }
   
 void String::split(ArrayString& result,   void String::split(ArrayString& result, 
                                    size_t& pos_after,                      size_t& pos_after, 
                                    const String& delim, Untaint_lang lang,                      const String& delim, Language lang, 
                                    int limit) const {                     int limit) const {
         if(delim) {          if(!delim.is_empty()) {
                 int pos_before;                  int pos_before;
                 // while we have 'delim'...                  // while we have 'delim'...
                 for(; (pos_before=pos(delim, pos_after, lang))>=0 && limit; limit--) {                  for(; (pos_before=pos(delim, pos_after, lang))!=STRING_NOT_FOUND && limit; limit--) {
                         result+=&mid(pos_after, pos_before);                          result+=&mid(pos_after, pos_before);
                         pos_after=pos_before+delim.length();                          pos_after=pos_before+delim.length();
                 }                  }
Line 238  void String::split(ArrayString& result, Line 270  void String::split(ArrayString& result,
         }          }
 }  }
   
 static void regex_options(const String& options, int *result, bool& need_pre_post_match){  static void regex_options(const String* options, int *result, bool& need_pre_post_match){
     struct Regex_option {      struct Regex_option {
                 const char* keyL;                  const char* keyL;
                 const char* keyU;                  const char* keyU;
Line 257  static void regex_options(const String& Line 289  static void regex_options(const String&
         result[0]=PCRE_EXTRA | PCRE_DOTALL | PCRE_DOLLAR_ENDONLY;          result[0]=PCRE_EXTRA | PCRE_DOTALL | PCRE_DOLLAR_ENDONLY;
         result[1]=0;          result[1]=0;
   
     if(options)       if(options && !options->is_empty()) 
                 for(Regex_option *o=regex_option; o->keyL; o++)                   for(Regex_option *o=regex_option; o->keyL; o++) 
                         if(options.pos(o->keyL)>=0                          if(options->pos(o->keyL)!=STRING_NOT_FOUND
                                 || (o->keyU && options.pos(o->keyU)>=0)) {                                  || (o->keyU && options->pos(o->keyU)!=STRING_NOT_FOUND)) {
                                 if(o->flag)                                  if(o->flag)
                                         *o->flag=true;                                          *o->flag=true;
                                 else { // result                                  else { // result
Line 271  static void regex_options(const String& Line 303  static void regex_options(const String&
 }  }
   
 Table* String::match(Charset& source_charset,  Table* String::match(Charset& source_charset,
                                            const String& regexp,                        const String& regexp, 
                                            const String& options,                       const String* options,
                                            Row_action row_action, void *info,                       Row_action row_action, void *info,
                                            bool& just_matched) const {                        bool& just_matched) const { 
         if(!regexp)          if(regexp.is_empty())
                 throw Exception(0,                  throw Exception(0,
                         0,                          0,
                         "regexp is empty");                          "regexp is empty");
Line 284  Table* String::match(Charset& source_cha Line 316  Table* String::match(Charset& source_cha
         const char* errptr;          const char* errptr;
         int erroffset;          int erroffset;
         bool need_pre_post_match=false;          bool need_pre_post_match=false;
         int option_bits[2];  regex_options(options, option_bits, need_pre_post_match);          int option_bits[2]={0};  regex_options(options, option_bits, need_pre_post_match);
         bool global=option_bits[1]!=0;          bool global=option_bits[1]!=0;
         pcre *code=pcre_compile(pattern, option_bits[0],           pcre *code=pcre_compile(pattern, option_bits[0], 
                 &errptr, &erroffset,                  &errptr, &erroffset,
Line 310  Table* String::match(Charset& source_cha Line 342  Table* String::match(Charset& source_cha
         int ovector[oveclength];          int ovector[oveclength];
   
         // create table          // create table
         Table* table=new Table(string_match_table_template);          Table::Action_options table_options;
           Table& table=*new Table(string_match_table_template, table_options);
   
         int exec_option_bits=0;          int exec_option_bits=0;
         int prestart=0;          int prestart=0;
Line 325  Table* String::match(Charset& source_cha Line 358  Table* String::match(Charset& source_cha
                         pcre_free(code);                          pcre_free(code);
                         row_action(table, 0/*last time, no raw*/, 0, 0, poststart, postfinish, info);                          row_action(table, 0/*last time, no raw*/, 0, 0, poststart, postfinish, info);
                         if(global || subpatterns)                          if(global || subpatterns)
                                 return table; // global or with subpatterns=true+result                                  return &table; // global or with subpatterns=true+result
                         else {                          else {
                                 just_matched=false; return 0; // not global=no result                                  just_matched=false; return 0; // not global=no result
                         }                          }
Line 362  Table* String::match(Charset& source_cha Line 395  Table* String::match(Charset& source_cha
                 if(!global || prestart==poststart) { // not global | going to hang                  if(!global || prestart==poststart) { // not global | going to hang
                         pcre_free(code);                          pcre_free(code);
                         row_action(table, 0/*last time, no row*/, 0, 0, poststart, postfinish, info);                          row_action(table, 0/*last time, no row*/, 0, 0, poststart, postfinish, info);
                         return table;                          return &table;
                 }                  }
                 prestart=poststart;                  prestart=poststart;
   
Line 373  Table* String::match(Charset& source_cha Line 406  Table* String::match(Charset& source_cha
         }          }
 }  }
   
 String& String::change_case(Charset& source_charset, Change_case_kind kind) {  String& String::change_case(Charset& source_charset, Change_case_kind kind) const {
         String& result=*new String();          String& result=*new String();
           if(is_empty())
                   return result;
   
         const unsigned char *tables=source_charset.pcre_tables;          const unsigned char *tables=source_charset.pcre_tables;
   
Line 409  String& String::change_case(Charset& sou Line 444  String& String::change_case(Charset& sou
                 *dest++=(char)c;                  *dest++=(char)c;
         }          }
         result.body=new_cstr;          result.body=new_cstr;
         result.fragments.append(fragments, 0, fragments.count());          result.fragments.append(fragments);
   
         return result;          return result;
 }  }
Line 417  String& String::change_case(Charset& sou Line 452  String& String::change_case(Charset& sou
 const String& String::replace(const Dictionary& dict) const {  const String& String::replace(const Dictionary& dict) const {
         String& result=*new String();          String& result=*new String();
         const char* old_cstr=cstr();          const char* old_cstr=cstr();
         const char* prematch_start=old_cstr;          const char* prematch_begin=old_cstr;
   
         for(const char* current=old_cstr; *current; ) {          const char* current=old_cstr;
                 if(Table::element_type row=dict.first_that_starts(current)) {          while(*current) {
                   if(Table::element_type row=dict.first_that_begins(current)) {
                         // prematch                          // prematch
                         if(size_t prematch_length=current-prematch_start) {                          if(size_t prematch_length=current-prematch_begin) {
                                 result.body=CORD_cat_char_star(result.body, prematch_start, prematch_length);                                  result.body.append_strdup_know_length(prematch_begin, prematch_length);
                                 result.fragments.append(fragments, prematch_start-old_cstr, prematch_length);                                  result.fragments.append_positions(fragments, prematch_begin-old_cstr, current-old_cstr);
                         }                          }
   
                         // match                          // match
   
                         const String* a=row->get(0);                          const String* a=row->get(0);
                         // skip 'a' in 'current'; move prematch_start                          // skip 'a' in 'current'; move prematch_begin
                         current+=a->length(); prematch_start=current;                          current+=a->length(); prematch_begin=current;
   
                         if(row->count()>1) { // are there any b?                          if(row->count()>1) { // are there any b?
                                 const String* b=row->get(1);                                  const String* b=row->get(1);
                                 if(size_t b_length=b->length()) {                                  result<<*b;
                                         result.body=CORD_cat(result.body, b->cstr_to_cord());  
                                         result.fragments.append(b->fragments, 0, b->fragments.count());  
                                 }  
                         }                          }
                 } else // simply advance                  } else // simply advance
                         current++;                           current++; 
         }          }
   
         // postmatch          // postmatch
         if(size_t prematch_length=current-prematch_start) {          if(size_t postmatch_length=current-prematch_begin) {
                 result.body=CORD_cat_char_star(result.body, prematch_start, prematch_length);                  result.body.append_strdup_know_length(prematch_begin, postmatch_length);
                 result.fragments.append(fragments, prematch_start-old_cstr, prematch_length);                  result.fragments.append_positions(fragments, prematch_begin-old_cstr, current-old_cstr);
         }          }
   
           ASSERT_STRING_INVARIANT(result);
         return result;          return result;
 }  }
   
Line 521  inline uint uchars2uint(uchar *bytes) { Line 555  inline uint uchars2uint(uchar *bytes) {
                 | bytes[0];                  | bytes[0];
 }  }
   
 static int CORD_batched_iter_fn_append(const char* s, void* client_data) {  static int serialize_body_piece(const char* s, char** cur) {
         char*& cur=*static_cast<char**>(client_data);  
   
         size_t length=strlen(s);          size_t length=strlen(s);
         memcpy(cur, s, length);  cur+=length;          memcpy(*cur, s, length);  *cur+=length;
         return 0;          return 0;
 };  };
 String::C String::serialize(size_t prolog_length) const {  String::Cm String::serialize(size_t prolog_length) const {
           //_asm int 3;
         size_t buf_length=          size_t buf_length=
                 prolog_length                  prolog_length
                 +fragments.count()*(sizeof(Untaint_lang)+sizeof(size_t))                  +sizeof(size_t)
                   +fragments.count()*(sizeof(Language)+sizeof(size_t))
                 +length();                  +length();
         C result(new(PointerFreeGC) char[buf_length], buf_length);          String::Cm result(new(PointerFreeGC) char[buf_length], buf_length);
   
         // 1: prolog          // 1: prolog
         char *cur=result.str+prolog_length;          char *cur=result.str+prolog_length;
Line 545  String::C String::serialize(size_t prolo Line 579  String::C String::serialize(size_t prolo
   
         // 3: lang info          // 3: lang info
         for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); ) {          for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); ) {
                 const Fragment& fragment=i.next();                  const Fragment fragment=i.next();
                 // lang                  // lang
                 memcpy(cur, &fragment.lang, sizeof(fragment.lang));  cur+=sizeof(fragment.lang);                  memcpy(cur, &fragment.lang, sizeof(fragment.lang));  cur+=sizeof(fragment.lang);
                 // length                  // length
Line 553  String::C String::serialize(size_t prolo Line 587  String::C String::serialize(size_t prolo
         }          }
   
         // 4: letters          // 4: letters
         CORD_iter5(body, 0, 0, CORD_batched_iter_fn_append, &cur);          body.for_each(serialize_body_piece, &cur);
   
         return result;          return result;
 }  }
 bool String::deserialize(size_t prolog_length, void *buf, size_t buf_length, const char* file) {  bool String::deserialize(size_t prolog_length, void *buf, size_t buf_length) {
         if(buf_length<=prolog_length)          if(buf_length<=prolog_length)
                 return false;                  return false;
         buf_length-=prolog_length;          buf_length-=prolog_length;
Line 570  bool String::deserialize(size_t prolog_l Line 604  bool String::deserialize(size_t prolog_l
                 return false;                  return false;
         size_t fragments_count=*reinterpret_cast<const size_t*>(cur);  cur+=sizeof(size_t);          size_t fragments_count=*reinterpret_cast<const size_t*>(cur);  cur+=sizeof(size_t);
         buf_length-=sizeof(size_t);          buf_length-=sizeof(size_t);
           
           if(fragments_count) {
                   // 3: lang info
                   size_t total_length=0;
                   for(size_t f=0; f<fragments_count; f++) {
                           size_t piece_length=sizeof(Language)+sizeof(size_t);
                           if(buf_length<piece_length) // lang+length
                                   return false;
   
                           Language lang=*reinterpret_cast<const Language *>(cur);  cur+=sizeof(Language);
                           size_t fragment_length=*reinterpret_cast<const size_t*>(cur);  cur+=sizeof(size_t);
                           fragments+=Fragment(lang, fragment_length);
                           total_length+=fragment_length;
   
         // 3: lang info                          buf_length-=piece_length;
         size_t total_length=0;                  }
         for(size_t f=0; f<fragments_count; f++) {  
                 size_t piece_length=sizeof(Untaint_lang)+sizeof(size_t);  
                 if(buf_length<piece_length) // lang+length  
                         return false;  
   
                 Untaint_lang lang=*reinterpret_cast<const Untaint_lang *>(cur);  cur+=sizeof(Untaint_lang);                  // 4: letters
                 size_t fragment_length=*reinterpret_cast<const size_t*>(cur);  cur+=sizeof(size_t);                  if(buf_length!=total_length)
                 fragments+=Fragment(lang, fragment_length);                          return false;
                 total_length+=fragment_length;  
   
                 buf_length-=piece_length;                  body=StringBody(cur, buf_length);
         }          }
   
         // 4: letters          ASSERT_STRING_INVARIANT(*this);
         if(buf_length!=total_length)  
                 return false;  
   
         body=CORD_cat_char_star(CORD_EMPTY, cur, buf_length);  
   
         return true;          return true;
 }  }
Removed from v.1.172.2.21.2.10  
changed lines
  Added in v.1.175

E-mail: