| 46 | } |
| 47 | |
| 48 | void DatabaseHeader::updateCatalogPageRange(PageManager& pageManager, PageRange newPageRange) { |
| 49 | if (catalogPageRange.startPageIdx != common::INVALID_PAGE_IDX) { |
| 50 | pageManager.freePageRange(catalogPageRange); |
| 51 | } |
| 52 | catalogPageRange = newPageRange; |
| 53 | } |
| 54 | |
| 55 | void DatabaseHeader::freeMetadataPageRange(PageManager& pageManager) const { |
| 56 | if (metadataPageRange.startPageIdx != common::INVALID_PAGE_IDX) { |
no test coverage detected