Package db.buffers
Interface RemoteBufferFileHandle
-
- All Superinterfaces:
BufferFileHandle
,java.rmi.Remote
public interface RemoteBufferFileHandle extends BufferFileHandle, java.rmi.Remote
RemoteBufferFileHandle
facilitates access to a remote BufferFile via RMI.Methods from
BufferFileHandle
must be re-declared here so they may be properly marshalled for remote invocation via RMI. This became neccessary with an OpenJDK 11.0.6 change made toRemoteObjectInvocationHandler
.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
clearParameters()
void
close()
boolean
delete()
void
dispose()
DataBuffer
get(int index)
int
getBufferSize()
int[]
getFreeIndexes()
int
getIndexCount()
InputBlockStream
getInputBlockStream()
Provides local access to an input block stream.BlockStreamHandle<InputBlockStream>
getInputBlockStreamHandle()
Get an input block stream handle which will facilitate access to a remote InputBlockStream.OutputBlockStream
getOutputBlockStream(int blockCount)
Provides local access to an output block stream.BlockStreamHandle<OutputBlockStream>
getOutputBlockStreamHandle(int blockCount)
Get an output block stream handle which will facilitate access to a remote InputBlockStream.int
getParameter(java.lang.String name)
java.lang.String[]
getParameterNames()
boolean
isReadOnly()
void
put(DataBuffer buf, int index)
void
setFreeIndexes(int[] indexes)
void
setParameter(java.lang.String name, int value)
boolean
setReadOnly()
-
-
-
Method Detail
-
isReadOnly
boolean isReadOnly() throws java.io.IOException
- Specified by:
isReadOnly
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.isReadOnly()
-
setReadOnly
boolean setReadOnly() throws java.io.IOException
- Specified by:
setReadOnly
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.setReadOnly()
-
getParameter
int getParameter(java.lang.String name) throws java.util.NoSuchElementException, java.io.IOException
- Specified by:
getParameter
in interfaceBufferFileHandle
- Throws:
java.util.NoSuchElementException
java.io.IOException
- See Also:
BufferFile.getParameter(java.lang.String)
-
setParameter
void setParameter(java.lang.String name, int value) throws java.io.IOException
- Specified by:
setParameter
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.setParameter(java.lang.String, int)
-
clearParameters
void clearParameters() throws java.io.IOException
- Specified by:
clearParameters
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.clearParameters()
-
getParameterNames
java.lang.String[] getParameterNames() throws java.io.IOException
- Specified by:
getParameterNames
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.getParameterNames()
-
getBufferSize
int getBufferSize() throws java.io.IOException
- Specified by:
getBufferSize
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.getBufferSize()
-
getIndexCount
int getIndexCount() throws java.io.IOException
- Specified by:
getIndexCount
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.getIndexCount()
-
getFreeIndexes
int[] getFreeIndexes() throws java.io.IOException
- Specified by:
getFreeIndexes
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.getFreeIndexes()
-
setFreeIndexes
void setFreeIndexes(int[] indexes) throws java.io.IOException
- Specified by:
setFreeIndexes
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.setFreeIndexes(int[])
-
close
void close() throws java.io.IOException
- Specified by:
close
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.close()
-
delete
boolean delete() throws java.io.IOException
- Specified by:
delete
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
}
-
get
DataBuffer get(int index) throws java.io.IOException
- Specified by:
get
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.get(DataBuffer, int)
-
put
void put(DataBuffer buf, int index) throws java.io.IOException
- Specified by:
put
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.put(DataBuffer, int)
-
dispose
void dispose() throws java.io.IOException
- Specified by:
dispose
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFile.dispose()
-
getInputBlockStream
InputBlockStream getInputBlockStream() throws java.io.IOException
Description copied from interface:BufferFileHandle
Provides local access to an input block stream. This method should only be used if the associatedBufferFileAdapter.isRemote()
is false.- Specified by:
getInputBlockStream
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFileAdapter.getInputBlockStream()
-
getOutputBlockStream
OutputBlockStream getOutputBlockStream(int blockCount) throws java.io.IOException
Description copied from interface:BufferFileHandle
Provides local access to an output block stream. This method should only be used if the associatedBufferFileAdapter.isRemote()
is false.- Specified by:
getOutputBlockStream
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFileAdapter.getOutputBlockStream(int)
-
getInputBlockStreamHandle
BlockStreamHandle<InputBlockStream> getInputBlockStreamHandle() throws java.io.IOException
Description copied from interface:BufferFileHandle
Get an input block stream handle which will facilitate access to a remote InputBlockStream. The handle will facilitate use of a remote streaming interface. This method should only be used if the associatedBufferFileAdapter.isRemote()
is true.- Specified by:
getInputBlockStreamHandle
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFileAdapter.getInputBlockStream()
-
getOutputBlockStreamHandle
BlockStreamHandle<OutputBlockStream> getOutputBlockStreamHandle(int blockCount) throws java.io.IOException
Description copied from interface:BufferFileHandle
Get an output block stream handle which will facilitate access to a remote InputBlockStream. The handle will facilitate use of a remote streaming interface. This method should only be used if the associatedBufferFileAdapter.isRemote()
is true.- Specified by:
getOutputBlockStreamHandle
in interfaceBufferFileHandle
- Throws:
java.io.IOException
- See Also:
BufferFileAdapter.getOutputBlockStream(int)
-
-