Joedb 10.4.1
The Journal-Only Embedded Database
Loading...
Searching...
No Matches
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 19 2026 16:29:15
9// Generation of this file: 2026-04-19 14:29:25 GMT
10//
11/////////////////////////////////////////////////////////////////////////////
12#ifndef joedb_db_encoded_file_Database_declared
13#define joedb_db_encoded_file_Database_declared
14
17#include "joedb/error/assert.h"
18#include "joedb/get_version.h"
19#include "ids.h"
20
21#include <string>
22#include <cstring>
23#include <vector>
24#include <algorithm>
25#include <string_view>
26
27#include "joedb/Blob.h"
28
29static_assert(std::string_view(joedb::get_version()) == "10.4.1");
30
32{
33 /// @namespace joedb::db::encoded_file
34 ///
35 /// Automatically generated by joedbc
36
37 using joedb::Record_Id;
38 using joedb::Table_Id;
39 using joedb::Field_Id;
40
41 class container_of_buffer;
42
43 namespace detail
44 {
45 struct data_of_buffer
46 {
47 std::vector<joedb::Blob> field_value_of_data;
48 std::vector<int64_t> field_value_of_size;
49 std::vector<int64_t> field_value_of_offset;
50
51 joedb::Freedom_Keeper freedom_keeper;
52
53 size_t size() const {return freedom_keeper.size();}
54
55 void resize(size_t new_size)
56 {
57 field_value_of_data.resize(new_size);
58 field_value_of_size.resize(new_size);
59 field_value_of_offset.resize(new_size);
60 freedom_keeper.resize(new_size);
61 }
62 };
63 }
64
65
66 /// Store all the tables of the database
68 {
69 friend class Readable;
70 friend class container_of_buffer;
71
72 public:
73 template<typename E = joedb::Exception>
74 static void throw_exception(std::string_view message)
75 {
76 std::string s("joedb::db::encoded_file: ");
77 s += message;
78 throw E(s);
79 }
80
81 bool is_valid(id_of_buffer id) const {return is_valid_record_id_for_buffer(id.get_record_id());}
82
83 protected:
84 detail::data_of_buffer storage_of_buffer;
85 bool is_valid_record_id_for_buffer(Record_Id record_id) const {return storage_of_buffer.freedom_keeper.is_used(record_id);}
86
88 {
90 storage_of_buffer.field_value_of_data[to_underlying(record_id)] = joedb::Blob();
91 storage_of_buffer.field_value_of_size[to_underlying(record_id)] = 0;
92 storage_of_buffer.field_value_of_offset[to_underlying(record_id)] = 0;
93 storage_of_buffer.freedom_keeper.free(record_id);
94 }
95
97 {
98 storage_of_buffer.freedom_keeper.use(record_id);
99 }
100
101 void internal_vector_insert_buffer(Record_Id record_id, size_t size)
102 {
103 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_free_vector(record_id, size));
104 storage_of_buffer.freedom_keeper.use_vector(record_id, size);
105 }
106
108 (
109 Record_Id record_id,
110 joedb::Blob field_value_of_data
111 )
112 {
114 storage_of_buffer.field_value_of_data[to_underlying(record_id)] = field_value_of_data;
115 }
116
118 (
119 Record_Id record_id,
120 size_t size,
121 const joedb::Blob *value
122 )
123 {
124 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
125 joedb::Blob *target = &storage_of_buffer.field_value_of_data.data()[to_underlying(record_id)];
126 if (target != value)
127 std::copy_n(value, size, target);
128 }
129
131 (
132 Record_Id record_id,
133 int64_t field_value_of_size
134 )
135 {
137 storage_of_buffer.field_value_of_size[to_underlying(record_id)] = field_value_of_size;
138 }
139
141 (
142 Record_Id record_id,
143 size_t size,
144 const int64_t *value
145 )
146 {
147 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
148 int64_t *target = &storage_of_buffer.field_value_of_size.data()[to_underlying(record_id)];
149 if (target != value)
150 std::copy_n(value, size, target);
151 }
152
154 (
155 Record_Id record_id,
156 int64_t field_value_of_offset
157 )
158 {
160 storage_of_buffer.field_value_of_offset[to_underlying(record_id)] = field_value_of_offset;
161 }
162
164 (
165 Record_Id record_id,
166 size_t size,
167 const int64_t *value
168 )
169 {
170 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
171 int64_t *target = &storage_of_buffer.field_value_of_offset.data()[to_underlying(record_id)];
172 if (target != value)
173 std::copy_n(value, size, target);
174 }
175
176 public:
178
180 {
181 return id_of_buffer
182 (
183 Record_Id(storage_of_buffer.freedom_keeper.get_next(id.get_record_id()))
184 );
185 }
186
188 {
189 return id_of_buffer
190 (
191 Record_Id(storage_of_buffer.freedom_keeper.get_previous(id.get_record_id()))
192 );
193 }
194
195 template<class Comparator>
196 std::vector<id_of_buffer> sorted_buffer(Comparator comparator) const;
197
199 {
200 return id_of_buffer();
201 }
202
204 {
206 return (joedb::Blob)(storage_of_buffer.field_value_of_data[record.get_id()]);
207 }
208
209 int64_t get_size(id_of_buffer record) const
210 {
212 return (int64_t)(storage_of_buffer.field_value_of_size[record.get_id()]);
213 }
214
215 int64_t get_offset(id_of_buffer record) const
216 {
218 return (int64_t)(storage_of_buffer.field_value_of_offset[record.get_id()]);
219 }
220 };
221 /// returned by @ref Database::get_buffer_table
223 {
224 friend class Database;
225
226 private:
227 const Database &db;
228 container_of_buffer(const Database &db): db(db) {}
229
230 public:
232 {
234 private:
235 const joedb::Freedom_Keeper *fk;
236 Record_Id index;
237 iterator(const detail::data_of_buffer &data): fk(&data.freedom_keeper), index(joedb::Freedom_Keeper_Constants::used_list) {}
238 public:
239 using iterator_category = std::forward_iterator_tag;
241 using difference_type = std::ptrdiff_t;
244
245 bool operator==(const iterator &i) const {return index == i.index;}
246 bool operator!=(const iterator &i) const {return index != i.index;}
247 iterator &operator++() {index = fk->get_next(index); return *this;}
248 iterator operator++(int) {auto copy = *this; index = fk->get_next(index); return copy;}
249 iterator &operator--() {index = fk->get_previous(index); return *this;}
250 iterator operator--(int) {auto copy = *this; index = fk->get_previous(index); return copy;}
252 };
253
254 iterator begin() const {return ++iterator(db.storage_of_buffer);}
256 bool is_empty() const {return db.storage_of_buffer.freedom_keeper.get_used_count() == Record_Id{0};}
257 joedb::index_t get_size() const {return to_underlying(db.storage_of_buffer.freedom_keeper.get_used_count());}
258 static id_of_buffer get_at(size_t i) {return id_of_buffer(Record_Id(i));}
259 bool is_valid_at(size_t i) {return db.storage_of_buffer.freedom_keeper.is_used(Record_Id(i));}
260 id_of_buffer first() const {return *begin();}
261 id_of_buffer last() const {return *--end();}
262 id_of_buffer get_end() const {return *end();}
263 };
264
266 {
267 return container_of_buffer(*this);
268 }
269
270 template<class Comparator>
271 std::vector<id_of_buffer> Database::sorted_buffer(Comparator comparator) const
272 {
273 std::vector<id_of_buffer> result;
274 for (auto x: get_buffer_table())
275 result.emplace_back(x);
276 std::sort(result.begin(), result.end(), comparator);
277 return result;
278 }
279}
280
281#endif
void resize(Record_Id new_size)
Record_Id get_previous(Record_Id index) const
Record_Id get_next(Record_Id index) const
Store all the tables of the database.
Definition Database.h:68
static void throw_exception(std::string_view message)
Definition Database.h:74
void internal_delete_buffer(Record_Id record_id)
Definition Database.h:87
container_of_buffer get_buffer_table() const
Definition Database.h:265
void internal_update_buffer__size(Record_Id record_id, int64_t field_value_of_size)
Definition Database.h:131
int64_t get_size(id_of_buffer record) const
Definition Database.h:209
bool is_valid(id_of_buffer id) const
Definition Database.h:81
joedb::Blob get_data(id_of_buffer record) const
Definition Database.h:203
void internal_update_vector_buffer__data(Record_Id record_id, size_t size, const joedb::Blob *value)
Definition Database.h:118
detail::data_of_buffer storage_of_buffer
Definition Database.h:84
id_of_buffer next(id_of_buffer id) const
Definition Database.h:179
void internal_insert_buffer(Record_Id record_id)
Definition Database.h:96
void internal_update_buffer__offset(Record_Id record_id, int64_t field_value_of_offset)
Definition Database.h:154
void internal_update_buffer__data(Record_Id record_id, joedb::Blob field_value_of_data)
Definition Database.h:108
static id_of_buffer null_buffer()
Definition Database.h:198
bool is_valid_record_id_for_buffer(Record_Id record_id) const
Definition Database.h:85
id_of_buffer previous(id_of_buffer id) const
Definition Database.h:187
std::vector< id_of_buffer > sorted_buffer(Comparator comparator) const
Definition Database.h:271
void internal_update_vector_buffer__offset(Record_Id record_id, size_t size, const int64_t *value)
Definition Database.h:164
void internal_vector_insert_buffer(Record_Id record_id, size_t size)
Definition Database.h:101
int64_t get_offset(id_of_buffer record) const
Definition Database.h:215
void internal_update_vector_buffer__size(Record_Id record_id, size_t size, const int64_t *value)
Definition Database.h:141
Implement the joedb::Readable interface for a compiled database.
Definition Readable.h:27
returned by Database::get_buffer_table
Definition Database.h:223
static id_of_buffer get_at(size_t i)
Definition Database.h:258
Strongly-typed wrapper around an integer representing a row of the buffer table.
Definition ids.h:25
constexpr Record_Id get_record_id() const
Definition ids.h:36
constexpr auto get_id() const
Definition ids.h:35
#define JOEDB_RELEASE_ASSERT(x)
always-tested assertion (release and debug mode)
Definition assert.h:24
ptrdiff_t index_t
Definition index_types.h:18
constexpr const char * get_version()
Definition get_version.h:7
Automatically generated by joedbc.
Definition Client.h:19
constexpr index_t to_underlying(Record_Id id)
Definition index_types.h:59