WiscDB: page_not_pinned_exception.cpp Source File

00001 
00008 #include "page_not_pinned_exception.h"
00009 
00010 #include <sstream>
00011 #include <string>
00012 
00013 namespace wiscdb {
00014 
00015 PageNotPinnedException::PageNotPinnedException(const std::string& nameIn, PageId pageNoIn, FrameId frameNoIn)
00016     : WiscDbException(""), name(nameIn), pageNo(pageNoIn), frameNo(frameNoIn) {
00017   std::stringstream ss;
00018   ss << "This page is not already pinned. file:  " << name << "page: " << pageNo << "frame: " << frameNo;
00019   message_.assign(ss.str());
00020 }
00021 
00022 }