blob: e28cad9ce61659db8f10ef4109fbeb065bcf4715 [file] [log] [blame]
bsalomon@google.combbe52902012-12-03 18:01:45 +00001/*
2 * Copyright 2012 Google Inc.
3 *
4 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
6 */
7
bsalomon@google.combbe52902012-12-03 18:01:45 +00008#include "SkRandom.h"
9#include "SkTInternalLList.h"
10#include "SkTLList.h"
tfarina@chromium.org8f6884a2014-01-24 20:56:26 +000011#include "Test.h"
bsalomon@google.combbe52902012-12-03 18:01:45 +000012
13class ListElement {
14public:
15 ListElement(int id) : fID(id) {
16 }
17 bool operator== (const ListElement& other) { return fID == other.fID; }
18
bsalomon@google.combbe52902012-12-03 18:01:45 +000019 int fID;
20
21private:
mtklein2766c002015-06-26 11:45:03 -070022
bsalomon@google.combbe52902012-12-03 18:01:45 +000023 SK_DECLARE_INTERNAL_LLIST_INTERFACE(ListElement);
24};
25
bsalomon@google.combbe52902012-12-03 18:01:45 +000026static void check_list(const SkTInternalLList<ListElement>& list,
27 skiatest::Reporter* reporter,
28 bool empty,
29 int numElements,
30 bool in0, bool in1, bool in2, bool in3,
31 ListElement elements[4]) {
32
33 REPORTER_ASSERT(reporter, empty == list.isEmpty());
commit-bot@chromium.org515dcd32013-08-28 14:17:03 +000034#ifdef SK_DEBUG
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +000035 list.validate();
bsalomon@google.combbe52902012-12-03 18:01:45 +000036 REPORTER_ASSERT(reporter, numElements == list.countEntries());
37 REPORTER_ASSERT(reporter, in0 == list.isInList(&elements[0]));
38 REPORTER_ASSERT(reporter, in1 == list.isInList(&elements[1]));
39 REPORTER_ASSERT(reporter, in2 == list.isInList(&elements[2]));
40 REPORTER_ASSERT(reporter, in3 == list.isInList(&elements[3]));
41#endif
42}
43
bsalomonf045d602015-11-18 19:01:12 -080044static void test_tinternallist(skiatest::Reporter* reporter) {
bsalomon@google.combbe52902012-12-03 18:01:45 +000045 SkTInternalLList<ListElement> list;
46 ListElement elements[4] = {
47 ListElement(0),
48 ListElement(1),
49 ListElement(2),
50 ListElement(3),
51 };
52
53 // list should be empty to start with
54 check_list(list, reporter, true, 0, false, false, false, false, elements);
55
56 list.addToHead(&elements[0]);
57
58 check_list(list, reporter, false, 1, true, false, false, false, elements);
59
60 list.addToHead(&elements[1]);
61 list.addToHead(&elements[2]);
62 list.addToHead(&elements[3]);
63
64 check_list(list, reporter, false, 4, true, true, true, true, elements);
65
66 // test out iterators
67 typedef SkTInternalLList<ListElement>::Iter Iter;
68 Iter iter;
69
70 ListElement* cur = iter.init(list, Iter::kHead_IterStart);
bsalomon49f085d2014-09-05 13:34:00 -070071 for (int i = 0; cur; ++i, cur = iter.next()) {
bsalomon@google.combbe52902012-12-03 18:01:45 +000072 REPORTER_ASSERT(reporter, cur->fID == 3-i);
73 }
74
75 cur = iter.init(list, Iter::kTail_IterStart);
bsalomon49f085d2014-09-05 13:34:00 -070076 for (int i = 0; cur; ++i, cur = iter.prev()) {
bsalomon@google.combbe52902012-12-03 18:01:45 +000077 REPORTER_ASSERT(reporter, cur->fID == i);
78 }
79
80 // remove middle, frontmost then backmost
81 list.remove(&elements[1]);
82 list.remove(&elements[3]);
83 list.remove(&elements[0]);
84
85 check_list(list, reporter, false, 1, false, false, true, false, elements);
86
87 // remove last element
88 list.remove(&elements[2]);
89
90 // list should be empty again
91 check_list(list, reporter, true, 0, false, false, false, false, elements);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +000092
93 // test out methods that add to the middle of the list.
halcanary96fcdcc2015-08-27 07:41:13 -070094 list.addAfter(&elements[1], nullptr);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +000095 check_list(list, reporter, false, 1, false, true, false, false, elements);
96
97 list.remove(&elements[1]);
98
halcanary96fcdcc2015-08-27 07:41:13 -070099 list.addBefore(&elements[1], nullptr);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000100 check_list(list, reporter, false, 1, false, true, false, false, elements);
101
102 list.addBefore(&elements[0], &elements[1]);
103 check_list(list, reporter, false, 2, true, true, false, false, elements);
104
105 list.addAfter(&elements[3], &elements[1]);
106 check_list(list, reporter, false, 3, true, true, false, true, elements);
107
108 list.addBefore(&elements[2], &elements[3]);
109 check_list(list, reporter, false, 4, true, true, true, true, elements);
110
111 cur = iter.init(list, Iter::kHead_IterStart);
bsalomon49f085d2014-09-05 13:34:00 -0700112 for (int i = 0; cur; ++i, cur = iter.next()) {
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000113 REPORTER_ASSERT(reporter, cur->fID == i);
114 }
Chris Dalton832bd2b2017-06-21 12:33:39 -0700115 while (!list.isEmpty()) {
116 list.remove(list.tail());
117 }
118
119 // test concat.
120 SkTInternalLList<ListElement> listA, listB;
121 listA.concat(std::move(listB));
122 check_list(listA, reporter, true, 0, false, false, false, false, elements);
123 check_list(listB, reporter, true, 0, false, false, false, false, elements);
124
125 listB.addToTail(&elements[0]);
126 listA.concat(std::move(listB));
127 check_list(listA, reporter, false, 1, true, false, false, false, elements);
128 check_list(listB, reporter, true, 0, false, false, false, false, elements);
129
130 listB.addToTail(&elements[1]);
131 listA.concat(std::move(listB));
132 check_list(listA, reporter, false, 2, true, true, false, false, elements);
133 check_list(listB, reporter, true, 0, false, false, false, false, elements);
134
135 listA.concat(std::move(listB));
136 check_list(listA, reporter, false, 2, true, true, false, false, elements);
137 check_list(listB, reporter, true, 0, false, false, false, false, elements);
138
139 listB.addToTail(&elements[2]);
140 listB.addToTail(&elements[3]);
141 listA.concat(std::move(listB));
142 check_list(listA, reporter, false, 4, true, true, true, true, elements);
143 check_list(listB, reporter, true, 0, false, false, false, false, elements);
144
145 cur = iter.init(listA, Iter::kHead_IterStart);
146 for (int i = 0; cur; ++i, cur = iter.next()) {
147 REPORTER_ASSERT(reporter, cur->fID == i);
148 }
bsalomon@google.combbe52902012-12-03 18:01:45 +0000149}
150
bsalomonf045d602015-11-18 19:01:12 -0800151template <unsigned int N> static void test_tllist(skiatest::Reporter* reporter) {
152 typedef SkTLList<ListElement, N> ElList;
153 typedef typename ElList::Iter Iter;
commit-bot@chromium.orge0e7cfe2013-09-09 20:09:12 +0000154 SkRandom random;
bsalomon@google.combbe52902012-12-03 18:01:45 +0000155
bsalomonf045d602015-11-18 19:01:12 -0800156 ElList list1;
157 ElList list2;
158 Iter iter1;
159 Iter iter2;
160 Iter iter3;
161 Iter iter4;
bsalomon@google.combbe52902012-12-03 18:01:45 +0000162
bsalomonf045d602015-11-18 19:01:12 -0800163 REPORTER_ASSERT(reporter, list1.isEmpty());
164 REPORTER_ASSERT(reporter, nullptr == iter1.init(list1, Iter::kHead_IterStart));
165 REPORTER_ASSERT(reporter, nullptr == iter1.init(list1, Iter::kTail_IterStart));
166 // Try popping an empty list
167 list1.popHead();
168 list1.popTail();
169 REPORTER_ASSERT(reporter, list1.isEmpty());
170 REPORTER_ASSERT(reporter, list1 == list2);
bsalomon@google.combbe52902012-12-03 18:01:45 +0000171
bsalomonf045d602015-11-18 19:01:12 -0800172 // Create two identical lists, one by appending to head and the other to the tail.
173 list1.addToHead(ListElement(1));
174 list2.addToTail(ListElement(1));
175 iter1.init(list1, Iter::kHead_IterStart);
176 iter2.init(list1, Iter::kTail_IterStart);
177 REPORTER_ASSERT(reporter, iter1.get()->fID == iter2.get()->fID);
178 iter3.init(list2, Iter::kHead_IterStart);
179 iter4.init(list2, Iter::kTail_IterStart);
180 REPORTER_ASSERT(reporter, iter3.get()->fID == iter1.get()->fID);
181 REPORTER_ASSERT(reporter, iter4.get()->fID == iter1.get()->fID);
182 REPORTER_ASSERT(reporter, list1 == list2);
bsalomon@google.combbe52902012-12-03 18:01:45 +0000183
bsalomonf045d602015-11-18 19:01:12 -0800184 list2.reset();
skia.committer@gmail.come659c2e2012-12-04 02:01:25 +0000185
bsalomonf045d602015-11-18 19:01:12 -0800186 // use both before/after in-place construction on an empty list
187 list2.addBefore(list2.headIter(), 1);
188 REPORTER_ASSERT(reporter, list2 == list1);
189 list2.reset();
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000190
bsalomonf045d602015-11-18 19:01:12 -0800191 list2.addAfter(list2.tailIter(), 1);
192 REPORTER_ASSERT(reporter, list2 == list1);
skia.committer@gmail.come659c2e2012-12-04 02:01:25 +0000193
bsalomonf045d602015-11-18 19:01:12 -0800194 // add an element to the second list, check that iters are still valid
195 iter3.init(list2, Iter::kHead_IterStart);
196 iter4.init(list2, Iter::kTail_IterStart);
197 list2.addToHead(ListElement(2));
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000198
bsalomonf045d602015-11-18 19:01:12 -0800199 REPORTER_ASSERT(reporter, iter3.get()->fID == iter1.get()->fID);
200 REPORTER_ASSERT(reporter, iter4.get()->fID == iter1.get()->fID);
201 REPORTER_ASSERT(reporter, 1 == Iter(list2, Iter::kTail_IterStart).get()->fID);
202 REPORTER_ASSERT(reporter, 2 == Iter(list2, Iter::kHead_IterStart).get()->fID);
203 REPORTER_ASSERT(reporter, list1 != list2);
204 list1.addToHead(ListElement(2));
205 REPORTER_ASSERT(reporter, list1 == list2);
206 REPORTER_ASSERT(reporter, !list1.isEmpty());
bsalomon@google.comebce0302012-12-04 14:48:57 +0000207
bsalomonf045d602015-11-18 19:01:12 -0800208 list1.reset();
209 list2.reset();
210 REPORTER_ASSERT(reporter, list1.isEmpty() && list2.isEmpty());
bsalomon@google.combbe52902012-12-03 18:01:45 +0000211
bsalomonf045d602015-11-18 19:01:12 -0800212 // randomly perform insertions and deletions on a list and perform tests
213 int count = 0;
214 for (int j = 0; j < 100; ++j) {
215 if (list1.isEmpty() || random.nextBiasedBool(3 * SK_Scalar1 / 4)) {
216 int id = j;
217 // Choose one of three ways to insert a new element: at the head, at the tail,
218 // before a random element, after a random element
219 int numValidMethods = 0 == count ? 2 : 4;
220 int insertionMethod = random.nextULessThan(numValidMethods);
221 switch (insertionMethod) {
222 case 0:
223 list1.addToHead(ListElement(id));
224 break;
225 case 1:
226 list1.addToTail(ListElement(id));
227 break;
228 case 2: // fallthru to share code that picks random element.
229 case 3: {
230 int n = random.nextULessThan(list1.count());
231 Iter iter = list1.headIter();
232 // remember the elements before/after the insertion point.
233 while (n--) {
234 iter.next();
235 }
236 Iter prev(iter);
237 Iter next(iter);
238 next.next();
239 prev.prev();
bsalomon@google.combbe52902012-12-03 18:01:45 +0000240
bsalomonf045d602015-11-18 19:01:12 -0800241 SkASSERT(iter.get());
242 // insert either before or after the iterator, then check that the
243 // surrounding sequence is correct.
244 if (2 == insertionMethod) {
245 list1.addBefore(iter, id);
246 Iter newItem(iter);
247 newItem.prev();
248 REPORTER_ASSERT(reporter, newItem.get()->fID == id);
249
250 if (next.get()) {
251 REPORTER_ASSERT(reporter, next.prev()->fID == iter.get()->fID);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000252 }
bsalomonf045d602015-11-18 19:01:12 -0800253 if (prev.get()) {
254 REPORTER_ASSERT(reporter, prev.next()->fID == id);
255 }
256 } else {
257 list1.addAfter(iter, id);
258 Iter newItem(iter);
259 newItem.next();
260 REPORTER_ASSERT(reporter, newItem.get()->fID == id);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000261
bsalomonf045d602015-11-18 19:01:12 -0800262 if (next.get()) {
263 REPORTER_ASSERT(reporter, next.prev()->fID == id);
264 }
265 if (prev.get()) {
266 REPORTER_ASSERT(reporter, prev.next()->fID == iter.get()->fID);
bsalomon@google.comdd3f7a92012-12-03 19:47:41 +0000267 }
skia.committer@gmail.come659c2e2012-12-04 02:01:25 +0000268 }
bsalomon@google.combbe52902012-12-03 18:01:45 +0000269 }
bsalomon@google.combbe52902012-12-03 18:01:45 +0000270 }
bsalomonf045d602015-11-18 19:01:12 -0800271 ++count;
272 } else {
273 // walk to a random place either forward or backwards and remove.
274 int n = random.nextULessThan(list1.count());
275 typename Iter::IterStart start;
276 ListElement* (Iter::*incrFunc)();
277
278 if (random.nextBool()) {
279 start = Iter::kHead_IterStart;
280 incrFunc = &Iter::next;
281 } else {
282 start = Iter::kTail_IterStart;
283 incrFunc = &Iter::prev;
284 }
285
286 // find the element
287 Iter iter(list1, start);
288 while (n--) {
289 REPORTER_ASSERT(reporter, iter.get());
290 (iter.*incrFunc)();
291 }
292 REPORTER_ASSERT(reporter, iter.get());
293
294 // remember the prev and next elements from the element to be removed
295 Iter prev = iter;
296 Iter next = iter;
297 prev.prev();
298 next.next();
299 list1.remove(iter.get());
300
301 // make sure the remembered next/prev iters still work
302 Iter pn = prev; pn.next();
303 Iter np = next; np.prev();
304 // pn should match next unless the target node was the head, in which case prev
305 // walked off the list.
306 REPORTER_ASSERT(reporter, pn.get() == next.get() || nullptr == prev.get());
307 // Similarly, np should match prev unless next originally walked off the tail.
308 REPORTER_ASSERT(reporter, np.get() == prev.get() || nullptr == next.get());
309 --count;
bsalomon@google.combbe52902012-12-03 18:01:45 +0000310 }
bsalomonf045d602015-11-18 19:01:12 -0800311 REPORTER_ASSERT(reporter, count == list1.count());
bsalomon@google.combbe52902012-12-03 18:01:45 +0000312 }
313}
314
tfarina@chromium.orge4fafb12013-12-12 21:11:12 +0000315DEF_TEST(LList, reporter) {
bsalomonf045d602015-11-18 19:01:12 -0800316 test_tinternallist(reporter);
317 test_tllist<1>(reporter);
318 test_tllist<3>(reporter);
319 test_tllist<8>(reporter);
320 test_tllist<10>(reporter);
321 test_tllist<16>(reporter);
bsalomon@google.combbe52902012-12-03 18:01:45 +0000322}