tiny.sql.LifecycleReadOpened

1pub const ReadOpened = struct {2    allocator: Allocator,3    workspace: *Workspace,4    workspace_owned: bool = false,5    file: *file_mod.ReadOnlyDatabase,6    catalog: catalog_mod.Reader,7    head: version.Hash,8    root: version.Hash,910    pub fn deinit(self: *ReadOpened) void {11        const allocator = self.allocator;12        const workspace = self.workspace;13        const workspace_owned = self.workspace_owned;14        self.file.deinit();15        self.allocator.destroy(self.file);16        if (workspace_owned) {17            workspace.deallocate(allocator);18            allocator.destroy(workspace);19        }20        self.* = undefined;21    }22};

1pub const LifecycleReadOpened = lifecycle.ReadOpened;