wiscdb::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 wiscdb::PageNotPinnedException:

List of all members.

Public Member Functions
	PageNotPinnedException (const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)
Protected Attributes
const std::string &	name
const PageId	pageNo
const FrameId	frameNo

---

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.

---

Member Data Documentation

const FrameId wiscdb::PageNotPinnedException::frameNo [protected]

Frame number in buffer pool

Definition at line 41 of file page_not_pinned_exception.h.

const std::string& wiscdb::PageNotPinnedException::name [protected]

Name of file that caused this exception.

Definition at line 31 of file page_not_pinned_exception.h.

const PageId wiscdb::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:

• page_not_pinned_exception.h
• page_not_pinned_exception.cpp