00001 00008 #pragma once 00009 00010 #include <string> 00011 00012 #include "wiscdb_exception.h" 00013 #include "include/types.h" 00014 00015 namespace wiscdb { 00016 00020 class PageNotPinnedException : public WiscDbException { 00021 public: 00025 explicit PageNotPinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn); 00026 00027 protected: 00031 const std::string& name; 00032 00036 const PageId pageNo; 00037 00041 const FrameId frameNo; 00042 }; 00043 00044 }