import java.rmi.*;

public interface RemoteFilterBuffer extends Remote { 

  char[] read () throws RemoteException;
  void write(char[] str) throws BufTooSmallException, RemoteException; 
  int getMaxBufferSize() throws RemoteException;
  void close() throws RemoteException;
  void flush() throws RemoteException;

}