wisc_db
Main Page
Namespaces
Classes
Files
File List
home
newhall
public
cs44
wiscdb
src
exceptions
page_pinned_exception.h
1
8
#pragma once
9
10
#include <string>
11
12
#include "wiscdb_exception.h"
13
#include "include/types.h"
14
15
namespace
wiscdb
{
16
20
class
PagePinnedException
:
public
WiscDbException
{
21
public
:
25
explicit
PagePinnedException
(
const
std::string& nameIn,
PageId
pageNoIn,
FrameId
frameNoIn);
26
27
protected
:
31
const
std::string&
name
;
32
36
const
PageId
pageNo
;
37
41
const
FrameId
frameNo
;
45
};
46
47
}
wiscdb
Definition:
buffer.h:14
wiscdb::PagePinnedException::pageNo
const PageId pageNo
Definition:
page_pinned_exception.h:36
wiscdb::PagePinnedException::name
const std::string & name
Definition:
page_pinned_exception.h:31
wiscdb::PagePinnedException
An exception that is thrown when a page which is not expected to be pinned in the buffer pool is foun...
Definition:
page_pinned_exception.h:20
wiscdb::PageId
std::uint32_t PageId
Identifier for a page in a file.
Definition:
types.h:15
wiscdb::FrameId
std::uint32_t FrameId
Identifier for a frame in buffer pool.
Definition:
types.h:25
wiscdb::WiscDbException
Base class for all WiscDB-specific exceptions.
Definition:
wiscdb_exception.h:18
wiscdb::PagePinnedException::frameNo
const FrameId frameNo
Definition:
page_pinned_exception.h:41
wiscdb::PagePinnedException::PagePinnedException
PagePinnedException(const std::string &nameIn, PageId pageNoIn, FrameId frameNoIn)
Definition:
page_pinned_exception.cpp:15
Generated by
1.8.11