Diff for /parser3/src/include/pa_string.h between versions 1.145.4.2 and 1.220

version 1.145.4.2, 2003/09/23 10:37:05 version 1.220, 2016/10/26 16:40:49
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-2015 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"
 };  
   
 CORD CORD_chars_gen(char c, size_t i);  #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                                       */
 /* char not_c at positions i..i+n. Value i,i+n must be < CORD_len(x).   */  /* char not_c at positions i..i+n. Value i,i+n must be < CORD_len(x).   */
 int CORD_nnchr(CORD x, size_t i, size_t n, int not_c);  int CORD_range_contains_chr_greater_then(CORD x, size_t i, size_t n, int c);
   size_t CORD_block_count(CORD x);
   
 // forwards  // forwards
   
Line 36  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;
   
 /// this is result of pos functions which mean that substr were not found  // generally useful
 #define STRING_NOT_FOUND ((size_t)-1)  
   
 class StringBody {  
   
         CORD body;  
   
 public:  
   
         StringBody(): body(CORD_EMPTY) {}  
         StringBody(CORD abody): body(abody) {  
                 assert(!body // no body  
                         || *body // ordinary string  
                         || body[1]==1 // CONCAT_HDR  
                         || body[1]==4 // FN_HDR   
                         || body[1]==6 // SUBSTR_HDR   
                         );  
         }  
         /// WARNING: length is only HELPER length, str in ANY case should be zero-terminated  
         StringBody(const char* str, size_t helper_length): body(CORD_EMPTY) {  
                 append_know_length(str, helper_length?helper_length:strlen(str));  
         }  
         static StringBody Format(int value);  
   
         void clear() { body=CORD_EMPTY; }  
   
         bool operator! () const { return is_empty(); }  
   
         uint hash_code() const;  
   
         const char* cstr() const { return CORD_to_const_char_star(body); }  
         char* cstrm() const { return CORD_to_char_star(body); }  
   
         size_t length() const { return CORD_len(body); }  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);
   unsigned long long int pa_atoul(const char *str, int base, const String* problem_source=0);
   
         bool is_empty() const { return body==CORD_EMPTY; }  /// this is result of pos functions which mean that substr were not found
   #define STRING_NOT_FOUND ((size_t)-1)
         void append_know_length(const char *str, size_t known_length) {  
                 if(known_length)  
                         body=CORD_cat_char_star(body, str, known_length);  
         }  
         void append_strdup_know_length(const char* str, size_t known_length) {  
                 if(known_length)  
                         append_know_length(pa_strdup(str, known_length), known_length);  
         }  
         void append(char c) { body=CORD_cat_char(body, c); }  
         StringBody& operator << (const StringBody src) { body=CORD_cat(body, src.body); return *this; }  
         StringBody& 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 StringBody src) const { return CORD_cmp(body, src.body)<0; }  
         bool operator > (const StringBody src) const { return CORD_cmp(body, src.body)>0; }  
         bool operator <= (const StringBody src) const { return CORD_cmp(body, src.body)<=0; }  
         bool operator >= (const StringBody src) const { return CORD_cmp(body, src.body)>=0; }  
         bool operator != (const StringBody src) const { return CORD_cmp(body, src.body)!=0; }  
         bool operator == (const StringBody src) const { return CORD_cmp(body, src.body)==0; }  
   
         int ncmp(size_t x_begin, const StringBody y, size_t y_begin, size_t size) const {  
                 return CORD_ncmp(body, x_begin, y.body, y_begin, size);  
         }  
   
         char fetch(size_t index) const { return CORD_fetch(body, index); }  
         StringBody mid(size_t index, size_t length) const { return CORD_substr(body, index, length); }  
         size_t pos(const char* substr, size_t offset=0) const { return CORD_str(body, offset, substr); }  
         size_t pos(const StringBody substr, size_t offset=0) const {   
                 if(!substr.length())  
                         return STRING_NOT_FOUND; // in this case CORD_str returns 0 [parser users got used to -1]  
                 return CORD_str(body, offset, substr.body);   
         }  
         size_t pos(char c,   
                 size_t offset=0) const {  
                 return CORD_chr(body, offset, c);  
         }  
   
 /*      template<typename I> void for_each(int (*callback)(const char* s, I), I info) const {  
                 CORD_iter5(body, 0, 0, (CORD_batched_iter_fn)callback, info);  
         }*/  
   
         void set_pos(CORD_pos& pos, size_t index) const { CORD_set_pos(pos, body, index); }  
   
         /*StringBody normalize() const {  
                 return StringBody(CORD_balance(body));  
         }*/  
   
         void dump() const {  /// CORD can't be empty string, thus checking it in assigment
                 CORD_dump(body);  #define AS_CORD(v) ((v) && *(v) ? (CORD)(v):0)
         }  
 };  
   
 /**   /** 
         String which knows the lang of all it's langs.          String which knows the lang of all it's langs.
Line 133  public: Line 70  public:
         - 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 {
           friend class StringSplitHelper;
 public:  public:
   
         /** piece is tainted or not. the lang to use when detaint          /** piece is tainted or not. the lang to use when detaint
                 remember to change String_Untaint_lang_name @ untaint.C along                  remember to change String_Untaint_lang_name @ untaint.C along
   
                   WARNING WARNING WARNING WARNING WARNING WARNING 
                   
                   pos function compares(<=) languages, that is used in searching
                   for table column separator being L_CLEAN or L_AS_IS.
                   they search for AS_IS, meaning AS_IS|CLEAN [doing <=L_AS_IS check].
                   
                   letters assigned for debugging, but it's important for no language-letter
                   come before L_AS_IS other then L_CLEAN
   
                   WARNING WARNING WARNING WARNING WARNING WARNING 
         */          */
         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, ///< clean                  L_CLEAN='0',    ///< clean  WARNING: read above warning before changing
                 L_AS_IS,     ///< leave all characters intact                  L_AS_IS='A',    ///< leave all characters intact  WARNING: read above warning before changing
   
                 L_PASS_APPENDED,                  L_TAINTED='T',  ///< tainted, untaint lang as assigned later 
                         /**<  
                                 leave lang built into string being appended.  
                                 just a flag, that value not stored  
                         */  
                 L_TAINTED,  ///< tainted, untaint lang as assigned later   
                 // untaint langs. assigned by ^untaint[lang]{...}                  // untaint langs. assigned by ^untaint[lang]{...}
                 L_FILE_SPEC, ///< file specification                  L_FILE_SPEC='F',        ///< file specification
                 L_HTTP_HEADER,    ///< text in HTTP response header                  L_HTTP_HEADER='h',      ///< text in HTTP response header
                 L_MAIL_HEADER,    ///< text in mail header                  L_MAIL_HEADER='m',      ///< text in mail header
                 L_URI,       ///< text in uri                  L_URI='U',                      ///< text in uri
                 L_TABLE,     ///< ^table:set body                  L_SQL='Q',                      ///< ^table:sql body
                 L_SQL,       ///< ^table:sql body                  L_JS='J',                       ///< JavaScript code
                 L_JS,        ///< JavaScript code                  L_XML='X',                      ///< ^xdoc:create xml
                 L_XML,          ///< ^dom:set xml                  L_HTML='H',                     ///< HTML code
                 L_HTML,      ///< 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
                 L_OPTIMIZE_BIT = 0x80  ///< flag, requiring cstr whitespace optimization                  L_OPTIMIZE_BIT = 0x80  ///< flag, requiring cstr whitespace optimization
         };          };
   
         class Languages {          enum Trim_kind {
                   TRIM_BOTH,
                   TRIM_START,
                   TRIM_END
           };
   
                 union {          class Body;
                         struct {  
                                 Language lang:8;          union Languages {
                                 int is_not_just_lang:16-8;  
                         };                  struct {
                         CORD langs;  #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;
   #else
   #       error word endianness not determined for some obscure reason
   #endif
                   } opt;
                   CORD langs;
   
                 CORD make_langs(const StringBody body) const {                  CORD make_langs(const Body& current) const {
                         return is_not_just_lang?                          return opt.is_not_just_lang?langs:CORD_chars((char)opt.lang, current.length());
                                 langs  
                                 :CORD_chars_gen((char)lang, body.length());  
                 }                  }
   
                 CORD make_langs(size_t aoffset, size_t alength)  const {                  CORD make_langs(size_t aoffset, size_t alength)  const {
                         return is_not_just_lang?                          return opt.is_not_just_lang?
                                 CORD_substr(langs, aoffset, alength)                                  CORD_substr(langs, aoffset, alength, 0)
                                 :CORD_chars_gen((char)lang, alength);                                  :CORD_chars((char)opt.lang, alength);
                 }                  }
   
                 /// @returns true if appended, false if not:                   /// appending when 'langs' already contain something [simple cases handled elsewhere]
                 /// when appending can be simplified by just assigning lang/langs                  void append(size_t current, const CORD to_nonempty_target_langs) {
                 bool append(const StringBody current_body,                           assert(langs);
                         const CORD to_nonempty_target_langs) {                          if(opt.is_not_just_lang)
                         if(!lang)                                  langs=CORD_cat(langs, to_nonempty_target_langs);
                                 return false;                          else {
                                   assert(current);
                                   langs=CORD_cat(CORD_chars((char)opt.lang, current), to_nonempty_target_langs);
                           }
                   }
   
                         if(is_not_just_lang)                  void append(const Body& current, const CORD to_nonempty_target_langs) {
                           assert(langs);
                           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=current_body.length();                                  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_gen((char)lang, current_size),  // first piece [making from just 'lang']  
                                         to_nonempty_target_langs); // new piece  
                         }                          }
   
                         return true;  
                 }                  }
   
         public:          public:
   
                   const char* v() const;
                   void dump() const;
   
                 Languages(): langs(0) {}                  Languages(): langs(0) {}
                 Languages(Language alang): lang(alang), is_not_just_lang(0) {}                  Languages(Language alang) {
                           opt.lang=alang;
                           opt.is_not_just_lang=0;
                   }
   
                 /// MUST be called prior to modification of current_body [uses it's original length]                  /// MUST be called exactly prior to modification of current [uses it's length]
                 void append(const StringBody current_body, Language alang, size_t asize) {                  void append(size_t current, Language alang, size_t length) {
                         assert(alang);                          assert(alang);
                         assert(asize);                          assert(length);
   
                         if(!is_not_just_lang && lang==alang)                          if(!opt.is_not_just_lang) {
                                 return;                                  if(opt.lang) {
                                           if(opt.lang==alang) // same language? ignoring
                                                   return;
                                   } else {
                                           opt.lang=alang; // to uninitialized
                                           return;
                                   }
                           }
   
                         if(!append(current_body, CORD_chars((char)alang, asize)))                          append(current, CORD_chars((char)alang, length));
                                 lang=alang;  
                 }                  }
   
                 /// MUST be called prior to modification of current_body [uses it's original length]                  void append(const Body &current, Language alang, size_t length) {
                 void append(const StringBody current_body, const StringBody appending_body,                           assert(alang);
                         const Languages src) {                          assert(length);
                         assert(appending_body.length());  
   
                         if(!is_not_just_lang && !src.is_not_just_lang && lang==src.lang)                          if(!opt.is_not_just_lang) {
                                 return;                                  if(opt.lang) {
                                           if(opt.lang==alang) // same language? ignoring
                                                   return;
                                   } else {
                                           opt.lang=alang; // to uninitialized
                                           return;
                                   }
                           }
   
                         if(!append(current_body, src.make_langs(appending_body)))                          append(current, CORD_chars((char)alang, length));
                                 langs=src.langs;  
                 }                  }
                   
                 /// MUST be called prior to modification of current_body [uses it's original length]                  void appendHelper(const Body& current, Language alang, const Body &length_helper) {
                 void append(const StringBody current_body,                           assert(alang);
                         const Languages src, size_t aoffset, size_t alength) {  
                           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
   #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)
                                   appendHelper(current, src.opt.lang, length_helper); // simplifying when simple source
                           else
                                   append(current, src.make_langs(length_helper));
                   }
   
                   /// MUST be called exactly prior to modification of current [uses it's length]
                   void append(const Body& current, const Languages src, size_t aoffset, size_t alength) {
                         assert(alength);                          assert(alength);
                         if(!is_not_just_lang && !src.is_not_just_lang && lang==src.lang)  
                                 return;  
   
                         if(!append(current_body, src.make_langs(aoffset, alength)))                          if(!langs) // to uninitialized?
                                 if(src.is_not_just_lang)                                  if(src.opt.is_not_just_lang)
                                         langs=CORD_substr(src.langs, aoffset, alength);                                          langs=CORD_substr(src.langs, aoffset, alength, 0); // to uninitialized complex
                                   else
                                           opt.lang=src.opt.lang; // to uninitialized simple
                           else 
                                   if(!opt.is_not_just_lang && !src.opt.is_not_just_lang && opt.lang==src.opt.lang) // both simple & of same language?
                                           return; // ignoring
                                 else                                  else
                                         lang=src.lang;                                          append(current, src.make_langs(aoffset, alength));
                 }                  }
   
                 /// checks if we have alang all from aoffset to aoffset+alength                  /// checks if we have lang<=alang all from aoffset to aoffset+alength
                 bool check_lang(Language alang, size_t aoffset, size_t alength) const {                  bool check_lang(Language alang, size_t aoffset, size_t alength) const {
                         if(alang==L_UNSPECIFIED) // ignore lang?                          if(alang==L_UNSPECIFIED) // ignore lang?
                                 return true;                                  return true;
   
                         if(is_not_just_lang)                          if(opt.is_not_just_lang)
                                 return CORD_nnchr(langs, aoffset, alength, (unsigned)alang)!=0;                                  return CORD_range_contains_chr_greater_then(langs, aoffset, alength, (unsigned)alang)==0;
                           else
                                   return (unsigned)opt.lang<=(unsigned)alang;
                   }
   
                   /// @returns count of blocks
                   /// @todo currently there can be adjucent blocks of same language. someday merge them
                   size_t count() const {
                           return opt.is_not_just_lang?
                                   CORD_block_count(langs)
                                   : opt.lang?
                                           1
                                           : 0;
                   };
   
                   template<typename I> 
                   void for_each(size_t current, 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                          else
                                 return lang==alang;                                  callback(opt.lang, current, info);
                 }                  }
   
                 template<typename I> void for_each(const StringBody current_body,                   template<typename I> 
                         int callback(char, size_t, I), I info) const {                  void for_each(const Body& current, int callback(char, size_t, I), I info) const {
                                                   if(opt.is_not_just_lang)
                         if(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(lang, current_body.length(), info);                                  callback(opt.lang, current.length(), info);
                   }
   
                   bool invariant(size_t current_length) const {
                           if(!langs)
                                   return current_length==0;
                           if(opt.is_not_just_lang)
                                   return CORD_len(langs)==current_length;
                           return true; // uncheckable, actually
                 }                  }
         };          };
   
         struct C {          struct C {
                 const char *str;                  const char *str;
                 size_t length;                  size_t length;
                 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) {}
         };          };
   
         struct Cm {          struct Cm {
                 char *str;                  char *str;
                 size_t length;                  size_t length;
                 //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) {}
         };          };
   
           class 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;
   #define INIT_HASH_CODE(c) ,hash_code(c)
   #define ZERO_HASH_CODE hash_code=0;
   #else
   #define INIT_HASH_CODE(c)
   #define ZERO_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(l) ,string_length(l)
   #define ZERO_LENGTH string_length=0;
   #else
   #define INIT_LENGTH(l)
   #define ZERO_LENGTH
   #endif
   
           public:
   
                   const char* v() const;
                   void dump() const;
   
                   Body(): body(CORD_EMPTY) INIT_HASH_CODE(0) INIT_LENGTH(0) {}
                   Body(const char *abody): body(AS_CORD(abody)) INIT_HASH_CODE(0) INIT_LENGTH(0) {}
                   Body(CORD abody, uint ahash_code): body(abody) INIT_HASH_CODE(ahash_code) INIT_LENGTH(0) {}
                   explicit Body(C ac): body(AS_CORD(ac.str)) INIT_HASH_CODE(0) INIT_LENGTH(ac.length) {}
                   explicit Body(CORD abody): body(abody) INIT_HASH_CODE(0) INIT_LENGTH(0) {
   #ifdef CORD_CAT_OPTIMIZATION
                           assert(!body // no body
                                   || *body // ordinary string
                                   || body[1]==1 // CONCAT_HDR
                                   || body[1]==3 // CONCAT_HDR_READ_ONLY
                                   || body[1]==4 // FN_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
                   }
   
   
                   static Body Format(int value);
   
                   void clear() { ZERO_LENGTH ZERO_HASH_CODE body=CORD_EMPTY; }
   
                   bool operator! () const { return is_empty(); }
   
                   inline CORD get_cord() const { return body; }
                   uint get_hash_code() const;
   
                   const char* cstr() const {
   #ifdef STRING_LENGTH_CACHING
                           string_length = length();
                           if(string_length){
                                   const char *result=CORD_to_const_char_star(body, string_length);
                                   const_cast<Body*>(this)->body=(CORD)result;
                                   return result;
                           }
   #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((const char *)body)) : CORD_len(body) : 0; }
   #else
                   size_t length() const { return CORD_len(body); }
   #endif
   
                   inline bool is_empty() const { return body==CORD_EMPTY; }
   
                   void append_know_length(const char *str, size_t known_length) {
                           if(known_length){
                                   if(body){
                                           body = CORD_cat_char_star(body, str, known_length);
                                           ZERO_LENGTH 
                                   } else {
                                           body=(CORD)str;
   #ifdef STRING_LENGTH_CACHING
                                           string_length=known_length;
   #endif
                                   }
                           }
                   }
                   void append_strdup_know_length(const char* str, size_t known_length) {
                           if(known_length)
                                   append_know_length(pa_strdup(str, known_length), known_length);
                   }
                   void append(char c) { ZERO_LENGTH body=CORD_cat_char(body, c); }
                   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; }
   
                   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, AS_CORD(src))!=0; }
                   bool operator == (const char *src) const { return CORD_cmp(body, AS_CORD(src))==0; }
   
                   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);
                   }
   
                   char fetch(size_t index) const { return CORD_fetch(body, index); }
                   Body mid(size_t aindex, size_t alength) const { return Body(CORD_substr(body, aindex, alength, length())); }
                   size_t pos(const char* substr, size_t offset=0) const { return CORD_str(body, offset, AS_CORD(substr), length()); }
                   size_t pos(const Body substr, size_t offset=0) const { 
                           if(substr.is_empty())
                                   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]
                           return CORD_str(body, offset, substr.body, length()); 
                   }
                   size_t pos(char c, size_t offset=0) const {
                           if(offset>=length()) // CORD_chr does not check that [and ABORT's in that case]
                                   return STRING_NOT_FOUND;
   
                           return CORD_chr(body, offset, c);
                   }
   
                   size_t strrpbrk(const char* chars, size_t left, size_t right) const;
   
                   size_t rskipchars(const char* chars, size_t left, size_t right) const;
   
                   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); }
   
                   /// @returns this or 0 or mid. if returns this or 0 out_* are not filled
                   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;
           };
   
 private:  private:
   
           Body body; ///< all characters of string
         Languages langs; ///< string characters lang          Languages langs; ///< string characters lang
         StringBody body; ///< all characters of string  
           const char* v() const;
           void dump() const;
           #define ASSERT_STRING_INVARIANT(string) \
                   assert((string).langs.invariant((string).body.length()))
   
 public:  public:
   
         explicit String(const char* cstr=0, size_t helper_length=0, bool tainted=false);          static const String Empty;
         explicit String(const C cstr, bool tainted=false);  
         String(StringBody abody, Language alang): body(abody), langs(alang) {}          explicit String(){};
         String(const String& src): body(src.body), langs(src.langs) {}          explicit String(const char* cstr, Language alang=L_CLEAN) : body(cstr){
                   if(body.get_cord()){
                           langs=alang;
                   }
           }
           explicit String(C ac, Language alang=L_CLEAN) : body(ac){
                   if(body.get_cord()){
                           langs=alang;
                   }
           }
           String(Body abody, Language alang): body(abody), langs(alang) {
                   ASSERT_STRING_INVARIANT(*this);
           }
           String(const String& src): body(src.body), langs(src.langs) {
                   ASSERT_STRING_INVARIANT(*this);
           }
           String(int value, const char *format);
   
         /// for convinient hash lookup          /// for convinient hash lookup
         operator const StringBody() const { return body; }  #ifdef HASH_CODE_CACHING
           operator const Body&() const { return body; }
   #else
           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;
   
           /// from body
           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
         StringBody 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;          }
           char *untaint_cstrm(Language lang, SQL_Connection* connection=0, const Request_charsets *charsets=0) const {
         /// convert to constant C string. if 'lang' known, forcing 'lang' to it                  return cstr_to_string_body_untaint(lang, connection, charsets).cstrm();
         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();  
         }          }
   
           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
         bool deserialize(size_t prolog_size, void *buf, size_t buf_size);          bool deserialize(size_t prolog_size, void *buf, size_t buf_size);
         /// @see StringBody::append_know_length          /// @see Body::append_know_length
         String& append_know_length(const char* str, size_t known_length, Language lang);          String& append_know_length(const char* str, size_t known_length, Language lang);
         /// @see StringBody::append_help_length          /// @see Body::append_help_length
         String& append_help_length(const char* str, size_t helper_length, Language lang);          String& append_help_length(const char* str, size_t helper_length, Language lang);
         String& append_strdup(const char* str, size_t helper_length, Language lang);          String& append_strdup(const char* str, size_t helper_length, Language lang);
   
         bool operator == (const char* y) const { return body==StringBody(y); }          bool operator == (const char* y) const { return body==Body(y); }
         bool operator != (const char* y) const { return body!=StringBody(y); }          bool operator != (const char* y) const { return body!=Body(y); }
   
         /// this starts with y          /// this starts with y
         bool starts_with(const char* y) const {          bool starts_with(const char* y) const {
                 return body.ncmp(0/*x_begin*/, StringBody(y), 0/*y_begin*/, strlen(y))==0;                  return body.ncmp(0/*x_begin*/, Body(y), 0/*y_begin*/, strlen(y))==0;
         }          }
         /// x starts with this          /// x starts with this
         bool this_starts(const char* x) const {          bool this_starts(const char* x) const {
                 return StringBody(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) 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& operator << (const String& src) { return append(src, L_PASS_APPENDED); }          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 src.append_to(*this); }
         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 StringBody src) {           String& operator << (const Body& src){
                 langs.append(body, L_AS_IS, src.length());                  langs.appendHelper(body, L_AS_IS, src);
                 body<<src;                  body<<src;
                 return *this;                  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 367  public: Line 621  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
                 but when specified: look for substring that lies in ONE fragment in THAT lang                  but when specified: look for substring that lies in ONE fragment in THAT lang
                 @return position of substr in string, -1 means "not found" [const char* version]                  @return position of substr in string, -1 means "not found" [const char* version]
         */          */
         size_t pos(const StringBody substr,           size_t pos(const Body substr, size_t this_offset=0, Language lang=L_UNSPECIFIED) const;
                 size_t this_offset=0, Language lang=L_UNSPECIFIED) const;  
         /// String version of @see pos(const char*, int, Language)          /// String version of @see pos(const char*, int, Language)
         size_t pos(const String& substr,           size_t pos(const String& substr, size_t this_offset=0, Language lang=L_UNSPECIFIED) const;
                 size_t this_offset=0, Language lang=L_UNSPECIFIED) const;          size_t pos(char c, size_t this_offset=0) const {
         size_t pos(char c,   
                 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, size_t pos_after, const char* delim, Language lang=L_UNSPECIFIED) const;
           void split(ArrayString& result, size_t pos_after, const String& delim, Language lang=L_UNSPECIFIED) const;
   
           typedef void (*Row_action)(Table& table, ArrayString* row, int prestart, int prefinish, int poststart, int postfinish, void *info);
   
         void split(ArrayString& result,   
                 size_t& pos_after,  
                 const char* delim,   
                 Language lang=L_UNSPECIFIED, int limit=-1) const;  
         void split(ArrayString& result,   
                 size_t& pos_after,   
                 const String& delim,   
                 Language lang=L_UNSPECIFIED, int limit=-1) const;  
   
         typedef void (*Row_action)(Table& table, ArrayString* row,   
                 int prestart, int prefinish,   
                 int poststart, int postfinish,  
                 void *info);  
         /**          /**
                 @return table of found items, if any.                  @return table of found items, if any.
                 table format is defined and fixed[can be used by others]:                   table format is defined and fixed[can be used by others]: 
Line 403  public: Line 662  public:
                         prematch/match/postmatch/1/2/3/...                          prematch/match/postmatch/1/2/3/...
                 @endverbatim                  @endverbatim
         */          */
         Table* match(Charset& source_charset,          Table* match(VRegex* vregex, Row_action row_action, void *info, int& matches_count) const;
                 const String& regexp,   
                 const String* options,  
                 Row_action row_action, void *info,  
                 bool& just_matched) const;  
         enum Change_case_kind {          enum Change_case_kind {
                 CC_UPPER,                  CC_UPPER,
                 CC_LOWER                  CC_LOWER
         };          };
         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 424  private: //disabled Line 683  private: //disabled
   
 };  };
   
   #ifndef HASH_CODE_CACHING
 /// simple hash code of string. used by Hash  /// simple hash code of string. used by Hash
 inline uint hash_code(const StringBody self) {  inline uint hash_code(const String::Body self) {
         return self.hash_code();          return self.get_hash_code();
 }  }
   #endif
   
   
 #endif  #endif

Removed from v.1.145.4.2  
changed lines
  Added in v.1.220


E-mail: