badgerdb::FileHeader Struct Reference

Header metadata for files on disk which contain pages. More...

#include <file.h>

Public Member Functions
bool	operator== (const FileHeader &rhs) const

Public Attributes
PageId	num_pages
PageId	first_used_page
PageId	num_free_pages
PageId	first_free_page

Detailed Description

Header metadata for files on disk which contain pages.

Definition at line 24 of file file.h.

Member Function Documentation

bool badgerdb::FileHeader::operator== ( const FileHeader &  rhs ) const

inline

Returns true if this file header is equal to the other.

Parameters

rhs	Other file header to compare against.

Returns

True if the other header is equal to this one.

Definition at line 51 of file file.h.

                                               {
    return num_pages == rhs.num_pages &&
        num_free_pages == rhs.num_free_pages &&
        first_used_page == rhs.first_used_page &&
        first_free_page == rhs.first_free_page;
  }

Member Data Documentation

PageId badgerdb::FileHeader::first_free_page

Page number of the first free (allocated but unused) page in the file.

Definition at line 43 of file file.h.

PageId badgerdb::FileHeader::first_used_page

Page number of the first used page in the file.

Definition at line 33 of file file.h.

PageId badgerdb::FileHeader::num_free_pages

Number of free pages (allocated but unused) in the file.

Definition at line 38 of file file.h.

PageId badgerdb::FileHeader::num_pages

Number of pages allocated in the file.

Definition at line 28 of file file.h.

---

The documentation for this struct was generated from the following file:

• /afs/cs.wisc.edu/u/h/a/haiyun/private/cs564-spr17/projects/p2/BufMgr/src/file.h