| 53 | } |
| 54 | |
| 55 | void DatabaseHeader::freeMetadataPageRange(PageManager& pageManager) const { |
| 56 | if (metadataPageRange.startPageIdx != common::INVALID_PAGE_IDX) { |
| 57 | pageManager.freePageRange(metadataPageRange); |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | static constexpr uint8_t HEADER_FORMAT_VERSION_WITH_DATAFILE_NUM_PAGES = 2; |
| 62 |
no test coverage detected