#include <exceptions.h>
Inheritance diagram for PagePinnedBufMgr:
Collaboration diagram for PagePinnedBufMgr:
Public Member Functions | |
| PagePinnedBufMgr (PageId page_id) | |
| Constructor. More... | |
| ~PagePinnedBufMgr () throw () | |
| Destructor. | |
| PageId | getPageId () const throw () |
| Returns the PageId of the pinned Page. 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 |
Detailed Description
PagePinnedBufMgr is thrown by BufferManager if Page is pinned.
Constructor & Destructor Documentation
◆ PagePinnedBufMgr()
|
explicit |
Member Function Documentation
◆ getPageId()
| PageId PagePinnedBufMgr::getPageId | ( | ) | const | |
| throw | ( | |||
| ) | ||||
Member Data Documentation
◆ page_id
The documentation for this class was generated from the following file:
