--- parser3/src/main/pa_string.C 2001/10/29 15:15:11 1.115 +++ parser3/src/main/pa_string.C 2001/12/25 09:00:28 1.136 @@ -2,15 +2,12 @@ Parser: string class. @see untasize_t.C. Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) - Author: Alexander Petrosyan (http://design.ru/paf) + Author: Alexander Petrosyan (http://paf.design.ru) - $Id: pa_string.C,v 1.115 2001/10/29 15:15:11 paf Exp $ + $Id: pa_string.C,v 1.136 2001/12/25 09:00:28 paf Exp $ */ -#include "pa_config_includes.h" - #include "pcre.h" -#include "internal.h" #include "pa_pool.h" #include "pa_string.h" @@ -21,16 +18,15 @@ #include "pa_globals.h" #include "pa_table.h" #include "pa_dictionary.h" +#include "pa_charset.h" String::String(Pool& apool, const char *src, size_t src_size, bool tainted) : - Pooled(apool), - forigins_mode(false) { + Pooled(apool) { last_chunk=&head; head.count=CR_PREALLOCATED_COUNT; append_here=head.rows; - head.preallocated_link=0; + head_link=0; link_row=&head.rows[head.count]; - fsize=0; if(src) if(tainted) @@ -40,15 +36,14 @@ String::String(Pool& apool, const char * } String::String(const String& src) : - Pooled(src.pool()), - forigins_mode(false) { + Pooled(src.pool()) { head.count=CR_PREALLOCATED_COUNT; - size_t src_used_rows=src.used_rows(); + uint src_used_rows=src.used_rows(); if(src_used_rows<=head.count) { // all new rows fit size_to preallocated area last_chunk=&head; - size_t curr_chunk_rows=head.count; + uint curr_chunk_rows=head.count; memcpy(head.rows, src.head.rows, sizeof(Chunk::Row)*src_used_rows); append_here=&head.rows[src_used_rows]; link_row=&head.rows[curr_chunk_rows]; @@ -65,18 +60,18 @@ String::String(const String& src) : // preallocated chunk src to constructing head memcpy(head.rows, src.head.rows, sizeof(Chunk::Row)*head.count); // remaining rows size_to new_chunk - size_t curr_chunk_rows=src_used_rows-head.count; + uint curr_chunk_rows=src_used_rows-head.count; last_chunk=static_cast( - malloc(sizeof(size_t)+sizeof(Chunk::Row)*curr_chunk_rows+sizeof(Chunk *), 9)); + malloc(sizeof(uint)+sizeof(Chunk::Row)*curr_chunk_rows+sizeof(Chunk *), 9)); last_chunk->count=curr_chunk_rows; - head.preallocated_link=last_chunk; + head_link=last_chunk; append_here=link_row=&last_chunk->rows[last_chunk->count]; - Chunk *old_chunk=src.head.preallocated_link; + Chunk *old_chunk=src.head_link; Chunk::Row *new_rows=last_chunk->rows; - size_t rows_left_to_copy=last_chunk->count; + uint rows_left_to_copy=last_chunk->count; while(true) { - size_t old_count=old_chunk->count; + uint old_count=old_chunk->count; Chunk *next_chunk=old_chunk->rows[old_count].link; if(next_chunk) { // not last source chunk @@ -96,31 +91,33 @@ String::String(const String& src) : } link_row->link=0; src_used_rows; - fsize=src.fsize; +} + +size_t String::size() const { + size_t result=0; + STRING_FOREACH_ROW( + result+=row->item.size; + ); +break2: + return result; } /// @todo not very optimal uint String::used_rows() const { uint result=0; - const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++, row++) { - if(row==append_here) - goto break2; - - result++; - } - chunk=row->link; - } while(chunk); - + STRING_FOREACH_ROW( + result++; + ); break2: return result; } void String::expand() { - size_t new_chunk_count=last_chunk->count+CR_GROW_COUNT; + uint new_chunk_count=last_chunk->count+CR_GROW_COUNT; + if(new_chunk_count>MAX_USHORT) + new_chunk_count=MAX_USHORT; + last_chunk=static_cast( - malloc(sizeof(size_t)+sizeof(Chunk::Row)*new_chunk_count+sizeof(Chunk *), 10)); + malloc(sizeof(uint)+sizeof(Chunk::Row)*new_chunk_count+sizeof(Chunk *), 10)); last_chunk->count=new_chunk_count; link_row->link=last_chunk; append_here=last_chunk->rows; @@ -128,24 +125,6 @@ void String::expand() { link_row->link=0; } -String& String::append(const String& src, Untaint_lang lang, bool forced) { - const Chunk *chunk=&src.head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++, row++) { - if(row==src.append_here) - goto break2; - - APPEND(row->item.ptr, row->item.size, - (lang!=UL_PASS_APPENDED && (row->item.lang==UL_TAINTED || forced))?lang:row->item.lang, - row->item.origin.file, row->item.origin.line); - } - chunk=row->link; - } while(chunk); -break2: - return *this; -} - String& String::real_append(STRING_APPEND_PARAMS) { if(!src) return *this; @@ -154,11 +133,28 @@ String& String::real_append(STRING_APPEN if(!size) return *this; + while(size>MAX_USHORT) { + if(chunk_is_full()) + expand(); + + append_here->item.ptr=src; + append_here->item.size=MAX_USHORT; + append_here->item.lang=lang; +#ifndef NO_STRING_ORIGIN + append_here->item.origin.file=file; + append_here->item.origin.line=line; +#endif + append_here++; + + src+=MAX_USHORT; + size-=MAX_USHORT; + } + if(chunk_is_full()) expand(); append_here->item.ptr=src; - fsize+=append_here->item.size=size; + append_here->item.size=size; append_here->item.lang=lang; #ifndef NO_STRING_ORIGIN append_here->item.origin.file=file; @@ -170,7 +166,7 @@ String& String::real_append(STRING_APPEN } char String::first_char() const { - if(!fsize) + if(!used_rows()) throw Exception(0, 0, this, "getting first char of empty string"); @@ -180,19 +176,9 @@ char String::first_char() const { uint String::hash_code() const { uint result=0; - - const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++) { - if(row==append_here) - goto break2; - + STRING_FOREACH_ROW( result=Hash::generic_code(result, row->item.ptr, row->item.size); - row++; - } - chunk=row->link; - } while(chunk); + ); break2: return result; } @@ -201,7 +187,8 @@ break2: int String::cmp(int& partial, const String& src, size_t this_offset, Untaint_lang lang) const { partial=-1; - this_offset=min(this_offset, size()-1); + size_t a_size=size(); + this_offset=min(this_offset, a_size-1); const Chunk *a_chunk=&head; const Chunk *b_chunk=&src.head; @@ -211,16 +198,16 @@ int String::cmp(int& partial, const Stri size_t b_offset=0; Chunk::Row *a_end=append_here; Chunk::Row *b_end=src.append_here; - size_t a_countdown=a_chunk->count; - size_t b_countdown=b_chunk->count; - size_t result; + uint a_countdown=a_chunk->count; + uint b_countdown=b_chunk->count; + int result; size_t pos=0; - bool a_break=size()==0; + bool a_break=a_size==0; bool b_break=src.size()==0; if(!(a_break || b_break)) while(true) { if(pos+a_row->item.size > this_offset) { - if(lang!=UL_UNSPECIFIED && a_row->item.lang!=lang) + if(lang!=UL_UNSPECIFIED && a_row->item.lang>lang) return -1; // wrong lang -- bail out int size_diff= @@ -289,22 +276,23 @@ int String::cmp(int& partial, const Stri int String::cmp(int& partial, const char* b_ptr, size_t src_size, size_t this_offset, Untaint_lang lang) const { partial=-1; + size_t a_size=size(); size_t b_size=src_size?src_size:b_ptr?strlen(b_ptr):0; - this_offset=min(this_offset, size()-1); + this_offset=min(this_offset, a_size-1); const Chunk *a_chunk=&head; const Chunk::Row *a_row=a_chunk->rows; size_t a_offset=this_offset; size_t b_offset=0; Chunk::Row *a_end=append_here; - size_t a_countdown=a_chunk->count; + uint a_countdown=a_chunk->count; size_t pos=0; - bool a_break=size()==0; + bool a_break=a_size==0; bool b_break=b_size==0; if(!(a_break || b_break)) while(true) { if(pos+a_row->item.size > this_offset) { - if(lang!=UL_UNSPECIFIED && a_row->item.lang!=lang) + if(lang!=UL_UNSPECIFIED && a_row->item.lang>lang) return -1; // wrong lang -- bail out int size_diff= @@ -312,20 +300,20 @@ int String::cmp(int& partial, const char (b_size-b_offset); if(size_diff==0) { // a has same size as b - if(size_t result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, + if(int result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, a_row->item.size-a_offset)!=0) return result; pos+=a_row->item.size; a_row++; a_countdown--; a_offset=0; b_break=true; } else if (size_diff>0) { // a longer - if(size_t result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, + if(int result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, b_size-b_offset)!=0) return result; a_offset+=b_size-b_offset; b_break=true; } else { // b longer - if(size_t result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, + if(int result=memcmp(a_row->item.ptr+a_offset, b_ptr+b_offset, a_row->item.size-a_offset)!=0) return result; b_offset+=a_row->item.size-a_offset; @@ -358,7 +346,7 @@ int String::cmp(int& partial, const char #ifndef NO_STRING_ORIGIN const Origin& String::origin() const { - if(!fsize) { + if(!used_rows()) { static const Origin empty_origin={"empty string"}; return empty_origin; } @@ -383,29 +371,22 @@ String& String::mid(size_t start, size_t return result; size_t pos=0; - const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; pos+=row->item.size, i++, row++) { - if(row==append_here) + STRING_FOREACH_ROW( + size_t item_finish=pos+row->item.size; + if(item_finish > start) { // started now or already? + bool started=result.size()==0; // started now? + bool finished=finish <= item_finish; // finished now? + size_t offset=started?start-pos:0; + size_t size=finished?finish-pos:row->item.size; + result.APPEND( + row->item.ptr+offset, size-offset, + row->item.lang, + row->item.origin.file, row->item.origin.line); + if(finished) goto break2; - - size_t item_finish=pos+row->item.size; - if(item_finish > start) { // started now or already? - bool started=result.size()==0; // started now? - bool finished=finish <= item_finish; // finished now? - size_t offset=started?start-pos:0; - size_t size=finished?finish-pos:row->item.size; - result.APPEND( - row->item.ptr+offset, size-offset, - row->item.lang, - row->item.origin.file, row->item.origin.line); - if(finished) - goto break2; - } } - chunk=row->link; - } while(chunk); + pos+=row->item.size; + ); break2: // SAPI::log(pool(), "piece of '%s' from %d to %d is '%s'", //cstr(), start, finish, result.cstr()); @@ -413,8 +394,9 @@ break2: } int String::pos(const String& substr, - size_t result, Untaint_lang lang) const { - for(; resultcstr():0, option_bits); @@ -537,7 +521,7 @@ bool String::match(const unsigned char * *was_global=option_bits[1]!=0; pcre *code=pcre_compile(pattern, option_bits[0], &errptr, &erroffset, - pcre_tables); + pool().get_source_charset().pcre_tables); if(!code) throw Exception(0, 0, @@ -554,7 +538,7 @@ bool String::match(const unsigned char * } int startoffset=0; - const char *subject=cstr(UL_AS_IS); + const char *subject=cstr(); int length=strlen(subject); int ovecsize; int *ovector=(int *)malloc(sizeof(int)* @@ -619,8 +603,9 @@ bool String::match(const unsigned char * } } -String& String::change_case(Pool& pool, const unsigned char *tables, +String& String::change_case(Pool& pool, Change_case_kind kind) const { + const unsigned char *tables=pool.get_source_charset().pcre_tables; String& result=*new(pool) String(pool); const unsigned char *a; @@ -646,7 +631,7 @@ String& String::change_case(Pool& pool, const Chunk *chunk=&head; do { const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++, row++) { + for(uint i=0; icount; i++, row++) { if(row==append_here) goto break2; @@ -673,26 +658,26 @@ break2: } void String::join_chain(Pool& pool, - size_t& ai, const Chunk*& achunk, const Chunk::Row*& arow, - Untaint_lang& joined_lang, const char *& joined_ptr, size_t& joined_size) const { + uint& ai, const Chunk*& achunk, const Chunk::Row*& arow, + uchar& joined_lang, const char *& joined_ptr, size_t& joined_size) const { joined_lang=arow->item.lang; // calc size joined_size=0; { - size_t start_i=ai; + uint start_i=ai; const Chunk::Row *start_row=arow; const Chunk *chunk=achunk; do { const Chunk::Row *row=start_row; - for(size_t i=start_i; icount; i++, row++) { + for(uint i=start_i; icount; i++, row++) { if(row==append_here) goto break21; if(row->item.lang==joined_lang) joined_size+=row->item.size; else - break; + goto break21; } if(chunk=row->link) { start_i=0; @@ -707,16 +692,20 @@ break21:; if(joined_size==arow->item.size) { joined_ptr=arow->item.ptr; ai++; arow++; - if(ai==achunk->count) - achunk=arow->link; + if(ai==achunk->count) { + if(achunk=arow->link) { + ai=0; + arow=achunk->rows; + } + } } else { // join adjacent rows char *ptr=(char *)pool.malloc(joined_size,13); joined_ptr=ptr; - size_t start_i=ai; + uint start_i=ai; const Chunk::Row *start_row=arow; const Chunk *chunk=achunk; - size_t i; + uint i; const Chunk::Row *row; do { row=start_row; @@ -728,7 +717,7 @@ break21:; memcpy(ptr, row->item.ptr, row->item.size); ptr+=row->item.size; } else - break; + goto break22; } if(chunk=row->link) { start_i=0; @@ -749,26 +738,27 @@ String& String::reconstruct(Pool& pool) //_asm int 3; String& result=*new(pool) String(pool); const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; ) { - if(row==append_here) - goto break2; + const Chunk::Row *row=chunk->rows; + for(uint i=0; icount; ) { + if(row==append_here) + break; - Untaint_lang joined_lang; - const char *joined_ptr; - size_t joined_size; - join_chain(pool, i, chunk, row, - joined_lang, joined_ptr, joined_size); + uchar joined_lang; + const char *joined_ptr; + size_t joined_size; +#ifndef NO_STRING_ORIGIN + const char *joined_origin_file=row->item.origin.file; + const size_t joined_origin_line=row->item.origin.line; +#endif + join_chain(pool, i, chunk, row, + joined_lang, joined_ptr, joined_size); - result.APPEND(joined_ptr, joined_size, - joined_lang, - row->item.origin.file, row->item.origin.line); - if(!chunk) - goto break2; - } - } while(true); -break2: + result.APPEND(joined_ptr, joined_size, joined_lang, + joined_origin_file, joined_origin_line); + + if(!chunk) + break; + } return result; }; @@ -776,40 +766,31 @@ break2: String& String::replace_in_reconstructed(Pool& pool, Dictionary& dict) const { //_asm int 3; String& result=*new(pool) String(pool); - const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++, row++) { - if(row==append_here) - goto break2; - - const char *src=row->item.ptr; - size_t src_size=row->item.size; - char *new_cstr=(char *)pool.malloc((size_t)ceil(src_size*dict.max_ratio()), 14); - char *dest=new_cstr; - while(src_size) { - // there is a row where first column starts 'src' - if(Table::Item *item=dict.first_that_starts(src, src_size)) { - // get a=>b values - const String& a=*static_cast(item)->get_string(0); - const String& b=*static_cast(item)->get_string(1); - // skip 'a' in 'src' && reduce work size - src+=a.size(); src_size-=a.size(); - // write 'b' to 'dest' && skip 'b' in 'dest' - b.store_to(dest); dest+=b.size(); - } else { - // write a char to b && reduce work size - *dest++=*src++; src_size--; - } + STRING_FOREACH_ROW( + const char *src=row->item.ptr; + size_t src_size=row->item.size; + char *new_cstr=(char *)pool.malloc((size_t)ceil(src_size*dict.max_ratio()), 14); + char *dest=new_cstr; + while(src_size) { + // there is a row where first column starts 'src' + if(Table::Item *item=dict.first_that_starts(src, src_size)) { + // get a=>b values + const String& a=*static_cast(item)->get_string(0); + const String& b=*static_cast(item)->get_string(1); + // skip 'a' in 'src' && reduce work size + src+=a.size(); src_size-=a.size(); + // write 'b' to 'dest' && skip 'b' in 'dest' + b.store_to(dest); dest+=b.size(); + } else { + // write a char to b && reduce work size + *dest++=*src++; src_size--; } - - result.APPEND(new_cstr, dest-new_cstr, - row->item.lang, - row->item.origin.file, row->item.origin.line); } - chunk=row->link; - } while(chunk); + result.APPEND(new_cstr, dest-new_cstr, + row->item.lang, + row->item.origin.file, row->item.origin.line); + ); break2: return result; } @@ -875,6 +856,13 @@ int String::as_int() const { return result; } +inline void ushort2uchars(ushort word, uchar& byte1, uchar& byte2) { + byte1=word&0xFF; + byte2=word>>8; +} +inline ushort uchars2ushort(uchar byte1, uchar byte2) { + return (byte2<<8) | byte1; +} /* @todo maybe network order worth spending some effort? don't bothering myself with network byte order, am not planning to be able to move resulting file across platforms @@ -883,60 +871,47 @@ int String::as_int() const { void String::serialize(size_t prolog_size, void *& buf, size_t& buf_size) const { buf_size= prolog_size - +used_rows()*(sizeof(Untaint_lang)+sizeof(size_t)) + +used_rows()*(sizeof(uchar)+sizeof(ushort)) +size(); buf=malloc(buf_size,15); char *cur=(char *)buf+prolog_size; - const Chunk *chunk=&head; - do { - const Chunk::Row *row=chunk->rows; - for(size_t i=0; icount; i++) { - if(row==append_here) - goto break2; - - // lang - memcpy(cur, &row->item.lang, sizeof(Untaint_lang)); - cur+=sizeof(Untaint_lang); - // size - memcpy(cur, &row->item.size, sizeof(size_t)); - cur+=sizeof(size_t); - // bytes - memcpy(cur, row->item.ptr, row->item.size); - cur+=row->item.size; - - row++; - } - chunk=row->link; - } while(chunk); + STRING_FOREACH_ROW( + // lang + memcpy(cur, &row->item.lang, sizeof(uchar)); + cur+=sizeof(uchar); + // size + uchar byte1; uchar byte2; + ushort2uchars(row->item.size, byte1, byte2); + memcpy(cur, &byte1, sizeof(uchar)); cur+=sizeof(uchar); + memcpy(cur, &byte2, sizeof(uchar)); cur+=sizeof(uchar); + // bytes + memcpy(cur, row->item.ptr, row->item.size); + cur+=row->item.size; + ); break2: ; } - -/* @todo maybe network order worth spending some effort? - don't bothering myself with network byte order, - am not planning to be able to move resulting file across platforms - for now -*/ -#ifndef DOXYGEN -struct Serialized_piece { - String::Untaint_lang lang; - size_t size; - char ptr[1]; -}; -#endif - void String::deserialize(size_t prolog_size, void *buf, size_t buf_size, const char *file) { - char *cur=((char *)buf)+prolog_size; + if(buf_size<=prolog_size) + return; + + char *cur=(char *)buf+prolog_size; buf_size-=prolog_size; while(buf_size) { - Serialized_piece& p=*(Serialized_piece *)cur; - APPEND(p.ptr, p.size, p.lang, file, 0); + uchar lang=*(uchar *)(cur); + + ushort size=uchars2ushort( + *(uchar*)(cur+sizeof(uchar)*1), + *(uchar*)(cur+sizeof(uchar)*2) + ); + + const char *ptr=(const char*)(cur+sizeof(uchar)*3); + APPEND(ptr, size, lang, file, 0); - size_t piece_size=sizeof(p.lang)+sizeof(p.size)+p.size; + size_t piece_size=sizeof(uchar)+sizeof(ushort)+size; cur+=piece_size; buf_size-=piece_size; } } -