A small refactor to SourceDB to prepare for doc-search functionality

2026-01-12 13:45:04 -05:00
parent bd53ba09a4
commit 4e374294b6
4 changed files with 43 additions and 28 deletions
--- a/luprex/cpp/core/world.hpp
+++ b/luprex/cpp/core/world.hpp
@@ -265,6 +265,10 @@ public:
    //
    const PrintBuffer *get_printbuffer(int64_t actor_id);

+    // Get the source database.
+    //
+    SourceDB &get_source() { return source_db_; }
+
    // Rebuild the global environment from the source database.
    //
    // Returns true if the rebuild goes without errors.