Annotation of parser3/src/include/pa_array.h, revision 1.82
1.24 paf 1: /** @file
1.59 paf 2: Parser: Array & Array_iterator classes decls.
1.26 paf 3:
1.81 moko 4: Copyright (c) 2001-2012 Art. Lebedev Studio (http://www.artlebedev.com)
1.53 paf 5: Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1 paf 6: */
7:
1.24 paf 8: #ifndef PA_ARRAY_H
9: #define PA_ARRAY_H
1.54 paf 10:
1.82 ! moko 11: #define IDENT_PA_ARRAY_H "$Id: pa_array.h,v 1.81 2012/03/16 09:24:08 moko Exp $"
1.24 paf 12:
1.59 paf 13: // includes
14:
15: #include "pa_memory.h"
16: #include "pa_exception.h"
17:
18: // forwards
19:
20: template<typename T> class Array_iterator;
21:
22: // defines
23:
24: #define ARRAY_OPTION_LIMIT_ALL ((size_t)-1)
25:
26: /// Simple Array
27: template<typename T> class Array: public PA_Object {
28:
29: friend class Array_iterator<T>;
30:
31: protected:
32:
33: /// elements[growing size] here
34: T *felements;
35:
36: // allocated size
37: size_t fallocated;
38:
39: // array size
40: size_t fused;
1.1 paf 41:
42: public:
1.59 paf 43: struct Action_options {
44: size_t offset;
45: size_t limit; //< ARRAY_OPTION_LIMIT_ALL means 'all'. zero limit means 'nothing'
46: bool reverse;
47: bool defined;
48:
49: Action_options(
50: size_t aoffset=0,
51: size_t alimit=ARRAY_OPTION_LIMIT_ALL,
52: bool areverse=false):
53: offset(aoffset), limit(alimit), reverse(areverse),
54: defined(false) {}
55:
56: bool adjust(size_t count) {
57: if(!count || !limit)
58: return false;
1.70 misha 59: if(offset>=count)
1.59 paf 60: return false;
61: // max(limit)
62: size_t m=reverse?
1.69 misha 63: offset+1
1.59 paf 64: :count-offset;
65: if(!m)
66: return false;
67: // fix limit
68: if(limit==ARRAY_OPTION_LIMIT_ALL || limit>m)
69: limit=m;
1.7 paf 70:
1.59 paf 71: return true;
72: }
1.29 paf 73:
1.59 paf 74:
1.1 paf 75: };
76:
1.59 paf 77: typedef T element_type;
78:
1.71 misha 79: inline Array(size_t initial=0):
80: fallocated(initial),
1.59 paf 81: fused(0)
82: {
1.77 misha 83: felements=fallocated?(T *)pa_malloc(fallocated*sizeof(T)):0;
1.59 paf 84: }
1.6 paf 85:
1.74 misha 86: #ifdef USE_DESTRUCTORS
1.73 misha 87: inline ~Array(){
1.75 misha 88: if(felements)
1.77 misha 89: pa_free(felements);
1.72 misha 90: }
1.74 misha 91: #endif
1.72 misha 92:
1.59 paf 93: /// how many items are in Array
1.71 misha 94: inline size_t count() const { return fused; }
1.59 paf 95: /// append to array
1.71 misha 96: inline Array& operator+=(T src) {
1.59 paf 97: if(is_full())
1.79 misha 98: expand(fallocated>0? 2+fallocated/32 : 3); // 3 is PAF default, confirmed by tests
1.7 paf 99:
1.59 paf 100: felements[fused++]=src;
1.24 paf 101:
1.59 paf 102: return *this;
103: }
1.24 paf 104:
105: /// append other Array portion to this one. starting from offset
1.59 paf 106: Array& append(const Array& src,
107: size_t offset=0,
1.82 ! moko 108: size_t limit=ARRAY_OPTION_LIMIT_ALL) { //< negative limit means 'all'. zero limit means 'nothing'
1.59 paf 109:
110: size_t src_count=src.count();
111: // skip tivials
112: if(!src_count || !limit || offset>=src_count)
113: return *this;
114: // max(limit)
1.82 ! moko 115: size_t m=src_count-offset;
1.59 paf 116: // fix limit
117: if(limit==ARRAY_OPTION_LIMIT_ALL || limit>m)
118: limit=m;
119:
1.82 ! moko 120: ssize_t delta=limit-(fallocated-fused);
1.59 paf 121: if(delta>0)
122: expand(delta);
123:
124: T* from=&src.felements[offset];
125: T* to=&felements[fused];
1.82 ! moko 126: for(T* from_end=from+limit; from<from_end; from++)
! 127: *to++=*from;
1.59 paf 128: fused+=limit;
129: return *this;
130: }
131:
132: /// get index-element
1.71 misha 133: inline T get(size_t index) const {
1.63 paf 134: assert(index<count());
1.59 paf 135: return felements[index];
136: }
137:
138: /// ref version of get
1.71 misha 139: inline T& get_ref(size_t index) const {
1.63 paf 140: assert(index<count());
1.59 paf 141: return felements[index];
142: }
143:
144: /// put index-element
1.71 misha 145: inline void put(size_t index, T element) {
1.63 paf 146: assert(index<count());
1.59 paf 147: felements[index]=element;
148: }
149:
1.82 ! moko 150: /// insert index-element
! 151: inline void insert(size_t index, T element) {
! 152: assert(index<=count());
! 153:
! 154: if(is_full())
! 155: expand(fallocated>0? 2+fallocated/32 : 3); // 3 is PAF default, confirmed by tests
! 156:
! 157: memmove(felements+index+1, felements+index, (fused-index) * sizeof(T));
! 158:
! 159: felements[index]=element;
! 160: fused++;
! 161: }
! 162:
1.80 moko 163: /// remove index-element
164: inline void remove(size_t index) {
165: assert(index<count());
166: if (index<--fused)
1.82 ! moko 167: memmove(felements+index, felements+index+1, (fused-index) * sizeof(T));
1.80 moko 168: }
169:
1.71 misha 170: inline T operator [](size_t index) const { return get(index); }
1.29 paf 171:
172: /// iterate over all elements
1.59 paf 173: template<typename I> void for_each(void (*callback)(T, I), I info) const {
1.60 paf 174: T *last=felements+fused;
175: for(T *current=felements; current<last; current++)
176: callback(*current, info);
177: }
178:
179: /// iterate over all elements
1.68 paf 180: template<typename I> void for_each(bool (*callback)(T, I), I info) const {
181: T *last=felements+fused;
182: for(T *current=felements; current<last; current++)
183: if(callback(*current, info))
184: return;
185: }
186:
187: /// iterate over all elements
1.60 paf 188: template<typename I> void for_each_ref(void (*callback)(T&, I), I info) {
1.59 paf 189: T *last=felements+fused;
190: for(T *current=felements; current<last; current++)
191: callback(*current, info);
192: }
1.49 paf 193:
1.59 paf 194: /// iterate over all elements until condition becomes true, return that element
195: template<typename I> T first_that(bool (*callback)(T, I), I info) const {
196: T *last=felements+fused;
197: for(T *current=felements; current<last; current++)
198: if(callback(*current, info))
199: return *current;
1.1 paf 200:
1.59 paf 201: return T(0);
202: }
1.1 paf 203:
1.76 misha 204: inline T* ptr(size_t index){
205: return felements + index;
206: }
207:
1.59 paf 208: protected:
1.1 paf 209:
1.59 paf 210: bool is_full() {
211: return fused == fallocated;
212: }
213: void expand(size_t delta) {
1.71 misha 214: if(fallocated){
215: size_t new_allocated=fallocated+delta;
1.77 misha 216: felements=(T *)pa_realloc(felements, new_allocated*sizeof(T));
1.71 misha 217: fallocated=new_allocated;
218: } else {
219: fallocated=delta;
1.77 misha 220: felements=(T *)pa_malloc(fallocated*sizeof(T));
1.71 misha 221: }
1.1 paf 222: }
1.2 paf 223:
1.1 paf 224: private: //disabled
225:
1.59 paf 226: Array(const Array&) {}
1.12 paf 227: Array& operator = (const Array&) { return *this; }
1.42 parser 228: };
229:
230:
1.59 paf 231: /** Array iterator, usage:
232: @code
233: // Array<T> a;
234: for(Array_iterator<T> i(a); i.has_next(); ) {
235: T& element=i.next();
236: ...
237: }
238: @endcode
239: */
240: template<typename T> class Array_iterator {
241:
242: const Array<T>& farray;
243: T *fcurrent;
244: T *flast;
245:
1.42 parser 246: public:
247:
1.59 paf 248: Array_iterator(const Array<T>& aarray): farray(aarray) {
249: fcurrent=farray.felements;
250: flast=farray.felements+farray.count();
1.42 parser 251: }
252:
253: /// there are still elements
254: bool has_next() {
1.59 paf 255: return fcurrent<flast;
1.42 parser 256: }
257:
1.59 paf 258: /// quickly extracts next Array element
1.68 paf 259: T next() {
1.59 paf 260: return *(fcurrent++);
261: }
262:
263: };
1.1 paf 264: #endif
E-mail: