BadgerDB
 All Classes Namespaces Functions Variables Typedefs Friends Pages
Public Member Functions | Protected Attributes | List of all members
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:
badgerdb::BadgerDbException

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.

16  : BadgerDbException(""), name(nameIn), pageNo(pageNoIn), frameNo(frameNoIn) {
17  std::stringstream ss;
18  ss << "This page is already pinned. file: " << name << "page: " << pageNo << "frame: " << frameNo;
19  message_.assign(ss.str());
20 }
BadgerDbException(const std::string &msg)

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.

38 { 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.

45 { 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: