--- parser3/src/include/pa_string.h	2001/01/29 12:00:45	1.8
+++ parser3/src/include/pa_string.h	2001/02/12 13:26:54	1.16
@@ -1,30 +1,44 @@
 /*
-  $Id: pa_string.h,v 1.8 2001/01/29 12:00:45 paf Exp $
+  $Id: pa_string.h,v 1.16 2001/02/12 13:26:54 paf Exp $
 */
 
 /*
 
 	String				Chunk0
 	======				========
-	head--------->[ptr, size]
-	append_here-------->[ptr, size]
-	link_row      ........
-			.			.
-			.			[ptr, size]
-			...........>[link to the next chunk]
+	head--------------->[ptr, size, ...]
+	append_here-------->[ptr, size, ...]
+						.
+						.
+						[ptr, size, ...]
+	link_row----------->[link to the next chunk]
 
 */
 
 #ifndef PA_STRING_H
 #define PA_STRING_H
 
+#ifdef HAVE_CONFIG_H
+#include "pa_config.h"
+#endif
+
 #include <stddef.h>
 
+#include "pa_pool.h"
 #include "pa_types.h"
 
-class Pool;
+#ifndef NO_STRING_ORIGIN
+#	define STRING_APPEND_PARAMS const char *src, char *file, uint line
+#	define APPEND(src, file, line) real_append(src, file, line)
+#else
+#	define STRING_APPEND_PARAMS const char *src
+#	define APPEND(src, file, line) real_append(src)
+#endif
+
+class String_iterator;
 
-class String {
+class String : public Pooled {
+	friend String_iterator;
 public:
 	enum {
 		CR_PREALLOCATED_COUNT=5,
@@ -33,20 +47,20 @@ public:
 
 public:
 
-	String(String& src);
-	size_t size() { return fsize; }
-	int used_rows() { return fused_rows; }
-	char *c_str();
-	String& operator += (char *src);
-	bool operator == (String& src);
+	String(Pool& apool);
+	String(const String& src);
+	size_t size() const { return fsize; }
+	int used_rows() const { return fused_rows; }
+	char *cstr() const;
+	String& real_append(STRING_APPEND_PARAMS);
+	bool operator == (const String& src) const;
+	String& append(const String_iterator& begin, const String_iterator& end);
 
-	uint hash_code();
+	uint hash_code() const;
 
-private:
-	friend Pool;
+	const Origin& origin() const { return head.rows[0].item.origin; }
 
-	// the pool I'm allocated on
-	Pool *pool;
+private:
 
 	struct Chunk {
 		// the number of rows in chunk
@@ -54,8 +68,9 @@ private:
 		union Row {
 			// chunk item
 			struct {
-				char *ptr;  // pointer to the start of string fragment
+				const char *ptr;  // pointer to the start of string fragment
 				size_t size;  // length of the fragment
+				Origin origin;  // origin of this fragment
 			} item;
 			Chunk *link;  // link to the next chunk in chain
 		} rows[CR_PREALLOCATED_COUNT];
@@ -82,17 +97,6 @@ private:
 	int fused_rows;
 
 private:
-	// new&constructors made private to enforce factory manufacturing at pool
-	void *operator new(size_t size, Pool *apool);
-
-	void construct(Pool *apool);
-	String(Pool *apool) { 
-		construct(apool); 
-	}
-	String(Pool *apool, char *src) {
-		construct(apool);
-		*this+=src;
-	}
 
 	bool chunk_is_full() {
 		return append_here == link_row;
@@ -101,8 +105,53 @@ private:
 
 private: //disabled
 
-	String& operator = (String& src) { return *this; }
+	String& operator = (const String&) { return *this; }
+
+};
+
 
+class Char_set {
+public:
+	Char_set();
+	void include(char c) { bools[static_cast<unsigned int>(c)]=true; }
+	bool in(char c) { return bools[static_cast<unsigned int>(c)]; }
+private:	
+	bool bools[0x100];
+};
+
+class String_iterator {
+public:
+	String_iterator(String& astring);
+
+	void operator ++() { skip(); }
+	void operator ++(int) { skip(); }
+
+	void skip_to(Char_set& set);
+	void skip_to(char c);
+
+	bool eof() { return feof; }
+
+	// current char
+	char operator() const;
+
+protected:
+	// home string
+	String& string;
+	// the row in which we are
+	Chunk::Row *read_here;
+	// position in that row's string fragment
+	int offset;
+	// when read_here reaches this row, move to the next chunk
+	Chunk::Row *link_row;
+
+	bool feof;
+
+protected:
+
+	// advances position on one char
+	void skip() {
+
+	}
 };
 
 #endif