wisc_db
page_pinned_exception.h
1 
8 #pragma once
9 
10 #include <string>
11 
12 #include "wiscdb_exception.h"
13 #include "include/types.h"
14 
15 namespace wiscdb {
16 
21  public:
25  explicit PagePinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn);
26 
27  protected:
31  const std::string& name;
32 
36  const PageId pageNo;
37 
45 };
46 
47 }
Definition: buffer.h:14
An exception that is thrown when a page which is not expected to be pinned in the buffer pool is foun...
std::uint32_t PageId
Identifier for a page in a file.
Definition: types.h:15
std::uint32_t FrameId
Identifier for a frame in buffer pool.
Definition: types.h:25
Base class for all WiscDB-specific exceptions.
PagePinnedException(const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)