 badgerdb | |
  BufDesc | Class for maintaining information about buffer pool frames |
  BufStats | Class to maintain statistics of buffer usage |
  BufMgr | The central class which manages the buffer pool including frame allocation and deallocation to pages in the file |
  hashBucket | Declarations for buffer pool hash table |
  BufHashTbl | Hash table class to keep track of pages in the buffer pool |
  BadBufferException | An exception that is thrown when a buffer is found whose valid is false but other variables in BufDesc are assigned valid values |
  BadgerDbException | Base class for all BadgerDB-specific exceptions |
  BufferExceededException | An exception that is thrown when buffer capacity is exceeded |
  FileExistsException | An exception that is thrown when a file creation is requested for a filename that already exists |
  FileNotFoundException | An exception that is thrown when a file operation is requested for a filename that doesn't exist |
  FileOpenException | An exception that is thrown when a file deletion is requested for a filename that's currently open |
  HashAlreadyPresentException | An exception that is thrown when a new entry to be inserted in the hash table is already present in it |
  HashNotFoundException | An exception that is thrown when an entry being looked up in the hash table is not present in it |
  HashTableException | An exception that is thrown when some unexpected error occurs in the hash table |
  InsufficientSpaceException | An exception that is thrown when a record is attempted to be inserted into a page that doesn't have space for it |
  InvalidPageException | An exception that is thrown when an attempt is made to access an invalid page in a file |
  InvalidRecordException | An exception that is thrown when a record is requested from a page that has a bad record ID |
  InvalidSlotException | An exception that is thrown when a slot that doesn't have data is requested from a page |
  PageNotPinnedException | An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to be not pinned |
  PagePinnedException | An exception that is thrown when a page which is not expected to be pinned in the buffer pool is found to be pinned |
  SlotInUseException | An exception that is thrown when a record is attempted to be inserted into a slot that is already in use |
  FileHeader | Header metadata for files on disk which contain pages |
  File | Class which represents a file in the filesystem containing database pages |
  FileIterator | Iterator for iterating over the pages in a file |
  PageHeader | Header metadata in a page |
  PageSlot | Slot metadata that tracks where a record is in the data space |
  Page | Class which represents a fixed-size database page containing records |
  PageIterator | Iterator for iterating over the records in a page |
  RecordId | Identifier for a record in a page |