|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PageId | |
---|---|
diskmgr | |
global |
Uses of PageId in diskmgr |
---|
Methods in diskmgr that return PageId | |
---|---|
PageId |
DiskMgr.allocate_page(int run_size)
Allocates a set of pages on disk, given the run size. |
PageId |
DiskMgr.get_file_entry(java.lang.String name)
Get the entry corresponding to the given file. |
Methods in diskmgr with parameters of type PageId | |
---|---|
void |
DiskMgr.add_file_entry(java.lang.String fname,
PageId start_page_num)
Adds a file entry to the header page(s). |
void |
DiskMgr.allocate_page(PageId start_page_num)
Allocate a set of pages where the run size is taken to be 1 by default. |
void |
DiskMgr.allocate_page(PageId start_page_num,
int runsize)
user specified run_size |
void |
DiskMgr.deallocate_page(PageId start_page_num)
Deallocate a set of pages starting at the specified page number with run size = 1 |
void |
DiskMgr.deallocate_page(PageId start_page_num,
int run_size)
Deallocate a set of pages starting at the specified page number and a run size can be specified. |
void |
DiskMgr.read_page(PageId pageno,
Page apage)
Read the contents of the specified page into a Page object |
void |
DiskMgr.write_page(PageId pageno,
Page apage)
Write the contents in a page object to the specified page. |
Uses of PageId in global |
---|
Fields in global declared as PageId | |
---|---|
PageId |
RID.pageno
The record's page number. |
Methods in global with parameters of type PageId | |
---|---|
void |
PageId.copyPageId(PageId pageNo)
Makes a copy of the given PageId. |
Constructors in global with parameters of type PageId | |
---|---|
RID(PageId pageno,
int slotno)
Constructs an RID from the given values. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |