BadgerDB: /afs/cs.wisc.edu/p/course/cs564-jignesh/public/html/projects/BadgerDB/bufmgr/src/exceptions/page_pinned

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