final class PageCursor
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
(package private) long |
blockId
The current block ID
|
(package private) PageManager |
pageManager
The PageManager
|
(package private) short |
type
The page type
|
| Constructor and Description |
|---|
PageCursor(PageManager pageManager,
long blockId)
Constructs a page cursor that starts at the indicated block.
|
PageCursor(PageManager pageManager,
short type)
Constructs a page cursor that starts at the first block of the
indicated list.
|
| Modifier and Type | Method and Description |
|---|---|
(package private) long |
getBlockId() |
(package private) long |
next() |
(package private) long |
prev() |
java.lang.String |
toString() |
PageManager pageManager
long blockId
short type
PageCursor(PageManager pageManager, long blockId)
pageManager - The PageManagerPageCursor(PageManager pageManager, short type) throws java.io.IOException
pageManager - The PageManagertype - The page typejava.io.IOExceptionlong getBlockId()
throws java.io.IOException
java.io.IOExceptionlong next() throws java.io.IOException
java.io.IOExceptionlong prev() throws java.io.IOException
java.io.IOExceptionpublic java.lang.String toString()
toString in class java.lang.Object