public interface RandomAccessFileProvider
Modifier and Type | Method and Description |
---|---|
default RandomAccessFile |
acquire(java.lang.String location)
Acquire a file for a location from a cache, if available
|
default RandomAccessFile |
acquire(java.lang.String location,
int bufferSize)
Acquire a file for a location, with the given buffer size, from a cache, if available
|
boolean |
isOwnerOf(java.lang.String location)
Determine if this Provider owns this location.
|
RandomAccessFile |
open(java.lang.String location)
Open a location that this Provider is the owner of.
|
default RandomAccessFile |
open(java.lang.String location,
int bufferSize)
Open a location that this Provider is the owner of, with the given buffer size
|
default RandomAccessFile acquire(java.lang.String location) throws java.io.IOException
java.io.IOException
default RandomAccessFile acquire(java.lang.String location, int bufferSize) throws java.io.IOException
java.io.IOException
boolean isOwnerOf(java.lang.String location)
RandomAccessFile open(java.lang.String location) throws java.io.IOException
java.io.IOException
default RandomAccessFile open(java.lang.String location, int bufferSize) throws java.io.IOException
java.io.IOException