cs564/buffermag_badgerDB/page__not__pinned__exception_8h_source.html

 #pragma once


 #include <string>


 #include "badgerdb_exception.h"

 #include "types.h"


 namespace badgerdb {


 class PageNotPinnedException : public BadgerDbException {

  public:

   explicit PageNotPinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn);


  protected:

   const std::string& name;


   const PageId pageNo;


   const FrameId frameNo;

 };


 }

badgerdb::PageNotPinnedException
An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to...
Definition: page_not_pinned_exception.h:20

badgerdb::PageNotPinnedException::frameNo
const FrameId frameNo
Definition: page_not_pinned_exception.h:41

badgerdb::BadgerDbException
Base class for all BadgerDB-specific exceptions.
Definition: badgerdb_exception.h:18

badgerdb::FrameId
std::uint32_t FrameId
Identifier for a frame in buffer pool.
Definition: types.h:25

badgerdb::PageId
std::uint32_t PageId
Identifier for a page in a file.
Definition: types.h:15

badgerdb::PageNotPinnedException::PageNotPinnedException
PageNotPinnedException(const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)
Definition: page_not_pinned_exception.cpp:15

badgerdb::PageNotPinnedException::name
const std::string & name
Definition: page_not_pinned_exception.h:31

badgerdb::PageNotPinnedException::pageNo
const PageId pageNo
Definition: page_not_pinned_exception.h:36