Package com.intellij.util.io

Class RandomAccessDataFile

java.lang.Object

com.intellij.util.io.RandomAccessDataFile

All Implemented Interfaces:

Forceable, java.io.Closeable, java.lang.AutoCloseable

public class RandomAccessDataFile
extends java.lang.Object
implements Forceable, java.io.Closeable

Field Summary

Fields

Modifier and Type	Field and Description
protected static Logger	LOG
static int	seekcount
static long	totalReadBytes
static int	totalReads
static long	totalWriteBytes
static int	totalWrites

Constructor Summary

Constructors

Constructor and Description
RandomAccessDataFile(java.io.File file)
RandomAccessDataFile(java.io.File file, PagePool pool)

Method Summary

Modifier and Type	Method and Description
void	close()
void	dispose()
void	flushSomePages(int maxPagesToFlush)
void	force() Flushes dirty pages to underlying buffers
void	get(long addr, byte[] bytes, int off, int len)
byte	getByte(long addr)
java.io.File	getFile()
int	getInt(long addr)
long	getLong(long addr)
java.lang.String	getUTF(long addr)
int	hashCode()
boolean	isDirty()
boolean	isDisposed()
long	length()
long	physicalLength()
void	put(long addr, byte[] bytes, int off, int len)
void	putByte(long addr, byte b)
void	putInt(long addr, int value)
void	putLong(long addr, long value)
void	putUTF(long addr, java.lang.String value)
void	sync() Flushes dirty pages to buffers and saves them to disk
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

LOG

protected static final Logger LOG

totalReads

public static int totalReads

totalReadBytes

public static long totalReadBytes

seekcount

public static int seekcount

totalWrites

public static int totalWrites

totalWriteBytes

public static long totalWriteBytes

Constructor Detail

RandomAccessDataFile

public RandomAccessDataFile(java.io.File file)
                     throws java.io.IOException

Throws:

java.io.IOException

RandomAccessDataFile

public RandomAccessDataFile(java.io.File file,
                            PagePool pool)
                     throws java.io.IOException

Throws:

java.io.IOException

Method Detail

getFile

public java.io.File getFile()

put

public void put(long addr,
                byte[] bytes,
                int off,
                int len)

get

public void get(long addr,
                byte[] bytes,
                int off,
                int len)

putInt

public void putInt(long addr,
                   int value)

getInt

public int getInt(long addr)

putLong

public void putLong(long addr,
                    long value)

putByte

public void putByte(long addr,
                    byte b)

getByte

public byte getByte(long addr)

getLong

public long getLong(long addr)

getUTF

public java.lang.String getUTF(long addr)

putUTF

public void putUTF(long addr,
                   java.lang.String value)

length

public long length()

physicalLength

public long physicalLength()

dispose

public void dispose()

close

public void close()

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

force

public void force()

Flushes dirty pages to underlying buffers

Specified by:

force in interface Forceable

sync

public void sync()

Flushes dirty pages to buffers and saves them to disk

flushSomePages

public void flushSomePages(int maxPagesToFlush)

isDirty

public boolean isDirty()

Specified by:

isDirty in interface Forceable

isDisposed

public boolean isDisposed()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object