Diff for /parser3/src/include/pa_string.h between versions 1.43 and 1.144.2.28.2.20

version 1.43, 2001/03/19 17:42:12 version 1.144.2.28.2.20, 2003/03/21 16:16:43
Line 1 Line 1
 /** @file  /** @file
         Parser: string class decl.          Parser: string class decl.
   
         Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com)
           Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
         Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)  
   
         $Id$  
 */  */
   
 #ifndef PA_STRING_H  #ifndef PA_STRING_H
 #define PA_STRING_H  #define PA_STRING_H
   
 #ifdef HAVE_CONFIG_H  static const char* IDENT_STRING_H="$Date$";
 #       include "pa_config.h"  
 #endif  
   
 #include <stddef.h>  // includes
   
 #include "pa_pool.h"  
 #include "pa_types.h"  #include "pa_types.h"
   #include "pa_array.h"
   
   extern "C" { // cord's author forgot to do that
   #include "cord.h"
   };
   
 #define UNTAINT_TIMES_BIGGER 10  // forwards
   
 #ifndef NO_STRING_ORIGIN  class Charset;
 #       define STRING_APPEND_PARAMS \  class Table;
                 const char *src, size_t size,  \  class SQL_Connection;
                 bool tainted, \  class Dictionary;
                 const char *file, uint line  class Request_charsets;
 /// appends clean piece to String  class String;
 #       define APPEND(src, size, file, line) real_append(src, size, false, file, line)  typedef Array<const String*> ArrayString;
 /// appends tainted piece to String  
 #       define APPEND_TAINTED(src, size, file, line) real_append(src, size, true, file, line)  // helpers
 #else  /*
 #       define STRING_APPEND_PARAMS \  /// appends clean piece to String @see String::append
                 const char *src, \  #define APPEND_CLEAN(src, length) append(src, length, String::L_CLEAN)
                 size_t size, \  /// appends piece to String as-is @see String::append
                 bool tainted  #define APPEND_AS_IS(src, length) append(src, length, String::L_AS_IS)
 /// appends clean piece to String  /// appends tainted piece to String  @see String::append
 #       define APPEND(src, size, file, line) real_append(src, size, false)  #define APPEND_TAINTED(src, length) append(src, length, String::L_TAINTED)
 /// appends tainted piece to String  /// handy: appends const char* piece to String  @see String::append
 #       define APPEND_TAINTED(src, size, file, line) real_append(src, size, true)  #define APPEND_CONST(src) APPEND_AS_IS(src, 0)
 #endif  */
 /// handy: appends const char* piece to String  /// this is result of pos functions which mean that substr were not found
 #define APPEND_CONST(src) APPEND(src, 0, 0, 0)  #define STRING_NOT_FOUND ((size_t)-1)
   
 /**   class StringBody {
         Pooled string.  
           CORD body;
   
   public:
   
           StringBody(): body(CORD_EMPTY) {}
           StringBody(CORD abody): body(abody) {}
   
           void clear() { body=CORD_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); }
   
         Internal structure: @verbatim             size_t length() const { return CORD_len(body); }
   
         String                          Chunk0          bool is_empty() const { return body==CORD_EMPTY; }
         ======                          ========  
         head--------------->[ptr, size, ...]  
         append_here-------->[ptr, size, ...]  
                                                 .  
                                                 .  
                                                 [ptr, size, ...]  
         link_row----------->[link to the next chunk]  
   
         @endverbatim          void append(const char *str, size_t length) {
                   CORD_cat_char_star(body, str, length);
           }
           void append(char c) { CORD_cat_char(body, c); }
           void append(StringBody src) { CORD_cat(body, src.body); }
   
           // 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); }
   
   };
   
   /** 
           String which knows the language of all it's fragments.
   
         All pieces remember           All pieces remember 
         - the file and its line they are from [can be turned off by NO_STRING_ORIGIN]  
         - whether they are tainted or not,           - whether they are tainted or not, 
           and the language which should be used to detaint them            and the language which should be used to detaint them
 */  */
 class String : public Pooled {  class String: public PA_Object {
   
           friend class StringBody;
   
 public:  public:
         enum {  
                 CR_PREALLOCATED_COUNT=5, ///< default preallocated item count  
                 CR_GROW_PERCENT=60 ///< each time the Array chunk_is_full() array expanded()  
         };  
   
         /// piece is tainted or not. the language to use when detaint           /** piece is tainted or not. the language to use when detaint
         enum Untaint_lang {                  remember to change String_Untaint_lang_name @ untaint.C along
                 UNKNOWN=0, ///< when get by name fails          */
                 NO, ///< clean          enum Language {
                 YES,  ///< tainted, untaint language as assigned later                   L_UNSPECIFIED=0, ///< zero value handy for hash lookup @see untaint_lang_name2enum
                 // untaint languages. assigned by ^untaint[lang]{...}                  // these two must go before others, there are checks for >L_AS_IS
                 PASS_APPENDED,                  L_CLEAN, ///< clean
                   L_AS_IS,     ///< leave all characters intact
   
                   L_PASS_APPENDED,
                         /**<                          /**<
                                 leave language built into string being appended.                                  leave language built into string being appended.
                                 just a flag, that value not stored                                  just a flag, that value not stored
                         */                          */
                 AS_IS,  ///< leave all characters intact                  L_TAINTED,  ///< tainted, untaint language as assigned later 
                 HEADER, ///< text in response header                  // untaint languages. assigned by ^untaint[lang]{...}
                 URI,    ///< text in uri                  L_FILE_SPEC, ///< file specification
                 TABLE,  ///< ^table:set body                  L_HTTP_HEADER,    ///< text in HTTP response header
                 SQL,    ///< ^table:sql body                  L_MAIL_HEADER,    ///< text in mail header
                 JS,     ///< JavaScript code                  L_URI,       ///< text in uri
                 HTML,   ///< HTML code (for editing)                  L_TABLE,     ///< ^table:set body
                 HTML_TYPO ///< HTML code with TYPOgraphic replacements (for showing)                  L_SQL,       ///< ^table:sql body
                   L_JS,        ///< JavaScript code
                   L_XML,          ///< ^dom:set xml
                   L_HTML,      ///< HTML code (for editing)
                   L_OPTIMIZE_BIT = 0x8000  ///< flag, requiring cstr whitespace optimization
         };          };
   
           struct Fragment { 
                   Language lang; ///< untaint flag, later untaint language
                   size_t length;  ///< length
                   Fragment(Language alang, size_t asize): lang(alang), length(asize) {}
           };
   
           class ArrayFragment: public Array<Fragment> {
                   void append(element_type src) {
                           *static_cast<Array<Fragment> *>(this)+=src;
                   }
                   /// hiding from accidental USE, use append_positions
                   void append(const ArrayFragment& src, int offset, int limit) { 
                           static_cast<Array<Fragment> *>(this)->append(src, offset, limit);
                   }
           public:
                   ArrayFragment& operator += (element_type src) {
                           if(count()) { // not empty?
                                   // try to join with last
                                   Fragment& last=get(count()-1);
                                   if(last.lang==src.lang) {
                                           last.length+=src.length;
                                           return *this;
                                   }
                           }
                           append(src);
                           return *this;
                   }
                   void append(const ArrayFragment& src) { append(src, 0, 0); }
                   void append_positions(const ArrayFragment& src, size_t substr_begin, size_t substr_end);
           };
   
           struct C {
                   char *str;
                   size_t length;
                   operator char *() { return str; }
                   C(char *astr, size_t asize): str(astr), length(asize) {}
           };
   
   private:
   
           StringBody body; ///< all characters of string
           ArrayFragment fragments; ///< fragment language+length info
   
 public:  public:
   
         String(Pool& apool, const char *src=0, bool tainted=false);          /// @todo check all places for length to be only HELPER length, and never be !=strlen(cstr)
           explicit String(const char* cstr=0, size_t helper_length=0, bool tainted=false);
         String(const String& src);          String(const String& src);
         size_t size() const { return fsize; }          String(StringBody abody, Language alang): body(abody) {
         /// convert to C string                  fragments+=Fragment(alang, abody.length());
         char *cstr() const;  
         String& real_append(STRING_APPEND_PARAMS);  
         /// \return <0 ==0 or >0 depending on comparison result  
         int cmp (const String& src) const;  
         bool operator < (const String& src) const {     return cmp(src)<0; }  
         bool operator > (const String& src) const {     return cmp(src)>0; }  
         bool operator <= (const String& src) const { return cmp(src)<=0; }  
         bool operator >= (const String& src) const { return cmp(src)>=0; }  
         bool operator == (const String& src) const {  
                 if(size()!=src.size()) // can speed up in trivial case  
                         return false;  
                 return cmp(src)==0;  
         }          }
         bool operator != (const String& src) const { return cmp(src)!=0; }  
   
         bool operator == (const char* b_ptr) const;  
         /**   
                 appends other String.  
   
                 marking all tainted pieces of it with \a lang.          /// for convinient hash lookup
                 or marking ALL pieces of it with a \a lang when \a forced to.          operator StringBody() const { return body; }
         */  
         String& append(const String& src, Untaint_lang lang, bool forced=false);  
   
         /// simple hash code of string. used by Hash          bool is_empty() const { return body.is_empty(); }
         uint hash_code() const;          size_t length() const { return body.length(); }
   
 #ifndef NO_STRING_ORIGIN          /// convert to CORD. if 'lang' known, forcing 'lang' to it
         /// origin of string. calculated by first row          CORD cstr_to_cord(Language lang=L_AS_IS, 
         const Origin& origin() const;                  SQL_Connection* connection=0,
 #endif                  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 CORD_to_const_char_star(cstr_to_cord(lang, connection, charsets));
           }
           /// 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 CORD_to_char_star(cstr_to_cord(lang, connection, charsets));
           }
           /// puts pieces to buf
           C serialize(size_t prolog_size) const;
           /// appends pieces from buf to self
           bool deserialize(size_t prolog_size, void *buf, size_t buf_size, const char* file);
           /** append fragment, 
                   @c length can be zero, it will be autocalced
                   when length<strlen(str) makes heap copy of @c str piece
           */
           String& append(const char* str, size_t length, Language lang);
   
 private:          bool operator == (const char* y) const { return body==StringBody(y); }
           bool operator != (const char* y) const { return body!=StringBody(y); }
   
         struct Chunk {          /// this starts with y
                 // the number of rows in chunk          bool starts_with(const char* y) const {
                 int count;                  return body.ncmp(0/*x_begin*/, StringBody(y), 0/*y_begin*/, strlen(y))==0;
                 union Row {          }
                         // fragment          /// y starts with this
                         struct {           bool this_starts(const char* y) const {
                                 const char *ptr;  // pointer to the start                  return body.ncmp(0/*x_begin*/, StringBody(y), 0/*y_begin*/, strlen(y))==0;
                                 size_t size;  // length          }
                                 Untaint_lang lang; // untaint flag, later untaint language  
 #ifndef NO_STRING_ORIGIN  
                                 Origin origin;  // origin  
 #endif  
                         } item;  
                         Chunk *link;  // link to the next chunk in chain  
                 } rows[CR_PREALLOCATED_COUNT];  
                 // next rows are here  
                 Chunk *preallocated_link;  
         }  
                 head;  // the head chunk of the chunk chain  
   
         // next append would write to this record  
         Chunk::Row *append_here;  
           
         // the address of place where lies address   
         // of the link to the next chunk to allocate  
         Chunk::Row *link_row;  
   
 private:          String& append_to(String& dest, Language lang, bool forced) const;
         // last chunk          String& append(const String& src, Language lang, bool forced=false) { 
         Chunk *last_chunk;                  return src.append_to(*this, lang, forced);
           }
           String& operator << (const String& src) { return append(src, L_PASS_APPENDED); }
           String& operator << (const char* src) { return append(src, 0, L_AS_IS); }
           String& operator << (const StringBody& src) { 
                   body.append(src);
                   fragments+=Fragment(L_AS_IS, src.length());
                   return *this;
           }
   
         // string size          /// extracts first char of a string, if any
         size_t fsize;          char first_char() const {
                   return is_empty()?0:body.fetch(0);
           }
   
         // used rows in all chunks          bool operator < (const String& src) const { return body<src.body; }
         int fused_rows;          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; }
   
 private:          /// extracts [start, finish) piece of string
           const String& mid(size_t substr_begin, size_t substr_end) const;
   
         bool chunk_is_full() {          /** 
                 return append_here == link_row;                  ignore lang if it's L_UNSPECIFIED
         }                  but when specified: look for substring that lies in ONE fragment in THAT lang
         void expand();                  @return position of substr in string, -1 means "not found" [const char* version]
         void set_lang(Chunk::Row *row, Untaint_lang lang, bool forced, size_t size);          */
           size_t pos(CORD substr, 
                   size_t this_offset=0, Language lang=L_UNSPECIFIED) const;
           /// String version of @see pos(const char*, int, Language)
           size_t pos(const String& substr, 
                   size_t this_offset=0, Language lang=L_UNSPECIFIED) const;
   
           void split(ArrayString& result, 
                   size_t& pos_after, 
                   const char* delim, 
                   Language lang=L_UNSPECIFIED, int limit=-1);
           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.
                   table format is defined and fixed[can be used by others]: 
                   @verbatim
                           prematch/match/postmatch/1/2/3/...
                   @endverbatim
           */
           Table* match(Charset& source_charset,
                   const String& regexp, 
                   const String& options,
                   Row_action row_action, void *info,
                   bool& just_matched) const;
           enum Change_case_kind {
                   CC_UPPER,
                   CC_LOWER
           };
           String& change_case(Charset& source_charset,
                   Change_case_kind kind);
           const String& replace(const Dictionary& dict) const;
           double as_double() const;
           int as_int() const;
   
 private: //disabled  private: //disabled
   
Line 184  private: //disabled Line 302  private: //disabled
   
 };  };
   
   /// simple hash code of string. used by Hash
   inline uint hash_code(const StringBody& self) {
           return self.hash_code();
   }
   
 #endif  #endif

Removed from v.1.43  
changed lines
  Added in v.1.144.2.28.2.20


E-mail: