Vector.c 6.17 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
67
68
69
70
71
72
73
74
75
   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;
   }
}

76
77
#endif

78
79
void Vector_prune(Vector* this) {
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
80
81
82
83
84
85
86
87
88
89
90
   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;
}

91
void Vector_sort(Vector* this) {
92
   assert(this->compare);
93
   assert(Vector_isConsistent(this));
94
95
96
97
   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
98
      void* t = this->array[i];
99
      for (j = i-1; j >= 0 && compare(this->array[j], t) > 0; j--)
Hisham Muhammad's avatar
Hisham Muhammad committed
100
101
102
         this->array[j+1] = this->array[j];
      this->array[j+1] = t;
   }
103
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
104
105
}

106
static void Vector_checkArraySize(Vector* this) {
107
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
108
109
110
111
112
113
114
115
   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;
   }
116
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
117
118
}

119
void Vector_insert(Vector* this, int index, void* data_) {
Hisham Muhammad's avatar
Hisham Muhammad committed
120
121
122
   assert(index >= 0);
   assert(((Object*)data_)->class == this->vectorType);
   Object* data = data_;
123
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
124
   
125
   Vector_checkArraySize(this);
Hisham Muhammad's avatar
Hisham Muhammad committed
126
127
128
129
130
131
   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++;
132
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
133
134
}

135
Object* Vector_take(Vector* this, int index) {
Hisham Muhammad's avatar
Hisham Muhammad committed
136
   assert(index >= 0 && index < this->items);
137
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
138
139
140
141
142
143
   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;
144
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
145
146
147
   return removed;
}

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

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

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

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

183
   Vector_checkArraySize(this);
Hisham Muhammad's avatar
Hisham Muhammad committed
184
185
186
187
188
189
190
191
192
193
194
195
   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;
196
   assert(Vector_isConsistent(this));
Hisham Muhammad's avatar
Hisham Muhammad committed
197
198
}

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

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

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

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

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

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

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

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