Index: third_party/re2/util/sparse_set.h |
diff --git a/third_party/re2/util/sparse_set.h b/third_party/re2/util/sparse_set.h |
deleted file mode 100644 |
index 9dd41eed7815d8653ae9c2c6de9b429f96009689..0000000000000000000000000000000000000000 |
--- a/third_party/re2/util/sparse_set.h |
+++ /dev/null |
@@ -1,185 +0,0 @@ |
-// Copyright 2006 The RE2 Authors. All Rights Reserved. |
-// Use of this source code is governed by a BSD-style |
-// license that can be found in the LICENSE file. |
- |
-// DESCRIPTION |
-// |
-// SparseSet<T>(m) is a set of integers in [0, m). |
-// It requires sizeof(int)*m memory, but it provides |
-// fast iteration through the elements in the set and fast clearing |
-// of the set. |
-// |
-// Insertion and deletion are constant time operations. |
-// |
-// Allocating the set is a constant time operation |
-// when memory allocation is a constant time operation. |
-// |
-// Clearing the set is a constant time operation (unusual!). |
-// |
-// Iterating through the set is an O(n) operation, where n |
-// is the number of items in the set (not O(m)). |
-// |
-// The set iterator visits entries in the order they were first |
-// inserted into the array. It is safe to add items to the set while |
-// using an iterator: the iterator will visit indices added to the set |
-// during the iteration, but will not re-visit indices whose values |
-// change after visiting. Thus SparseSet can be a convenient |
-// implementation of a work queue. |
-// |
-// The SparseSet implementation is NOT thread-safe. It is up to the |
-// caller to make sure only one thread is accessing the set. (Typically |
-// these sets are temporary values and used in situations where speed is |
-// important.) |
-// |
-// The SparseSet interface does not present all the usual STL bells and |
-// whistles. |
-// |
-// Implemented with reference to Briggs & Torczon, An Efficient |
-// Representation for Sparse Sets, ACM Letters on Programming Languages |
-// and Systems, Volume 2, Issue 1-4 (March-Dec. 1993), pp. 59-69. |
-// |
-// For a generalization to sparse array, see sparse_array.h. |
- |
-// IMPLEMENTATION |
-// |
-// See sparse_array.h for implementation details |
- |
-#ifndef RE2_UTIL_SPARSE_SET_H__ |
-#define RE2_UTIL_SPARSE_SET_H__ |
- |
-#include "util/util.h" |
- |
-namespace re2 { |
- |
-class SparseSet { |
- public: |
- SparseSet() |
- : size_(0), max_size_(0), sparse_to_dense_(NULL), dense_(NULL) {} |
- |
- SparseSet(int max_size) { |
- max_size_ = max_size; |
- sparse_to_dense_ = new int[max_size]; |
- dense_ = new int[max_size]; |
- // Don't need to zero the memory, but do so anyway |
- // to appease Valgrind. |
- if (InitMemory()) { |
- for (int i = 0; i < max_size; i++) { |
- dense_[i] = 0xababababU; |
- sparse_to_dense_[i] = 0xababababU; |
- } |
- } |
- size_ = 0; |
- } |
- |
- ~SparseSet() { |
- delete[] sparse_to_dense_; |
- delete[] dense_; |
- } |
- |
- typedef int* iterator; |
- typedef const int* const_iterator; |
- |
- int size() const { return size_; } |
- iterator begin() { return dense_; } |
- iterator end() { return dense_ + size_; } |
- const_iterator begin() const { return dense_; } |
- const_iterator end() const { return dense_ + size_; } |
- |
- // Change the maximum size of the array. |
- // Invalidates all iterators. |
- void resize(int new_max_size) { |
- if (size_ > new_max_size) |
- size_ = new_max_size; |
- if (new_max_size > max_size_) { |
- int* a = new int[new_max_size]; |
- if (sparse_to_dense_) { |
- memmove(a, sparse_to_dense_, max_size_*sizeof a[0]); |
- if (InitMemory()) { |
- for (int i = max_size_; i < new_max_size; i++) |
- a[i] = 0xababababU; |
- } |
- delete[] sparse_to_dense_; |
- } |
- sparse_to_dense_ = a; |
- |
- a = new int[new_max_size]; |
- if (dense_) { |
- memmove(a, dense_, size_*sizeof a[0]); |
- if (InitMemory()) { |
- for (int i = size_; i < new_max_size; i++) |
- a[i] = 0xababababU; |
- } |
- delete[] dense_; |
- } |
- dense_ = a; |
- } |
- max_size_ = new_max_size; |
- } |
- |
- // Return the maximum size of the array. |
- // Indices can be in the range [0, max_size). |
- int max_size() const { return max_size_; } |
- |
- // Clear the array. |
- void clear() { size_ = 0; } |
- |
- // Check whether i is in the array. |
- bool contains(int i) const { |
- DCHECK_GE(i, 0); |
- DCHECK_LT(i, max_size_); |
- if (static_cast<uint>(i) >= static_cast<uint>(max_size_)) { |
- return false; |
- } |
- // Unsigned comparison avoids checking sparse_to_dense_[i] < 0. |
- return (uint)sparse_to_dense_[i] < (uint)size_ && |
- dense_[sparse_to_dense_[i]] == i; |
- } |
- |
- // Adds i to the set. |
- void insert(int i) { |
- if (!contains(i)) |
- insert_new(i); |
- } |
- |
- // Set the value at the new index i to v. |
- // Fast but unsafe: only use if contains(i) is false. |
- void insert_new(int i) { |
- if (static_cast<uint>(i) >= static_cast<uint>(max_size_)) { |
- // Semantically, end() would be better here, but we already know |
- // the user did something stupid, so begin() insulates them from |
- // dereferencing an invalid pointer. |
- return; |
- } |
- DCHECK(!contains(i)); |
- DCHECK_LT(size_, max_size_); |
- sparse_to_dense_[i] = size_; |
- dense_[size_] = i; |
- size_++; |
- } |
- |
- // Comparison function for sorting. |
- // Can sort the sparse array so that future iterations |
- // will visit indices in increasing order using |
- // sort(arr.begin(), arr.end(), arr.less); |
- static bool less(int a, int b) { return a < b; } |
- |
- private: |
- static bool InitMemory() { |
-#ifdef MEMORY_SANITIZER |
- return true; |
-#else |
- return RunningOnValgrind(); |
-#endif |
- } |
- |
- int size_; |
- int max_size_; |
- int* sparse_to_dense_; |
- int* dense_; |
- |
- DISALLOW_COPY_AND_ASSIGN(SparseSet); |
-}; |
- |
-} // namespace re2 |
- |
-#endif // RE2_UTIL_SPARSE_SET_H__ |