final class PageCursor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) long |
current |
(package private) PageManager |
pageman |
(package private) short |
type |
Constructor and Description |
---|
PageCursor(PageManager pageman,
long current)
Constructs a page cursor that starts at the indicated block.
|
PageCursor(PageManager pageman,
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 |
getCurrent()
Returns the current value of the cursor.
|
(package private) long |
next()
Returns the next value of the cursor
|
(package private) long |
prev()
Returns the previous value of the cursor
|
PageManager pageman
long current
short type
PageCursor(PageManager pageman, long current)
PageCursor(PageManager pageman, short type) throws java.io.IOException
java.io.IOException
long getCurrent() throws java.io.IOException
java.io.IOException
long next() throws java.io.IOException
java.io.IOException
long prev() throws java.io.IOException
java.io.IOException
Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net