| OLD | NEW |
| (Empty) |
| 1 /* | |
| 2 * Copyright (C) 2005, 2006, 2007, 2008, 2011, 2012 Apple Inc. All rights reserv
ed. | |
| 3 * Copyright (C) 2011, Benjamin Poulain <ikipou@gmail.com> | |
| 4 * | |
| 5 * This library is free software; you can redistribute it and/or | |
| 6 * modify it under the terms of the GNU Library General Public | |
| 7 * License as published by the Free Software Foundation; either | |
| 8 * version 2 of the License, or (at your option) any later version. | |
| 9 * | |
| 10 * This library is distributed in the hope that it will be useful, | |
| 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
| 13 * Library General Public License for more details. | |
| 14 * | |
| 15 * You should have received a copy of the GNU Library General Public License | |
| 16 * along with this library; see the file COPYING.LIB. If not, write to | |
| 17 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | |
| 18 * Boston, MA 02110-1301, USA. | |
| 19 * | |
| 20 */ | |
| 21 | |
| 22 #ifndef WTF_ListHashSet_h | |
| 23 #define WTF_ListHashSet_h | |
| 24 | |
| 25 #include <wtf/HashSet.h> | |
| 26 #include <wtf/OwnPtr.h> | |
| 27 #include <wtf/PassOwnPtr.h> | |
| 28 | |
| 29 namespace WTF { | |
| 30 | |
| 31 // ListHashSet: Just like HashSet, this class provides a Set | |
| 32 // interface - a collection of unique objects with O(1) insertion, | |
| 33 // removal and test for containership. However, it also has an | |
| 34 // order - iterating it will always give back values in the order | |
| 35 // in which they are added. | |
| 36 | |
| 37 // Unlike iteration of most WTF Hash data structures, iteration is | |
| 38 // guaranteed safe against mutation of the ListHashSet, except for | |
| 39 // removal of the item currently pointed to by a given iterator. | |
| 40 | |
| 41 template<typename Value, size_t inlineCapacity, typename HashFunctions> clas
s ListHashSet; | |
| 42 | |
| 43 template<typename Value, size_t inlineCapacity, typename HashFunctions> | |
| 44 void deleteAllValues(const ListHashSet<Value, inlineCapacity, HashFunctions>
&); | |
| 45 | |
| 46 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetIterator; | |
| 47 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetConstIterator; | |
| 48 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetReverseIterator; | |
| 49 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetConstReverseIterator; | |
| 50 | |
| 51 template<typename ValueArg, size_t inlineCapacity> struct ListHashSetNode; | |
| 52 template<typename ValueArg, size_t inlineCapacity> struct ListHashSetNodeAll
ocator; | |
| 53 | |
| 54 template<typename HashArg> struct ListHashSetNodeHashFunctions; | |
| 55 template<typename HashArg> struct ListHashSetTranslator; | |
| 56 | |
| 57 template<typename ValueArg, size_t inlineCapacity = 256, typename HashArg =
typename DefaultHash<ValueArg>::Hash> class ListHashSet { | |
| 58 WTF_MAKE_FAST_ALLOCATED; | |
| 59 private: | |
| 60 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 61 typedef ListHashSetNodeAllocator<ValueArg, inlineCapacity> NodeAllocator
; | |
| 62 | |
| 63 typedef HashTraits<Node*> NodeTraits; | |
| 64 typedef ListHashSetNodeHashFunctions<HashArg> NodeHash; | |
| 65 typedef ListHashSetTranslator<HashArg> BaseTranslator; | |
| 66 | |
| 67 typedef HashTable<Node*, Node*, IdentityExtractor, NodeHash, NodeTraits,
NodeTraits> ImplType; | |
| 68 typedef HashTableIterator<Node*, Node*, IdentityExtractor, NodeHash, Nod
eTraits, NodeTraits> ImplTypeIterator; | |
| 69 typedef HashTableConstIterator<Node*, Node*, IdentityExtractor, NodeHash
, NodeTraits, NodeTraits> ImplTypeConstIterator; | |
| 70 | |
| 71 typedef HashArg HashFunctions; | |
| 72 | |
| 73 public: | |
| 74 typedef ValueArg ValueType; | |
| 75 | |
| 76 typedef ListHashSetIterator<ValueType, inlineCapacity, HashArg> iterator
; | |
| 77 typedef ListHashSetConstIterator<ValueType, inlineCapacity, HashArg> con
st_iterator; | |
| 78 friend class ListHashSetConstIterator<ValueType, inlineCapacity, HashArg
>; | |
| 79 | |
| 80 typedef ListHashSetReverseIterator<ValueType, inlineCapacity, HashArg> r
everse_iterator; | |
| 81 typedef ListHashSetConstReverseIterator<ValueType, inlineCapacity, HashA
rg> const_reverse_iterator; | |
| 82 friend class ListHashSetConstReverseIterator<ValueType, inlineCapacity,
HashArg>; | |
| 83 | |
| 84 typedef HashTableAddResult<iterator> AddResult; | |
| 85 | |
| 86 ListHashSet(); | |
| 87 ListHashSet(const ListHashSet&); | |
| 88 ListHashSet& operator=(const ListHashSet&); | |
| 89 ~ListHashSet(); | |
| 90 | |
| 91 void swap(ListHashSet&); | |
| 92 | |
| 93 int size() const; | |
| 94 int capacity() const; | |
| 95 bool isEmpty() const; | |
| 96 | |
| 97 size_t sizeInBytes() const; | |
| 98 | |
| 99 iterator begin(); | |
| 100 iterator end(); | |
| 101 const_iterator begin() const; | |
| 102 const_iterator end() const; | |
| 103 | |
| 104 reverse_iterator rbegin(); | |
| 105 reverse_iterator rend(); | |
| 106 const_reverse_iterator rbegin() const; | |
| 107 const_reverse_iterator rend() const; | |
| 108 | |
| 109 ValueType& first(); | |
| 110 const ValueType& first() const; | |
| 111 void removeFirst(); | |
| 112 | |
| 113 ValueType& last(); | |
| 114 const ValueType& last() const; | |
| 115 void removeLast(); | |
| 116 | |
| 117 iterator find(const ValueType&); | |
| 118 const_iterator find(const ValueType&) const; | |
| 119 bool contains(const ValueType&) const; | |
| 120 | |
| 121 // An alternate version of find() that finds the object by hashing and c
omparing | |
| 122 // with some other type, to avoid the cost of type conversion. | |
| 123 // The HashTranslator interface is defined in HashSet. | |
| 124 // FIXME: We should reverse the order of the template arguments so that
callers | |
| 125 // can just pass the translator let the compiler deduce T. | |
| 126 template<typename T, typename HashTranslator> iterator find(const T&); | |
| 127 template<typename T, typename HashTranslator> const_iterator find(const
T&) const; | |
| 128 template<typename T, typename HashTranslator> bool contains(const T&) co
nst; | |
| 129 | |
| 130 // The return value of add is a pair of an iterator to the new value's l
ocation, | |
| 131 // and a bool that is true if an new entry was added. | |
| 132 AddResult add(const ValueType&); | |
| 133 | |
| 134 // Add the value to the end of the collection. If the value was already
in | |
| 135 // the list, it is moved to the end. | |
| 136 AddResult appendOrMoveToLast(const ValueType&); | |
| 137 | |
| 138 // Add the value to the beginning of the collection. If the value was al
ready in | |
| 139 // the list, it is moved to the beginning. | |
| 140 AddResult prependOrMoveToFirst(const ValueType&); | |
| 141 | |
| 142 AddResult insertBefore(const ValueType& beforeValue, const ValueType& ne
wValue); | |
| 143 AddResult insertBefore(iterator, const ValueType&); | |
| 144 | |
| 145 void remove(const ValueType&); | |
| 146 void remove(iterator); | |
| 147 void clear(); | |
| 148 | |
| 149 private: | |
| 150 void unlink(Node*); | |
| 151 void unlinkAndDelete(Node*); | |
| 152 void appendNode(Node*); | |
| 153 void prependNode(Node*); | |
| 154 void insertNodeBefore(Node* beforeNode, Node* newNode); | |
| 155 void deleteAllNodes(); | |
| 156 | |
| 157 iterator makeIterator(Node*); | |
| 158 const_iterator makeConstIterator(Node*) const; | |
| 159 reverse_iterator makeReverseIterator(Node*); | |
| 160 const_reverse_iterator makeConstReverseIterator(Node*) const; | |
| 161 | |
| 162 friend void deleteAllValues<>(const ListHashSet&); | |
| 163 | |
| 164 ImplType m_impl; | |
| 165 Node* m_head; | |
| 166 Node* m_tail; | |
| 167 OwnPtr<NodeAllocator> m_allocator; | |
| 168 }; | |
| 169 | |
| 170 template<typename ValueArg, size_t inlineCapacity> struct ListHashSetNodeAll
ocator { | |
| 171 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 172 typedef ListHashSetNodeAllocator<ValueArg, inlineCapacity> NodeAllocator
; | |
| 173 | |
| 174 ListHashSetNodeAllocator() | |
| 175 : m_freeList(pool()) | |
| 176 , m_isDoneWithInitialFreeList(false) | |
| 177 { | |
| 178 memset(m_pool.pool, 0, sizeof(m_pool.pool)); | |
| 179 } | |
| 180 | |
| 181 Node* allocate() | |
| 182 { | |
| 183 Node* result = m_freeList; | |
| 184 | |
| 185 if (!result) | |
| 186 return static_cast<Node*>(fastMalloc(sizeof(Node))); | |
| 187 | |
| 188 ASSERT(!result->m_isAllocated); | |
| 189 | |
| 190 Node* next = result->m_next; | |
| 191 ASSERT(!next || !next->m_isAllocated); | |
| 192 if (!next && !m_isDoneWithInitialFreeList) { | |
| 193 next = result + 1; | |
| 194 if (next == pastPool()) { | |
| 195 m_isDoneWithInitialFreeList = true; | |
| 196 next = 0; | |
| 197 } else { | |
| 198 ASSERT(inPool(next)); | |
| 199 ASSERT(!next->m_isAllocated); | |
| 200 } | |
| 201 } | |
| 202 m_freeList = next; | |
| 203 | |
| 204 return result; | |
| 205 } | |
| 206 | |
| 207 void deallocate(Node* node) | |
| 208 { | |
| 209 if (inPool(node)) { | |
| 210 #ifndef NDEBUG | |
| 211 node->m_isAllocated = false; | |
| 212 #endif | |
| 213 node->m_next = m_freeList; | |
| 214 m_freeList = node; | |
| 215 return; | |
| 216 } | |
| 217 | |
| 218 fastFree(node); | |
| 219 } | |
| 220 | |
| 221 bool inPool(Node* node) | |
| 222 { | |
| 223 return node >= pool() && node < pastPool(); | |
| 224 } | |
| 225 | |
| 226 private: | |
| 227 Node* pool() { return reinterpret_cast_ptr<Node*>(m_pool.pool); } | |
| 228 Node* pastPool() { return pool() + m_poolSize; } | |
| 229 | |
| 230 Node* m_freeList; | |
| 231 bool m_isDoneWithInitialFreeList; | |
| 232 static const size_t m_poolSize = inlineCapacity; | |
| 233 union { | |
| 234 char pool[sizeof(Node) * m_poolSize]; | |
| 235 double forAlignment; | |
| 236 } m_pool; | |
| 237 }; | |
| 238 | |
| 239 template<typename ValueArg, size_t inlineCapacity> struct ListHashSetNode { | |
| 240 typedef ListHashSetNodeAllocator<ValueArg, inlineCapacity> NodeAllocator
; | |
| 241 | |
| 242 ListHashSetNode(ValueArg value) | |
| 243 : m_value(value) | |
| 244 , m_prev(0) | |
| 245 , m_next(0) | |
| 246 #ifndef NDEBUG | |
| 247 , m_isAllocated(true) | |
| 248 #endif | |
| 249 { | |
| 250 } | |
| 251 | |
| 252 void* operator new(size_t, NodeAllocator* allocator) | |
| 253 { | |
| 254 return allocator->allocate(); | |
| 255 } | |
| 256 void destroy(NodeAllocator* allocator) | |
| 257 { | |
| 258 this->~ListHashSetNode(); | |
| 259 allocator->deallocate(this); | |
| 260 } | |
| 261 | |
| 262 ValueArg m_value; | |
| 263 ListHashSetNode* m_prev; | |
| 264 ListHashSetNode* m_next; | |
| 265 | |
| 266 #ifndef NDEBUG | |
| 267 bool m_isAllocated; | |
| 268 #endif | |
| 269 }; | |
| 270 | |
| 271 template<typename HashArg> struct ListHashSetNodeHashFunctions { | |
| 272 template<typename T> static unsigned hash(const T& key) { return HashArg
::hash(key->m_value); } | |
| 273 template<typename T> static bool equal(const T& a, const T& b) { return
HashArg::equal(a->m_value, b->m_value); } | |
| 274 static const bool safeToCompareToEmptyOrDeleted = false; | |
| 275 }; | |
| 276 | |
| 277 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetIterator { | |
| 278 private: | |
| 279 typedef ListHashSet<ValueArg, inlineCapacity, HashArg> ListHashSetType; | |
| 280 typedef ListHashSetIterator<ValueArg, inlineCapacity, HashArg> iterator; | |
| 281 typedef ListHashSetConstIterator<ValueArg, inlineCapacity, HashArg> cons
t_iterator; | |
| 282 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 283 typedef ValueArg ValueType; | |
| 284 typedef ValueType& ReferenceType; | |
| 285 typedef ValueType* PointerType; | |
| 286 | |
| 287 friend class ListHashSet<ValueArg, inlineCapacity, HashArg>; | |
| 288 | |
| 289 ListHashSetIterator(const ListHashSetType* set, Node* position) : m_iter
ator(set, position) { } | |
| 290 | |
| 291 public: | |
| 292 ListHashSetIterator() { } | |
| 293 | |
| 294 // default copy, assignment and destructor are OK | |
| 295 | |
| 296 PointerType get() const { return const_cast<PointerType>(m_iterator.get(
)); } | |
| 297 ReferenceType operator*() const { return *get(); } | |
| 298 PointerType operator->() const { return get(); } | |
| 299 | |
| 300 iterator& operator++() { ++m_iterator; return *this; } | |
| 301 | |
| 302 // postfix ++ intentionally omitted | |
| 303 | |
| 304 iterator& operator--() { --m_iterator; return *this; } | |
| 305 | |
| 306 // postfix -- intentionally omitted | |
| 307 | |
| 308 // Comparison. | |
| 309 bool operator==(const iterator& other) const { return m_iterator == othe
r.m_iterator; } | |
| 310 bool operator!=(const iterator& other) const { return m_iterator != othe
r.m_iterator; } | |
| 311 | |
| 312 operator const_iterator() const { return m_iterator; } | |
| 313 | |
| 314 private: | |
| 315 Node* node() { return m_iterator.node(); } | |
| 316 | |
| 317 const_iterator m_iterator; | |
| 318 }; | |
| 319 | |
| 320 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetConstIterator { | |
| 321 private: | |
| 322 typedef ListHashSet<ValueArg, inlineCapacity, HashArg> ListHashSetType; | |
| 323 typedef ListHashSetIterator<ValueArg, inlineCapacity, HashArg> iterator; | |
| 324 typedef ListHashSetConstIterator<ValueArg, inlineCapacity, HashArg> cons
t_iterator; | |
| 325 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 326 typedef ValueArg ValueType; | |
| 327 typedef const ValueType& ReferenceType; | |
| 328 typedef const ValueType* PointerType; | |
| 329 | |
| 330 friend class ListHashSet<ValueArg, inlineCapacity, HashArg>; | |
| 331 friend class ListHashSetIterator<ValueArg, inlineCapacity, HashArg>; | |
| 332 | |
| 333 ListHashSetConstIterator(const ListHashSetType* set, Node* position) | |
| 334 : m_set(set) | |
| 335 , m_position(position) | |
| 336 { | |
| 337 } | |
| 338 | |
| 339 public: | |
| 340 ListHashSetConstIterator() | |
| 341 { | |
| 342 } | |
| 343 | |
| 344 PointerType get() const | |
| 345 { | |
| 346 return &m_position->m_value; | |
| 347 } | |
| 348 ReferenceType operator*() const { return *get(); } | |
| 349 PointerType operator->() const { return get(); } | |
| 350 | |
| 351 const_iterator& operator++() | |
| 352 { | |
| 353 ASSERT(m_position != 0); | |
| 354 m_position = m_position->m_next; | |
| 355 return *this; | |
| 356 } | |
| 357 | |
| 358 // postfix ++ intentionally omitted | |
| 359 | |
| 360 const_iterator& operator--() | |
| 361 { | |
| 362 ASSERT(m_position != m_set->m_head); | |
| 363 if (!m_position) | |
| 364 m_position = m_set->m_tail; | |
| 365 else | |
| 366 m_position = m_position->m_prev; | |
| 367 return *this; | |
| 368 } | |
| 369 | |
| 370 // postfix -- intentionally omitted | |
| 371 | |
| 372 // Comparison. | |
| 373 bool operator==(const const_iterator& other) const | |
| 374 { | |
| 375 return m_position == other.m_position; | |
| 376 } | |
| 377 bool operator!=(const const_iterator& other) const | |
| 378 { | |
| 379 return m_position != other.m_position; | |
| 380 } | |
| 381 | |
| 382 private: | |
| 383 Node* node() { return m_position; } | |
| 384 | |
| 385 const ListHashSetType* m_set; | |
| 386 Node* m_position; | |
| 387 }; | |
| 388 | |
| 389 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetReverseIterator { | |
| 390 private: | |
| 391 typedef ListHashSet<ValueArg, inlineCapacity, HashArg> ListHashSetType; | |
| 392 typedef ListHashSetReverseIterator<ValueArg, inlineCapacity, HashArg> re
verse_iterator; | |
| 393 typedef ListHashSetConstReverseIterator<ValueArg, inlineCapacity, HashAr
g> const_reverse_iterator; | |
| 394 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 395 typedef ValueArg ValueType; | |
| 396 typedef ValueType& ReferenceType; | |
| 397 typedef ValueType* PointerType; | |
| 398 | |
| 399 friend class ListHashSet<ValueArg, inlineCapacity, HashArg>; | |
| 400 | |
| 401 ListHashSetReverseIterator(const ListHashSetType* set, Node* position) :
m_iterator(set, position) { } | |
| 402 | |
| 403 public: | |
| 404 ListHashSetReverseIterator() { } | |
| 405 | |
| 406 // default copy, assignment and destructor are OK | |
| 407 | |
| 408 PointerType get() const { return const_cast<PointerType>(m_iterator.get(
)); } | |
| 409 ReferenceType operator*() const { return *get(); } | |
| 410 PointerType operator->() const { return get(); } | |
| 411 | |
| 412 reverse_iterator& operator++() { ++m_iterator; return *this; } | |
| 413 | |
| 414 // postfix ++ intentionally omitted | |
| 415 | |
| 416 reverse_iterator& operator--() { --m_iterator; return *this; } | |
| 417 | |
| 418 // postfix -- intentionally omitted | |
| 419 | |
| 420 // Comparison. | |
| 421 bool operator==(const reverse_iterator& other) const { return m_iterator
== other.m_iterator; } | |
| 422 bool operator!=(const reverse_iterator& other) const { return m_iterator
!= other.m_iterator; } | |
| 423 | |
| 424 operator const_reverse_iterator() const { return m_iterator; } | |
| 425 | |
| 426 private: | |
| 427 Node* node() { return m_iterator.node(); } | |
| 428 | |
| 429 const_reverse_iterator m_iterator; | |
| 430 }; | |
| 431 | |
| 432 template<typename ValueArg, size_t inlineCapacity, typename HashArg> class L
istHashSetConstReverseIterator { | |
| 433 private: | |
| 434 typedef ListHashSet<ValueArg, inlineCapacity, HashArg> ListHashSetType; | |
| 435 typedef ListHashSetReverseIterator<ValueArg, inlineCapacity, HashArg> re
verse_iterator; | |
| 436 typedef ListHashSetConstReverseIterator<ValueArg, inlineCapacity, HashAr
g> const_reverse_iterator; | |
| 437 typedef ListHashSetNode<ValueArg, inlineCapacity> Node; | |
| 438 typedef ValueArg ValueType; | |
| 439 typedef const ValueType& ReferenceType; | |
| 440 typedef const ValueType* PointerType; | |
| 441 | |
| 442 friend class ListHashSet<ValueArg, inlineCapacity, HashArg>; | |
| 443 friend class ListHashSetReverseIterator<ValueArg, inlineCapacity, HashAr
g>; | |
| 444 | |
| 445 ListHashSetConstReverseIterator(const ListHashSetType* set, Node* positi
on) | |
| 446 : m_set(set) | |
| 447 , m_position(position) | |
| 448 { | |
| 449 } | |
| 450 | |
| 451 public: | |
| 452 ListHashSetConstReverseIterator() | |
| 453 { | |
| 454 } | |
| 455 | |
| 456 PointerType get() const | |
| 457 { | |
| 458 return &m_position->m_value; | |
| 459 } | |
| 460 ReferenceType operator*() const { return *get(); } | |
| 461 PointerType operator->() const { return get(); } | |
| 462 | |
| 463 const_reverse_iterator& operator++() | |
| 464 { | |
| 465 ASSERT(m_position != 0); | |
| 466 m_position = m_position->m_prev; | |
| 467 return *this; | |
| 468 } | |
| 469 | |
| 470 // postfix ++ intentionally omitted | |
| 471 | |
| 472 const_reverse_iterator& operator--() | |
| 473 { | |
| 474 ASSERT(m_position != m_set->m_tail); | |
| 475 if (!m_position) | |
| 476 m_position = m_set->m_head; | |
| 477 else | |
| 478 m_position = m_position->m_next; | |
| 479 return *this; | |
| 480 } | |
| 481 | |
| 482 // postfix -- intentionally omitted | |
| 483 | |
| 484 // Comparison. | |
| 485 bool operator==(const const_reverse_iterator& other) const | |
| 486 { | |
| 487 return m_position == other.m_position; | |
| 488 } | |
| 489 bool operator!=(const const_reverse_iterator& other) const | |
| 490 { | |
| 491 return m_position != other.m_position; | |
| 492 } | |
| 493 | |
| 494 private: | |
| 495 Node* node() { return m_position; } | |
| 496 | |
| 497 const ListHashSetType* m_set; | |
| 498 Node* m_position; | |
| 499 }; | |
| 500 | |
| 501 template<typename HashFunctions> | |
| 502 struct ListHashSetTranslator { | |
| 503 template<typename T> static unsigned hash(const T& key) { return HashFun
ctions::hash(key); } | |
| 504 template<typename T, typename U> static bool equal(const T& a, const U&
b) { return HashFunctions::equal(a->m_value, b); } | |
| 505 template<typename T, typename U, typename V> static void translate(T*& l
ocation, const U& key, const V& allocator) | |
| 506 { | |
| 507 location = new (allocator) T(key); | |
| 508 } | |
| 509 }; | |
| 510 | |
| 511 template<typename T, size_t inlineCapacity, typename U> | |
| 512 inline ListHashSet<T, inlineCapacity, U>::ListHashSet() | |
| 513 : m_head(0) | |
| 514 , m_tail(0) | |
| 515 , m_allocator(adoptPtr(new NodeAllocator)) | |
| 516 { | |
| 517 } | |
| 518 | |
| 519 template<typename T, size_t inlineCapacity, typename U> | |
| 520 inline ListHashSet<T, inlineCapacity, U>::ListHashSet(const ListHashSet& oth
er) | |
| 521 : m_head(0) | |
| 522 , m_tail(0) | |
| 523 , m_allocator(adoptPtr(new NodeAllocator)) | |
| 524 { | |
| 525 const_iterator end = other.end(); | |
| 526 for (const_iterator it = other.begin(); it != end; ++it) | |
| 527 add(*it); | |
| 528 } | |
| 529 | |
| 530 template<typename T, size_t inlineCapacity, typename U> | |
| 531 inline ListHashSet<T, inlineCapacity, U>& ListHashSet<T, inlineCapacity, U>:
:operator=(const ListHashSet& other) | |
| 532 { | |
| 533 ListHashSet tmp(other); | |
| 534 swap(tmp); | |
| 535 return *this; | |
| 536 } | |
| 537 | |
| 538 template<typename T, size_t inlineCapacity, typename U> | |
| 539 inline void ListHashSet<T, inlineCapacity, U>::swap(ListHashSet& other) | |
| 540 { | |
| 541 m_impl.swap(other.m_impl); | |
| 542 std::swap(m_head, other.m_head); | |
| 543 std::swap(m_tail, other.m_tail); | |
| 544 m_allocator.swap(other.m_allocator); | |
| 545 } | |
| 546 | |
| 547 template<typename T, size_t inlineCapacity, typename U> | |
| 548 inline ListHashSet<T, inlineCapacity, U>::~ListHashSet() | |
| 549 { | |
| 550 deleteAllNodes(); | |
| 551 } | |
| 552 | |
| 553 template<typename T, size_t inlineCapacity, typename U> | |
| 554 inline int ListHashSet<T, inlineCapacity, U>::size() const | |
| 555 { | |
| 556 return m_impl.size(); | |
| 557 } | |
| 558 | |
| 559 template<typename T, size_t inlineCapacity, typename U> | |
| 560 inline int ListHashSet<T, inlineCapacity, U>::capacity() const | |
| 561 { | |
| 562 return m_impl.capacity(); | |
| 563 } | |
| 564 | |
| 565 template<typename T, size_t inlineCapacity, typename U> | |
| 566 inline bool ListHashSet<T, inlineCapacity, U>::isEmpty() const | |
| 567 { | |
| 568 return m_impl.isEmpty(); | |
| 569 } | |
| 570 | |
| 571 template<typename T, size_t inlineCapacity, typename U> | |
| 572 size_t ListHashSet<T, inlineCapacity, U>::sizeInBytes() const | |
| 573 { | |
| 574 size_t result = sizeof(*this) + sizeof(*m_allocator); | |
| 575 result += sizeof(typename ImplType::ValueType) * m_impl.capacity(); | |
| 576 for (Node* node = m_head; node; node = node->m_next) { | |
| 577 if (!m_allocator->inPool(node)) | |
| 578 result += sizeof(Node); | |
| 579 } | |
| 580 return result; | |
| 581 } | |
| 582 | |
| 583 template<typename T, size_t inlineCapacity, typename U> | |
| 584 inline typename ListHashSet<T, inlineCapacity, U>::iterator ListHashSet<T, i
nlineCapacity, U>::begin() | |
| 585 { | |
| 586 return makeIterator(m_head); | |
| 587 } | |
| 588 | |
| 589 template<typename T, size_t inlineCapacity, typename U> | |
| 590 inline typename ListHashSet<T, inlineCapacity, U>::iterator ListHashSet<T, i
nlineCapacity, U>::end() | |
| 591 { | |
| 592 return makeIterator(0); | |
| 593 } | |
| 594 | |
| 595 template<typename T, size_t inlineCapacity, typename U> | |
| 596 inline typename ListHashSet<T, inlineCapacity, U>::const_iterator ListHashSe
t<T, inlineCapacity, U>::begin() const | |
| 597 { | |
| 598 return makeConstIterator(m_head); | |
| 599 } | |
| 600 | |
| 601 template<typename T, size_t inlineCapacity, typename U> | |
| 602 inline typename ListHashSet<T, inlineCapacity, U>::const_iterator ListHashSe
t<T, inlineCapacity, U>::end() const | |
| 603 { | |
| 604 return makeConstIterator(0); | |
| 605 } | |
| 606 | |
| 607 template<typename T, size_t inlineCapacity, typename U> | |
| 608 inline typename ListHashSet<T, inlineCapacity, U>::reverse_iterator ListHash
Set<T, inlineCapacity, U>::rbegin() | |
| 609 { | |
| 610 return makeReverseIterator(m_tail); | |
| 611 } | |
| 612 | |
| 613 template<typename T, size_t inlineCapacity, typename U> | |
| 614 inline typename ListHashSet<T, inlineCapacity, U>::reverse_iterator ListHash
Set<T, inlineCapacity, U>::rend() | |
| 615 { | |
| 616 return makeReverseIterator(0); | |
| 617 } | |
| 618 | |
| 619 template<typename T, size_t inlineCapacity, typename U> | |
| 620 inline typename ListHashSet<T, inlineCapacity, U>::const_reverse_iterator Li
stHashSet<T, inlineCapacity, U>::rbegin() const | |
| 621 { | |
| 622 return makeConstReverseIterator(m_tail); | |
| 623 } | |
| 624 | |
| 625 template<typename T, size_t inlineCapacity, typename U> | |
| 626 inline typename ListHashSet<T, inlineCapacity, U>::const_reverse_iterator Li
stHashSet<T, inlineCapacity, U>::rend() const | |
| 627 { | |
| 628 return makeConstReverseIterator(0); | |
| 629 } | |
| 630 | |
| 631 template<typename T, size_t inlineCapacity, typename U> | |
| 632 inline T& ListHashSet<T, inlineCapacity, U>::first() | |
| 633 { | |
| 634 ASSERT(!isEmpty()); | |
| 635 return m_head->m_value; | |
| 636 } | |
| 637 | |
| 638 template<typename T, size_t inlineCapacity, typename U> | |
| 639 inline void ListHashSet<T, inlineCapacity, U>::removeFirst() | |
| 640 { | |
| 641 ASSERT(!isEmpty()); | |
| 642 m_impl.remove(m_head); | |
| 643 unlinkAndDelete(m_head); | |
| 644 } | |
| 645 | |
| 646 template<typename T, size_t inlineCapacity, typename U> | |
| 647 inline const T& ListHashSet<T, inlineCapacity, U>::first() const | |
| 648 { | |
| 649 ASSERT(!isEmpty()); | |
| 650 return m_head->m_value; | |
| 651 } | |
| 652 | |
| 653 template<typename T, size_t inlineCapacity, typename U> | |
| 654 inline T& ListHashSet<T, inlineCapacity, U>::last() | |
| 655 { | |
| 656 ASSERT(!isEmpty()); | |
| 657 return m_tail->m_value; | |
| 658 } | |
| 659 | |
| 660 template<typename T, size_t inlineCapacity, typename U> | |
| 661 inline const T& ListHashSet<T, inlineCapacity, U>::last() const | |
| 662 { | |
| 663 ASSERT(!isEmpty()); | |
| 664 return m_tail->m_value; | |
| 665 } | |
| 666 | |
| 667 template<typename T, size_t inlineCapacity, typename U> | |
| 668 inline void ListHashSet<T, inlineCapacity, U>::removeLast() | |
| 669 { | |
| 670 ASSERT(!isEmpty()); | |
| 671 m_impl.remove(m_tail); | |
| 672 unlinkAndDelete(m_tail); | |
| 673 } | |
| 674 | |
| 675 template<typename T, size_t inlineCapacity, typename U> | |
| 676 inline typename ListHashSet<T, inlineCapacity, U>::iterator ListHashSet<T, i
nlineCapacity, U>::find(const ValueType& value) | |
| 677 { | |
| 678 ImplTypeIterator it = m_impl.template find<BaseTranslator>(value); | |
| 679 if (it == m_impl.end()) | |
| 680 return end(); | |
| 681 return makeIterator(*it); | |
| 682 } | |
| 683 | |
| 684 template<typename T, size_t inlineCapacity, typename U> | |
| 685 inline typename ListHashSet<T, inlineCapacity, U>::const_iterator ListHashSe
t<T, inlineCapacity, U>::find(const ValueType& value) const | |
| 686 { | |
| 687 ImplTypeConstIterator it = m_impl.template find<BaseTranslator>(value); | |
| 688 if (it == m_impl.end()) | |
| 689 return end(); | |
| 690 return makeConstIterator(*it); | |
| 691 } | |
| 692 | |
| 693 template<typename Translator> | |
| 694 struct ListHashSetTranslatorAdapter { | |
| 695 template<typename T> static unsigned hash(const T& key) { return Transla
tor::hash(key); } | |
| 696 template<typename T, typename U> static bool equal(const T& a, const U&
b) { return Translator::equal(a->m_value, b); } | |
| 697 }; | |
| 698 | |
| 699 template<typename ValueType, size_t inlineCapacity, typename U> | |
| 700 template<typename T, typename HashTranslator> | |
| 701 inline typename ListHashSet<ValueType, inlineCapacity, U>::iterator ListHash
Set<ValueType, inlineCapacity, U>::find(const T& value) | |
| 702 { | |
| 703 ImplTypeConstIterator it = m_impl.template find<ListHashSetTranslatorAda
pter<HashTranslator> >(value); | |
| 704 if (it == m_impl.end()) | |
| 705 return end(); | |
| 706 return makeIterator(*it); | |
| 707 } | |
| 708 | |
| 709 template<typename ValueType, size_t inlineCapacity, typename U> | |
| 710 template<typename T, typename HashTranslator> | |
| 711 inline typename ListHashSet<ValueType, inlineCapacity, U>::const_iterator Li
stHashSet<ValueType, inlineCapacity, U>::find(const T& value) const | |
| 712 { | |
| 713 ImplTypeConstIterator it = m_impl.template find<ListHashSetTranslatorAda
pter<HashTranslator> >(value); | |
| 714 if (it == m_impl.end()) | |
| 715 return end(); | |
| 716 return makeConstIterator(*it); | |
| 717 } | |
| 718 | |
| 719 template<typename ValueType, size_t inlineCapacity, typename U> | |
| 720 template<typename T, typename HashTranslator> | |
| 721 inline bool ListHashSet<ValueType, inlineCapacity, U>::contains(const T& val
ue) const | |
| 722 { | |
| 723 return m_impl.template contains<ListHashSetTranslatorAdapter<HashTransla
tor> >(value); | |
| 724 } | |
| 725 | |
| 726 template<typename T, size_t inlineCapacity, typename U> | |
| 727 inline bool ListHashSet<T, inlineCapacity, U>::contains(const ValueType& val
ue) const | |
| 728 { | |
| 729 return m_impl.template contains<BaseTranslator>(value); | |
| 730 } | |
| 731 | |
| 732 template<typename T, size_t inlineCapacity, typename U> | |
| 733 typename ListHashSet<T, inlineCapacity, U>::AddResult ListHashSet<T, inlineC
apacity, U>::add(const ValueType &value) | |
| 734 { | |
| 735 typename ImplType::AddResult result = m_impl.template add<BaseTranslator
>(value, m_allocator.get()); | |
| 736 if (result.isNewEntry) | |
| 737 appendNode(*result.iterator); | |
| 738 return AddResult(makeIterator(*result.iterator), result.isNewEntry); | |
| 739 } | |
| 740 | |
| 741 template<typename T, size_t inlineCapacity, typename U> | |
| 742 typename ListHashSet<T, inlineCapacity, U>::AddResult ListHashSet<T, inlineC
apacity, U>::appendOrMoveToLast(const ValueType &value) | |
| 743 { | |
| 744 typename ImplType::AddResult result = m_impl.template add<BaseTranslator
>(value, m_allocator.get()); | |
| 745 Node* node = *result.iterator; | |
| 746 if (!result.isNewEntry) | |
| 747 unlink(node); | |
| 748 appendNode(node); | |
| 749 return AddResult(makeIterator(*result.iterator), result.isNewEntry); | |
| 750 } | |
| 751 | |
| 752 template<typename T, size_t inlineCapacity, typename U> | |
| 753 typename ListHashSet<T, inlineCapacity, U>::AddResult ListHashSet<T, inlineC
apacity, U>::prependOrMoveToFirst(const ValueType &value) | |
| 754 { | |
| 755 typename ImplType::AddResult result = m_impl.template add<BaseTranslator
>(value, m_allocator.get()); | |
| 756 Node* node = *result.iterator; | |
| 757 if (!result.isNewEntry) | |
| 758 unlink(node); | |
| 759 prependNode(node); | |
| 760 return AddResult(makeIterator(*result.iterator), result.isNewEntry); | |
| 761 } | |
| 762 | |
| 763 template<typename T, size_t inlineCapacity, typename U> | |
| 764 typename ListHashSet<T, inlineCapacity, U>::AddResult ListHashSet<T, inlineC
apacity, U>::insertBefore(iterator it, const ValueType& newValue) | |
| 765 { | |
| 766 typename ImplType::AddResult result = m_impl.template add<BaseTranslator
>(newValue, m_allocator.get()); | |
| 767 if (result.isNewEntry) | |
| 768 insertNodeBefore(it.node(), *result.iterator); | |
| 769 return AddResult(makeIterator(*result.iterator), result.isNewEntry); | |
| 770 } | |
| 771 | |
| 772 template<typename T, size_t inlineCapacity, typename U> | |
| 773 typename ListHashSet<T, inlineCapacity, U>::AddResult ListHashSet<T, inlineC
apacity, U>::insertBefore(const ValueType& beforeValue, const ValueType& newValu
e) | |
| 774 { | |
| 775 return insertBefore(find(beforeValue), newValue); | |
| 776 } | |
| 777 | |
| 778 template<typename T, size_t inlineCapacity, typename U> | |
| 779 inline void ListHashSet<T, inlineCapacity, U>::remove(iterator it) | |
| 780 { | |
| 781 if (it == end()) | |
| 782 return; | |
| 783 m_impl.remove(it.node()); | |
| 784 unlinkAndDelete(it.node()); | |
| 785 } | |
| 786 | |
| 787 template<typename T, size_t inlineCapacity, typename U> | |
| 788 inline void ListHashSet<T, inlineCapacity, U>::remove(const ValueType& value
) | |
| 789 { | |
| 790 remove(find(value)); | |
| 791 } | |
| 792 | |
| 793 template<typename T, size_t inlineCapacity, typename U> | |
| 794 inline void ListHashSet<T, inlineCapacity, U>::clear() | |
| 795 { | |
| 796 deleteAllNodes(); | |
| 797 m_impl.clear(); | |
| 798 m_head = 0; | |
| 799 m_tail = 0; | |
| 800 } | |
| 801 | |
| 802 template<typename T, size_t inlineCapacity, typename U> | |
| 803 void ListHashSet<T, inlineCapacity, U>::unlink(Node* node) | |
| 804 { | |
| 805 if (!node->m_prev) { | |
| 806 ASSERT(node == m_head); | |
| 807 m_head = node->m_next; | |
| 808 } else { | |
| 809 ASSERT(node != m_head); | |
| 810 node->m_prev->m_next = node->m_next; | |
| 811 } | |
| 812 | |
| 813 if (!node->m_next) { | |
| 814 ASSERT(node == m_tail); | |
| 815 m_tail = node->m_prev; | |
| 816 } else { | |
| 817 ASSERT(node != m_tail); | |
| 818 node->m_next->m_prev = node->m_prev; | |
| 819 } | |
| 820 } | |
| 821 | |
| 822 template<typename T, size_t inlineCapacity, typename U> | |
| 823 void ListHashSet<T, inlineCapacity, U>::unlinkAndDelete(Node* node) | |
| 824 { | |
| 825 unlink(node); | |
| 826 node->destroy(m_allocator.get()); | |
| 827 } | |
| 828 | |
| 829 template<typename T, size_t inlineCapacity, typename U> | |
| 830 void ListHashSet<T, inlineCapacity, U>::appendNode(Node* node) | |
| 831 { | |
| 832 node->m_prev = m_tail; | |
| 833 node->m_next = 0; | |
| 834 | |
| 835 if (m_tail) { | |
| 836 ASSERT(m_head); | |
| 837 m_tail->m_next = node; | |
| 838 } else { | |
| 839 ASSERT(!m_head); | |
| 840 m_head = node; | |
| 841 } | |
| 842 | |
| 843 m_tail = node; | |
| 844 } | |
| 845 | |
| 846 template<typename T, size_t inlineCapacity, typename U> | |
| 847 void ListHashSet<T, inlineCapacity, U>::prependNode(Node* node) | |
| 848 { | |
| 849 node->m_prev = 0; | |
| 850 node->m_next = m_head; | |
| 851 | |
| 852 if (m_head) | |
| 853 m_head->m_prev = node; | |
| 854 else | |
| 855 m_tail = node; | |
| 856 | |
| 857 m_head = node; | |
| 858 } | |
| 859 | |
| 860 template<typename T, size_t inlineCapacity, typename U> | |
| 861 void ListHashSet<T, inlineCapacity, U>::insertNodeBefore(Node* beforeNode, N
ode* newNode) | |
| 862 { | |
| 863 if (!beforeNode) | |
| 864 return appendNode(newNode); | |
| 865 | |
| 866 newNode->m_next = beforeNode; | |
| 867 newNode->m_prev = beforeNode->m_prev; | |
| 868 if (beforeNode->m_prev) | |
| 869 beforeNode->m_prev->m_next = newNode; | |
| 870 beforeNode->m_prev = newNode; | |
| 871 | |
| 872 if (!newNode->m_prev) | |
| 873 m_head = newNode; | |
| 874 } | |
| 875 | |
| 876 template<typename T, size_t inlineCapacity, typename U> | |
| 877 void ListHashSet<T, inlineCapacity, U>::deleteAllNodes() | |
| 878 { | |
| 879 if (!m_head) | |
| 880 return; | |
| 881 | |
| 882 for (Node* node = m_head, *next = m_head->m_next; node; node = next, nex
t = node ? node->m_next : 0) | |
| 883 node->destroy(m_allocator.get()); | |
| 884 } | |
| 885 | |
| 886 template<typename T, size_t inlineCapacity, typename U> | |
| 887 inline ListHashSetReverseIterator<T, inlineCapacity, U> ListHashSet<T, inlin
eCapacity, U>::makeReverseIterator(Node* position) | |
| 888 { | |
| 889 return ListHashSetReverseIterator<T, inlineCapacity, U>(this, position);
| |
| 890 } | |
| 891 | |
| 892 template<typename T, size_t inlineCapacity, typename U> | |
| 893 inline ListHashSetConstReverseIterator<T, inlineCapacity, U> ListHashSet<T,
inlineCapacity, U>::makeConstReverseIterator(Node* position) const | |
| 894 { | |
| 895 return ListHashSetConstReverseIterator<T, inlineCapacity, U>(this, posit
ion); | |
| 896 } | |
| 897 | |
| 898 template<typename T, size_t inlineCapacity, typename U> | |
| 899 inline ListHashSetIterator<T, inlineCapacity, U> ListHashSet<T, inlineCapaci
ty, U>::makeIterator(Node* position) | |
| 900 { | |
| 901 return ListHashSetIterator<T, inlineCapacity, U>(this, position); | |
| 902 } | |
| 903 | |
| 904 template<typename T, size_t inlineCapacity, typename U> | |
| 905 inline ListHashSetConstIterator<T, inlineCapacity, U> ListHashSet<T, inlineC
apacity, U>::makeConstIterator(Node* position) const | |
| 906 { | |
| 907 return ListHashSetConstIterator<T, inlineCapacity, U>(this, position); | |
| 908 } | |
| 909 template<bool, typename ValueType, typename HashTableType> | |
| 910 void deleteAllValues(HashTableType& collection) | |
| 911 { | |
| 912 typedef typename HashTableType::const_iterator iterator; | |
| 913 iterator end = collection.end(); | |
| 914 for (iterator it = collection.begin(); it != end; ++it) | |
| 915 delete (*it)->m_value; | |
| 916 } | |
| 917 | |
| 918 template<typename T, size_t inlineCapacity, typename U> | |
| 919 inline void deleteAllValues(const ListHashSet<T, inlineCapacity, U>& collect
ion) | |
| 920 { | |
| 921 deleteAllValues<true, typename ListHashSet<T, inlineCapacity, U>::ValueT
ype>(collection.m_impl); | |
| 922 } | |
| 923 | |
| 924 } // namespace WTF | |
| 925 | |
| 926 using WTF::ListHashSet; | |
| 927 | |
| 928 #endif /* WTF_ListHashSet_h */ | |
| OLD | NEW |