--- parser3/src/include/pa_array.h	2001/01/29 16:37:57	1.8
+++ parser3/src/include/pa_array.h	2006/04/09 13:38:47	1.68
@@ -1,96 +1,244 @@
-/*
-  $Id: pa_array.h,v 1.8 2001/01/29 16:37:57 paf Exp $
-*/
-
-/*
-
-	Array               Chunk0
-	======              ========
-	head--------------->[ptr]
-	append_here-------->[ptr]
-	link_row            ........
-			.			.
-			.			[ptr]
-			...........>[link to the next chunk]
+/** @file
+	Parser: Array & Array_iterator classes decls.
 
+	Copyright (c) 2001-2005 ArtLebedev Group (http://www.artlebedev.com)
+	Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */
 
 #ifndef PA_ARRAY_H
 #define PA_ARRAY_H
 
-#include <stddef.h>
+static const char * const IDENT_ARRAY_Y="$Date: 2006/04/09 13:38:47 $";
+
+// includes
+
+#include "pa_memory.h"
+#include "pa_exception.h"
+
+// forwards
+
+template<typename T> class Array_iterator;
+
+// defines
+
+#define ARRAY_OPTION_LIMIT_ALL ((size_t)-1)
+
+/// Simple Array
+template<typename T> class Array: public PA_Object {
+
+	friend class Array_iterator<T>;
+
+protected:
 
-#include "pa_types.h"
+	/// elements[growing size] here
+	T *felements;
 
-class Pool;
+	// allocated size
+	size_t fallocated;
+
+	// array size
+	size_t fused;
 
-template<class Item> class Array {
 public:
+	struct Action_options {
+		size_t offset;
+		size_t limit; //< ARRAY_OPTION_LIMIT_ALL means 'all'. zero limit means 'nothing'
+		bool reverse;
+		bool defined;
+		
+		Action_options(
+			size_t aoffset=0, 
+			size_t alimit=ARRAY_OPTION_LIMIT_ALL, 
+			bool areverse=false): 
+			offset(aoffset), limit(alimit), reverse(areverse), 
+			defined(false) {}
+
+		bool adjust(size_t count) {
+			if(!count || !limit)
+				return false;
+			size_t row=offset;
+			if(row>=count)
+				return false;
+			// max(limit)
+			size_t m=reverse?
+				offset
+				:count-offset;
+			if(!m)
+				return false;
+			// fix limit
+			if(limit==ARRAY_OPTION_LIMIT_ALL || limit>m)
+				limit=m;
+
+			return true;
+		}
 
-	enum {
-		CR_INITIAL_ROWS_DEFAULT=10,
-		CR_GROW_PERCENT=60
+		
 	};
 
-public:
+	typedef T element_type;
 
-	void *operator new(size_t size, Pool *apool);
-	Array(Pool *apool, int initial_rows=CR_INITIAL_ROWS_DEFAULT);
+	Array(size_t initial=3):
+		fallocated(initial>3?initial:3),
+		fused(0)
+	{
+		felements=static_cast<T*>(malloc(fallocated*sizeof(T)));
+	}
 
-	int size() { return fused_rows; }
-	Array& operator += (Item src);
-	Array& operator += (Array& src);
-	Item& operator [] (int index);
+	/// how many items are in Array
+	size_t count() const { return fused; }
+	/// append to array
+	Array& operator += (T src) {
+		if(is_full())
+			expand(+2);
 
-protected:
+		felements[fused++]=src;
 
-	// the pool I'm allocated on
-	Pool *pool;
+		return *this;
+	}
 
-private:
+	/// append other Array portion to this one. starting from offset
+	Array& append(const Array& src, 
+		size_t offset=0, 
+		size_t limit=ARRAY_OPTION_LIMIT_ALL, //< negative limit means 'all'. zero limit means 'nothing'
+		bool reverse=false) {
+
+		size_t src_count=src.count();
+		// skip tivials
+		if(!src_count || !limit || offset>=src_count)
+			return *this;
+		// max(limit)
+		size_t m=reverse?
+			1+offset
+			:src_count-offset;
+		if(!m)
+			return *this;
+		// fix limit
+		if(limit==ARRAY_OPTION_LIMIT_ALL || limit>m)
+			limit=m;
+
+		ssize_t delta=reverse?
+			(ssize_t)limit
+			:limit-(fallocated-fused);
+		if(delta>0)
+			expand(delta);
+
+		T* from=&src.felements[offset];
+		T* to=&felements[fused];
+		if(reverse) { // reverse
+			for(T* from_end=from-limit; from>from_end; --from)
+				*to++=*from;
+
+		} else { // forward
+			for(T* from_end=from+limit; from<from_end; from++)
+				*to++=*from;
+		}
+		
+		fused+=limit;
+		return *this;
+	}
 
-	struct Chunk {
-		// the number of rows in chunk
-		int count;
-		union Row {
-			Item item;
-			Chunk *link;  // link to the next chunk in chain
-		} rows[1];
-		// next rows are here
-	}
-		*head;  // the head chunk of the chunk chain
-
-	// last allocated chunk
-	// helps appending Arrays
-	Chunk *tail;
-
-	// 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;
+	/// get index-element
+	T get(size_t index) const {
+		assert(index<count());
+		return felements[index];
+	}
 
-private:
+	/// ref version of get
+	T& get_ref(size_t index) const {
+		assert(index<count());
+		return felements[index];
+	}
 
-	// array size
-	int fused_rows;
+	/// put index-element
+	void put(size_t index, T element) {
+		assert(index<count());
+		felements[index]=element;
+	}
 
-	int cache_chunk_base;
-	Chunk *cache_chunk;
-	
-private:
+	T operator [](size_t index) const { return get(index); }
 
-	bool chunk_is_full() {
-		return append_here == link_row;
+	/// iterate over all elements
+	template<typename I> void for_each(void (*callback)(T, I), I info) const {
+		T *last=felements+fused;
+		for(T *current=felements; current<last; current++)
+			callback(*current, info);
+	}
+
+	/// iterate over all elements
+	template<typename I> void for_each(bool (*callback)(T, I), I info) const {
+		T *last=felements+fused;
+		for(T *current=felements; current<last; current++)
+			if(callback(*current, info))
+				return;
+	}
+
+	/// iterate over all elements
+	template<typename I> void for_each_ref(void (*callback)(T&, I), I info) {
+		T *last=felements+fused;
+		for(T *current=felements; current<last; current++)
+			callback(*current, info);
+	}
+
+	/// iterate over all elements until condition becomes true, return that element
+	template<typename I> T first_that(bool (*callback)(T, I), I info) const {
+		T *last=felements+fused;
+		for(T *current=felements; current<last; current++)
+			if(callback(*current, info))
+				return *current;
+
+		return T(0);
+	}
+
+protected:
+
+	bool is_full() {
+		return fused == fallocated;
+	}
+	void expand(size_t delta) {
+		size_t new_allocated=fallocated+delta;
+		felements = (T *)realloc(felements, new_allocated*sizeof(T));
+		memset(&felements[fallocated], 0, delta*sizeof(T));
+		fallocated=new_allocated;
 	}
-	void expand(int chunk_rows);
 
 private: //disabled
 
-	Array() {}
-	Array(Array&) {}
-	Array& operator = (Array&) { return *this; }
+	Array(const Array&) {}
+	Array& operator = (const Array&) { return *this; }
 };
 
+
+/** Array iterator, usage:
+	@code
+	// Array<T> a;
+	for(Array_iterator<T> i(a); i.has_next(); ) {
+		T& element=i.next();
+		...
+	}	
+	@endcode
+*/
+template<typename T> class Array_iterator {
+
+	const Array<T>& farray;
+	T *fcurrent;
+	T *flast;
+
+public:
+
+	Array_iterator(const Array<T>& aarray): farray(aarray) {
+		fcurrent=farray.felements;
+		flast=farray.felements+farray.count();
+	}
+
+	/// there are still elements
+	bool has_next() {
+		return fcurrent<flast;
+	}
+
+	/// quickly extracts next Array element
+	T next() {
+		return *(fcurrent++);
+	}
+
+};
 #endif