SwatDB
|
#include <exceptions.h>
Public Member Functions | |
PageNotPinnedBufMgr (PageId page_id) | |
Constructor. More... | |
~PageNotPinnedBufMgr () throw () | |
Destructor. | |
PageId | getPageId () const throw () |
Returns the PageId of the Page not pinned. More... | |
Public Member Functions inherited from SwatDBException | |
SwatDBException (const std::string &msg) | |
virtual | ~SwatDBException () throw () |
virtual const char * | what () const throw () |
Returns the error message of the exception. More... | |
Private Attributes | |
PageId | page_id |
Additional Inherited Members | |
Protected Attributes inherited from SwatDBException | |
std::string | message |
PageNotPinnedBufMgr is thrown by BufferManager if Page is not pinned.
|
explicit |
PageId PageNotPinnedBufMgr::getPageId | ( | ) | const | |
throw | ( | |||
) |