package bufferpool

// DiskManager is responsible for interacting with disk
type DiskManager interface {
	// reads a page from the disk
	ReadPage(PageID) (*Page, error)
	// writes a page to the disk
	WritePage(*Page) error

	// allocates a page
	AllocatePage() (PageID, error)

	// deallocates a page
	DeallocatePage(PageID) error

	// returns on disk file size
	FileSize() int64

	// closes and does any clean up
	Close()
}