Package com.intellij.util.io

Class RandomAccessDataFile

java.lang.Object

com.intellij.util.io.RandomAccessDataFile

All Implemented Interfaces:

Forceable

public class RandomAccessDataFile
extends Object
implements Forceable

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
RandomAccessDataFile(File file)
RandomAccessDataFile(File file, PagePool pool)

Method Summary

Modifier and Type	Method	Description
void	dispose()
void	flushPage(Page page, int start, int end)
void	flushSomePages(int maxPagesToFlush)
void	force()
void	get(long addr, byte[] bytes, int off, int len)
byte	getByte(long addr)
int	getInt(long addr)
long	getLong(long addr)
String	getUTF(long addr)
int	hashCode()
boolean	isDirty()
long	length()
void	loadPage(Page page)
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, String value)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

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(File file)
                     throws IOException

Throws:

IOException

RandomAccessDataFile

public RandomAccessDataFile(File file,
                            PagePool pool)
                     throws IOException

Throws:

IOException

Method Detail

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 String getUTF(long addr)

putUTF

public void putUTF(long addr,
                   String value)

length

public long length()

physicalLength

public long physicalLength()

dispose

public void dispose()

force

public void force()

Specified by:

force in interface Forceable

flushSomePages

public void flushSomePages(int maxPagesToFlush)

isDirty

public boolean isDirty()

Specified by:

isDirty in interface Forceable

loadPage

public void loadPage(Page page)

flushPage

public void flushPage(Page page,
                      int start,
                      int end)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object