Annotation of parser3/src/include/pa_string.h, revision 1.144
1.41 paf 1: /** @file
1.43 paf 2: Parser: string class decl.
3:
1.144 ! paf 4: Copyright (c) 2001, 2003 ArtLebedev Group (http://www.artlebedev.com)
1.124 paf 5: Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1 paf 6: */
7:
8: #ifndef PA_STRING_H
9: #define PA_STRING_H
1.140 paf 10:
1.144 ! paf 11: static const char* IDENT_STRING_H="$Date: 2002/08/08 09:02:43 $";
1.1 paf 12:
1.15 paf 13: #include "pa_pool.h"
1.4 paf 14: #include "pa_types.h"
15:
1.9 paf 16: #ifndef NO_STRING_ORIGIN
1.33 paf 17: # define STRING_APPEND_PARAMS \
18: const char *src, size_t size, \
1.119 paf 19: uchar lang, \
1.33 paf 20: const char *file, uint line
1.54 paf 21: /// appends piece to String @see String::real_append
22: # define APPEND(src, size, lang, file, line) \
23: real_append(src, size, lang, file, line)
1.9 paf 24: #else
1.33 paf 25: # define STRING_APPEND_PARAMS \
26: const char *src, \
27: size_t size, \
1.119 paf 28: uchar lang
1.54 paf 29: /// appends piece to String @see String::real_append
30: # define APPEND(src, size, lang, file, line) \
31: real_append(src, size, lang)
32: #endif
1.83 paf 33: /// appends clean piece to String @see String::real_append
1.54 paf 34: #define APPEND_CLEAN(src, size, file, line) \
1.62 paf 35: APPEND(src, size, String::UL_CLEAN, file, line)
1.83 paf 36: /// appends piece to String as-is @see String::real_append
37: #define APPEND_AS_IS(src, size, file, line) \
38: APPEND(src, size, String::UL_AS_IS, file, line)
1.48 paf 39: /// appends tainted piece to String @see String::real_append
1.54 paf 40: #define APPEND_TAINTED(src, size, file, line) \
1.62 paf 41: APPEND(src, size, String::UL_TAINTED, file, line)
1.48 paf 42: /// handy: appends const char* piece to String @see String::real_append
1.83 paf 43: #define APPEND_CONST(src) APPEND_AS_IS(src, 0, 0, 0)
1.9 paf 44:
1.135 paf 45: class Table;
1.62 paf 46: class Array;
1.71 paf 47: class SQL_Connection;
1.101 parser 48: class Dictionary;
1.62 paf 49:
1.42 paf 50: /**
1.41 paf 51: Pooled string.
52:
1.47 paf 53: Internal structure:
54: @verbatim
55: String Chunk0
56: ====== ========
57: head--------------->[ptr, size, ...]
58: append_here-------->[ptr, size, ...]
59: .
60: .
61: [ptr, size, ...]
62: link_row----------->[link to the next chunk]
1.41 paf 63: @endverbatim
64:
65: All pieces remember
66: - the file and its line they are from [can be turned off by NO_STRING_ORIGIN]
67: - whether they are tainted or not,
68: and the language which should be used to detaint them
69: */
1.114 paf 70: #include "pa_pragma_pack_begin.h"
1.15 paf 71: class String : public Pooled {
1.1 paf 72: public:
1.48 paf 73:
1.1 paf 74: enum {
1.89 parser 75: CR_PREALLOCATED_COUNT=2, ///< default preallocated item count
1.125 paf 76: CR_GROW_COUNT=1 ///< each time the String chunk_is_full() string expanded()
1.1 paf 77: };
78:
1.106 parser 79: /** piece is tainted or not. the language to use when detaint
80: remember to change String_Untaint_lang_name @ untaint.C along
81: */
1.27 paf 82: enum Untaint_lang {
1.72 paf 83: UL_UNSPECIFIED=0, ///< zero value handy for hash lookup @see untaint_lang_name2enum
1.122 paf 84: // these two must go before others, there are checks for >UL_AS_IS
1.62 paf 85: UL_CLEAN, ///< clean
1.122 paf 86: UL_AS_IS, ///< leave all characters intact
87:
1.48 paf 88: UL_PASS_APPENDED,
1.41 paf 89: /**<
90: leave language built into string being appended.
91: just a flag, that value not stored
92: */
1.122 paf 93: UL_TAINTED, ///< tainted, untaint language as assigned later
94: // untaint languages. assigned by ^untaint[lang]{...}
1.103 parser 95: UL_FILE_SPEC, ///< file specification
1.74 paf 96: UL_HTTP_HEADER, ///< text in HTTP response header
97: UL_MAIL_HEADER, ///< text in mail header
1.48 paf 98: UL_URI, ///< text in uri
99: UL_TABLE, ///< ^table:set body
100: UL_SQL, ///< ^table:sql body
101: UL_JS, ///< JavaScript code
1.102 parser 102: UL_XML, ///< ^dom:set xml
1.48 paf 103: UL_HTML, ///< HTML code (for editing)
1.119 paf 104: UL_OPTIMIZE_BIT = 0x80 ///< flag, requiring cstr whitespace optimization
1.27 paf 105: };
106:
1.8 paf 107: public:
108:
1.139 paf 109: static String& OnPool(Pool& apool, const char *local_src=0, size_t src_size=0, bool tainted=false);
1.77 paf 110: String(Pool& apool, const char *src=0, size_t src_size=0, bool tainted=false);
1.14 paf 111: String(const String& src);
1.135 paf 112: bool is_empty() const { return append_here==head.chunk.rows; }
1.117 paf 113: size_t size() const;
1.69 paf 114: /// convert to C string. if 'lang' known, forcing 'lang' to it
1.109 paf 115: char *cstr(Untaint_lang lang=UL_AS_IS,
1.82 paf 116: SQL_Connection *connection=0,
1.133 paf 117: Charset *cstr_charset=0, const char *cstr_charset_name=0) const {
1.88 parser 118:
1.121 paf 119: char *result=(char *)malloc(cstr_bufsize(lang, connection, cstr_charset));
1.133 paf 120: char *eol=store_to(result, lang, connection, cstr_charset, cstr_charset_name);
1.50 paf 121: *eol=0;
122: return result;
123: }
1.117 paf 124: char *cstr_debug_origins() const;
1.108 parser 125: /// puts pieces to buf
126: void serialize(size_t prolog_size, void *& buf, size_t& buf_size) const;
127: /// appends pieces from buf to self
1.132 paf 128: bool deserialize(size_t prolog_size, void *buf, size_t buf_size, const char *file);
1.46 paf 129: /** append fragment
1.83 paf 130: @see APPEND_AS_IS, APPEND_CLEAN, APPEND_TAINTED, APPEND_CONST
1.46 paf 131: */
1.9 paf 132: String& real_append(STRING_APPEND_PARAMS);
1.44 paf 133: /// @return <0 ==0 or >0 depending on comparison result
1.62 paf 134: int cmp (int& partial, const String& src,
1.72 paf 135: size_t this_offset=0, Untaint_lang lang=UL_UNSPECIFIED) const;
1.56 paf 136: bool operator < (const String& src) const { int p; return cmp(p, src)<0; }
137: bool operator > (const String& src) const { int p; return cmp(p, src)>0; }
138: bool operator <= (const String& src) const { int p; return cmp(p, src)<=0; }
139: bool operator >= (const String& src) const { int p; return cmp(p, src)>=0; }
1.26 paf 140: bool operator == (const String& src) const {
141: if(size()!=src.size()) // can speed up in trivial case
142: return false;
1.56 paf 143: int p; return cmp(p, src)==0;
1.26 paf 144: }
1.56 paf 145: bool operator != (const String& src) const { int p; return cmp(p, src)!=0; }
1.26 paf 146:
1.50 paf 147: /**
148: @param partial
149: returns partial match status.
1.51 paf 150: - -1: strings too different
151: - 0: full match
152: - 1: means @c this starts @c src
153: - 2: means @src starts @this
1.50 paf 154: */
1.61 paf 155: int cmp(int& partial, const char* src_ptr, size_t src_size=0,
1.72 paf 156: size_t this_offset=0, Untaint_lang lang=UL_UNSPECIFIED) const;
1.139 paf 157: /// this starts with src
158: bool starts_with(const char* src_ptr, size_t src_size=0) const {
159: int p; cmp(p, src_ptr, src_size);
160: return p==0 || p==2;
161: }
1.50 paf 162: bool operator == (const char* src_ptr) const {
163: size_t src_size=src_ptr?strlen(src_ptr):0;
164: if(size() != src_size)
165: return false;
166: int partial; // unused
1.56 paf 167: return cmp(partial, src_ptr, src_size)==0;
1.50 paf 168: }
1.80 paf 169: bool operator != (const char* src_ptr) const {
170: int partial; // unused
171: return cmp(partial, src_ptr, 0)!=0;
172: }
173:
1.119 paf 174: String& append(const String& src, uchar lang, bool forced=false);
1.76 paf 175: String& operator << (const String& src) { return append(src, UL_PASS_APPENDED); }
176: String& operator << (const char *src) { return APPEND_CONST(src); }
1.8 paf 177:
1.41 paf 178: /// simple hash code of string. used by Hash
1.14 paf 179: uint hash_code() const;
1.100 parser 180:
1.142 paf 181: /// extracts first char of a string, if any
182: char first_char() const {
1.143 paf 183: return is_empty()?0:*head.chunk.rows[0].item.ptr;
1.142 paf 184: }
1.54 paf 185:
186: /// extracts [start, finish) piece of string
1.70 paf 187: String& mid(size_t start, size_t finish) const;
1.55 paf 188:
1.59 paf 189: /// @return position of substr in string, -1 means "not found" [String version]
1.62 paf 190: int pos(const String& substr,
1.112 paf 191: int this_offset=0, Untaint_lang lang=UL_UNSPECIFIED) const;
1.59 paf 192: /// @return position of substr in string, -1 means "not found" [const char* version]
1.97 parser 193: int pos(const char *substr, size_t substr_size=0,
1.112 paf 194: int this_offset=0, Untaint_lang lang=UL_UNSPECIFIED) const;
1.62 paf 195:
196: void split(Array& result,
197: size_t *pos_after_ref,
198: const char *delim, size_t delim_size,
1.86 paf 199: Untaint_lang lang=UL_UNSPECIFIED, int limit=-1) const;
1.62 paf 200: void split(Array& result,
201: size_t *pos_after_ref,
202: const String& delim,
1.86 paf 203: Untaint_lang lang=UL_UNSPECIFIED, int limit=-1) const;
1.62 paf 204:
1.136 paf 205: typedef void (*Row_action)(Table& table, Array *row,
206: int prestart, int prefinish,
207: int poststart, int postfinish,
1.68 paf 208: void *info);
1.87 parser 209: /**
210: @return true if fills table.
211: table format is defined and fixed[can be used by others]:
212: @verbatim
213: prematch/match/postmatch/1/2/3/...
214: @endverbatim
215: */
1.138 paf 216: bool match(
1.81 paf 217: const String *aorigin,
1.64 paf 218: const String& regexp,
1.65 paf 219: const String *options,
1.66 paf 220: Table **table,
1.99 parser 221: Row_action row_action, void *info,
222: bool *was_global=0) const;
1.87 parser 223: enum Change_case_kind {
224: CC_UPPER,
225: CC_LOWER
226: };
1.120 paf 227: String& change_case(Pool& pool,
1.87 parser 228: Change_case_kind kind) const;
1.101 parser 229: String& replace(Pool& pool, Dictionary& dict) const;
1.96 parser 230: double as_double() const;
231: int as_int() const;
1.137 paf 232:
233: String& join_chains(Pool& pool, char** cstr) const;
1.13 paf 234:
1.41 paf 235: #ifndef NO_STRING_ORIGIN
236: /// origin of string. calculated by first row
1.43 paf 237: const Origin& origin() const;
1.41 paf 238: #endif
1.8 paf 239:
1.129 paf 240: private:
1.10 paf 241:
1.128 paf 242: /** several String fragments
243: */
1.135 paf 244: struct Chunk {
1.125 paf 245: typedef uchar count_type;
246: count_type count; ///< the number of rows in chunk
1.135 paf 247: // here could be some padding bytes
1.84 paf 248: /// string fragment or a link to next chunk union
1.135 paf 249: typedef union Row {
1.125 paf 250: typedef uchar item_size_type;
1.84 paf 251: /// fragment
1.27 paf 252: struct {
1.84 paf 253: const char *ptr; ///< pointer to the start
1.125 paf 254: item_size_type size; ///< length
255: uchar/*Untaint_lang*/ lang; ///< untaint flag, later untaint language
1.27 paf 256: #ifndef NO_STRING_ORIGIN
1.84 paf 257: Origin origin; ///< origin
1.27 paf 258: #endif
1.1 paf 259: } item;
1.135 paf 260: // we are using the fact that there's no padding before this field!
1.84 paf 261: Chunk *link; ///< link to the next chunk in chain
1.135 paf 262: } rows_type[CR_PREALLOCATED_COUNT];
263: rows_type rows;
264: };
265: /**
266: 'mutable' because can write after it's end, after it was appended to somebody
267: @see String::append
268: */
269: mutable struct {
270: Chunk chunk;
271: Chunk *link_storage;
272: } head; ///< the head chunk of the chunk chain
1.1 paf 273:
1.84 paf 274: /// next append would write to this record
1.1 paf 275: Chunk::Row *append_here;
276:
1.5 paf 277: private:
1.110 paf 278: /// last chunk
1.125 paf 279: mutable Chunk *last_chunk;
1.5 paf 280:
281: private:
1.1 paf 282:
283: bool chunk_is_full() {
1.127 paf 284: return append_here == last_chunk->rows+last_chunk->count;
1.1 paf 285: }
1.129 paf 286: uint used_rows() const;
1.1 paf 287: void expand();
1.125 paf 288:
289: Untaint_lang lang_of(size_t offset) const;
1.79 paf 290:
1.116 paf 291: size_t cstr_bufsize(Untaint_lang lang,
292: SQL_Connection *connection,
1.121 paf 293: Charset *buf_charset) const;
1.79 paf 294: /// convert to C string, store to 'dest' which must be big enough for proper untaint
1.82 paf 295: char *store_to(char *dest, Untaint_lang lang=UL_UNSPECIFIED,
296: SQL_Connection *connection=0,
1.133 paf 297: Charset *store_to_charset=0,
298: const char *store_to_charset_name=0) const;
1.107 parser 299:
300: void join_chain(Pool& pool,
1.130 paf 301: const Chunk*& achunk, const Chunk::Row*& arow, uint& acountdown,
1.119 paf 302: uchar& joined_lang, const char *& joined_ptr, size_t& joined_size) const;
1.7 paf 303:
304: private: //disabled
305:
1.12 paf 306: String& operator = (const String&) { return *this; }
1.7 paf 307:
1.1 paf 308: };
1.114 paf 309: #include "pa_pragma_pack_end.h"
1.119 paf 310:
1.130 paf 311: #define STRING_PREPARED_FOREACH_ROW(self, body) \
312: while(row!=(self).append_here) { \
313: if(countdown==0) { \
314: chunk=row->link; \
315: row=chunk->rows; \
316: countdown=chunk->count; \
317: }; \
318: { body } \
1.131 paf 319: row++; countdown--; \
1.130 paf 320: }
321:
322: #define STRING_PREFIX_FOREACH_ROW(self, body) { \
1.135 paf 323: const Chunk *chunk=&(self).head.chunk; \
1.130 paf 324: const Chunk::Row *row=chunk->rows; \
325: uint countdown=chunk->count; \
326: STRING_PREPARED_FOREACH_ROW(self, body) \
1.119 paf 327: }
328:
329: #define STRING_FOREACH_ROW(body) STRING_PREFIX_FOREACH_ROW(*this, body)
330: #define STRING_SRC_FOREACH_ROW(body) STRING_PREFIX_FOREACH_ROW(src, body)
1.1 paf 331:
332: #endif
E-mail:
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to pa_string.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [parser3project] / parser3 / src / include