Package com.semedy.reasoner.edb.persistentstore.bplustree

Class SimpleDataFile

java.lang.Object

com.semedy.reasoner.edb.persistentstore.bplustree.SimpleDataFile

All Implemented Interfaces:

DataFile, AutoCloseable

public class SimpleDataFile
extends Object
implements DataFile

Simple data file for symbol table

Author:

angele

Constructor Summary

Constructors

Constructor	Description
SimpleDataFile(String path)

Method Summary

Modifier and Type	Method	Description
boolean	checkSanity()	checks free space list
boolean	checkSanity1()	checks for double occurences
void	clear()	clear file
void	close()	Close file
void	create()	Create a file.
void	delete()	delete file
Iterator<DataFileElement>	elements()	iterator for the file elements
void	flush()	Flush file
void	free(long offset)	Frees up space at offset
int	length(long position)	length of file piece at pos
boolean	open()	Open an existing file.
byte[]	read(long offset)	Reads data at offset from file and returns it
int	readInt(long position)	read integer at position
void	transactionBegin()	begin transaction
void	transactionCommit()	commit transaction
void	transactionRollback()	rollback transaction
long	write(byte[] data)	write data into file.
long	writeCompressed(byte[] data, int originalLength)	write compressed to file.

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleDataFile

public SimpleDataFile(String path)

Method Details

transactionBegin

public void transactionBegin()
                      throws IOException

Description copied from interface: DataFile

begin transaction

Specified by:

transactionBegin in interface DataFile

Throws:

IOException

transactionCommit

public void transactionCommit()
                       throws IOException

Description copied from interface: DataFile

commit transaction

Specified by:

transactionCommit in interface DataFile

Throws:

IOException

transactionRollback

public void transactionRollback()
                         throws IOException

Description copied from interface: DataFile

rollback transaction

Specified by:

transactionRollback in interface DataFile

Throws:

IOException

create

public void create()
            throws IOException,
EDBException

Description copied from interface: DataFile

Create a file. If it exists it will be cleared. File has a header of 32 bytes

Specified by:

create in interface DataFile

Throws:

IOException

EDBException

open

public boolean open()
             throws IOException

Description copied from interface: DataFile

Open an existing file. Return true if successful.

Specified by:

open in interface DataFile

Returns:

Throws:

IOException

checkSanity1

public boolean checkSanity1()

Description copied from interface: DataFile

checks for double occurences

Specified by:

checkSanity1 in interface DataFile

Returns:

checkSanity

public boolean checkSanity()

Description copied from interface: DataFile

checks free space list

Specified by:

checkSanity in interface DataFile

Returns:

read

public byte[] read(long offset)
            throws IOException

Description copied from interface: DataFile

Reads data at offset from file and returns it

Specified by:

read in interface DataFile

Returns:

Throws:

IOException

free

public void free(long offset)
          throws IOException

Description copied from interface: DataFile

Frees up space at offset

Specified by:

free in interface DataFile

Throws:

IOException

close

public void close()
           throws IOException

Description copied from interface: DataFile

Close file

Specified by:

close in interface AutoCloseable

Specified by:

close in interface DataFile

Throws:

IOException

flush

public void flush()
           throws IOException

Description copied from interface: DataFile

Flush file

Specified by:

flush in interface DataFile

Throws:

IOException

readInt

public int readInt(long position)
            throws IOException

Description copied from interface: DataFile

read integer at position

Specified by:

readInt in interface DataFile

Returns:

Throws:

IOException

write

public long write(byte[] data)
           throws IOException

Description copied from interface: DataFile

write data into file. Returns address of data

Specified by:

write in interface DataFile

Returns:

Throws:

IOException

writeCompressed

public long writeCompressed(byte[] data,
 int originalLength)
                     throws IOException

Description copied from interface: DataFile

write compressed to file. Returns address of data

Specified by:

writeCompressed in interface DataFile

Returns:

Throws:

IOException

delete

public void delete()
            throws IOException

Description copied from interface: DataFile

delete file

Specified by:

delete in interface DataFile

Throws:

IOException

length

public int length(long position)
           throws IOException

Description copied from interface: DataFile

length of file piece at pos

Specified by:

length in interface DataFile

Returns:

Throws:

IOException

clear

public void clear()
           throws IOException,
EDBException

Description copied from interface: DataFile

clear file

Specified by:

clear in interface DataFile

Throws:

IOException

EDBException

elements

public Iterator<DataFileElement> elements()

Description copied from interface: DataFile

iterator for the file elements

Specified by:

elements in interface DataFile

Returns: