Method Summary |
|
void | close() Closes the resource. |
void | delete() Deletes the resource. |
boolean | exists() Returns true if the resource currently exists. |
long | getID() Returns a unique id for this resource. |
int | getPageSize() Returns the page size. |
long | getSize() Returns the current size of this resource. |
void | open(boolean read_only) Opens the resource. |
void | read(long page_number, byte[] buf, int off) Reads a page of some previously specified size into the byte array. |
void | setSize(long size) Sets the new size of the resource. |
void | write(long page_number, byte[] buf, int off, int len) Writes a page of some previously specified size to the top log. |