Package db.buffers

Interface RemoteManagedBufferFileHandle

All Superinterfaces:
BufferFileHandle, ManagedBufferFileHandle, Remote

public interface RemoteManagedBufferFileHandle extends ManagedBufferFileHandle, Remote
RemoteManagedBufferFileHandle facilitates access to a ManagedBufferFile via RMI.

Methods from BufferFileHandle and ManagedBufferFile 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.