diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/ocl/tproc/detail/rope_fwd.hpp | 9 | ||||
| -rw-r--r-- | include/ocl/tproc/detail/rope_fwd.inl | 468 | ||||
| -rw-r--r-- | include/ocl/tproc/rope.hpp | 16 | ||||
| -rw-r--r-- | include/ocl/tproc/rope.inl | 4 |
4 files changed, 453 insertions, 44 deletions
diff --git a/include/ocl/tproc/detail/rope_fwd.hpp b/include/ocl/tproc/detail/rope_fwd.hpp index 8d1570d..0ce0457 100644 --- a/include/ocl/tproc/detail/rope_fwd.hpp +++ b/include/ocl/tproc/detail/rope_fwd.hpp @@ -56,17 +56,20 @@ namespace ocl::tproc size_type size(); bool empty() const; + boost::core::basic_string_view<value_type> data(); + const boost::core::basic_string_view<value_type> c_str(); + public: ~basic_rope(); basic_rope(const boost::core::basic_string_view<CharT>& in = {}); - basic_rope& operator=(const basic_rope& rope); - basic_rope(const basic_rope& rope); + basic_rope& operator=(const basic_rope& rope) = delete; + basic_rope(const basic_rope& rope) = delete; basic_rope& operator=(basic_rope&& rope); basic_rope(basic_rope&& rope); - bool operator!=(const basic_rope& rope); + bool operator!=(const basic_rope& rope); bool operator==(const basic_rope& rope); bool operator!=(const boost::core::basic_string_view<CharT>&); diff --git a/include/ocl/tproc/detail/rope_fwd.inl b/include/ocl/tproc/detail/rope_fwd.inl index c171c20..81a7f5c 100644 --- a/include/ocl/tproc/detail/rope_fwd.inl +++ b/include/ocl/tproc/detail/rope_fwd.inl @@ -14,28 +14,284 @@ namespace ocl::tproc template <class CharT, class Traits, class Allocator> struct basic_rope<CharT, Traits, Allocator>::tree_impl { - using char_type = CharT; + using char_type = CharT; + using value_type = char_type; + using size_type = typename std::allocator_traits<Allocator>::size_type; + using rope_ptr = basic_rope<CharT, Traits, Allocator>*; + using error_type = boost::system::error_code; + using allocator_type = Allocator; - private: - std::allocator_traits<Allocator>::size_type size_; - basic_rope<CharT, Traits, Allocator> * head_, *tail_{}; - boost::system::error_code ec_{}; - CharT* blob_{}; + rope_ptr left_{nullptr}; // Left child (internal node only) + rope_ptr right_{nullptr}; // Right child (internal node only) + size_type weight_{0}; // Size of left subtree (internal) OR data size (leaf) + value_type* blob_{nullptr}; // Character data (leaf node only) + size_type capacity_{0}; // Allocated blob capacity + allocator_type alloc_; + error_type ec_{}; + + bool is_leaf() const + { + return blob_ != nullptr; + } public: - std::allocator_traits<Allocator>::size_type size() + tree_impl(Allocator alloc = Allocator()) : alloc_(alloc) + { + } + + tree_impl(const boost::core::basic_string_view<CharT>& str, Allocator alloc = Allocator()) : weight_(str.size()), alloc_(alloc), capacity_(str.size()) + { + if (weight_ > 0) + { + blob_ = std::allocator_traits<Allocator>::allocate(alloc_, capacity_); + ::memset(blob_, 0, capacity_); + Traits::copy(blob_, str.data(), weight_); + } + } + + tree_impl(rope_ptr left, rope_ptr right, Allocator alloc = Allocator()) : left_(left), right_(right), alloc_(alloc) + { + weight_ = left ? left->impl_->total_size() : 0; + } + + ~tree_impl() + { + if (blob_ && capacity_ > 0) + { + std::allocator_traits<Allocator>::deallocate(alloc_, blob_, capacity_); + } + + delete left_; + delete right_; + + left_ = nullptr; + right_ = nullptr; + } + + size_type total_size() const + { + if (is_leaf()) + { + return weight_; + } + + return weight_ + (right_ ? right_->impl_->total_size() : 0); + } + + size_type size() const + { + return total_size(); + } + + CharT at(size_type pos) const + { + if (is_leaf()) + { + if (pos >= weight_) + { + throw std::out_of_range("rope index out of range"); + } + return blob_[pos]; + } + + // Internal node: navigate based on weight + if (pos < weight_) + { + if (!left_) + throw std::out_of_range("null left child"); + return left_->impl_->at(pos); + } + else + { + if (!right_) + throw std::out_of_range("null right child"); + return right_->impl_->at(pos - weight_); + } + } + + static rope_ptr concat(rope_ptr left, rope_ptr right, Allocator alloc = Allocator()) + { + if (!left) + return right; + if (!right) + return left; + + auto* new_rope = new basic_rope<CharT, Traits, Allocator>(); + new_rope->impl_ = new tree_impl(left, right, alloc); + return new_rope; + } + + std::pair<rope_ptr, rope_ptr> split(size_type pos, rope_ptr this_rope, Allocator alloc = Allocator()) + { + if (is_leaf()) + { + // Split leaf node + if (pos == 0) + return {nullptr, this_rope}; + if (pos >= weight_) + return {this_rope, nullptr}; + + auto left_view = boost::core::basic_string_view<CharT>(blob_, pos); + auto right_view = boost::core::basic_string_view<CharT>(blob_ + pos, weight_ - pos); + + auto* left_rope = new basic_rope<CharT, Traits, Allocator>(left_view); + auto* right_rope = new basic_rope<CharT, Traits, Allocator>(right_view); + + return {left_rope, right_rope}; + } + + // Internal node + if (pos < weight_) + { + // Split in left subtree + auto [ll, lr] = left_->impl_->split(pos, left_, alloc); + return {ll, concat(lr, right_, alloc)}; + } + else if (pos > weight_) + { + // Split in right subtree + auto [rl, rr] = right_->impl_->split(pos - weight_, right_, alloc); + return {concat(left_, rl, alloc), rr}; + } + else + { + // Split exactly at this node + return {left_, right_}; + } + } + + rope_ptr insert(size_type pos, const boost::core::basic_string_view<CharT>& str, rope_ptr this_rope, Allocator alloc = Allocator()) + { + auto [left, right] = split(pos, this_rope, alloc); + auto* middle = new basic_rope<CharT, Traits, Allocator>(str); + return concat(concat(left, middle, alloc), right, alloc); + } + + rope_ptr substr(size_type pos, size_type len, rope_ptr this_rope, Allocator alloc = Allocator()) { - return size_; + auto [_, right] = split(pos, this_rope, alloc); + + if (!right) + return nullptr; + + if (len == 0 || len == basic_rope<CharT, Traits, Allocator>::npos) + return right; + + auto [result, __] = right->impl_->split(len, right, alloc); + + return result; } - basic_rope<CharT, Traits, Allocator> * begin() + bool starts_with(const boost::core::basic_string_view<CharT>& prefix) const { - return head_; + if (prefix.size() > total_size()) + return false; + + size_type checked = 0; + return check_prefix(prefix, checked); } - basic_rope<CharT, Traits, Allocator> * end() + bool ends_with(const boost::core::basic_string_view<CharT>& suffix) const { - return tail_; + size_type total = total_size(); + if (suffix.size() > total) + return false; + + size_type start_pos = total - suffix.size(); + return check_suffix(suffix, start_pos, 0); + } + + bool equals(const tree_impl* other) const + { + if (!other) + return false; + if (total_size() != other->total_size()) + return false; + + // Compare character by character (could be optimized) + size_type sz = total_size(); + for (size_type i = 0; i < sz; ++i) + { + if (at(i) != other->at(i)) + return false; + } + return true; + } + + bool equals(const boost::core::basic_string_view<CharT>& str) const + { + if (total_size() != str.size()) + return false; + + for (size_type i = 0; i < str.size(); ++i) + { + if (at(i) != str[i]) + return false; + } + return true; + } + + private: + bool check_prefix(const boost::core::basic_string_view<CharT>& prefix, size_type& checked) const + { + if (is_leaf()) + { + size_type to_check = std::min(weight_, prefix.size() - checked); + if (Traits::compare(blob_, prefix.data() + checked, to_check) != 0) + return false; + checked += to_check; + return checked >= prefix.size(); + } + + // Internal node + if (left_ && !left_->impl_->check_prefix(prefix, checked)) + return false; + if (checked >= prefix.size()) + return true; + if (right_) + return right_->impl_->check_prefix(prefix, checked); + return checked >= prefix.size(); + } + + bool check_suffix(const boost::core::basic_string_view<CharT>& suffix, size_type rope_pos, size_type suffix_pos) const + { + if (is_leaf()) + { + if (rope_pos >= weight_) + return suffix_pos >= suffix.size(); + + size_type to_check = std::min(weight_ - rope_pos, suffix.size() - suffix_pos); + + if (Traits::compare(blob_ + rope_pos, suffix.data() + suffix_pos, to_check) != 0) + return false; + + return suffix_pos + to_check >= suffix.size(); + } + + // Internal node + if (rope_pos < weight_) + { + if (!left_) + return false; + size_type left_check = std::min(weight_ - rope_pos, suffix.size() - suffix_pos); + + if (!left_->impl_->check_suffix(suffix, rope_pos, suffix_pos)) + return false; + suffix_pos += left_check; + + if (suffix_pos >= suffix.size()) + return true; + + rope_pos = 0; + } + else + { + rope_pos -= weight_; + } + + if (right_) + return right_->impl_->check_suffix(suffix, rope_pos, suffix_pos); + return suffix_pos >= suffix.size(); } }; @@ -63,48 +319,37 @@ namespace ocl::tproc } template <class CharT, class Traits, class Allocator> - basic_rope<CharT, Traits, Allocator>& - basic_rope<CharT, Traits, Allocator>::operator=(const basic_rope& other) - { - impl_ = std::exchange(other.impl_, nullptr); - return *this; - } - - template <class CharT, class Traits, class Allocator> - basic_rope<CharT, Traits, Allocator>::basic_rope(const basic_rope& other) - { - impl_ = std::exchange(other.impl_, nullptr); - } - - template <class CharT, class Traits, class Allocator> basic_rope<CharT, Traits, Allocator>::basic_rope( const boost::core::basic_string_view<CharT>& in) - : impl_(new tree_impl()) + : impl_(new tree_impl(in, Allocator())) { } template <class CharT, class Traits, class Allocator> basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::begin() { - return impl_->begin(); + if (impl_->is_leaf()) + return this; + + return impl_->left_ ? impl_->left_ : impl_->right_; } template <class CharT, class Traits, class Allocator> basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::end() { - return impl_->end(); + return nullptr; } template <class CharT, class Traits, class Allocator> const basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::cbegin() { - return impl_->begin(); + return this->begin(); } template <class CharT, class Traits, class Allocator> const basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::cend() { - return impl_->end(); + return this->end(); } template <class CharT, class Traits, class Allocator> @@ -120,6 +365,167 @@ namespace ocl::tproc return impl_->size() < 1UL; } + template <class CharT, class Traits, class Allocator> + basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::rbegin() + { + return this->begin(); + } + + template <class CharT, class Traits, class Allocator> + basic_rope<CharT, Traits, Allocator>::iterator_type basic_rope<CharT, Traits, Allocator>::rend() + { + return this->end(); + } + + template <class CharT, class Traits, class Allocator> + basic_rope<CharT, Traits, Allocator>& + basic_rope<CharT, Traits, Allocator>::substr(size_type pos, const size_type n) + { + static basic_rope<CharT, Traits, Allocator> empty_rope(""); + if (!impl_) + return empty_rope; + + auto* result = impl_->substr(pos, n, this, Allocator()); + + if (!result) + return empty_rope; + + return *result; + } + + template <class CharT, class Traits, class Allocator> + basic_rope<CharT, Traits, Allocator>::size_type + basic_rope<CharT, Traits, Allocator>::at(const boost::core::basic_string_view<CharT>& needle) + { + if (!impl_ || needle.empty()) + return npos; + + size_type rope_size = impl_->size(); + if (needle.size() > rope_size) + return npos; + + // Brute force search + for (size_type i = 0; i <= rope_size - needle.size(); ++i) + { + bool match = true; + for (size_type j = 0; j < needle.size(); ++j) + { + if (impl_->at(i + j) != needle[j]) + { + match = false; + break; + } + } + if (match) + return i; + } + return npos; + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::starts_with(const basic_rope<CharT>& other) + { + if (!impl_ || !other.impl_) + return false; + + // Get the string representation and use the string_view version + // This is inefficient but works + size_type other_size = other.impl_->size(); + if (other_size > impl_->size()) + return false; + + for (size_type i = 0; i < other_size; ++i) + { + if (impl_->at(i) != other.impl_->at(i)) + return false; + } + + return true; + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::ends_with(const basic_rope<CharT>& other) + { + if (!impl_ || !other.impl_) + return false; + + size_type this_size = impl_->size(); + size_type other_size = other.impl_->size(); + + if (other_size > this_size) + return false; + + size_type offset = this_size - other_size; + for (size_type i = 0; i < other_size; ++i) + { + if (impl_->at(offset + i) != other.impl_->at(i)) + return false; + } + + return true; + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::starts_with(const boost::core::basic_string_view<CharT>& prefix) + { + if (!impl_) + return false; + + return impl_->starts_with(prefix); + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::ends_with(const boost::core::basic_string_view<CharT>& suffix) + { + if (!impl_) + return false; + + return impl_->ends_with(suffix); + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::operator==(const basic_rope& other) + { + if (!impl_ && !other.impl_) + return true; + if (!impl_ || !other.impl_) + return false; + + return impl_->equals(other.impl_); + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::operator!=(const basic_rope& other) + { + return !(*this == other); + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::operator==(const boost::core::basic_string_view<CharT>& str) + { + if (!impl_) + return str.empty(); + return impl_->equals(str); + } + + template <class CharT, class Traits, class Allocator> + boost::core::basic_string_view<typename basic_rope<CharT, Traits, Allocator>::value_type> basic_rope<CharT, Traits, Allocator>::data() + { + return {impl_->blob_, impl_->capacity_}; + } + + template <class CharT, class Traits, class Allocator> + const boost::core::basic_string_view<typename basic_rope<CharT, Traits, Allocator>::value_type> basic_rope<CharT, Traits, Allocator>::c_str() + { + return {impl_->blob_, impl_->capacity_}; + } + + template <class CharT, class Traits, class Allocator> + bool basic_rope<CharT, Traits, Allocator>::operator!=(const boost::core::basic_string_view<CharT>& str) + { + return !(*this == str); + } + } // namespace ocl::tproc #endif
\ No newline at end of file diff --git a/include/ocl/tproc/rope.hpp b/include/ocl/tproc/rope.hpp index 881cd52..26729b0 100644 --- a/include/ocl/tproc/rope.hpp +++ b/include/ocl/tproc/rope.hpp @@ -12,10 +12,10 @@ namespace ocl::tproc::rope { /// \brief reverse exact pred type. - template <typename It> + template <typename It> class reverse_pred final { - It cond_; + It cond_; public: reverse_pred(const boost::core::basic_string_view<typename It::value_type>& cond) @@ -35,7 +35,7 @@ namespace ocl::tproc::rope } }; - template <typename It> + template <typename It> class uppercase_pred final { It cond_; @@ -50,7 +50,7 @@ namespace ocl::tproc::rope { std::transform(cond_.begin(), cond_.end(), - [](std::allocator_traits<It>::value_type& ch) { + [](std::allocator_traits<It>::value_type& ch) { return std::toupper(ch); }); @@ -64,7 +64,7 @@ namespace ocl::tproc::rope } }; - template <typename It> + template <typename It> class lowercase_pred final { It cond_; @@ -79,7 +79,7 @@ namespace ocl::tproc::rope { std::transform(cond_.begin(), cond_.end(), - [](std::allocator_traits<ocl::tproc::crope>::value_type& ch) { + [](std::allocator_traits<ocl::tproc::crope>::value_type& ch) { return std::tolower(ch); }); @@ -93,7 +93,7 @@ namespace ocl::tproc::rope } }; - template <typename It> + template <typename It> class exact_pred final { It cond_; @@ -116,7 +116,7 @@ namespace ocl::tproc::rope } }; - template <typename It> + template <typename It> class starts_with_pred final { It cond_; diff --git a/include/ocl/tproc/rope.inl b/include/ocl/tproc/rope.inl index b30b237..2c421d2 100644 --- a/include/ocl/tproc/rope.inl +++ b/include/ocl/tproc/rope.inl @@ -40,7 +40,7 @@ namespace ocl::tproc::rope template <typename It, class Pred> typename Pred::size_type erase(It begin, It end, Pred pred) { - It original_begin = begin; + It original_begin = begin; typename Pred::size_type count{}; for (auto it = begin; it != end;) @@ -62,7 +62,7 @@ namespace ocl::tproc::rope template <typename It, class Pred> typename It::size_type erase_if(It begin, It end, Pred) { - It original_begin = begin; + It original_begin = begin; typename Pred::size_type count{}; for (auto it = begin; it != end;) |