|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.exist.storage.btree.Paged.FileHeader
FileHeader
Constructor Summary | |
Paged.FileHeader()
Constructor for the FileHeader object |
|
Paged.FileHeader(boolean read)
|
|
Paged.FileHeader(long pageCount)
Constructor for the FileHeader object |
|
Paged.FileHeader(long pageCount,
int pageSize)
|
|
Paged.FileHeader(long pageCount,
int pageSize,
byte blockSize)
|
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 |
short |
getMaxKeySize()
The maximum number of bytes a key can be. |
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 |
short |
getVersion()
|
int |
getWorkSize()
Gets the workSize attribute of the FileHeader object |
void |
incRecordCount()
Increment the number of records being managed by the file |
boolean |
isDirty()
Returns whether this page has been modified or not. |
void |
read()
|
int |
read(byte[] buf)
|
void |
setDirty(boolean dirty)
Sets the dirty attribute of the FileHeader object |
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 |
setMaxKeySize(short maxKeySize)
The maximum number of bytes a key can be. |
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()
|
int |
write(byte[] buf)
|
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)
pageCount
- Description of the Parameterpublic Paged.FileHeader(long pageCount, int pageSize)
public Paged.FileHeader(long pageCount, int pageSize, byte blockSize)
public Paged.FileHeader(boolean read) throws java.io.IOException
Method Detail |
public final void decRecordCount()
public final long getFirstFreePage()
public final short getHeaderSize()
public final long getLastFreePage()
public final short getMaxKeySize()
public final long getPageCount()
public final byte getPageHeaderSize()
public final int getPageSize()
public final long getRecordCount()
public final long getTotalCount()
public final int getWorkSize()
public final short getVersion()
public final void incRecordCount()
public final boolean isDirty()
true
if this page has been modifiedpublic final void read() throws java.io.IOException
java.io.IOException
public int read(byte[] buf) throws java.io.IOException
java.io.IOException
public final void setDirty(boolean dirty)
dirty
- The new dirty valuepublic final void setFirstFreePage(long firstFreePage)
firstFreePage
- The new firstFreePage valuepublic final void setHeaderSize(short headerSize)
headerSize
- The new headerSize valuepublic final void setLastFreePage(long lastFreePage)
lastFreePage
- The new lastFreePage valuepublic final void setMaxKeySize(short maxKeySize)
maxKeySize
- The new maxKeySize valuepublic final void setPageCount(long pageCount)
pageCount
- The new pageCount valuepublic final void setPageHeaderSize(byte pageHeaderSize)
pageHeaderSize
- The new pageHeaderSize valuepublic final void setPageSize(int pageSize)
pageSize
- The new pageSize valuepublic final void setRecordCount(long recordCount)
recordCount
- The new recordCount valuepublic final void setTotalCount(long totalCount)
totalCount
- The new totalCount valuepublic final void write() throws java.io.IOException
java.io.IOException
public int write(byte[] buf) throws java.io.IOException
java.io.IOException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |