public interface FilterBuffer extends RemoteFilterBuffer { 

  char[] read (); // returns  current contents of buffer and clears it. 
                  // Returns a zero-length array if its internal buffer 
                  // is empty and the FilterBuffer has been closed

  void write(char[] str) throws BufTooSmallException; 
                  // write str to buffer if str.length is less than 
                  // maxBufferSize, otherwise throws exception 

  int getMaxBufferSize(); 

  void close(); // informs the FilterBuffer that no more data will be written to it 
  void flush(); // doesn't return until the buffer is empty 

}