class RecordHeader
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int |
SIZE |
Constructor and Description |
---|
RecordHeader(BlockIo block,
short pos)
Constructs a record header from the indicated data starting at
the indicated position.
|
Modifier and Type | Method and Description |
---|---|
(package private) int |
getAvailableSize()
Returns the available size
|
(package private) int |
getCurrentSize()
Returns the current size
|
(package private) void |
setAvailableSize(int value)
Sets the available size
|
(package private) void |
setCurrentSize(int value)
Sets the current size
|
java.lang.String |
toString() |
static final int SIZE
RecordHeader(BlockIo block, short pos)
int getCurrentSize()
void setCurrentSize(int value)
int getAvailableSize()
void setAvailableSize(int value)
public java.lang.String toString()
toString
in class java.lang.Object
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net