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

List of all members.

Public Member Functions
	PagePinnedException (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 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

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

---

Member Data Documentation

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

Frame number in buffer pool

Definition at line 41 of file page_pinned_exception.h.

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

Name of file that caused this exception.

Definition at line 31 of file page_pinned_exception.h.

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

• page_pinned_exception.h
• page_pinned_exception.cpp