fmpp.util
Class BorderedReader

java.lang.Object
  java.io.Reader
      fmpp.util.BorderedReader

All Implemented Interfaces:

java.io.Closeable, java.lang.Readable

public class BorderedReader
extends java.io.Reader

Reader that can insert a string before and after an encapsulated character stream.

Field Summary

Fields inherited from class java.io.Reader

lock

Constructor Summary

BorderedReader(java.lang.String header, java.io.Reader body, java.lang.String footer)

Method Summary

void	close()
int	read()
int	read(char[] cbuf, int off, int len)
long	skip(long n)

Methods inherited from class java.io.Reader

mark, markSupported, read, read, ready, reset

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BorderedReader

public BorderedReader(java.lang.String header,
                      java.io.Reader body,
                      java.lang.String footer)

Method Detail

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in class java.io.Reader

Throws:

java.io.IOException

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.Reader

Throws:

java.io.IOException

read

public int read(char[] cbuf,
                int off,
                int len)
         throws java.io.IOException

Specified by:

read in class java.io.Reader

Throws:

java.io.IOException

skip

public long skip(long n)
          throws java.io.IOException

Overrides:

skip in class java.io.Reader

Throws:

java.io.IOException