Readonly_Client.h

Go to the documentation of this file.

/////////////////////////////////////////////////////////////////////////////
//
// This code was automatically generated by the joedb compiler
// https://www.joedb.org/
//
// Path to compiler: /home/rcoulom/repos/joedb/compcmake/gcc_debug/joedbc
// Version: 10.0.1
// joedbc compilation time: Jun 13 2025 15:26:57
// Generation of this file: 2025-06-13 13:27:16 GMT
//
/////////////////////////////////////////////////////////////////////////////
#ifndef settings_Readonly_Client_declared
#define settings_Readonly_Client_declared
 
#include "Database_Writable.h"
#include "joedb/concurrency/Readonly_Client.h"
 
namespace settings
{
 /// Client for a read-only file (allows pulling, unlike @ref Readonly_Database)
 class Readonly_Client: private joedb::Connection, public joedb::Readonly_Client
 {
  private:
   Database_Writable db;
   int64_t schema_checkpoint;
 
  protected:
   virtual void read_journal() override
   {
    Readonly_Journal::play_until_checkpoint(db);
    if (db.get_schema_checkpoint() > schema_checkpoint)
     Database::throw_exception("Pulled a schema change");
   }
 
  public:
   Readonly_Client(joedb::Buffered_File &file):
    joedb::Readonly_Client
    (
     file,
     *static_cast<joedb::Connection *>(this),
     joedb::Content_Check::none
    )
   {
    db.initialize_with_readonly_journal(*this);
    schema_checkpoint = db.get_schema_checkpoint();
   }
 
   using joedb::Readonly_Client::pull;
 
   const Database &get_database() const {return db;}
 };
}
 
#endif