Joedb 10.4.1
The Journal-Only Embedded Database
Loading...
Searching...
No Matches
Writable_Database.h
Go to the documentation of this file.
1/////////////////////////////////////////////////////////////////////////////
2//
3// This code was automatically generated by the joedb compiler
4// https://www.joedb.org/
5//
6// Path to compiler: /home/rcoulom/repos/joedb/compcmake/gcc_debug/joedbc
7// Version: 10.4.1
8// joedbc compilation time: Apr 22 2026 15:39:07
9// Generation of this file: 2026-04-22 13:39:40 GMT
10//
11/////////////////////////////////////////////////////////////////////////////
12#ifndef tutorial_rpc_population_Writable_Database_declared
13#define tutorial_rpc_population_Writable_Database_declared
14
15#include "joedb/Span.h"
16
17#include "Database_Writable.h"
18
20{
21 namespace detail
22 {
23 class Client_Data;
24 }
25
26 class Client;
27 class Multiplexer;
28 class Memory_Database;
29
30 /// A @ref Database that contains a @ref joedb::Writable_Journal and keeps them in sync
32 {
33 friend class detail::Client_Data;
34 friend class Client;
35 friend class Multiplexer;
36 friend class Memory_Database;
37
38 private:
40 bool ready_to_write;
41
42 void play_journal();
43 void auto_upgrade();
44 void check_single_row();
45 void initialize();
46
48 (
50 joedb::Recovery recovery,
51 bool perform_initialization
52 );
53
54 public:
56
58 (
60 joedb::Recovery recovery
61 );
62
63 const joedb::Readonly_Journal &get_journal() const {return journal;}
64
65 std::string read_blob(joedb::Blob blob) const
66 {
67 return journal.get_file().read_blob(blob);
68 }
69
70 joedb::Blob write_blob(std::string_view data) override
71 {
72 return journal.write_blob(data);
73 }
74
75 int64_t ahead_of_checkpoint() const
76 {
77 return journal.ahead_of_checkpoint();
78 }
79
80 void soft_checkpoint() override
81 {
82 journal.soft_checkpoint();
83 }
84
85 void hard_checkpoint() override
86 {
87 journal.hard_checkpoint();
88 }
89
90 void write_comment(const std::string &comment);
91 void write_timestamp();
92 void write_timestamp(int64_t timestamp);
93 void write_valid_data();
94 void flush() override {journal.flush();}
95
96 void clear_city_table();
97
99 {
100 id_of_city result(Record_Id(storage_of_city.freedom_keeper.get_free_record()));
101 storage_of_city.resize(storage_of_city.freedom_keeper.size());
103
104 journal.insert_into(Table_Id(1), result.get_record_id());
105 return result;
106 }
107
109 {
110 if (id.get_record_id() >= Record_Id(storage_of_city.size()))
111 storage_of_city.resize(id.get_id() + 1);
112 internal_insert_city(id.get_record_id());
113 journal.insert_into(Table_Id(1), id.get_record_id());
114 }
115
117 {
118 id_of_city result(Record_Id(storage_of_city.size()));
119 storage_of_city.resize(storage_of_city.size() + size);
121 journal.insert_vector(Table_Id(1), result.get_record_id(), size);
122 return result;
123 }
124
126 {
128 journal.delete_from(Table_Id(1), record.get_record_id());
129 }
130
132 {
133 for (size_t i = size; i > 0;)
134 internal_delete_city(v[--i].get_record_id());
135 journal.delete_vector(Table_Id(1), v.get_record_id(), size);
136 }
137
138
139 void clear_data_table();
140
142 {
143 id_of_data result(Record_Id(storage_of_data.freedom_keeper.get_free_record()));
144 storage_of_data.resize(storage_of_data.freedom_keeper.size());
146
147 journal.insert_into(Table_Id(2), result.get_record_id());
148 return result;
149 }
150
152 {
153 if (id.get_record_id() >= Record_Id(storage_of_data.size()))
154 storage_of_data.resize(id.get_id() + 1);
155 internal_insert_data(id.get_record_id());
156 journal.insert_into(Table_Id(2), id.get_record_id());
157 }
158
160 {
161 id_of_data result(Record_Id(storage_of_data.size()));
162 storage_of_data.resize(storage_of_data.size() + size);
164 journal.insert_vector(Table_Id(2), result.get_record_id(), size);
165 return result;
166 }
167
169 (
170 std::string_view field_value_of_city_name,
171 id_of_city field_value_of_city,
172 int64_t field_value_of_population
173 )
174 {
175 auto result = new_data();
176 set_city_name(result, field_value_of_city_name);
177 set_city(result, field_value_of_city);
178 set_population(result, field_value_of_population);
179 return result;
180 }
181
183 {
185 journal.delete_from(Table_Id(2), record.get_record_id());
186 }
187
189 {
190 for (size_t i = size; i > 0;)
191 internal_delete_data(v[--i].get_record_id());
192 journal.delete_vector(Table_Id(2), v.get_record_id(), size);
193 }
194
195 void set_city_name(id_of_data record, std::string_view field_value_of_city_name)
196 {
197 internal_update_data__city_name(record.get_record_id(), field_value_of_city_name);
198 journal.update_string(Table_Id(2), record.get_record_id(), Field_Id(1), field_value_of_city_name);
199 }
200
201 template<typename F> void update_vector_of_city_name(id_of_data record, size_t size, F f)
202 {
203 joedb::Span<std::string> span(&storage_of_data.field_value_of_city_name.data()[record.get_id()], size);
204 f(span);
206 journal.update_vector_string(Table_Id(2), record.get_record_id(), Field_Id(1), size, (span.begin()));
207 }
208
209 void set_city(id_of_data record, id_of_city field_value_of_city)
210 {
211 internal_update_data__city(record.get_record_id(), field_value_of_city);
212 journal.update_reference(Table_Id(2), record.get_record_id(), Field_Id(2), field_value_of_city.get_record_id());
213 }
214
215 template<typename F> void update_vector_of_city(id_of_data record, size_t size, F f)
216 {
217 joedb::Span<id_of_city> span(&storage_of_data.field_value_of_city.data()[record.get_id()], size);
218 f(span);
220 journal.update_vector_reference(Table_Id(2), record.get_record_id(), Field_Id(2), size, reinterpret_cast<Record_Id *>(span.begin()));
221 }
222
223 void set_population(id_of_data record, int64_t field_value_of_population)
224 {
225 internal_update_data__population(record.get_record_id(), field_value_of_population);
226 journal.update_int64(Table_Id(2), record.get_record_id(), Field_Id(3), field_value_of_population);
227 }
228
229 template<typename F> void update_vector_of_population(id_of_data record, size_t size, F f)
230 {
231 joedb::Span<int64_t> span(&storage_of_data.field_value_of_population.data()[record.get_id()], size);
232 f(span);
234 journal.update_vector_int64(Table_Id(2), record.get_record_id(), Field_Id(3), size, (span.begin()));
235 }
236
237
238 };}
239
240#endif
std::string read_blob(Blob blob) const
const Abstract_File & get_file() const
T * begin()
Definition Span.h:39
void delete_vector(Table_Id table_id, Record_Id record_id, size_t size) override
void delete_from(Table_Id table_id, Record_Id record_id) override
int64_t ahead_of_checkpoint() const noexcept
void insert_vector(Table_Id table_id, Record_Id record_id, size_t size) override
void insert_into(Table_Id table_id, Record_Id record_id) override
Blob write_blob(std::string_view data) override
Strongly-typed wrapper around an integer representing a row of the city table.
Definition ids.h:25
constexpr Record_Id get_record_id() const
Definition ids.h:36
Handle concurrent access to a joedb::Abstract_File using a joedb::Connection.
Definition Client.h:44
implement joedb::Writable in a Database
void timestamp(int64_t timestamp) override
void comment(const std::string &comment) override
detail::data_of_data storage_of_data
Definition Database.h:101
detail::data_of_city storage_of_city
Definition Database.h:99
void internal_update_vector_data__city_name(Record_Id record_id, size_t size, const std::string *value)
Definition Database.h:150
void internal_update_vector_data__city(Record_Id record_id, size_t size, const id_of_city *value)
Definition Database.h:173
void internal_update_data__city_name(Record_Id record_id, std::string_view field_value_of_city_name)
Definition Database.h:140
void internal_vector_insert_city(Record_Id record_id, size_t size)
Definition Database.h:123
void internal_update_data__population(Record_Id record_id, int64_t field_value_of_population)
Definition Database.h:186
void internal_delete_city(Record_Id record_id)
Definition Database.h:104
void internal_update_data__city(Record_Id record_id, id_of_city field_value_of_city)
Definition Database.h:163
void internal_delete_data(Record_Id record_id)
Definition Database.h:109
void internal_insert_data(Record_Id record_id)
Definition Database.h:128
void internal_update_vector_data__population(Record_Id record_id, size_t size, const int64_t *value)
Definition Database.h:196
void internal_vector_insert_data(Record_Id record_id, size_t size)
Definition Database.h:133
void internal_insert_city(Record_Id record_id)
Definition Database.h:118
Shortcut to directly build a Writable_Database with a Memory_File.
Write simultaneously to the database and the file (ignore schema changes)
Definition Multiplexer.h:40
A Database that contains a joedb::Writable_Journal and keeps them in sync.
void set_city_name(id_of_data record, std::string_view field_value_of_city_name)
void set_city(id_of_data record, id_of_city field_value_of_city)
void write_comment(const std::string &comment)
id_of_data new_data(std::string_view field_value_of_city_name, id_of_city field_value_of_city, int64_t field_value_of_population)
joedb::Blob write_blob(std::string_view data) override
void delete_vector_of_city(id_of_city v, size_t size)
void update_vector_of_city_name(id_of_data record, size_t size, F f)
void delete_vector_of_data(id_of_data v, size_t size)
void update_vector_of_city(id_of_data record, size_t size, F f)
const joedb::Readonly_Journal & get_journal() const
std::string read_blob(joedb::Blob blob) const
void update_vector_of_population(id_of_data record, size_t size, F f)
void set_population(id_of_data record, int64_t field_value_of_population)
Strongly-typed wrapper around an integer representing a row of the data table.
Definition ids.h:27
constexpr auto get_id() const
Definition ids.h:37
constexpr Record_Id get_record_id() const
Definition ids.h:38
Automatically generated by joedbc.
Definition Client.h:19