org.openrdf.sesame.sailimpl.nativerdf.datastore
Class IDFile

java.lang.Object
  org.openrdf.sesame.sailimpl.nativerdf.datastore.IDFile

public class IDFile

extends Object

Class supplying access to an ID file.

Version:

$Revision: 1.11.4.4 $

Author:

Arjohn Kampman

Constructor Summary

IDFile(File file)

Method Summary

void	clear()
void	close()
void	commitTransaction()
int	getMaxID()
int	getNewID() Gets a new and unused ID that can be assign to new data.
long	getOffset(int id, boolean dirtyReads) Gets the offset of the data entry with the specified ID.
void	rollbackTransaction()
void	startTransaction(boolean isolateTransaction)
void	storeOffset(int id, long offset) Stores the offset of a new data entry with the specified ID.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IDFile

public IDFile(File file)
       throws IOException

Method Detail

startTransaction

public void startTransaction(boolean isolateTransaction)
                      throws IOException

Throws:

IOException

commitTransaction

public void commitTransaction()
                       throws IOException

Throws:

IOException

rollbackTransaction

public void rollbackTransaction()
                         throws IOException

Throws:

IOException

getNewID

public int getNewID()
             throws IOException

Gets a new and unused ID that can be assign to new data.

Throws:

IOException

getMaxID

public int getMaxID()
             throws IOException

Throws:

IOException

storeOffset

public void storeOffset(int id,
                        long offset)
                 throws IOException

Stores the offset of a new data entry with the specified ID.

Throws:

IOException

getOffset

public long getOffset(int id,
                      boolean dirtyReads)
               throws IOException

Gets the offset of the data entry with the specified ID.

Throws:

IOException

clear

public void clear()
           throws IOException

Throws:

IOException

close

public void close()
           throws IOException

Throws:

IOException