Add support for change-tracking containers

ODB now supports "smart" ordered containers. Such containers get extra
functions for updating and deleting individual elements. Based on this
functionality implement two change-tracking containers: odb::vector
(equivalent to std::vector) and QOdbList (equivalent to QList). New
tests: common/container/change-tracking and qt/common/container/change-
tracking.

6 files changed, 260 insertions, 142 deletions

diff --git a/odb/mssql/container-statements.hxx b/odb/mssql/container-statements.hxx
index dcf8e5c..0998794 100644
--- a/odb/mssql/container-statements.hxx
+++ b/odb/mssql/container-statements.hxx
@@ -34,8 +34,6 @@ namespace odb
       typedef T traits;
 
       typedef typename traits::data_image_type data_image_type;
-      typedef typename traits::cond_image_type cond_image_type;
-
       typedef typename traits::functions_type functions_type;
 
       typedef mssql::insert_statement insert_statement_type;
@@ -44,7 +42,7 @@ namespace odb
 
       typedef mssql::connection connection_type;
 
-      container_statements (connection_type&);
+      container_statements (connection_type&, binding& id_binding);
 
       connection_type&
       connection ()
@@ -65,168 +63,221 @@ namespace odb
       const binding&
       id_binding ()
       {
-        return *id_binding_;
+        return id_binding_;
       }
 
-      void
-      id_binding (const binding& b)
+      // Data image. The image is split into the id (that comes as a
+      // binding) and index/key plus value which are in data_image_type.
+      // The select binding is a subset of the full binding (no id).
+      //
+      data_image_type&
+      data_image ()
       {
-        id_binding_ = &b;
+        return data_image_;
       }
 
-      // Condition image.
-      //
-      cond_image_type&
-      cond_image ()
+      bind*
+      data_bind ()
       {
-        return cond_image_;
+        return insert_image_binding_.bind;
       }
 
-      std::size_t
-      cond_image_version () const
+      bool
+      data_binding_test_version () const
       {
-        return cond_image_version_;
+        return data_id_binding_version_ != id_binding_.version ||
+          data_image_version_ != data_image_.version ||
+          insert_image_binding_.version == 0;
       }
 
       void
-      cond_image_version (std::size_t v)
+      data_binding_update_version ()
       {
-        cond_image_version_ = v;
+        data_id_binding_version_ = id_binding_.version;
+        data_image_version_ = data_image_.version;
+        insert_image_binding_.version++;
+        select_image_binding_.version++;
       }
 
-      std::size_t
-      cond_id_binding_version () const
+      //
+      // Statements.
+      //
+
+      insert_statement_type&
+      insert_statement ()
       {
-        return cond_id_binding_version_;
+        if (insert_ == 0)
+          insert_.reset (
+            new (details::shared) insert_statement_type (
+              conn_, insert_text_, insert_image_binding_, false, false, false));
+
+        return *insert_;
       }
 
-      void
-      cond_id_binding_version (std::size_t v)
+      select_statement_type&
+      select_statement ()
       {
-        cond_id_binding_version_ = v;
+        if (select_ == 0)
+          select_.reset (
+            new (details::shared) select_statement_type (
+              conn_, select_text_, id_binding_, select_image_binding_, false));
+
+        return *select_;
       }
 
-      binding&
-      cond_image_binding ()
+      delete_statement_type&
+      delete_statement ()
       {
-        return cond_image_binding_;
+        if (delete_ == 0)
+          delete_.reset (
+            new (details::shared) delete_statement_type (
+              conn_, delete_text_, id_binding_, false));
+
+        return *delete_;
       }
 
-      // Data image.
+    private:
+      container_statements (const container_statements&);
+      container_statements& operator= (const container_statements&);
+
+    protected:
+      connection_type& conn_;
+      binding& id_binding_;
+
+      functions_type functions_;
+
+      data_image_type data_image_;
+      std::size_t data_image_version_;
+      std::size_t data_id_binding_version_;
+
+      binding insert_image_binding_;
+      binding select_image_binding_;
+
+      const char* insert_text_;
+      const char* select_text_;
+      const char* delete_text_;
+
+      details::shared_ptr<insert_statement_type> insert_;
+      details::shared_ptr<select_statement_type> select_;
+      details::shared_ptr<delete_statement_type> delete_;
+    };
+
+    template <typename T>
+    class smart_container_statements: public container_statements<T>
+    {
+    public:
+      typedef T traits;
+      typedef typename traits::cond_image_type cond_image_type;
+
+      typedef mssql::update_statement update_statement_type;
+      typedef mssql::delete_statement delete_statement_type;
+
+      typedef mssql::connection connection_type;
+
+      smart_container_statements (connection_type&, binding& id_binding);
+
+      // Condition image. The image is split into the id (that comes as
+      // a binding) and index/key/value which is in cond_image_type.
       //
-      data_image_type&
-      data_image ()
+      cond_image_type&
+      cond_image ()
       {
-        return data_image_;
+        return cond_image_;
       }
 
-      std::size_t
-      data_image_version () const
+      bind*
+      cond_bind ()
       {
-        return data_image_version_;
+        return cond_image_binding_.bind;
       }
 
-      void
-      data_image_version (std::size_t v)
+      bool
+      cond_binding_test_version () const
       {
-        data_image_version_ = v;
+        return cond_id_binding_version_ != this->id_binding_.version ||
+          cond_image_version_ != cond_image_.version ||
+          cond_image_binding_.version == 0;
       }
 
-      std::size_t
-      data_id_binding_version () const
+      void
+      cond_binding_update_version ()
       {
-        return data_id_binding_version_;
+        cond_id_binding_version_ = this->id_binding_.version;
+        cond_image_version_ = cond_image_.version;
+        cond_image_binding_.version++;
       }
 
-      void
-      data_id_binding_version (std::size_t v)
+      // Update image. The image is split as follows: value comes
+      // from the data image, id comes as binding, and index/key
+      // comes from the condition image.
+      //
+      bind*
+      update_bind ()
       {
-        data_id_binding_version_ = v;
+        return update_image_binding_.bind;
       }
 
-      binding&
-      data_image_binding ()
+      bool
+      update_binding_test_version () const
       {
-        return data_image_binding_;
+        return update_id_binding_version_ != this->id_binding_.version ||
+          update_cond_image_version_ != cond_image_.version ||
+          update_data_image_version_ != this->data_image_.version ||
+          update_image_binding_.version == 0;
       }
 
-      binding&
-      select_image_binding ()
+      void
+      update_binding_update_version ()
       {
-        return select_image_binding_;
+        update_id_binding_version_ = this->id_binding_.version;
+        update_cond_image_version_ = cond_image_.version;
+        update_data_image_version_ = this->data_image_.version;
+        update_image_binding_.version++;
       }
 
       //
       // Statements.
       //
 
-      insert_statement_type&
-      insert_one_statement ()
+      delete_statement_type&
+      delete_statement ()
       {
-        // Containers never use auto ids so hardcode the insert_statement
-        // constructors returning argument as false.
-        //
-        if (insert_one_ == 0)
-          insert_one_.reset (
-            new (details::shared) insert_statement_type (
-              conn_, insert_one_text_, data_image_binding_, false, false));
+        if (this->delete_ == 0)
+          this->delete_.reset (
+            new (details::shared) delete_statement_type (
+              this->conn_,
+              this->delete_text_,
+              this->cond_image_binding_,
+              false));
 
-        return *insert_one_;
+        return *this->delete_;
       }
 
-      select_statement_type&
-      select_all_statement ()
+      update_statement_type&
+      update_statement ()
       {
-        if (select_all_ == 0)
-          select_all_.reset (
-            new (details::shared) select_statement_type (
-              conn_,
-              select_all_text_,
-              cond_image_binding_,
-              select_image_binding_));
+        if (update_ == 0)
+          update_.reset (
+            new (details::shared) update_statement_type (
+              this->conn_, update_text_, update_image_binding_, false, false));
 
-        return *select_all_;
+        return *update_;
       }
 
-      delete_statement_type&
-      delete_all_statement ()
-      {
-        if (delete_all_ == 0)
-          delete_all_.reset (
-            new (details::shared) delete_statement_type (
-              conn_, delete_all_text_, cond_image_binding_));
-
-        return *delete_all_;
-      }
-
-    private:
-      container_statements (const container_statements&);
-      container_statements& operator= (const container_statements&);
-
     protected:
-      connection_type& conn_;
-      functions_type functions_;
-
-      const binding* id_binding_;
-
       cond_image_type cond_image_;
       std::size_t cond_image_version_;
       std::size_t cond_id_binding_version_;
       binding cond_image_binding_;
 
-      data_image_type data_image_;
-      std::size_t data_image_version_;
-      std::size_t data_id_binding_version_;
-      binding data_image_binding_;
-      binding select_image_binding_; // Skips the id from data_image_binding.
+      std::size_t update_id_binding_version_;
+      std::size_t update_cond_image_version_;
+      std::size_t update_data_image_version_;
+      binding update_image_binding_;
 
-      const char* insert_one_text_;
-      const char* select_all_text_;
-      const char* delete_all_text_;
+      const char* update_text_;
 
-      details::shared_ptr<insert_statement_type> insert_one_;
-      details::shared_ptr<select_statement_type> select_all_;
-      details::shared_ptr<delete_statement_type> delete_all_;
+      details::shared_ptr<update_statement_type> update_;
     };
 
     // Template argument is the generated concrete container traits type.
@@ -239,16 +290,30 @@ namespace odb
       typedef typename T::statements_type base;
       typedef mssql::connection connection_type;
 
-      container_statements_impl (connection_type&);
+      container_statements_impl (connection_type&, binding&);
 
     private:
       container_statements_impl (const container_statements_impl&);
       container_statements_impl& operator= (const container_statements_impl&);
 
     private:
-      bind cond_image_bind_[traits::cond_column_count];
       bind data_image_bind_[traits::data_column_count];
     };
+
+    template <typename T>
+    class smart_container_statements_impl: public container_statements_impl<T>
+    {
+    public:
+      typedef T traits;
+      typedef mssql::connection connection_type;
+
+      smart_container_statements_impl (connection_type&, binding&);
+
+    private:
+      bind cond_image_bind_[traits::cond_column_count];
+      bind update_image_bind_[traits::value_column_count +
+                              traits::cond_column_count];
+    };
   }
 }
 
diff --git a/odb/mssql/container-statements.txx b/odb/mssql/container-statements.txx
index 0b6a4c5..cf7cf1d 100644
--- a/odb/mssql/container-statements.txx
+++ b/odb/mssql/container-statements.txx
@@ -2,6 +2,7 @@
 // copyright : Copyright (c) 2005-2012 Code Synthesis Tools CC
 // license   : ODB NCUEL; see accompanying LICENSE file
 
+#include <cstddef> // std::size_t
 #include <cstring> // std::memset
 
 namespace odb
@@ -10,51 +11,84 @@ namespace odb
   {
     // container_statements
     //
-
     template <typename T>
     container_statements<T>::
-    container_statements (connection_type& conn)
+    container_statements (connection_type& conn, binding& id)
         : conn_ (conn),
-          functions_ (this,
-                      &traits::insert_one,
-                      &traits::load_all,
-                      &traits::delete_all),
-          id_binding_ (0),
+          id_binding_ (id),
+          functions_ (this),
+          insert_image_binding_ (0, 0), // Initialized by impl.
+          select_image_binding_ (0, 0)  // Initialized by impl.
+    {
+      functions_.insert_ = &traits::insert;
+      functions_.select_ = &traits::select;
+      functions_.delete__ = &traits::delete_;
+
+      data_image_.version = 0;
+      data_image_version_ = 0;
+      data_id_binding_version_ = 0;
+    }
+
+    // smart_container_statements
+    //
+    template <typename T>
+    smart_container_statements<T>::
+    smart_container_statements (connection_type& conn, binding& id)
+        : container_statements<T> (conn, id),
           cond_image_binding_ (0, 0),  // Initialized by impl.
-          data_image_binding_ (0, 0),  // Initialized by impl.
-          select_image_binding_ (0, 0) // Initialized by impl.
+          update_image_binding_ (0, 0) // Initialized by impl.
     {
+      this->functions_.update_ = &traits::update;
+
       cond_image_.version = 0;
       cond_image_version_ = 0;
       cond_id_binding_version_ = 0;
 
-      data_image_.version = 0;
-      data_image_version_ = 0;
-      data_id_binding_version_ = 0;
+      update_id_binding_version_ = 0;
+      update_cond_image_version_ = 0;
+      update_data_image_version_ = 0;
     }
 
+    // container_statements_impl
+    //
     template <typename T>
     container_statements_impl<T>::
-    container_statements_impl (connection_type& conn)
-        : base (conn)
+    container_statements_impl (connection_type& conn, binding& id)
+        : base (conn, id)
     {
-      this->cond_image_binding_.bind = cond_image_bind_;
-      this->cond_image_binding_.count = traits::cond_column_count;
-
-      this->data_image_binding_.bind = data_image_bind_;
-      this->data_image_binding_.count = traits::data_column_count;
+      this->insert_image_binding_.bind = data_image_bind_;
+      this->insert_image_binding_.count = traits::data_column_count;
 
       this->select_image_binding_.bind = data_image_bind_ +
         traits::id_column_count;
       this->select_image_binding_.count = traits::data_column_count -
         traits::id_column_count;
 
-      std::memset (cond_image_bind_, 0, sizeof (cond_image_bind_));
       std::memset (data_image_bind_, 0, sizeof (data_image_bind_));
 
-      this->insert_one_text_ = traits::insert_one_statement;
-      this->select_all_text_ = traits::select_all_statement;
-      this->delete_all_text_ = traits::delete_all_statement;
+      this->insert_text_ = traits::insert_statement;
+      this->select_text_ = traits::select_statement;
+      this->delete_text_ = traits::delete_statement;
+    }
+
+    // smart_container_statements_impl
+    //
+    template <typename T>
+    smart_container_statements_impl<T>::
+    smart_container_statements_impl (connection_type& conn, binding& id)
+        : container_statements_impl<T> (conn, id)
+    {
+      this->cond_image_binding_.bind = cond_image_bind_;
+      this->cond_image_binding_.count = traits::cond_column_count;
+
+      this->update_image_binding_.bind = update_image_bind_;
+      this->update_image_binding_.count = traits::value_column_count +
+        traits::cond_column_count;
+
+      std::memset (cond_image_bind_, 0, sizeof (cond_image_bind_));
+      std::memset (update_image_bind_, 0, sizeof (update_image_bind_));
+
+      this->update_text_ = traits::update_statement;
     }
   }
 }
diff --git a/odb/mssql/forward.hxx b/odb/mssql/forward.hxx
index 2bb21e3..244de3f 100644
--- a/odb/mssql/forward.hxx
+++ b/odb/mssql/forward.hxx
@@ -67,6 +67,9 @@ namespace odb
     template <typename T>
     class container_statements;
 
+    template <typename T>
+    class smart_container_statements;
+
     class query_base;
   }
 
diff --git a/odb/mssql/no-id-object-statements.hxx b/odb/mssql/no-id-object-statements.hxx
index 30ba999..49aabe2 100644
--- a/odb/mssql/no-id-object-statements.hxx
+++ b/odb/mssql/no-id-object-statements.hxx
@@ -88,7 +88,8 @@ namespace odb
               object_traits::persist_statement,
               insert_image_binding_,
               false,
-              object_traits::rowversion));
+              object_traits::rowversion,
+              false));
 
         return *persist_;
       }
diff --git a/odb/mssql/polymorphic-object-statements.hxx b/odb/mssql/polymorphic-object-statements.hxx
index c121168..2692861 100644
--- a/odb/mssql/polymorphic-object-statements.hxx
+++ b/odb/mssql/polymorphic-object-statements.hxx
@@ -102,7 +102,8 @@ namespace odb
               this->conn_,
               object_traits::find_discriminator_statement,
               discriminator_id_image_binding_,
-              discriminator_image_binding_));
+              discriminator_image_binding_,
+              false));
 
         return *find_discriminator_;
       }
@@ -286,6 +287,7 @@ namespace odb
               object_traits::persist_statement,
               insert_image_binding_,
               false,
+              false,
               false));
 
         return *persist_;
@@ -303,7 +305,8 @@ namespace odb
               conn_,
               object_traits::find_statements[i],
               root_statements_.id_image_binding (),
-              select_image_bindings_[i]));
+              select_image_bindings_[i],
+              false));
 
         return *p;
       }
@@ -317,6 +320,7 @@ namespace odb
               conn_,
               object_traits::update_statement,
               update_image_binding_,
+              false,
               false));
 
         return *update_;
@@ -330,7 +334,8 @@ namespace odb
             new (details::shared) delete_statement_type (
               conn_,
               object_traits::erase_statement,
-              root_statements_.id_image_binding ()));
+              root_statements_.id_image_binding (),
+              false));
 
         return *erase_;
       }
@@ -340,7 +345,7 @@ namespace odb
       container_statement_cache_type&
       container_statment_cache ()
       {
-        return container_statement_cache_.get (conn_);
+        return container_statement_cache_.get (conn_, id_image_binding ());
       }
 
     public:
diff --git a/odb/mssql/simple-object-statements.hxx b/odb/mssql/simple-object-statements.hxx
index a1f4503..63f8b03 100644
--- a/odb/mssql/simple-object-statements.hxx
+++ b/odb/mssql/simple-object-statements.hxx
@@ -45,36 +45,41 @@ namespace odb
       typedef mssql::connection connection_type;
 
       container_statement_cache_ptr (): p_ (0) {}
-      ~container_statement_cache_ptr () {if (p_ != 0) (this->*deleter_) (0);}
+      ~container_statement_cache_ptr ()
+      {
+        if (p_ != 0)
+          (this->*deleter_) (0, 0);
+      }
 
       T&
-      get (connection_type& c)
+      get (connection_type& c, binding& id)
       {
         if (p_ == 0)
-          allocate (&c);
+          allocate (&c, &id);
 
         return *p_;
       }
 
     private:
       void
-      allocate (connection_type*);
+      allocate (connection_type*, binding*);
 
     private:
       T* p_;
-      void (container_statement_cache_ptr::*deleter_) (connection_type*);
+      void (container_statement_cache_ptr::*deleter_) (
+        connection_type*, binding*);
     };
 
     template <typename T>
     void container_statement_cache_ptr<T>::
-    allocate (connection_type* c)
+    allocate (connection_type* c, binding* id)
     {
       // To reduce object code size, this function acts as both allocator
       // and deleter.
       //
       if (p_ == 0)
       {
-        p_ = new T (*c);
+        p_ = new T (*c, *id);
         deleter_ = &container_statement_cache_ptr<T>::allocate;
       }
       else
@@ -344,7 +349,8 @@ namespace odb
               object_traits::persist_statement,
               insert_image_binding_,
               object_traits::auto_id,
-              object_traits::rowversion));
+              object_traits::rowversion,
+              false));
 
         return *persist_;
       }
@@ -358,7 +364,8 @@ namespace odb
               conn_,
               object_traits::find_statement,
               id_image_binding_,
-              select_image_binding_));
+              select_image_binding_,
+              false));
 
         return *find_;
       }
@@ -372,7 +379,8 @@ namespace odb
               conn_,
               object_traits::update_statement,
               update_image_binding_,
-              object_traits::rowversion));
+              object_traits::rowversion,
+              false));
 
         return *update_;
       }
@@ -385,7 +393,8 @@ namespace odb
             new (details::shared) delete_statement_type (
               conn_,
               object_traits::erase_statement,
-              id_image_binding_));
+              id_image_binding_,
+              false));
 
         return *erase_;
       }
@@ -399,7 +408,8 @@ namespace odb
             new (details::shared) delete_statement_type (
               conn_,
               object_traits::optimistic_erase_statement,
-              od_.id_image_binding_));
+              od_.id_image_binding_,
+              false));
         }
 
         return *od_.erase_;
@@ -410,7 +420,7 @@ namespace odb
       container_statement_cache_type&
       container_statment_cache ()
       {
-        return container_statement_cache_.get (conn_);
+        return container_statement_cache_.get (conn_, id_image_binding_);
       }
 
     public: