Joedb 10.2.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.2.1
8// joedbc compilation time: Sep 15 2025 20:22:33
9// Generation of this file: 2025-09-15 18:22:57 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.2.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(const std::string &message)
75 {
76 throw E("joedb::db::encoded_file: " + message);
77 }
78
79 bool is_valid(id_of_buffer id) const {return is_valid_record_id_for_buffer(id.get_record_id());}
80
81 protected:
82 detail::data_of_buffer storage_of_buffer;
83 bool is_valid_record_id_for_buffer(Record_Id record_id) const {return storage_of_buffer.freedom_keeper.is_used(record_id);}
84
86 {
88 storage_of_buffer.field_value_of_data[to_underlying(record_id)] = joedb::Blob();
89 storage_of_buffer.field_value_of_size[to_underlying(record_id)] = 0;
90 storage_of_buffer.field_value_of_offset[to_underlying(record_id)] = 0;
91 storage_of_buffer.freedom_keeper.free(record_id);
92 }
93
95 {
96 storage_of_buffer.freedom_keeper.use(record_id);
97 }
98
99 void internal_vector_insert_buffer(Record_Id record_id, size_t size)
100 {
101 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_free_vector(record_id, size));
102 storage_of_buffer.freedom_keeper.use_vector(record_id, size);
103 }
104
106 (
107 Record_Id record_id,
108 joedb::Blob field_value_of_data
109 )
110 {
112 storage_of_buffer.field_value_of_data[to_underlying(record_id)] = field_value_of_data;
113 }
114
116 (
117 Record_Id record_id,
118 size_t size,
119 const joedb::Blob *value
120 )
121 {
122 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
123 joedb::Blob *target = &storage_of_buffer.field_value_of_data.data()[to_underlying(record_id)];
124 if (target != value)
125 std::copy_n(value, size, target);
126 }
127
129 (
130 Record_Id record_id,
131 int64_t field_value_of_size
132 )
133 {
135 storage_of_buffer.field_value_of_size[to_underlying(record_id)] = field_value_of_size;
136 }
137
139 (
140 Record_Id record_id,
141 size_t size,
142 const int64_t *value
143 )
144 {
145 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
146 int64_t *target = &storage_of_buffer.field_value_of_size.data()[to_underlying(record_id)];
147 if (target != value)
148 std::copy_n(value, size, target);
149 }
150
152 (
153 Record_Id record_id,
154 int64_t field_value_of_offset
155 )
156 {
158 storage_of_buffer.field_value_of_offset[to_underlying(record_id)] = field_value_of_offset;
159 }
160
162 (
163 Record_Id record_id,
164 size_t size,
165 const int64_t *value
166 )
167 {
168 JOEDB_RELEASE_ASSERT(storage_of_buffer.freedom_keeper.is_used_vector(record_id, size));
169 int64_t *target = &storage_of_buffer.field_value_of_offset.data()[to_underlying(record_id)];
170 if (target != value)
171 std::copy_n(value, size, target);
172 }
173
174 public:
176
178 {
179 return id_of_buffer
180 (
181 Record_Id(storage_of_buffer.freedom_keeper.get_next(id.get_record_id()))
182 );
183 }
184
186 {
187 return id_of_buffer
188 (
189 Record_Id(storage_of_buffer.freedom_keeper.get_previous(id.get_record_id()))
190 );
191 }
192
193 template<class Comparator>
194 std::vector<id_of_buffer> sorted_buffer(Comparator comparator) const;
195
197 {
198 return id_of_buffer();
199 }
200
202 {
204 return (joedb::Blob)(storage_of_buffer.field_value_of_data[record.get_id()]);
205 }
206
207 int64_t get_size(id_of_buffer record) const
208 {
210 return (int64_t)(storage_of_buffer.field_value_of_size[record.get_id()]);
211 }
212
213 int64_t get_offset(id_of_buffer record) const
214 {
216 return (int64_t)(storage_of_buffer.field_value_of_offset[record.get_id()]);
217 }
218 };
219 /// returned by @ref Database::get_buffer_table
221 {
222 friend class Database;
223
224 private:
225 const Database &db;
226 container_of_buffer(const Database &db): db(db) {}
227
228 public:
230 {
232 private:
233 const joedb::Freedom_Keeper *fk;
234 Record_Id index;
235 iterator(const detail::data_of_buffer &data): fk(&data.freedom_keeper), index(joedb::Freedom_Keeper_Constants::used_list) {}
236 public:
237 using iterator_category = std::forward_iterator_tag;
239 using difference_type = std::ptrdiff_t;
242
243 bool operator==(const iterator &i) const {return index == i.index;}
244 bool operator!=(const iterator &i) const {return index != i.index;}
245 iterator &operator++() {index = fk->get_next(index); return *this;}
246 iterator operator++(int) {auto copy = *this; index = fk->get_next(index); return copy;}
247 iterator &operator--() {index = fk->get_previous(index); return *this;}
248 iterator operator--(int) {auto copy = *this; index = fk->get_previous(index); return copy;}
250 };
251
252 iterator begin() const {return ++iterator(db.storage_of_buffer);}
254 bool is_empty() const {return db.storage_of_buffer.freedom_keeper.get_used_count() == Record_Id{0};}
255 joedb::index_t get_size() const {return to_underlying(db.storage_of_buffer.freedom_keeper.get_used_count());}
256 static id_of_buffer get_at(size_t i) {return id_of_buffer(Record_Id(i));}
257 bool is_valid_at(size_t i) {return db.storage_of_buffer.freedom_keeper.is_used(Record_Id(i));}
258 id_of_buffer first() const {return *begin();}
259 id_of_buffer last() const {return *--end();}
260 id_of_buffer get_end() const {return *end();}
261 };
262
264 {
265 return container_of_buffer(*this);
266 }
267
268 template<class Comparator>
269 std::vector<id_of_buffer> Database::sorted_buffer(Comparator comparator) const
270 {
271 std::vector<id_of_buffer> result;
272 for (auto x: get_buffer_table())
273 result.emplace_back(x);
274 std::sort(result.begin(), result.end(), comparator);
275 return result;
276 }
277}
278
279#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
void internal_delete_buffer(Record_Id record_id)
Definition Database.h:85
container_of_buffer get_buffer_table() const
Definition Database.h:263
void internal_update_buffer__size(Record_Id record_id, int64_t field_value_of_size)
Definition Database.h:129
int64_t get_size(id_of_buffer record) const
Definition Database.h:207
bool is_valid(id_of_buffer id) const
Definition Database.h:79
static void throw_exception(const std::string &message)
Definition Database.h:74
joedb::Blob get_data(id_of_buffer record) const
Definition Database.h:201
void internal_update_vector_buffer__data(Record_Id record_id, size_t size, const joedb::Blob *value)
Definition Database.h:116
detail::data_of_buffer storage_of_buffer
Definition Database.h:82
id_of_buffer next(id_of_buffer id) const
Definition Database.h:177
void internal_insert_buffer(Record_Id record_id)
Definition Database.h:94
void internal_update_buffer__offset(Record_Id record_id, int64_t field_value_of_offset)
Definition Database.h:152
void internal_update_buffer__data(Record_Id record_id, joedb::Blob field_value_of_data)
Definition Database.h:106
static id_of_buffer null_buffer()
Definition Database.h:196
bool is_valid_record_id_for_buffer(Record_Id record_id) const
Definition Database.h:83
id_of_buffer previous(id_of_buffer id) const
Definition Database.h:185
std::vector< id_of_buffer > sorted_buffer(Comparator comparator) const
Definition Database.h:269
void internal_update_vector_buffer__offset(Record_Id record_id, size_t size, const int64_t *value)
Definition Database.h:162
void internal_vector_insert_buffer(Record_Id record_id, size_t size)
Definition Database.h:99
int64_t get_offset(id_of_buffer record) const
Definition Database.h:213
void internal_update_vector_buffer__size(Record_Id record_id, size_t size, const int64_t *value)
Definition Database.h:139
Implement the joedb::Readable interface for a compiled database.
Definition Readable.h:27
returned by Database::get_buffer_table
Definition Database.h:221
static id_of_buffer get_at(size_t i)
Definition Database.h:256
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