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 to RemoteObjectInvocationHandler.

Method Summary

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 interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.isReadOnly()

setReadOnly

boolean setReadOnly()
             throws java.io.IOException

Specified by:

setReadOnly in interface BufferFileHandle

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 interface BufferFileHandle

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 interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.setParameter(java.lang.String, int)

clearParameters

void clearParameters()
              throws java.io.IOException

Specified by:

clearParameters in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.clearParameters()

getParameterNames

java.lang.String[] getParameterNames()
                              throws java.io.IOException

Specified by:

getParameterNames in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.getParameterNames()

getBufferSize

int getBufferSize()
           throws java.io.IOException

Specified by:

getBufferSize in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.getBufferSize()

getIndexCount

int getIndexCount()
           throws java.io.IOException

Specified by:

getIndexCount in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.getIndexCount()

getFreeIndexes

int[] getFreeIndexes()
              throws java.io.IOException

Specified by:

getFreeIndexes in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.getFreeIndexes()

setFreeIndexes

void setFreeIndexes(int[] indexes)
             throws java.io.IOException

Specified by:

setFreeIndexes in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.setFreeIndexes(int[])

close

void close()
    throws java.io.IOException

Specified by:

close in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.close()

delete

boolean delete()
        throws java.io.IOException

Specified by:

delete in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

}

get

DataBuffer get(int index)
        throws java.io.IOException

Specified by:

get in interface BufferFileHandle

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 interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFile.put(DataBuffer, int)

dispose

void dispose()
      throws java.io.IOException

Specified by:

dispose in interface BufferFileHandle

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 associated BufferFileAdapter.isRemote() is false.

Specified by:

getInputBlockStream in interface BufferFileHandle

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 associated BufferFileAdapter.isRemote() is false.

Specified by:

getOutputBlockStream in interface BufferFileHandle

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 associated BufferFileAdapter.isRemote() is true.

Specified by:

getInputBlockStreamHandle in interface BufferFileHandle

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 associated BufferFileAdapter.isRemote() is true.

Specified by:

getOutputBlockStreamHandle in interface BufferFileHandle

Throws:

java.io.IOException

See Also:

BufferFileAdapter.getOutputBlockStream(int)