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:

List of all members.

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_
Friends
std::ostream &	operator<< (std::ostream &out, const BadgerDbException &exception)

---

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 [inline, virtual, inherited]

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 () [inline, virtual, inherited]

Returns a description of the exception.

Returns:

Description of the exception.

Definition at line 45 of file badgerdb_exception.h.

{ return message_.c_str(); }

---

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	out,
		const BadgerDbException &	exception
	)		[friend, inherited]

Formats this exception for printing on the given stream.

Parameters:

out	Stream to print exception to.
exception	Exception to print.

Returns:

Stream with exception printed.

Definition at line 54 of file badgerdb_exception.h.

                                                                      {
    out << exception.message();
    return out;
  }

---

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_ [protected, inherited]

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/p/course/cs564-jignesh/public/html/projects/BadgerDB/bufmgr/src/exceptions/page_not_pinned_exception.h
• /afs/cs.wisc.edu/p/course/cs564-jignesh/public/html/projects/BadgerDB/bufmgr/src/exceptions/page_not_pinned_exception.cpp