badgerdb::PagePinnedException Class Reference

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

#include <page_pinned_exception.h>

Inheritance diagram for badgerdb::PagePinnedException:

Public Member Functions
	PagePinnedException (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 not expected to be pinned in the buffer pool is found to be pinned.

Definition at line 20 of file page_pinned_exception.h.

Constructor & Destructor Documentation

badgerdb::PagePinnedException::PagePinnedException ( const std::string &  nameIn, PageId  pageNoIn, FrameId  frameNoIn  )

explicit

Constructs a page pinned exception for the given file.

Definition at line 15 of file page_pinned_exception.cpp.

    : BadgerDbException(""), name(nameIn), pageNo(pageNoIn), frameNo(frameNoIn) {
  std::stringstream ss;
  ss << "This page is 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::PagePinnedException::frameNo

protected

Frame number in buffer pool

Definition at line 41 of file page_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::PagePinnedException::name

protected

Name of file that caused this exception.

Definition at line 31 of file page_pinned_exception.h.

const PageId badgerdb::PagePinnedException::pageNo

protected

Page number in file

Definition at line 36 of file page_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_pinned_exception.h
• /afs/cs.wisc.edu/u/h/a/haiyun/private/cs564-spr17/projects/p2/BufMgr/src/exceptions/page_pinned_exception.cpp