An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to be not pinned. More...

#include <page_not_pinned_exception.h>

Inheritance diagram for wiscdb::PageNotPinnedException:

Public Member Functions
	PageNotPinnedException (const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)

virtual const std::string &	message () const

virtual const char *	what () const throw ()

Protected Attributes
const std::string &	name

const PageId	pageNo

const FrameId	frameNo

std::string	message_

Detailed Description

An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to be not pinned.

Definition at line 20 of file page_not_pinned_exception.h.

Constructor & Destructor Documentation

wiscdb::PageNotPinnedException::PageNotPinnedException	(	const std::string &	nameIn,
		PageId	pageNoIn,
		FrameId	frameNoIn
	)

explicit

Constructs a page not pinned exception for the given file.

Definition at line 15 of file page_not_pinned_exception.cpp.

     : WiscDbException(""), name(nameIn), pageNo(pageNoIn), frameNo(frameNoIn) {
   std::stringstream ss;
   ss << "This page is not already pinned. file:  " << name << "page: " << pageNo << "frame: " << frameNo;
   message_.assign(ss.str());
 }