Annotation of parser3/src/main/pa_string.C, revision 1.172.2.21.2.11
1.45 paf 1: /** @file
1.172.2.21.2. (paf 2:): Parser: string class. @see untalength_t.C.
1.46 paf 3:
1.172.2.11 paf 4: Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com)
1.138 paf 5: Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.164 paf 6: */
1.46 paf 7:
1.172.2.21.2. 1(paf 8:3): static const char* IDENT_STRING_C="$Date: 2003/03/20 14:34:01 $";
1.4 paf 9:
1.70 paf 10: #include "pcre.h"
11:
1.12 paf 12: #include "pa_string.h"
1.22 paf 13: #include "pa_exception.h"
1.61 paf 14: #include "pa_table.h"
1.101 parser 15: #include "pa_dictionary.h"
1.132 paf 16: #include "pa_charset.h"
1.60 paf 17:
1.172.2.2 paf 18: // helpers
1.139 paf 19:
1.172.2.2 paf 20: /// String::match uses this as replace & global search table columns
1.139 paf 21:
1.172.2.4 paf 22: const int MAX_MATCH_GROUPS=100;
23:
1.172.2.14 paf 24: class String_match_table_template_columns: public ArrayString {
1.172.2.2 paf 25: public:
1.172.2.4 paf 26: String_match_table_template_columns() {
1.172.2.21.2. (paf 27:): *this+=new String("prematch");
28:): *this+=new String("match");
29:): *this+=new String("postmatch");
1.172.2.4 paf 30: for(int i=0; i<MAX_MATCH_GROUPS; i++) {
1.172.2.21.2. (paf 31:): char *cname=new(PointerFreeGC) char[3/*strlen("100")*/+1/*terminating 0*/];
32:): *this+=new String(cname, sprintf(cname, "%d", 1+i));
1.172.2.2 paf 33: }
1.172.2.21 paf 34: }
1.172.2.4 paf 35: };
36:
1.172.2.21.2. (paf 37:): Table string_match_table_template(new String_match_table_template_columns);
1.172.2.2 paf 38:
1.172.2.21.2. (paf 39:): // String::ArrayFragment methods
40:):
41:): String::ArrayFragment& String::ArrayFragment::append(const ArrayFragment& src,
1(paf 42:3): size_t substr_begin, size_t substr_end) {
43:3): if(substr_begin==substr_end)
(paf 44:): return *this;
45:):
1(paf 46:3): size_t fragment_begin=0;
(paf 47:): size_t fragment_end;
1(paf 48:3): for(Array_iterator<element_type> i(src); ; fragment_begin=fragment_end) {
(paf 49:): const element_type& fragment=i.next();
1(paf 50:3): fragment_end=fragment_begin+fragment.length;
(paf 51:):
1(paf 52:3): if(fragment_begin<substr_begin) // not reached fragments which may include 'substr'?
(paf 53:): continue;
54:):
55:): // found first fragment including piece of 'substr'
56:): size_t piece_end=min(substr_end, fragment_end);
1(paf 57:3): *this+=Fragment(fragment.lang, piece_end-substr_begin);
(paf 58:):
59:): while(substr_end>fragment_end) { // are there more fragments including pieces of 'substr'?
1(paf 60:3): fragment_begin=fragment_end;
61:3):
(paf 62:): const element_type& fragment=i.next();
1(paf 63:3): fragment_end=fragment_begin+fragment.length;
(paf 64:):
65:): if(substr_end>fragment_end) // are there still more?
66:): simple_append(Fragment(fragment.lang, fragment.length)); // appending whole fragment
67:): else { // no, it was last
1(paf 68:3): simple_append(Fragment(fragment.lang, substr_end-fragment_begin));
(paf 69:): goto break2;
70:): }
71:): }
72:):
73:): break;
74:): }
75:): break2:
76:):
77:): return *this;
78:): }
79:): /*
1(paf 80:3): void String::ArrayFragment::mid(ArrayFragment& result, size_t substr_begin, size_t substr_end) {
(paf 81:): }
82:): */
83:):
84:): // String methods
1.172.2.2 paf 85:
1.172.2.21.2. (paf 86:): String::String(const char* cstr, size_t helper_length, bool tainted): body(CORD_EMPTY) {
87:): append_cstr(cstr, helper_length, tainted?UL_TAINTED:UL_CLEAN);
1.1 paf 88: }
1.140 paf 89:
1.172.2.21.2. (paf 90:): String::String(const String& src): body(src.body), fragments(src.fragments) {}
1.28 paf 91:
1.172.2.21.2. (paf 92:): String& String::append_cstr(const char* heap_variable, size_t helper_length, Untaint_lang lang) {
93:): if(!heap_variable)
94:): return *this;
0(paf 95:3): size_t use_length;
96:3): if(helper_length) {
97:3): #ifdef _DEBUG
98:3): size_t real_length=strlen(heap_variable);
99:3): if(helper_length!=real_length)
100:3): throw Exception(0,
101:3): this,
102:3): "bad String::String(real=%d, helper%d",
103:3): real_length, helper_length);
104:3): #endif
105:3): use_length=helper_length;
106:3): } else
107:3): use_length=strlen(heap_variable);
(paf 108:): size_t length=helper_length?helper_length:strlen(heap_variable);
109:): if(!length)
110:): return *this;
111:):
112:): body=CORD_cat_char_star(body, heap_variable, length);
113:): fragments+=Fragment(lang, length);
114:):
115:): return *this;
116:): }
117:):
118:): String& String::append_copy(const char* auto_variable, size_t helper_length, Untaint_lang lang) {
119:): if(!auto_variable)
1.9 paf 120: return *this;
1.172.2.21.2. 0(paf 121:3): size_t use_length=helper_length?helper_length:strlen(auto_variable);
122:3): if(!use_length)
1.9 paf 123: return *this;
1.122 paf 124:
1.172.2.21.2. 0(paf 125:3): body=pa_strdup(auto_variable, use_length);
126:3): fragments+=Fragment(lang, use_length);
1.1 paf 127:
128: return *this;
129: }
130:
1.172.2.21.2. (paf 131:): static int CORD_batched_iter_fn_generic_hash_code(const char* s, void * client_data) {
132:): uint& result=*static_cast<uint*>(client_data);
133:): generic_hash_code(result, s);
134:): return 0;
135:): };
1.16 paf 136: uint String::hash_code() const {
1.7 paf 137: uint result=0;
1.172.2.21.2. (paf 138:): CORD_iter5(body, 0, 0, CORD_batched_iter_fn_generic_hash_code, &result);
1.5 paf 139: return result;
140: }
141:
1.172.2.21.2. 1(paf 142:3): /// @todo check in doc: whether it documents NOW bad situation "abc".mid(-1, 3) =were?="ab"
143:3): const String& String::mid(size_t substr_begin, size_t substr_end) const {
(paf 144:): String& result=*new String;
1.33 paf 145:
1.172.2.21.2. 1(paf 146:3): size_t self_length=length();
147:3): substr_begin=max(min(substr_begin, self_length), (size_t)0);
148:3): substr_end=min(max(substr_end, substr_begin), self_length);
149:3): if(substr_begin==substr_end)
(paf 150:): return result;
1.52 paf 151:
1.172.2.21.2. (paf 152:): // first: letters themselves
1(paf 153:3): result.body=CORD_substr(body, substr_begin, substr_end-substr_begin);
1.46 paf 154:
1.172.2.21.2. (paf 155:): // next: their langs
1(paf 156:3): result.fragments.append(fragments, substr_begin, substr_end);
1.53 paf 157:
1.60 paf 158: // SAPI::log(pool(), "piece of '%s' from %d to %d is '%s'",
1.172.2.21.2. 1(paf 159:3): //cstr(), substr_begin, substr_end, result.cstr());
1.53 paf 160: return result;
1.54 paf 161: }
162:
1.172.2.21.2. (paf 163:): size_t String::pos(CORD substr,
164:): size_t this_offset, Untaint_lang lang) const {
165:): // first: letters themselves
1(paf 166:3): size_t substr_begin=CORD_str(body, this_offset, substr);
167:3): if(substr_begin==CORD_NOT_FOUND)
(paf 168:): return STRING_NOT_FOUND;
169:):
170:): // next: check the lang when specified
171:):
172:): if(lang==UL_UNSPECIFIED) // ignore lang?
1(paf 173:3): return substr_begin;
(paf 174:):
175:): // substr must be in one fragment, and fragments' lang must = lang
1(paf 176:3): size_t substr_end=substr_begin+CORD_len(substr);
177:3): size_t fragment_begin=0;
(paf 178:): size_t fragment_end;
1(paf 179:3): for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); fragment_begin=fragment_end) {
(paf 180:): const Fragment& fragment=i.next();
1(paf 181:3): fragment_end=fragment_begin+fragment.length;
(paf 182:):
1(paf 183:3): if(substr_begin<fragment_begin) // not reached fragments which may include 'result'?
(paf 184:): continue;
185:):
186:): if(substr_end>fragment_end) // end of substr OUT of current fragment?
187:): break;
188:):
189:): return fragment.lang==lang?substr_end:STRING_NOT_FOUND;
190:): }
191:):
192:): return STRING_NOT_FOUND;
1.58 paf 193: }
194:
1.172.2.21.2. (paf 195:): size_t String::pos(const String& substr,
196:): size_t this_offset, Untaint_lang lang) const {
197:): return pos(substr.body, this_offset, lang);
1.60 paf 198: }
199:
1.172.2.14 paf 200: void String::split(ArrayString& result,
1.172.2.21.2. (paf 201:): size_t& pos_after,
202:): const char* delim,
1.172.2.10 paf 203: Untaint_lang lang, int limit) {
1.172.2.21.2. (paf 204:): size_t self_length=length();
205:): if(size_t delim_length=strlen(delim)) {
1.60 paf 206: int pos_before;
207: // while we have 'delim'...
1.172.2.21.2. (paf 208:): for(; (pos_before=pos(delim, pos_after, lang))>=0 && limit; limit--) {
209:): result+=&mid(pos_after, pos_before);
210:): pos_after=pos_before+delim_length;
1.60 paf 211: }
212: // last piece
1.172.2.21.2. (paf 213:): if(pos_after<self_length && limit) {
214:): result+=&mid(pos_after, self_length);
215:): pos_after=self_length;
1.60 paf 216: }
217: } else { // empty delim
1.172.2.21.2. (paf 218:): result+=this;
219:): pos_after+=self_length;
1.60 paf 220: }
221: }
222:
1.172.2.14 paf 223: void String::split(ArrayString& result,
1.172.2.21.2. (paf 224:): size_t& pos_after,
1.60 paf 225: const String& delim, Untaint_lang lang,
1.172.2.21.2. (paf 226:): int limit) const {
227:): if(delim) {
1.60 paf 228: int pos_before;
229: // while we have 'delim'...
230: for(; (pos_before=pos(delim, pos_after, lang))>=0 && limit; limit--) {
1.172.2.21.2. (paf 231:): result+=&mid(pos_after, pos_before);
232:): pos_after=pos_before+delim.length();
1.60 paf 233: }
234: // last piece
1.172.2.21.2. (paf 235:): if(pos_after<length() && limit) {
236:): result+=&mid(pos_after, length());
237:): pos_after=length();
1.60 paf 238: }
239: } else { // empty delim
1.172.2.21.2. (paf 240:): result+=this;
241:): pos_after+=length();
1.60 paf 242: }
1.61 paf 243: }
244:
1.172.2.21.2. (paf 245:): static void regex_options(const String& options, int *result, bool& need_pre_post_match){
1.63 paf 246: struct Regex_option {
1.172.2.11 paf 247: const char* keyL;
248: const char* keyU;
1.63 paf 249: int clear, set;
250: int *result;
1.154 paf 251: bool *flag;
1.63 paf 252: } regex_option[]={
1.153 paf 253: {"i", "I", 0, PCRE_CASELESS, result}, // a=A
254: {"s", "S", 0, PCRE_DOTALL, result}, // \n\n$ [default]
255: {"x", "U", 0, PCRE_EXTENDED, result}, // whitespace in regex ignored
256: {"m", "M", PCRE_DOTALL, PCRE_MULTILINE, result}, // ^aaa\n$^bbb\n$
257: {"g", "G", 0, true, result+1}, // many rows
1.154 paf 258: {"'", 0, 0, 0, 0, &need_pre_post_match},
259: {0}
1.63 paf 260: };
1.171 paf 261: result[0]=PCRE_EXTRA | PCRE_DOTALL | PCRE_DOLLAR_ENDONLY;
1.63 paf 262: result[1]=0;
263:
264: if(options)
1.153 paf 265: for(Regex_option *o=regex_option; o->keyL; o++)
1.172.2.21.2. (paf 266:): if(options.pos(o->keyL)>=0
267:): || (o->keyU && options.pos(o->keyU)>=0)) {
1.154 paf 268: if(o->flag)
269: *o->flag=true;
270: else { // result
271: *o->result &= ~o->clear;
272: *o->result |= o->set;
273: }
1.63 paf 274: }
275: }
276:
1.172.2.21.2. (paf 277:): Table* String::match(Charset& source_charset,
1.172.2.4 paf 278: const String& regexp,
1.172.2.21.2. (paf 279:): const String& options,
1.172.2.4 paf 280: Row_action row_action, void *info,
1.172.2.20 paf 281: bool& just_matched) const {
1.172.2.21.2. (paf 282:): if(!regexp)
283:): throw Exception(0,
284:): 0,
1.73 paf 285: "regexp is empty");
1.154 paf 286:
1.172.2.21.2. (paf 287:): const char* pattern=regexp.cstr();
1.172.2.11 paf 288: const char* errptr;
1.62 paf 289: int erroffset;
1.172.2.21.2. (paf 290:): bool need_pre_post_match=false;
1.154 paf 291: int option_bits[2]; regex_options(options, option_bits, need_pre_post_match);
1.172.2.20 paf 292: bool global=option_bits[1]!=0;
1.172.2.21.2. (paf 293:): pcre *code=pcre_compile(pattern, option_bits[0],
1.62 paf 294: &errptr, &erroffset,
1.172.2.1 paf 295: source_charset.pcre_tables);
1.62 paf 296:
1.67 paf 297: if(!code)
1.172.2.21.2. (paf 298:): throw Exception(0,
299:): ®exp.mid(erroffset, regexp.length()),
1.74 paf 300: "regular expression syntax error - %s", errptr);
1.62 paf 301:
1.172.2.20 paf 302: int subpatterns=pcre_info(code, 0, 0);
303: if(subpatterns<0) {
1.100 parser 304: pcre_free(code);
1.149 paf 305: throw Exception(0,
1.172.2.21.2. (paf 306:): ®exp,
1.76 paf 307: "pcre_info error (%d)",
1.172.2.20 paf 308: subpatterns);
1.63 paf 309: }
310:
1.172.2.21.2. (paf 311:): const char* subject=cstr();
312:): size_t subject_length=strlen(subject);
313:): const int oveclength=(1/*match*/+MAX_MATCH_GROUPS)*3;
314:): int ovector[oveclength];
1.155 paf 315:
316: // create table
1.172.2.21.2. (paf 317:): Table* table=new Table(string_match_table_template);
1.63 paf 318:
1.64 paf 319: int exec_option_bits=0;
1.154 paf 320: int prestart=0;
321: int poststart=0;
1.172.2.21.2. (paf 322:): int postfinish=length();
1.63 paf 323: while(true) {
324: int exec_substrings=pcre_exec(code, 0,
1.172.2.21.2. (paf 325:): subject, subject_length, prestart,
326:): exec_option_bits, ovector, oveclength);
1.63 paf 327:
328: if(exec_substrings==PCRE_ERROR_NOMATCH) {
1.100 parser 329: pcre_free(code);
1.172.2.21.2. (paf 330:): row_action(table, 0/*last time, no raw*/, 0, 0, poststart, postfinish, info);
1.172.2.20 paf 331: if(global || subpatterns)
332: return table; // global or with subpatterns=true+result
333: else {
1.172.2.21.2. (paf 334:): just_matched=false; return 0; // not global=no result
1.172.2.20 paf 335: }
1.63 paf 336: }
337:
338: if(exec_substrings<0) {
1.100 parser 339: pcre_free(code);
1.172.2.21.2. (paf 340:): throw Exception(0,
341:): ®exp,
1.76 paf 342: "regular expression execute error (%d)",
1.63 paf 343: exec_substrings);
344: }
345:
1.154 paf 346: int prefinish=ovector[0];
347: poststart=ovector[1];
1.172.2.21.2. (paf 348:): ArrayString* row=new ArrayString;
1.172.2.4 paf 349: if(need_pre_post_match) {
1.172.2.21.2. (paf 350:): *row+=&mid(0, prefinish); // .prematch column value
351:): *row+=&mid(prefinish, poststart); // .match
352:): *row+=&mid(poststart, postfinish); // .postmatch
1.172.2.4 paf 353: } else {
1.172.2.21.2. (paf 354:): *row+=0; // .prematch column value
355:): *row+=0; // .match
356:): *row+=0; // .postmatch
1.172.2.4 paf 357: }
1.63 paf 358:
359: for(int i=1; i<exec_substrings; i++) {
1.69 paf 360: // -1:-1 case handled peacefully by mid() itself
1.172.2.21.2. (paf 361:): *row+=&mid(ovector[i*2+0], ovector[i*2+1]); // .i column value
1.63 paf 362: }
363:
1.172.2.20 paf 364: row_action(table, row, prestart, prefinish, poststart, postfinish, info);
1.63 paf 365:
1.172.2.20 paf 366: if(!global || prestart==poststart) { // not global | going to hang
1.100 parser 367: pcre_free(code);
1.172.2.21.2. (paf 368:): row_action(table, 0/*last time, no row*/, 0, 0, poststart, postfinish, info);
1.172.2.20 paf 369: return table;
1.63 paf 370: }
1.154 paf 371: prestart=poststart;
1.63 paf 372:
373: /*
374: if(option_bits[0] & PCRE_MULTILINE)
1.64 paf 375: exec_option_bits|=PCRE_NOTBOL; // start of subject+startoffset not BOL
1.63 paf 376: */
377: }
1.82 parser 378: }
379:
1.172.2.21.2. (paf 380:): String& String::change_case(Charset& source_charset, Change_case_kind kind) {
381:): String& result=*new String();
1.172.2.4 paf 382:
1.172.2.1 paf 383: const unsigned char *tables=source_charset.pcre_tables;
1.82 parser 384:
385: const unsigned char *a;
386: const unsigned char *b;
387: switch(kind) {
388: case CC_UPPER:
389: a=tables+lcc_offset;
390: b=tables+fcc_offset;
391: break;
392: case CC_LOWER:
393: a=tables+lcc_offset;
394: b=0;
395: break;
396: default:
1.172.2.21.2. (paf 397:): throw Exception(0,
398:): this,
1.82 parser 399: "unknown change case kind #%d",
400: static_cast<int>(kind)); // never
401: a=b=0; // calm, compiler
402: break; // never
403: }
404:
1.172.2.21.2. (paf 405:): char* new_cstr=cstrm();
406:): char *dest=new_cstr;
407:): unsigned char index;
408:): for(const char* current=new_cstr; index=(unsigned char)*current; current++) {
409:): unsigned char c=a[index];
410:): if(b)
411:): c=b[c];
1.82 parser 412:
1.172.2.21.2. (paf 413:): *dest++=(char)c;
414:): }
415:): result.body=new_cstr;
416:): result.fragments.append(fragments, 0, fragments.count());
1.89 parser 417:
1.101 parser 418: return result;
419: }
420:
1.172.2.21.2. (paf 421:): const String& String::replace(const Dictionary& dict) const {
422:): String& result=*new String();
423:): const char* old_cstr=cstr();
1(paf 424:3): const char* prematch_begin=old_cstr;
(paf 425:):
426:): for(const char* current=old_cstr; *current; ) {
1(paf 427:3): if(Table::element_type row=dict.first_that_begins(current)) {
(paf 428:): // prematch
1(paf 429:3): if(size_t prematch_length=current-prematch_begin) {
430:3): result.body=CORD_cat_char_star(result.body, prematch_begin, prematch_length);
431:3): result.fragments.append(fragments, prematch_begin-old_cstr, prematch_length);
1.101 parser 432: }
433:
1.172.2.21.2. (paf 434:): // match
435:):
436:): const String* a=row->get(0);
1(paf 437:3): // skip 'a' in 'current'; move prematch_begin
438:3): current+=a->length(); prematch_begin=current;
1.170 paf 439:
1.172.2.21.2. (paf 440:): if(row->count()>1) { // are there any b?
441:): const String* b=row->get(1);
442:): if(size_t b_length=b->length()) {
443:): result.body=CORD_cat(result.body, b->cstr_to_cord());
444:): result.fragments.append(b->fragments, 0, b->fragments.count());
445:): }
446:): }
447:): } else // simply advance
448:): current++;
449:): }
1.156 paf 450:
1.172.2.21.2. (paf 451:): // postmatch
1(paf 452:3): if(size_t prematch_length=current-prematch_begin) {
453:3): result.body=CORD_cat_char_star(result.body, prematch_begin, prematch_length);
454:3): result.fragments.append(fragments, prematch_begin-old_cstr, prematch_length);
(paf 455:): }
1.156 paf 456:
1.89 parser 457: return result;
458: }
459:
1.172.2.21.2. (paf 460:): double String::as_double() const {
1.89 parser 461: double result;
1.172.2.21.2. (paf 462:): const char *str=cstr();
463:):
464:): while(*str && isspace(*str))
465:): str++;
466:): if(!*str)
1.162 paf 467: return 0;
1.161 paf 468:
1.102 parser 469: char *error_pos;
1.89 parser 470: // 0xABC
1.172.2.21.2. (paf 471:): if(str[0]=='0')
472:): if(str[1]=='x' || str[1]=='X')
473:): result=(double)(unsigned long)strtol(str, &error_pos, 0);
1.99 parser 474: else
1.172.2.21.2. (paf 475:): result=(double)strtod(str+1/*skip leading 0*/, &error_pos);
1.89 parser 476: else
1.172.2.21.2. (paf 477:): result=(double)strtod(str, &error_pos);
1.89 parser 478:
1.159 paf 479: while(char c=*error_pos++)
480: if(!isspace(c))
481: throw Exception("number.format",
1.172.2.21.2. (paf 482:): this,
1.159 paf 483: "invalid number (double)");
1.89 parser 484:
485: return result;
486: }
1.172.2.21.2. (paf 487:): int String::as_int() const {
1.89 parser 488: int result;
1.172.2.21.2. (paf 489:): const char *str=cstr();
490:):
491:): while(*str && isspace(*str))
492:): str++;
493:): if(!*str)
1.162 paf 494: return 0;
1.161 paf 495:
1.102 parser 496: char *error_pos;
1.89 parser 497: // 0xABC
1.172.2.21.2. (paf 498:): if(str[0]=='0')
499:): if(str[1]=='x' || str[1]=='X')
500:): result=(int)(unsigned long)strtol(str, &error_pos, 0);
1.99 parser 501: else
1.172.2.21.2. (paf 502:): result=(int)strtol(str+1/*skip leading 0*/, &error_pos, 0);
1.89 parser 503: else
1.172.2.21.2. (paf 504:): result=(int)strtol(str, &error_pos, 0);
1.89 parser 505:
1.159 paf 506: while(char c=*error_pos++)
507: if(!isspace(c))
508: throw Exception("number.format",
1.172.2.21.2. (paf 509:): this,
1.159 paf 510: "invalid number (int)");
1.82 parser 511:
512: return result;
1.61 paf 513: }
1.113 parser 514:
1.172.2.4 paf 515: inline void uint2uchars(uint word, uchar *bytes) {
516: bytes[0]=word&0xFF;
517: bytes[1]=(word>>8)&0xFF;
518: bytes[2]=(word>>16)&0xFF;
519: bytes[3]=(word>>24)&0xFF;
520: }
521: inline uint uchars2uint(uchar *bytes) {
522: return bytes[3]<<24
523: | bytes[2]<<16
524: | bytes[1]<<8
525: | bytes[0];
526: }
527:
1.172.2.21.2. (paf 528:): static int CORD_batched_iter_fn_append(const char* s, void* client_data) {
529:): char*& cur=*static_cast<char**>(client_data);
530:):
531:): size_t length=strlen(s);
532:): memcpy(cur, s, length); cur+=length;
533:): return 0;
534:): };
535:): String::C String::serialize(size_t prolog_length) const {
536:): size_t buf_length=
537:): prolog_length
538:): +fragments.count()*(sizeof(Untaint_lang)+sizeof(size_t))
539:): +length();
540:): C result(new(PointerFreeGC) char[buf_length], buf_length);
541:):
542:): // 1: prolog
543:): char *cur=result.str+prolog_length;
544:):
545:):
546:): // 2: fragments.count
547:): size_t fragments_count=fragments.count();
548:): memcpy(cur, &fragments_count, sizeof(fragments_count)); cur+=sizeof(fragments_count);
1.113 parser 549:
1.172.2.21.2. (paf 550:): // 3: lang info
551:): for(Array_iterator<ArrayFragment::element_type> i(fragments); i.has_next(); ) {
552:): const Fragment& fragment=i.next();
1.123 paf 553: // lang
1.172.2.21.2. (paf 554:): memcpy(cur, &fragment.lang, sizeof(fragment.lang)); cur+=sizeof(fragment.lang);
555:): // length
556:): memcpy(cur, &fragment.length, sizeof(fragment.length)); cur+=sizeof(fragment.length);
557:): }
558:):
559:): // 4: letters
560:): CORD_iter5(body, 0, 0, CORD_batched_iter_fn_append, &cur);
561:):
562:): return result;
1.113 parser 563: }
1.172.2.21.2. (paf 564:): bool String::deserialize(size_t prolog_length, void *buf, size_t buf_length, const char* file) {
565:): if(buf_length<=prolog_length)
1.148 paf 566: return false;
1.172.2.21.2. (paf 567:): buf_length-=prolog_length;
1.113 parser 568:
1.172.2.21.2. (paf 569:): // 1: prolog
570:): const char* cur=(const char* )buf+prolog_length;
1.148 paf 571:
1.172.2.21.2. (paf 572:): // 2: fragments.count
573:): if(buf_length<sizeof(size_t)) // fragments.count don't fit?
574:): return false;
575:): size_t fragments_count=*reinterpret_cast<const size_t*>(cur); cur+=sizeof(size_t);
576:): buf_length-=sizeof(size_t);
1.128 paf 577:
1.172.2.21.2. (paf 578:): // 3: lang info
579:): size_t total_length=0;
580:): for(size_t f=0; f<fragments_count; f++) {
581:): size_t piece_length=sizeof(Untaint_lang)+sizeof(size_t);
582:): if(buf_length<piece_length) // lang+length
1.148 paf 583: return false;
584:
1.172.2.21.2. (paf 585:): Untaint_lang lang=*reinterpret_cast<const Untaint_lang *>(cur); cur+=sizeof(Untaint_lang);
586:): size_t fragment_length=*reinterpret_cast<const size_t*>(cur); cur+=sizeof(size_t);
587:): fragments+=Fragment(lang, fragment_length);
588:): total_length+=fragment_length;
1.113 parser 589:
1.172.2.21.2. (paf 590:): buf_length-=piece_length;
1.113 parser 591: }
1.172.2.21.2. (paf 592:):
593:): // 4: letters
594:): if(buf_length!=total_length)
595:): return false;
596:):
597:): body=CORD_cat_char_star(CORD_EMPTY, cur, buf_length);
598:):
1.148 paf 599: return true;
1.113 parser 600: }
E-mail: