Package com.intellij.util.io

Class CompressedAppendableFile

java.lang.Object

com.intellij.util.io.CompressedAppendableFile

public class CompressedAppendableFile
extends java.lang.Object

Random read append only file, that internally consists of sequence of (compressed) chunks with the same length (buffer size) + tail that is smaller that buffer size. Main file contains compressed data chunks, there are also chunk length table (.s) and incomplete chunk file (.at). (Decompressed) chunks are cached.

Field Summary

Fields

Modifier and Type	Field and Description
static int	PAGE_LENGTH

Constructor Summary

Constructors

Constructor and Description
CompressedAppendableFile(java.nio.file.Path file)

Method Summary

Modifier and Type	Method and Description
void	append(byte[] buffer, int size)
void	append(byte[] buffer, int offset, int size)
<Data> void	append(Data value, KeyDescriptor<Data> descriptor)
protected int	compress(DataOutputStream compressedDataOut, byte[] buffer)
protected byte []	decompress(java.io.DataInputStream keysStream)
void	dispose()
void	force()
protected java.io.InputStream	getChunkInputStream(java.nio.file.Path appendFile, long offset, int pageSize)
protected java.nio.file.Path	getChunkLengthFile()
protected java.nio.file.Path	getChunksFile()
java.io.DataInputStream	getStream(long addr)
int	hashCode()
boolean	isDirty()
long	length()
<Data> Data	read(long addr, KeyDescriptor<Data> descriptor)
protected void	saveChunk(BufferExposingByteArrayOutputStream compressedChunk, long endOfFileOffset)

Methods inherited from class java.lang.Object

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

Field Detail

PAGE_LENGTH

public static final int PAGE_LENGTH

Constructor Detail

CompressedAppendableFile

public CompressedAppendableFile(java.nio.file.Path file)
                         throws java.io.IOException

Throws:

java.io.IOException

Method Detail

read

public <Data> Data read(long addr,
                        KeyDescriptor<Data> descriptor)
                 throws java.io.IOException

Throws:

java.io.IOException

getStream

public java.io.DataInputStream getStream(long addr)
                                  throws java.io.IOException

Throws:

java.io.IOException

getChunkLengthFile

protected java.nio.file.Path getChunkLengthFile()

getChunkInputStream

protected java.io.InputStream getChunkInputStream(java.nio.file.Path appendFile,
                                                  long offset,
                                                  int pageSize)
                                           throws java.io.IOException

Throws:

java.io.IOException

append

public <Data> void append(Data value,
                          KeyDescriptor<Data> descriptor)
                   throws java.io.IOException

Throws:

java.io.IOException

append

public void append(byte[] buffer,
                   int size)
            throws java.io.IOException

Throws:

java.io.IOException

append

public void append(byte[] buffer,
                   int offset,
                   int size)
            throws java.io.IOException

Throws:

java.io.IOException

compress

protected int compress(DataOutputStream compressedDataOut,
                       byte[] buffer)
                throws java.io.IOException

Throws:

java.io.IOException

decompress

protected byte [] decompress(java.io.DataInputStream keysStream)
                      throws java.io.IOException

Throws:

java.io.IOException

saveChunk

protected void saveChunk(BufferExposingByteArrayOutputStream compressedChunk,
                         long endOfFileOffset)
                  throws java.io.IOException

Throws:

java.io.IOException

getChunksFile

protected java.nio.file.Path getChunksFile()

force

public void force()

dispose

public void dispose()

length

public long length()

isDirty

public boolean isDirty()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object