badgerdb::PageNotPinnedException Class Reference

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 badgerdb::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

badgerdb::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.

    : BadgerDbException(""), 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());
}

Member Function Documentation

virtual const std::string& badgerdb::BadgerDbException::message ( ) const

inlinevirtualinherited

Returns a message describing the problem that caused this exception.

Returns

Message describing the problem that caused this exception.

Definition at line 38 of file badgerdb_exception.h.

{ return message_; }

virtual const char* badgerdb::BadgerDbException::what ( ) const throw ( )

inlinevirtualinherited

Returns a description of the exception.

Returns

Description of the exception.

Definition at line 45 of file badgerdb_exception.h.

{ return message_.c_str(); }

Member Data Documentation

const FrameId badgerdb::PageNotPinnedException::frameNo

protected

Frame number in buffer pool

Definition at line 41 of file page_not_pinned_exception.h.

std::string badgerdb::BadgerDbException::message_

protectedinherited

Message describing the problem that caused this exception.

Definition at line 64 of file badgerdb_exception.h.

const std::string& badgerdb::PageNotPinnedException::name

protected

Name of file that caused this exception.

Definition at line 31 of file page_not_pinned_exception.h.

const PageId badgerdb::PageNotPinnedException::pageNo

protected

Page number in file

Definition at line 36 of file page_not_pinned_exception.h.

---

The documentation for this class was generated from the following files:

• /afs/cs.wisc.edu/u/h/a/haiyun/private/cs564-spr17/projects/p2/BufMgr/src/exceptions/page_not_pinned_exception.h
• /afs/cs.wisc.edu/u/h/a/haiyun/private/cs564-spr17/projects/p2/BufMgr/src/exceptions/page_not_pinned_exception.cpp