Package db.buffers

Interface RemoteBufferFileHandle

All Superinterfaces:
BufferFileHandle, Remote

public interface RemoteBufferFileHandle extends BufferFileHandle, 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.