Vector.c 6.21 KB
Newer Older
Hisham Muhammad's avatar
Hisham Muhammad committed
1
2
3
4
5
6
7
/*
htop
(C) 2004-2006 Hisham H. Muhammad
Released under the GNU GPL, see the COPYING file
in the source distribution for its full text.
*/

8
#include "Vector.h"
Hisham Muhammad's avatar
Hisham Muhammad committed
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include "Object.h"
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>

#include "debug.h"
#include <assert.h>

/*{

#ifndef DEFAULT_SIZE
#define DEFAULT_SIZE -1
#endif

23
typedef void(*Vector_procedure)(void*);
Hisham Muhammad's avatar
Hisham Muhammad committed
24

25
typedef struct Vector_ {
Hisham Muhammad's avatar
Hisham Muhammad committed
26
   Object **array;
27
   Object_Compare compare;
Hisham Muhammad's avatar
Hisham Muhammad committed
28
29
30
31
32
   int arraySize;
   int growthRate;
   int items;
   char* vectorType;
   bool owner;
33
} Vector;
Hisham Muhammad's avatar
Hisham Muhammad committed
34
35
36

}*/

37
Vector* Vector_new(char* vectorType_, bool owner, int size, Object_Compare compare) {
38
   Vector* this;
Hisham Muhammad's avatar
Hisham Muhammad committed
39
40
41

   if (size == DEFAULT_SIZE)
      size = 10;
42
   this = (Vector*) malloc(sizeof(Vector));
Hisham Muhammad's avatar
Hisham Muhammad committed
43
44
45
46
47
48
   this->growthRate = size;
   this->array = (Object**) calloc(size, sizeof(Object*));
   this->arraySize = size;
   this->items = 0;
   this->vectorType = vectorType_;
   this->owner = owner;
49
   this->compare = compare;
Hisham Muhammad's avatar
Hisham Muhammad committed
50
51
52
   return this;
}

53
void Vector_delete(Vector* this) {
Hisham Muhammad's avatar
Hisham Muhammad committed
54
55
56
57
58
59
60
61
62
   if (this->owner) {
      for (int i = 0; i < this->items; i++)
         if (this->array[i])
            (this->array[i])->delete(this->array[i]);
   }
   free(this->array);
   free(this);
}

63
64
#ifdef DEBUG

65
static inline bool Vector_isConsistent(Vector* this) {
Hisham Muhammad's avatar
Hisham Muhammad committed
66
   assert(this->items <= this->arraySize);
Hisham Muhammad's avatar
Hisham Muhammad committed
67
68
69
70
71
72
73
74
75
76
   if (this->owner) {
      for (int i = 0; i < this->items; i++)
         if (this->array[i] && this->array[i]->class != this->vectorType)
            return false;
      return true;
   } else {
      return true;
   }
}

77
78
#endif

79
80
void Vector_prune(Vector* this) {
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
81
82
83
84
85
86
87
88
89
90
91
   int i;

   for (i = 0; i < this->items; i++)
      if (this->array[i]) {
         if (this->owner)
            (this->array[i])->delete(this->array[i]);
         this->array[i] = NULL;
      }
   this->items = 0;
}

92
void Vector_sort(Vector* this) {
93
   assert(this->compare);
94
   assert(Vector_isConsistent(this));
95
96
97
98
   Object_Compare compare = this->compare;
   /* Insertion sort works best on mostly-sorted arrays. */
   for (int i = 1; i < this->items; i++) {
      int j;
Hisham Muhammad's avatar
Hisham Muhammad committed
99
      void* t = this->array[i];
100
      for (j = i-1; j >= 0 && compare(this->array[j], t) > 0; j--)
Hisham Muhammad's avatar
Hisham Muhammad committed
101
102
103
         this->array[j+1] = this->array[j];
      this->array[j+1] = t;
   }
104
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
105
106
}

107
static void Vector_checkArraySize(Vector* this) {
108
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
109
110
111
112
113
114
115
116
   if (this->items >= this->arraySize) {
      int i;
      i = this->arraySize;
      this->arraySize = this->items + this->growthRate;
      this->array = (Object**) realloc(this->array, sizeof(Object*) * this->arraySize);
      for (; i < this->arraySize; i++)
         this->array[i] = NULL;
   }
117
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
118
119
}

120
void Vector_insert(Vector* this, int index, void* data_) {
Hisham Muhammad's avatar
Hisham Muhammad committed
121
122
123
   assert(index >= 0);
   assert(((Object*)data_)->class == this->vectorType);
   Object* data = data_;
124
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
125
   
126
   Vector_checkArraySize(this);
Hisham Muhammad's avatar
Hisham Muhammad committed
127
128
129
130
131
132
   assert(this->array[this->items] == NULL);
   for (int i = this->items; i >= index; i--) {
      this->array[i+1] = this->array[i];
   }
   this->array[index] = data;
   this->items++;
133
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
134
135
}

136
Object* Vector_take(Vector* this, int index) {
Hisham Muhammad's avatar
Hisham Muhammad committed
137
   assert(index >= 0 && index < this->items);
138
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
139
140
141
142
143
144
   Object* removed = this->array[index];
   assert (removed != NULL);
   this->items--;
   for (int i = index; i < this->items; i++)
      this->array[i] = this->array[i+1];
   this->array[this->items] = NULL;
145
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
146
147
148
   return removed;
}

149
150
Object* Vector_remove(Vector* this, int index) {
   Object* removed = Vector_take(this, index);
Hisham Muhammad's avatar
Hisham Muhammad committed
151
152
153
154
155
156
157
   if (this->owner) {
      removed->delete(removed);
      return NULL;
   } else
      return removed;
}

158
void Vector_moveUp(Vector* this, int index) {
Hisham Muhammad's avatar
Hisham Muhammad committed
159
   assert(index >= 0 && index < this->items);
160
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
161
162
163
164
165
166
167
   if (index == 0)
      return;
   Object* temp = this->array[index];
   this->array[index] = this->array[index - 1];
   this->array[index - 1] = temp;
}

168
void Vector_moveDown(Vector* this, int index) {
Hisham Muhammad's avatar
Hisham Muhammad committed
169
   assert(index >= 0 && index < this->items);
170
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
171
172
173
174
175
176
177
   if (index == this->items - 1)
      return;
   Object* temp = this->array[index];
   this->array[index] = this->array[index + 1];
   this->array[index + 1] = temp;
}

178
void Vector_set(Vector* this, int index, void* data_) {
Hisham Muhammad's avatar
Hisham Muhammad committed
179
180
181
   assert(index >= 0);
   assert(((Object*)data_)->class == this->vectorType);
   Object* data = data_;
182
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
183

184
   Vector_checkArraySize(this);
Hisham Muhammad's avatar
Hisham Muhammad committed
185
186
187
188
189
190
191
192
193
194
195
196
   if (index >= this->items) {
      this->items = index+1;
   } else {
      if (this->owner) {
         Object* removed = this->array[index];
         assert (removed != NULL);
         if (this->owner) {
            removed->delete(removed);
         }
      }
   }
   this->array[index] = data;
197
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
198
199
}

200
inline Object* Vector_get(Vector* this, int index) {
Hisham Muhammad's avatar
Hisham Muhammad committed
201
   assert(index < this->items);
202
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
203
204
205
   return this->array[index];
}

206
207
inline int Vector_size(Vector* this) {
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
208
209
210
   return this->items;
}

211
void Vector_merge(Vector* this, Vector* v2) {
Hisham Muhammad's avatar
Hisham Muhammad committed
212
   int i;
213
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
214
215
   
   for (i = 0; i < v2->items; i++)
216
      Vector_add(this, v2->array[i]);
Hisham Muhammad's avatar
Hisham Muhammad committed
217
   v2->items = 0;
218
219
   Vector_delete(v2);
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
220
221
}

222
void Vector_add(Vector* this, void* data_) {
Hisham Muhammad's avatar
Hisham Muhammad committed
223
224
   assert(data_ && ((Object*)data_)->class == this->vectorType);
   Object* data = data_;
225
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
226

227
228
   Vector_set(this, this->items, data);
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
229
230
}

231
inline int Vector_indexOf(Vector* this, void* search_, Object_Compare compare) {
Hisham Muhammad's avatar
Hisham Muhammad committed
232
   assert(((Object*)search_)->class == this->vectorType);
233
   assert(this->compare);
Hisham Muhammad's avatar
Hisham Muhammad committed
234
   Object* search = search_;
235
   assert(Vector_isConsistent(this));
236
   for (int i = 0; i < this->items; i++) {
Hisham Muhammad's avatar
Hisham Muhammad committed
237
      Object* o = (Object*)this->array[i];
238
      if (o && compare(search, o) == 0)
Hisham Muhammad's avatar
Hisham Muhammad committed
239
240
241
242
243
         return i;
   }
   return -1;
}

244
void Vector_foreach(Vector* this, Vector_procedure f) {
Hisham Muhammad's avatar
Hisham Muhammad committed
245
   int i;
246
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
247
248
249

   for (i = 0; i < this->items; i++)
      f(this->array[i]);
250
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
251
}