public class PageHeader extends java.lang.Object implements BlockView
Modifier and Type | Field and Description |
---|---|
protected BlockIo |
block |
protected static short |
SIZE |
Modifier | Constructor and Description |
---|---|
protected |
PageHeader(BlockIo block)
Constructs a PageHeader object from a block
|
(package private) |
PageHeader(BlockIo block,
short type)
Constructs a new PageHeader of the indicated type.
|
Modifier and Type | Method and Description |
---|---|
(package private) short |
getMagic()
Returns the magic code
|
(package private) long |
getNext()
Returns the next block.
|
(package private) long |
getPrev()
Returns the previous block.
|
(package private) static PageHeader |
getView(BlockIo block)
Factory method to create or return a page header for the
indicated block.
|
protected void |
paranoiaMagicOk()
For paranoia mode
|
(package private) void |
setNext(long next)
Sets the next block.
|
(package private) void |
setPrev(long prev)
Sets the previous block.
|
(package private) void |
setType(short type)
Sets the type of the page header
|
protected static final short SIZE
protected BlockIo block
protected PageHeader(BlockIo block)
block
- The block that contains the file headerIOException
- if the block is too short to keep the file
header.PageHeader(BlockIo block, short type)
static PageHeader getView(BlockIo block)
protected void paranoiaMagicOk()
short getMagic()
long getNext()
void setNext(long next)
long getPrev()
void setPrev(long prev)
void setType(short type)
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net