BadgerDB
 All Classes Namespaces Functions Variables Typedefs Friends Pages
page_not_pinned_exception.h
1 
8 #pragma once
9 
10 #include <string>
11 
12 #include "badgerdb_exception.h"
13 #include "types.h"
14 
15 namespace badgerdb {
16 
21  public:
25  explicit PageNotPinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn);
26 
27  protected:
31  const std::string& name;
32 
36  const PageId pageNo;
37 
42 };
43 
44 }
An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to...
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)