|
dbXML API | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.dbxml.db.common.btree.Paged.FileHeader
FileHeader
Constructor Summary | |
Paged.FileHeader()
|
|
Paged.FileHeader(boolean read)
|
|
Paged.FileHeader(long pageCount)
|
|
Paged.FileHeader(long pageCount,
int pageSize)
|
Method Summary | |
void |
decRecordCount()
Decrement the number of records being managed by the file |
long |
getFirstFreePage()
The first free page in unused secondary space |
short |
getHeaderSize()
The size of the FileHeader. |
long |
getLastFreePage()
The last free page in unused secondary space |
long |
getPageCount()
The number of pages in primary storage |
byte |
getPageHeaderSize()
The size of a page header. |
int |
getPageSize()
The size of a page. |
long |
getRecordCount()
The number of records being managed by the file (not pages) |
long |
getTotalCount()
The number of total pages in the file |
int |
getWorkSize()
|
void |
incRecordCount()
Increment the number of records being managed by the file |
boolean |
isDirty()
|
void |
read()
|
void |
read(java.io.RandomAccessFile raf)
|
void |
setDirty()
|
void |
setFirstFreePage(long firstFreePage)
The first free page in unused secondary space |
void |
setHeaderSize(short headerSize)
The size of the FileHeader. |
void |
setLastFreePage(long lastFreePage)
The last free page in unused secondary space |
void |
setPageCount(long pageCount)
The number of pages in primary storage |
void |
setPageHeaderSize(byte pageHeaderSize)
The size of a page header. |
void |
setPageSize(int pageSize)
The size of a page. |
void |
setRecordCount(long recordCount)
The number of records being managed by the file (not pages) |
void |
setTotalCount(long totalCount)
The number of total pages in the file |
void |
write()
|
void |
write(java.io.RandomAccessFile raf)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Paged.FileHeader()
public Paged.FileHeader(long pageCount)
public Paged.FileHeader(long pageCount, int pageSize)
public Paged.FileHeader(boolean read) throws java.io.IOException
Method Detail |
public final void read() throws java.io.IOException
java.io.IOException
public void read(java.io.RandomAccessFile raf) throws java.io.IOException
java.io.IOException
public final void write() throws java.io.IOException
java.io.IOException
public void write(java.io.RandomAccessFile raf) throws java.io.IOException
java.io.IOException
public final void setDirty()
public final boolean isDirty()
public final void setHeaderSize(short headerSize)
headerSize
- The size of the FileHeaderpublic final short getHeaderSize()
public final void setPageSize(int pageSize)
pageSize
- The size of a pagepublic final int getPageSize()
public final void setPageCount(long pageCount)
pageCount
- The number of pagespublic final long getPageCount()
public final void setTotalCount(long totalCount)
totalCount
- The number of total pagespublic final long getTotalCount()
public final void setFirstFreePage(long firstFreePage)
firstFreePage
- The first free pagepublic final long getFirstFreePage()
public final void setLastFreePage(long lastFreePage)
lastFreePage
- The last free pagepublic final long getLastFreePage()
public final void setPageHeaderSize(byte pageHeaderSize)
pageHeaderSize
- The size of the page headerpublic final byte getPageHeaderSize()
public final void setRecordCount(long recordCount)
recordCount
- The record countpublic final void incRecordCount()
public final void decRecordCount()
public final long getRecordCount()
public final int getWorkSize()
|
dbXML API | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |