From e3bf8b04654d4131be6ea4be670e66827b489d2e Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 18 Jan 2018 11:39:56 +0200
Subject: Move find_sup() from path_map to prefix_map and fix

---
 libbutl/prefix-map.txx | 60 ++++++++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 56 insertions(+), 4 deletions(-)

(limited to 'libbutl/prefix-map.txx')

diff --git a/libbutl/prefix-map.txx b/libbutl/prefix-map.txx
index efcee88..fb50570 100644
--- a/libbutl/prefix-map.txx
+++ b/libbutl/prefix-map.txx
@@ -6,14 +6,16 @@ LIBBUTL_MODEXPORT namespace butl //@@ MOD Clang needs this for some reason.
 {
   template <typename M>
   auto prefix_map_common<M>::
-  find_prefix (const key_type& k) -> std::pair<iterator, iterator>
+  find_sub (const key_type& k) -> std::pair<iterator, iterator>
   {
+    const auto& c (this->key_comp ());
+
     std::pair<iterator, iterator> r;
     r.first = this->lower_bound (k);
 
     for (r.second = r.first; r.second != this->end (); ++r.second)
     {
-      if (!this->key_comp ().prefix (k, r.second->first))
+      if (!c.prefix (k, r.second->first))
         break;
     }
 
@@ -22,18 +24,68 @@ LIBBUTL_MODEXPORT namespace butl //@@ MOD Clang needs this for some reason.
 
   template <typename M>
   auto prefix_map_common<M>::
-  find_prefix (const key_type& k) const ->
+  find_sub (const key_type& k) const ->
     std::pair<const_iterator, const_iterator>
   {
+    const auto& c (this->key_comp ());
+
     std::pair<const_iterator, const_iterator> r;
     r.first = this->lower_bound (k);
 
     for (r.second = r.first; r.second != this->end (); ++r.second)
     {
-      if (!this->key_comp ().prefix (k, r.second->first))
+      if (!c.prefix (k, r.second->first))
         break;
     }
 
     return r;
   }
+
+  template <typename M>
+  auto prefix_map_common<M>::
+  find_sup (const key_type& k) -> iterator
+  {
+    // There seems to be only two possible algorithms here:
+    //
+    // 1. Iterate over the key: get progressively outer prefixes and look
+    //    for a match in the map.
+    //
+    // 2. Iterate over entries: get the upper bound for the key and iterate
+    //    backwards looking for a prefix.
+    //
+    // The drawback of the first approach is that we have to create a new key
+    // which will most likely involve a memory allocation (we can probably
+    // limit it to a single allocation by reusing the key).
+    //
+    // The drawback of the second approch is that we may have a lot of entries
+    // between the lower bound and the prefix (in contrast, keys normally only
+    // have a handful of components).
+    //
+    const auto& c (this->key_comp ());
+
+    for (auto i (this->upper_bound (k)), b (this->begin ()); i != b; )
+    {
+      --i;
+      if (c.prefix (i->first, k))
+        return i;
+    }
+
+    return this->end ();
+  }
+
+  template <typename M>
+  auto prefix_map_common<M>::
+  find_sup (const key_type& k) const -> const_iterator
+  {
+    const auto& c (this->key_comp ());
+
+    for (auto i (this->upper_bound (k)), b (this->begin ()); i != b; )
+    {
+      --i;
+      if (c.prefix (i->first, k))
+        return i;
+    }
+
+    return this->end ();
+  }
 }
-- 
cgit v1.1