|
|
| version 1.151, 2003/10/21 05:11:00 | version 1.209, 2015/05/30 22:55:28 |
|---|---|
| Line 1 | Line 1 |
| /** @file | /** @file |
| Parser: string class decl. | Parser: string class decl. |
| Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com) | Copyright (c) 2001-2012 Art. Lebedev Studio (http://www.artlebedev.com) |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| */ | */ |
| #ifndef PA_STRING_H | #ifndef PA_STRING_H |
| #define PA_STRING_H | #define PA_STRING_H |
| static const char* IDENT_STRING_H="$Date$"; | #define IDENT_PA_STRING_H "$Id$" |
| // includes | // includes |
| #include "pa_types.h" | #include "pa_types.h" |
| #include "pa_array.h" | #include "pa_array.h" |
| extern "C" { // cord's author forgot to do that | extern "C" { // cord's author forgot to do that |
| #define CORD_NO_IO | #define CORD_NO_IO |
| #include "cord.h" | #include "cord.h" |
| }; | |
| #ifdef CORD_CAT_OPTIMIZATION | |
| #define CORD_cat(x, y) CORD_cat_optimized(x, y) | |
| #define CORD_cat_char_star(x, y, leny) CORD_cat_char_star_optimized(x, y, leny) | |
| #endif | |
| } | |
| // defines | |
| // cache hash code in String::Body for faster hash access | |
| #define HASH_CODE_CACHING | |
| // cache String::Body.length() for char* strings only, CORDs have own length | |
| #define STRING_LENGTH_CACHING | |
| // cord extension | // cord extension |
| /* Returns true if x does contain */ | /* Returns true if x does contain */ |
| Line 35 class Dictionary; | Line 48 class Dictionary; |
| class Request_charsets; | class Request_charsets; |
| class String; | class String; |
| typedef Array<const String*> ArrayString; | typedef Array<const String*> ArrayString; |
| class VRegex; | |
| // generally useful | |
| int pa_atoi(const char* str, const String* problem_source=0); | |
| double pa_atod(const char* str, const String* problem_source=0); | |
| unsigned int pa_atoui(const char *str, int base, const String* problem_source=0); | |
| /// this is result of pos functions which mean that substr were not found | /// this is result of pos functions which mean that substr were not found |
| #define STRING_NOT_FOUND ((size_t)-1) | #define STRING_NOT_FOUND ((size_t)-1) |
| template<typename T> | |
| inline size_t get_length(T current) { | |
| return current; | |
| } | |
| /** | /** |
| String which knows the lang of all it's langs. | String which knows the lang of all it's langs. |
| Line 51 inline size_t get_length(T current) { | Line 66 inline size_t get_length(T current) { |
| - whether they are tainted or not, | - whether they are tainted or not, |
| and the lang which should be used to detaint them | and the lang which should be used to detaint them |
| */ | */ |
| class String: public PA_Object { | class String: public PA_Object { |
| public: | public: |
| Line 71 public: | Line 88 public: |
| enum Language { | enum Language { |
| L_UNSPECIFIED=0, ///< no real string has parts of this lange: it's just convinient to check when string's empty | L_UNSPECIFIED=0, ///< no real string has parts of this lange: it's just convinient to check when string's empty |
| // these two must go before others, there are checks for >L_AS_IS | // these two must go before others, there are checks for >L_AS_IS |
| L_CLEAN='0', ///< clean WARNING: read above warning before changing | L_CLEAN='0', ///< clean WARNING: read above warning before changing |
| L_AS_IS='A', ///< leave all characters intact WARNING: read above warning before changing | L_AS_IS='A', ///< leave all characters intact WARNING: read above warning before changing |
| L_PASS_APPENDED='P', | L_PASS_APPENDED='P', |
| /**< | /**< |
| leave lang built into string being appended. | leave lang built into string being appended. |
| just a flag, that value not stored | just a flag, that value not stored |
| */ | */ |
| L_TAINTED='T', ///< tainted, untaint lang as assigned later | L_TAINTED='T', ///< tainted, untaint lang as assigned later |
| // untaint langs. assigned by ^untaint[lang]{...} | // untaint langs. assigned by ^untaint[lang]{...} |
| L_FILE_SPEC='F', ///< file specification | L_FILE_SPEC='F', ///< file specification |
| L_HTTP_HEADER='h', ///< text in HTTP response header | L_HTTP_HEADER='h', ///< text in HTTP response header |
| L_MAIL_HEADER='m', ///< text in mail header | L_MAIL_HEADER='m', ///< text in mail header |
| L_URI='U', ///< text in uri | L_URI='U', ///< text in uri |
| L_TABLE='L', ///< ^table:set body | L_SQL='Q', ///< ^table:sql body |
| L_SQL='Q', ///< ^table:sql body | L_JS='J', ///< JavaScript code |
| L_JS='J', ///< JavaScript code | L_XML='X', ///< ^xdoc:create xml |
| L_XML='X', ///< ^dom:set xml | L_HTML='H', ///< HTML code |
| L_HTML='H', ///< HTML code (for editing) | L_REGEX='R', ///< RegExp |
| L_JSON='S', ///< JSON code | |
| L_HTTP_COOKIE='C', ///< cookies encoded as %uXXXX for compartibility with js functions encode/decode | |
| L_PARSER_CODE='p', ///< ^process body | |
| // READ WARNING ABOVE BEFORE ADDING ANYTHING | // READ WARNING ABOVE BEFORE ADDING ANYTHING |
| L_OPTIMIZE_BIT = 0x80 ///< flag, requiring cstr whitespace optimization | L_OPTIMIZE_BIT = 0x80 ///< flag, requiring cstr whitespace optimization |
| }; | }; |
| enum Trim_kind { | |
| TRIM_BOTH, | |
| TRIM_START, | |
| TRIM_END | |
| }; | |
| class Body; | |
| union Languages { | union Languages { |
| struct { | struct { |
| #ifdef PA_LITTLE_ENDIAN | |
| Language lang:8; | |
| size_t is_not_just_lang:sizeof(CORD)*8-8; | |
| #elif defined(PA_BIG_ENDIAN) | |
| size_t is_not_just_lang:sizeof(CORD)*8-8; | |
| Language lang:8; | Language lang:8; |
| int is_not_just_lang:sizeof(CORD)*8-8; | #else |
| # error word endianness not determined for some obscure reason | |
| #endif | |
| } opt; | } opt; |
| CORD langs; | CORD langs; |
| template<typename C> | CORD make_langs(const Body& current) const { |
| CORD make_langs(C current) const { | return opt.is_not_just_lang?langs:CORD_chars((char)opt.lang, current.length()); |
| return opt.is_not_just_lang? | |
| langs | |
| :CORD_chars((char)opt.lang, get_length(current)); | |
| } | } |
| CORD make_langs(size_t aoffset, size_t alength) const { | CORD make_langs(size_t aoffset, size_t alength) const { |
| return opt.is_not_just_lang? | return opt.is_not_just_lang? |
| CORD_substr(langs, aoffset, alength) | CORD_substr(langs, aoffset, alength, 0) |
| :CORD_chars((char)opt.lang, alength); | :CORD_chars((char)opt.lang, alength); |
| } | } |
| /// appending when 'langs' already contain something [simple cases hanled elsewhere] | /// appending when 'langs' already contain something [simple cases handled elsewhere] |
| template<typename C> | void append(size_t current, const CORD to_nonempty_target_langs) { |
| void append(C current, | |
| const CORD to_nonempty_target_langs) { | |
| assert(langs); | assert(langs); |
| if(opt.is_not_just_lang) | |
| langs=CORD_cat(langs, to_nonempty_target_langs); | |
| else { | |
| assert(current); | |
| langs=CORD_cat(CORD_chars((char)opt.lang, current), to_nonempty_target_langs); | |
| } | |
| } | |
| void append(const Body& current, const CORD to_nonempty_target_langs) { | |
| assert(langs); | |
| if(opt.is_not_just_lang) | if(opt.is_not_just_lang) |
| langs=CORD_cat(langs, to_nonempty_target_langs); | langs=CORD_cat(langs, to_nonempty_target_langs); |
| else { // we were "just lang" | else { |
| size_t current_size=get_length(current); | size_t current_size=current.length(); |
| assert(current_size); | assert(current_size); |
| langs=CORD_cat( | langs=CORD_cat(CORD_chars((char)opt.lang, current_size), to_nonempty_target_langs); |
| CORD_chars((char)opt.lang, current_size), // first piece [making from just 'lang'] | |
| to_nonempty_target_langs); // new piece | |
| } | } |
| } | } |
| public: | public: |
| const char* v() const; | const char* v() const; |
| void dump() const; | |
| Languages(): langs(0) {} | Languages(): langs(0) {} |
| Languages(Language alang) { | Languages(Language alang) { |
| Line 143 public: | Line 181 public: |
| } | } |
| /// MUST be called exactly prior to modification of current [uses it's length] | /// MUST be called exactly prior to modification of current [uses it's length] |
| template<typename C> | void append(size_t current, Language alang, size_t length) { |
| void append(C current, Language alang, size_t asize) { | |
| assert(alang); | assert(alang); |
| assert(asize); | assert(length); |
| if(!opt.is_not_just_lang) | if(!opt.is_not_just_lang) { |
| if(opt.lang) { | if(opt.lang) { |
| if(opt.lang==alang) // same length? ignoring | if(opt.lang==alang) // same language? ignoring |
| return; | return; |
| } else { | } else { |
| opt.lang=alang; // to uninitialized | opt.lang=alang; // to uninitialized |
| return; | return; |
| } | } |
| } | |
| append(current, CORD_chars((char)alang, asize)); | append(current, CORD_chars((char)alang, length)); |
| } | } |
| /// MUST be called exactly prior to modification of current [uses it's length] | void append(const Body ¤t, Language alang, size_t length) { |
| template<typename C> | assert(alang); |
| void append(C current, size_t appending_length, | assert(length); |
| const Languages src) { | |
| assert(appending_length); | |
| if(!langs) | if(!opt.is_not_just_lang) { |
| if(opt.lang) { | |
| if(opt.lang==alang) // same language? ignoring | |
| return; | |
| } else { | |
| opt.lang=alang; // to uninitialized | |
| return; | |
| } | |
| } | |
| append(current, CORD_chars((char)alang, length)); | |
| } | |
| void appendHelper(const Body& current, Language alang, const Body &length_helper) { | |
| assert(alang); | |
| if(!opt.is_not_just_lang) { | |
| if(opt.lang) { | |
| if(opt.lang==alang) // same language? ignoring | |
| return; | |
| } else { | |
| opt.lang=alang; // to uninitialized | |
| return; | |
| } | |
| } | |
| append(current, CORD_chars((char)alang, length_helper.length())); | |
| } | |
| void appendHelper(const Body& current, const Languages &src, const Body& length_helper) { | |
| if(!langs){ | |
| langs=src.langs; // to uninitialized | langs=src.langs; // to uninitialized |
| #ifdef CORD_CAT_OPTIMIZATION | |
| if(opt.is_not_just_lang && !CORD_IS_STRING(langs)) | |
| CORD_concatenation_protect(langs); | |
| #endif | |
| } | |
| else if(!src.opt.is_not_just_lang) | else if(!src.opt.is_not_just_lang) |
| append(current, src.opt.lang, appending_length); // simplifying when simple source | appendHelper(current, src.opt.lang, length_helper); // simplifying when simple source |
| else | else |
| append(current, src.make_langs(appending_length)); | append(current, src.make_langs(length_helper)); |
| } | } |
| /// MUST be called exactly prior to modification of current [uses it's length] | /// MUST be called exactly prior to modification of current [uses it's length] |
| template<typename C> | void append(const Body& current, const Languages src, size_t aoffset, size_t alength) { |
| void append(C current, | |
| const Languages src, size_t aoffset, size_t alength) { | |
| assert(alength); | assert(alength); |
| if(!langs) // to uninitialized? | if(!langs) // to uninitialized? |
| if(src.opt.is_not_just_lang) | if(src.opt.is_not_just_lang) |
| langs=CORD_substr(src.langs, aoffset, alength); // to uninitialized complex | langs=CORD_substr(src.langs, aoffset, alength, 0); // to uninitialized complex |
| else | else |
| opt.lang=src.opt.lang; // to uninitialized simple | opt.lang=src.opt.lang; // to uninitialized simple |
| else | else |
| Line 200 public: | Line 269 public: |
| if(opt.is_not_just_lang) | if(opt.is_not_just_lang) |
| return CORD_range_contains_chr_greater_then(langs, aoffset, alength, (unsigned)alang)==0; | return CORD_range_contains_chr_greater_then(langs, aoffset, alength, (unsigned)alang)==0; |
| else | else |
| return opt.lang<=alang; | return (unsigned)opt.lang<=(unsigned)alang; |
| } | } |
| /// @returns count of blocks | /// @returns count of blocks |
| Line 213 public: | Line 282 public: |
| : 0; | : 0; |
| }; | }; |
| template<typename C, typename I> | template<typename I> |
| void for_each(C current, | void for_each(size_t current, int callback(char, size_t, I), I info) const { |
| int callback(char, size_t, I), I info) const { | if(opt.is_not_just_lang) |
| CORD_block_iter(langs, 0, (CORD_block_iter_fn)callback, info); | |
| else | |
| callback(opt.lang, current, info); | |
| } | |
| template<typename I> | |
| void for_each(const Body& current, int callback(char, size_t, I), I info) const { | |
| if(opt.is_not_just_lang) | if(opt.is_not_just_lang) |
| CORD_block_iter(langs, 0, (CORD_block_iter_fn)callback, info); | CORD_block_iter(langs, 0, (CORD_block_iter_fn)callback, info); |
| else | else |
| callback(opt.lang, get_length(current), info); | callback(opt.lang, current.length(), info); |
| } | } |
| bool invariant(size_t current_length) { | bool invariant(size_t current_length) const { |
| if(!langs) | if(!langs) |
| return current_length==0; | return current_length==0; |
| if(opt.is_not_just_lang) | if(opt.is_not_just_lang) |
| Line 236 public: | Line 311 public: |
| CORD body; | CORD body; |
| #ifdef HASH_CODE_CACHING | |
| // cached hash code is not reseted on write operations as test shows | |
| // that string body does not change after it is stored as a hash key | |
| mutable uint hash_code; | |
| #endif | |
| #ifdef STRING_LENGTH_CACHING | |
| // cached length is reseted on modification, used only for char*, not CORD | |
| mutable size_t string_length; | |
| #define INIT_LENGTH ,string_length(0) | |
| #define ZERO_LENGTH string_length=0; | |
| #else | |
| #define INIT_LENGTH | |
| #define ZERO_LENGTH | |
| #endif | |
| public: | public: |
| const char* v() const; | const char* v() const; |
| void dump() const; | |
| Body(): body(CORD_EMPTY) {} | #ifdef HASH_CODE_CACHING |
| Body(CORD abody): body(abody) { | Body(): body(CORD_EMPTY), hash_code(0) INIT_LENGTH {} |
| Body(CORD abody, uint ahash_code): body(abody), hash_code(ahash_code) INIT_LENGTH {} | |
| Body(CORD abody): body(abody), hash_code(0) INIT_LENGTH { | |
| #else | |
| Body(): body(CORD_EMPTY) INIT_LENGTH {} | |
| Body(CORD abody): body(abody) INIT_LENGTH { | |
| #endif | |
| #ifdef CORD_CAT_OPTIMIZATION | |
| assert(!body // no body | assert(!body // no body |
| || *body // ordinary string | || *body // ordinary string |
| || body[1]==1 // CONCAT_HDR | || body[1]==1 // CONCAT_HDR |
| || body[1]==3 // CONCAT_HDR_READ_ONLY | |
| || body[1]==4 // FN_HDR | || body[1]==4 // FN_HDR |
| || body[1]==6 // SUBSTR_HDR | || body[1]==6 // SUBSTR_HDR |
| ); | ); |
| #else | |
| assert(!body // no body | |
| || *body // ordinary string | |
| || body[1]==1 // CONCAT_HDR | |
| || body[1]==4 // FN_HDR | |
| || body[1]==6 // SUBSTR_HDR | |
| ); | |
| #endif | |
| } | } |
| /// WARNING: length is only HELPER length, str in ANY case should be zero-terminated | |
| Body(const char* str, size_t helper_length): body(CORD_EMPTY) { | |
| append_know_length(str, helper_length?helper_length:strlen(str)); | |
| } | |
| static Body Format(int value); | static Body Format(int value); |
| void clear() { body=CORD_EMPTY; } | void clear() { ZERO_LENGTH body=CORD_EMPTY; } |
| bool operator! () const { return is_empty(); } | bool operator! () const { return is_empty(); } |
| uint hash_code() const; | CORD get_cord() const { return body; } |
| uint get_hash_code() const; | |
| const char* cstr() const { return CORD_to_const_char_star(body); } | const char* cstr() const { |
| char* cstrm() const { return CORD_to_char_star(body); } | #ifdef STRING_LENGTH_CACHING |
| string_length = length(); | |
| if(string_length) | |
| return const_cast<Body*>(this)->body=CORD_to_const_char_star(body, string_length); | |
| #endif | |
| return CORD_to_const_char_star(body, length()); | |
| } | |
| char* cstrm() const { return CORD_to_char_star(body, length()); } | |
| #ifdef STRING_LENGTH_CACHING | |
| void set_length(size_t alength){ string_length = alength; } | |
| size_t length() const { return body ? CORD_IS_STRING(body) ? string_length ? string_length : (string_length=strlen(body)) : CORD_len(body) : 0; } | |
| #else | |
| size_t length() const { return CORD_len(body); } | size_t length() const { return CORD_len(body); } |
| #endif | |
| bool is_empty() const { return body==CORD_EMPTY; } | bool is_empty() const { return body==CORD_EMPTY; } |
| void append_know_length(const char *str, size_t known_length) { | void append_know_length(const char *str, size_t known_length) { |
| if(known_length) | if(known_length){ |
| body=CORD_cat_char_star(body, str, known_length); | if(body){ |
| body = CORD_cat_char_star(body, str, known_length); | |
| ZERO_LENGTH | |
| } else { | |
| body=str; | |
| #ifdef STRING_LENGTH_CACHING | |
| string_length=known_length; | |
| #endif | |
| } | |
| } | |
| } | } |
| void append_strdup_know_length(const char* str, size_t known_length) { | void append_strdup_know_length(const char* str, size_t known_length) { |
| if(known_length) | if(known_length) |
| append_know_length(pa_strdup(str, known_length), known_length); | append_know_length(pa_strdup(str, known_length), known_length); |
| } | } |
| void append(char c) { body=CORD_cat_char(body, c); } | void append(char c) { ZERO_LENGTH body=CORD_cat_char(body, c); } |
| Body& operator << (const Body src) { body=CORD_cat(body, src.body); return *this; } | Body& operator << (const Body src) { ZERO_LENGTH body=CORD_cat(body, src.body); return *this; } |
| Body& operator << (const char* str) { append_know_length(str, strlen(str)); return *this; } | Body& operator << (const char* str) { append_know_length(str, strlen(str)); return *this; } |
| // could not figure out why this operator is needed [should do this chain: string->simple->==] | |
| bool operator < (const Body src) const { return CORD_cmp(body, src.body)<0; } | bool operator < (const Body src) const { return CORD_cmp(body, src.body)<0; } |
| bool operator > (const Body src) const { return CORD_cmp(body, src.body)>0; } | bool operator > (const Body src) const { return CORD_cmp(body, src.body)>0; } |
| bool operator <= (const Body src) const { return CORD_cmp(body, src.body)<=0; } | bool operator <= (const Body src) const { return CORD_cmp(body, src.body)<=0; } |
| bool operator >= (const Body src) const { return CORD_cmp(body, src.body)>=0; } | bool operator >= (const Body src) const { return CORD_cmp(body, src.body)>=0; } |
| bool operator != (const Body src) const { return CORD_cmp(body, src.body)!=0; } | bool operator != (const Body src) const { return CORD_cmp(body, src.body)!=0; } |
| bool operator == (const Body src) const { return CORD_cmp(body, src.body)==0; } | bool operator == (const Body src) const { return CORD_cmp(body, src.body)==0; } |
| bool operator != (const char *src) const { return CORD_cmp(body, src)!=0; } | |
| bool operator == (const char *src) const { return CORD_cmp(body, src)==0; } | |
| int ncmp(size_t x_begin, const Body y, size_t y_begin, size_t size) const { | int ncmp(size_t x_begin, const Body y, size_t y_begin, size_t size) const { |
| return CORD_ncmp(body, x_begin, y.body, y_begin, size); | return CORD_ncmp(body, x_begin, y.body, y_begin, size); |
| } | } |
| char fetch(size_t index) const { return CORD_fetch(body, index); } | char fetch(size_t index) const { return CORD_fetch(body, index); } |
| Body mid(size_t index, size_t length) const { return CORD_substr(body, index, length); } | Body mid(size_t aindex, size_t alength) const { return CORD_substr(body, aindex, alength, length()); } |
| size_t pos(const char* substr, size_t offset=0) const { return CORD_str(body, offset, substr); } | size_t pos(const char* substr, size_t offset=0) const { return CORD_str(body, offset, substr, length()); } |
| size_t pos(const Body substr, size_t offset=0) const { | size_t pos(const Body substr, size_t offset=0) const { |
| if(!substr.length()) | if(substr.is_empty()) |
| return STRING_NOT_FOUND; // in this case CORD_str returns 0 [parser users got used to -1] | return STRING_NOT_FOUND; // in this case CORD_str returns 0 [parser users got used to -1] |
| // CORD_str checks for bad offset [CORD_chr does not] | // CORD_str checks for bad offset [CORD_chr does not] |
| return CORD_str(body, offset, substr.body); | return CORD_str(body, offset, substr.body, length()); |
| } | } |
| size_t pos(char c, | size_t pos(char c, size_t offset=0) const { |
| size_t offset=0) const { | |
| if(offset>=length()) // CORD_chr does not check that [and ABORT's in that case] | if(offset>=length()) // CORD_chr does not check that [and ABORT's in that case] |
| return STRING_NOT_FOUND; | return STRING_NOT_FOUND; |
| return CORD_chr(body, offset, c); | return CORD_chr(body, offset, c); |
| } | } |
| template<typename I> void for_each( | size_t strrpbrk(const char* chars, size_t left, size_t right) const; |
| int (*f1)(char c, I), | |
| int (*f2)(const char* s, I), | size_t rskipchars(const char* chars, size_t left, size_t right) const; |
| I info) const { | |
| CORD_iter5(body, 0, (CORD_iter_fn)f1, (CORD_batched_iter_fn)f2, info); | template<typename I> |
| int for_each(int (*f)(char c, I), I info) const { | |
| return CORD_iter(body, (CORD_iter_fn)f, (void*)info); | |
| } | |
| template<typename I> | |
| int for_each(int (*f1)(char c, I), int (*f2)(const char* s, I), I info) const { | |
| return CORD_iter5(body, 0, (CORD_iter_fn)f1, (CORD_batched_iter_fn)f2, info); | |
| } | } |
| void set_pos(CORD_pos& pos, size_t index) const { CORD_set_pos(pos, body, index); } | void set_pos(CORD_pos& pos, size_t index) const { CORD_set_pos(pos, body, index); } |
| /*Body normalize() const { | /// @returns this or 0 or mid. if returns this or 0 out_* are not filled |
| return Body(CORD_balance(body)); | Body trim(Trim_kind kind=TRIM_BOTH, const char* chars=0, |
| }*/ | size_t* out_start=0, size_t* out_length=0, Charset* source_charset=0) const; |
| }; | }; |
| struct C { | struct C { |
| const char *str; | const char *str; |
| size_t length; | size_t length; |
| operator const char *() { return str; } | operator const char *() { return str; } |
| C(): str(0), length(0) {} | |
| C(const char *astr, size_t asize): str(astr), length(asize) {} | C(const char *astr, size_t asize): str(astr), length(asize) {} |
| }; | }; |
| Line 335 public: | Line 474 public: |
| char *str; | char *str; |
| size_t length; | size_t length; |
| //operator char *() { return str; } | //operator char *() { return str; } |
| Cm(): str(0), length(0) {} | |
| Cm(char *astr, size_t asize): str(astr), length(asize) {} | Cm(char *astr, size_t asize): str(astr), length(asize) {} |
| }; | }; |
| private: | private: |
| Languages langs; ///< string characters lang | |
| Body body; ///< all characters of string | Body body; ///< all characters of string |
| Languages langs; ///< string characters lang | |
| const char* v() const; | const char* v() const; |
| void dump() const; | |
| #define ASSERT_STRING_INVARIANT(string) \ | #define ASSERT_STRING_INVARIANT(string) \ |
| assert((string).langs.invariant((string).body.length())) | assert((string).langs.invariant((string).body.length())) |
| public: | public: |
| static const String Empty; | static const String Empty; |
| explicit String(const char* cstr=0, size_t helper_length=0, bool tainted=false); | explicit String(){}; |
| explicit String(const C cstr, bool tainted=false); | explicit String(const char* cstr, Language alang=L_CLEAN){ |
| if(cstr && *cstr){ | |
| body=cstr; | |
| langs=alang; | |
| } | |
| } | |
| explicit String(const char* cstr, Language alang, size_t alength){ | |
| if(cstr && *cstr){ | |
| body=cstr; | |
| #ifdef STRING_LENGTH_CACHING | |
| body.set_length(alength); | |
| #endif | |
| langs=alang; | |
| } | |
| } | |
| String(int value, const char *format); | |
| String(Body abody, Language alang): body(abody), langs(alang) { | String(Body abody, Language alang): body(abody), langs(alang) { |
| assert(!body.is_empty()); | |
| ASSERT_STRING_INVARIANT(*this); | ASSERT_STRING_INVARIANT(*this); |
| } | } |
| String(const String& src): body(src.body), langs(src.langs) { | String(const String& src): body(src.body), langs(src.langs) { |
| Line 363 public: | Line 518 public: |
| } | } |
| /// for convinient hash lookup | /// for convinient hash lookup |
| #ifdef HASH_CODE_CACHING | |
| operator const Body&() const { return body; } | |
| #else | |
| operator const Body() const { return body; } | operator const Body() const { return body; } |
| #endif | |
| bool is_empty() const { return body.is_empty(); } | bool is_empty() const { return body.is_empty(); } |
| size_t length() const { return body.length(); } | size_t length() const { return body.length(); } |
| size_t length(Charset& charset) const; | |
| /// convert to CORD forcing lang tainting | |
| Body cstr_to_string_body_taint(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const; | |
| /// convert to CORD with tainting dirty to lang | |
| Body cstr_to_string_body_untaint(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const; | |
| /// | |
| const char* cstr() const { | |
| return body.cstr(); | |
| } | |
| /// | |
| char* cstrm() const { | |
| return body.cstrm(); | |
| } | |
| /// convert to constant C string forcing lang tainting | |
| const char* taint_cstr(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const { | |
| return cstr_to_string_body_taint(lang, connection, charsets).cstr(); | |
| } | |
| char *taint_cstrm(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const { | |
| return cstr_to_string_body_taint(lang, connection, charsets).cstrm(); | |
| } | |
| /// convert to CORD. if 'lang' known, forcing 'lang' to it | /// convert to constant C string with tainting dirty to lang |
| Body cstr_to_string_body(Language lang=L_AS_IS, | const char* untaint_cstr(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const { |
| SQL_Connection* connection=0, | return cstr_to_string_body_untaint(lang, connection, charsets).cstr(); |
| const Request_charsets *charsets=0) const; | |
| /// convert to constant C string. if 'lang' known, forcing 'lang' to it | |
| const char* cstr(Language lang=L_AS_IS, | |
| SQL_Connection* connection=0, | |
| const Request_charsets *charsets=0) const { | |
| return cstr_to_string_body(lang, connection, charsets).cstr(); | |
| } | |
| /// convert to Modifiable C string. if 'lang' known, forcing 'lang' to it | |
| char *cstrm(Language lang=L_AS_IS, | |
| SQL_Connection* connection=0, | |
| const Request_charsets *charsets=0) const { | |
| return cstr_to_string_body(lang, connection, charsets).cstrm(); | |
| } | } |
| char *untaint_cstrm(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const { | |
| return cstr_to_string_body_untaint(lang, connection, charsets).cstrm(); | |
| } | |
| const char* untaint_and_transcode_cstr(Language lang, const Request_charsets *charsets) const; | |
| bool is_not_just_lang() const { | |
| return langs.opt.is_not_just_lang !=0; | |
| } | |
| Language just_lang() const { | |
| return langs.opt.lang; | |
| } | |
| /// puts pieces to buf | /// puts pieces to buf |
| Cm serialize(size_t prolog_size) const; | Cm serialize(size_t prolog_size) const; |
| /// appends pieces from buf to self | /// appends pieces from buf to self |
| Line 407 public: | Line 590 public: |
| return Body(x).ncmp(0/*x_begin*/, body, 0/*y_begin*/, length())==0; | return Body(x).ncmp(0/*x_begin*/, body, 0/*y_begin*/, length())==0; |
| } | } |
| String& append_to(String& dest, Language lang, bool forced) const; | String& append_to(String& dest, Language lang, bool forced=false) const; |
| String& append(const String& src, Language lang, bool forced=false) { | String& append(const String& src, Language lang, bool forced=false) { |
| return src.append_to(*this, lang, forced); | return src.append_to(*this, lang, forced); |
| } | } |
| String& append_quoted(const String* src, Language lang=L_JSON){ | |
| *this << "\""; | |
| if(src) | |
| this->append(*src, lang, true/*forced lang*/); | |
| *this << "\""; | |
| return *this; | |
| } | |
| String& operator << (const String& src) { return append(src, L_PASS_APPENDED); } | String& operator << (const String& src) { return append(src, L_PASS_APPENDED); } |
| String& operator << (const char* src) { return append_help_length(src, 0, L_AS_IS); } | String& operator << (const char* src) { return append_help_length(src, 0, L_AS_IS); } |
| String& operator << (const Body src); | String& operator << (const Body& src){ |
| langs.appendHelper(body, L_AS_IS, src); | |
| body<<src; | |
| return *this; | |
| } | |
| /// extracts first char of a string, if any | |
| char first_char() const { | char first_char() const { |
| return is_empty()?0:body.fetch(0); | return is_empty()?0:body.fetch(0); |
| } | } |
| char last_char() const { | |
| return is_empty()?0:body.fetch(body.length()-1); | |
| } | |
| bool operator < (const String& src) const { return body<src.body; } | bool operator < (const String& src) const { return body<src.body; } |
| bool operator > (const String& src) const { return body>src.body; } | bool operator > (const String& src) const { return body>src.body; } |
| bool operator <= (const String& src) const { return body<=src.body; } | bool operator <= (const String& src) const { return body<=src.body; } |
| Line 429 public: | Line 627 public: |
| /// extracts [start, finish) piece of string | /// extracts [start, finish) piece of string |
| String& mid(size_t substr_begin, size_t substr_end) const; | String& mid(size_t substr_begin, size_t substr_end) const; |
| String& mid(Charset& charset, size_t from, size_t to, size_t helper_length=0) const; | |
| /** | /** |
| ignore lang if it's L_UNSPECIFIED | ignore lang if it's L_UNSPECIFIED |
| Line 444 public: | Line 643 public: |
| size_t this_offset=0) const { | size_t this_offset=0) const { |
| return body.pos(c, this_offset); | return body.pos(c, this_offset); |
| } | } |
| size_t pos(Charset& charset, | |
| const String& substr, | |
| size_t this_offset=0, Language lang=L_UNSPECIFIED) const; | |
| size_t strrpbrk(const char* chars, size_t left=0) const { | |
| return (length()) ? body.strrpbrk(chars, left, length()-1) : STRING_NOT_FOUND; | |
| } | |
| size_t strrpbrk(const char* chars, size_t left, size_t right) const { | |
| return body.strrpbrk(chars, left, right); | |
| } | |
| size_t rskipchars(const char* chars, size_t left=0) const { | |
| return (length()) ? body.rskipchars(chars, left, length()-1) : STRING_NOT_FOUND; | |
| } | |
| size_t rskipchars(const char* chars, size_t left, size_t right) const { | |
| return body.rskipchars(chars, left, right); | |
| } | |
| void split(ArrayString& result, | void split(ArrayString& result, |
| size_t& pos_after, | size_t& pos_after, |
| Line 465 public: | Line 681 public: |
| prematch/match/postmatch/1/2/3/... | prematch/match/postmatch/1/2/3/... |
| @endverbatim | @endverbatim |
| */ | */ |
| Table* match(Charset& source_charset, | Table* match(VRegex* vregex, |
| const String& regexp, | |
| const String* options, | |
| Row_action row_action, void *info, | Row_action row_action, void *info, |
| bool& just_matched) const; | int& matches_count) const; |
| enum Change_case_kind { | enum Change_case_kind { |
| CC_UPPER, | CC_UPPER, |
| CC_LOWER | CC_LOWER |
| Line 477 public: | Line 691 public: |
| String& change_case(Charset& source_charset, | String& change_case(Charset& source_charset, |
| Change_case_kind kind) const; | Change_case_kind kind) const; |
| const String& replace(const Dictionary& dict) const; | const String& replace(const Dictionary& dict) const; |
| double as_double() const; | const String& trim(Trim_kind kind=TRIM_BOTH, const char* chars=0, Charset* source_charset=0) const; |
| int as_int() const; | double as_double() const { return pa_atod(cstr(), this); } |
| int as_int() const { return pa_atoi(cstr(), this); } | |
| bool as_bool() const { return as_int()!=0; } | |
| const String& escape(Charset& source_charset) const; | |
| private: //disabled | private: //disabled |
| Line 486 private: //disabled | Line 703 private: //disabled |
| }; | }; |
| template<> | #ifndef HASH_CODE_CACHING |
| inline size_t get_length<String::Body>(String::Body body) { | |
| return body.length(); | |
| } | |
| /// simple hash code of string. used by Hash | /// simple hash code of string. used by Hash |
| inline uint hash_code(const String::Body self) { | inline uint hash_code(const String::Body self) { |
| return self.hash_code(); | return self.get_hash_code(); |
| } | |
| /// now that we've declared specialization we can use it | |
| inline String& String::operator << (const String::Body src) { | |
| langs.append(body, L_AS_IS, src.length()); | |
| body<<src; | |
| return *this; | |
| } | } |
| #endif | |
| #endif | #endif |