BadgerDB
 All Classes Namespaces Functions Variables Typedefs Friends Pages
page_not_pinned_exception.cpp
1 
8 #include "page_not_pinned_exception.h"
9 
10 #include <sstream>
11 #include <string>
12 
13 namespace badgerdb {
14 
15 PageNotPinnedException::PageNotPinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn)
16  : BadgerDbException(""), name(nameIn), pageNo(pageNoIn), frameNo(frameNoIn) {
17  std::stringstream ss;
18  ss << "This page is not already pinned. file: " << name << "page: " << pageNo << "frame: " << frameNo;
19  message_.assign(ss.str());
20 }
21 
22 }
Base class for all BadgerDB-specific exceptions.
std::uint32_t FrameId
Identifier for a frame in buffer pool.
Definition: types.h:25
std::uint32_t PageId
Identifier for a page in a file.
Definition: types.h:15
PageNotPinnedException(const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)