class WritableSharedFile extends SharedFileInputStream
Modifier and Type | Field and Description |
---|---|
private AppendStream |
af |
private java.io.RandomAccessFile |
raf |
Constructor and Description |
---|
WritableSharedFile(java.io.File file) |
Modifier and Type | Method and Description |
---|---|
void |
close()
Close the readable and writable files.
|
AppendStream |
getAppendStream()
Return a new AppendStream, but only if one isn't in active use.
|
java.io.RandomAccessFile |
getWritableFile()
Return the writable version of this file.
|
(package private) long |
updateLength()
Update the size of the readable file after writing to the file.
|
available, finalize, getPosition, mark, markSupported, newStream, read, read, reset, skip
private java.io.RandomAccessFile raf
private AppendStream af
public WritableSharedFile(java.io.File file) throws java.io.IOException
java.io.IOException
public java.io.RandomAccessFile getWritableFile()
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class SharedFileInputStream
java.io.IOException
- if an I/O error occurs.long updateLength() throws java.io.IOException
java.io.IOException
public AppendStream getAppendStream() throws java.io.IOException
java.io.IOException