public class FileHandle
extends java.lang.Object
Constructor and Description |
---|
FileHandle(long fileNum,
java.lang.String label)
Creates a new handle but does not initialize it.
|
Modifier and Type | Method and Description |
---|---|
(package private) void |
close() |
(package private) java.io.RandomAccessFile |
getFile() |
(package private) long |
getFileNum() |
int |
getLogVersion() |
(package private) void |
init(java.io.RandomAccessFile file,
int logVersion)
Initializes the handle after opening the file and reading the header.
|
(package private) boolean |
isOldHeaderVersion() |
(package private) void |
latch() |
(package private) boolean |
latchNoWait() |
void |
release() |
FileHandle(long fileNum, java.lang.String label)
void init(java.io.RandomAccessFile file, int logVersion)
java.io.RandomAccessFile getFile()
long getFileNum()
public int getLogVersion()
boolean isOldHeaderVersion()
void latch() throws DatabaseException
DatabaseException
boolean latchNoWait() throws DatabaseException
DatabaseException
public void release() throws DatabaseException
DatabaseException
void close() throws java.io.IOException
java.io.IOException
Copyright (c) 2004-2012 Oracle. All rights reserved.