org.exist.storage.store
Class DOMFile.DOMFilePageHeader

java.lang.Object
  extended byorg.dbxml.core.filer.Paged.PageHeader
      extended byorg.dbxml.core.filer.BTree.BTreePageHeader
          extended byorg.exist.storage.store.DOMFile.DOMFilePageHeader
Enclosing class:
DOMFile

protected final class DOMFile.DOMFilePageHeader
extends org.dbxml.core.filer.BTree.BTreePageHeader

Description of the Class

Author:
wolf

Field Summary
protected  int dataLen
           
protected  long nextDataPage
           
protected  long prevDataPage
           
protected  short records
           
protected  short tid
           
 
Constructor Summary
DOMFile.DOMFilePageHeader()
          Constructor for the DOMFilePageHeader object
DOMFile.DOMFilePageHeader(byte[] data, int offset)
          Constructor for the DOMFilePageHeader object
 
Method Summary
 void decRecordCount()
          Description of the Method
 int getDataLength()
          Gets the dataLength attribute of the DOMFilePageHeader object
 long getNextDataPage()
          Gets the nextDataPage attribute of the DOMFilePageHeader object
 short getNextTID()
           
 long getPrevDataPage()
           
 short getRecordCount()
          Gets the recordCount attribute of the DOMFilePageHeader object
 void incRecordCount()
          Description of the Method
 int read(byte[] data, int offset)
          Description of the Method
 void setDataLength(int len)
          Sets the dataLength attribute of the DOMFilePageHeader object
 void setNextDataPage(long page)
          Sets the nextDataPage attribute of the DOMFilePageHeader object
 void setNextTID(short tid)
           
 void setPrevDataPage(long page)
           
 void setRecordCount(short recs)
          Sets the recordCount attribute of the DOMFilePageHeader object
 int write(byte[] data, int offset)
          Description of the Method
 
Methods inherited from class org.dbxml.core.filer.BTree.BTreePageHeader
getPointerCount, getValueCount, setValueCount
 
Methods inherited from class org.dbxml.core.filer.Paged.PageHeader
getDataLen, getNextPage, getRecordLen, getStatus, isDirty, setDataLen, setDirty, setNextPage, setRecordLen, setStatus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dataLen

protected int dataLen

nextDataPage

protected long nextDataPage

prevDataPage

protected long prevDataPage

tid

protected short tid

records

protected short records
Constructor Detail

DOMFile.DOMFilePageHeader

public DOMFile.DOMFilePageHeader()
Constructor for the DOMFilePageHeader object


DOMFile.DOMFilePageHeader

public DOMFile.DOMFilePageHeader(byte[] data,
                                 int offset)
                          throws java.io.IOException
Constructor for the DOMFilePageHeader object

Throws:
java.io.IOException - Description of the Exception
Method Detail

decRecordCount

public void decRecordCount()
Description of the Method


getNextTID

public short getNextTID()

setNextTID

public void setNextTID(short tid)

getDataLength

public int getDataLength()
Gets the dataLength attribute of the DOMFilePageHeader object

Returns:
The dataLength value

getNextDataPage

public long getNextDataPage()
Gets the nextDataPage attribute of the DOMFilePageHeader object

Returns:
The nextDataPage value

getPrevDataPage

public long getPrevDataPage()

getRecordCount

public short getRecordCount()
Gets the recordCount attribute of the DOMFilePageHeader object

Returns:
The recordCount value

incRecordCount

public void incRecordCount()
Description of the Method


read

public int read(byte[] data,
                int offset)
         throws java.io.IOException
Description of the Method

Throws:
java.io.IOException - Description of the Exception

setDataLength

public void setDataLength(int len)
Sets the dataLength attribute of the DOMFilePageHeader object

Parameters:
len - The new dataLength value

setNextDataPage

public void setNextDataPage(long page)
Sets the nextDataPage attribute of the DOMFilePageHeader object

Parameters:
page - The new nextDataPage value

setPrevDataPage

public void setPrevDataPage(long page)

setRecordCount

public void setRecordCount(short recs)
Sets the recordCount attribute of the DOMFilePageHeader object

Parameters:
recs - The new recordCount value

write

public int write(byte[] data,
                 int offset)
          throws java.io.IOException
Description of the Method

Throws:
java.io.IOException - Description of the Exception


Copyright (C) Wolfgang Meier. All rights reserved.