Package com.intellij.history.core

Class LocalHistoryStorage

java.lang.Object

com.intellij.util.io.storage.AbstractStorage

com.intellij.history.core.LocalHistoryStorage

All Implemented Interfaces:

Disposable, Forceable

public class LocalHistoryStorage
extends AbstractStorage

Nested Class Summary

Nested classes/interfaces inherited from class com.intellij.util.io.storage.AbstractStorage

AbstractStorage.AppenderStream, AbstractStorage.StorageDataOutput

Nested classes/interfaces inherited from interface com.intellij.openapi.Disposable

Disposable.Parent

Field Summary

Fields inherited from class com.intellij.util.io.storage.AbstractStorage

DATA_EXTENSION, INDEX_EXTENSION, LOG, myDataTable, myLock, myPool, myRecordsTable

Constructor Summary

Constructors

Constructor and Description
LocalHistoryStorage(java.lang.String storageFilePath)
LocalHistoryStorage(java.lang.String storageFilePath, PagePool pool)

Method Summary

Modifier and Type	Method and Description
int	createNextRecord()
protected AbstractRecordsTable	createRecordsTable(PagePool pool, java.io.File recordsFile)
void	deleteRecordsUpTo(int idInclusively)
int	getFirstRecord()
long	getFSTimestamp()
long	getLastId()
int	getLastRecord()
int	getNextRecord(int record)
Pair<java.lang.Long,java.lang.Integer>	getOffsetAndSize(int id)
int	getPrevRecord(int record)
long	getTimestamp(int record)
void	setFSTimestamp(long timestamp)
void	setLastId(long lastId)

Methods inherited from class com.intellij.util.io.storage.AbstractStorage

appendBytes, appendStream, checkSanity, createRecordIdIterator, deleteFiles, dispose, doDeleteRecord, flushSome, force, getLiveRecordsCount, getVersion, isDirty, readBytes, readStream, replaceBytes, setVersion, writeBytes, writeStream, writeStream

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalHistoryStorage

public LocalHistoryStorage(java.lang.String storageFilePath)
                    throws java.io.IOException

Throws:

java.io.IOException

LocalHistoryStorage

public LocalHistoryStorage(java.lang.String storageFilePath,
                           PagePool pool)
                    throws java.io.IOException

Throws:

java.io.IOException

Method Detail

createRecordsTable

protected AbstractRecordsTable createRecordsTable(PagePool pool,
                                                  java.io.File recordsFile)
                                           throws java.io.IOException

Specified by:

createRecordsTable in class AbstractStorage

Throws:

java.io.IOException

getFSTimestamp

public long getFSTimestamp()

setFSTimestamp

public void setFSTimestamp(long timestamp)

getLastId

public long getLastId()

setLastId

public void setLastId(long lastId)

getFirstRecord

public int getFirstRecord()

getLastRecord

public int getLastRecord()

getPrevRecord

public int getPrevRecord(int record)

getNextRecord

public int getNextRecord(int record)

getTimestamp

public long getTimestamp(int record)

getOffsetAndSize

public Pair<java.lang.Long,java.lang.Integer> getOffsetAndSize(int id)

createNextRecord

public int createNextRecord()
                     throws java.io.IOException

Throws:

java.io.IOException

deleteRecordsUpTo

public void deleteRecordsUpTo(int idInclusively)
                       throws java.io.IOException

Throws:

java.io.IOException