wisc_db
page_not_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 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 }
Definition: buffer.h:14
PageNotPinnedException(const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)
std::uint32_t PageId
Identifier for a page in a file.
Definition: types.h:15
An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to...
std::uint32_t FrameId
Identifier for a frame in buffer pool.
Definition: types.h:25
Base class for all WiscDB-specific exceptions.