Class TextInputStream

java.lang.Object
  |
  +--java.io.InputStream
        |
        +--java.io.FilterInputStream
              |
              +--TextInputStream

public class TextInputStream

extends java.io.FilterInputStream

Field Summary

protected int

pushback

Fields inherited from class java.io.FilterInputStream

in

Fields inherited from class java.io.InputStream

SKIP_BUFFER_SIZE, skipBuffer

Constructor Summary

TextInputStream(java.io.InputStream in)

Method Summary

int	available()
int	read()
int	read(byte[] data, int offset, int length)
int	readInt()
java.lang.String	readWord()
long	skip(long amount)
void	skipWhitespace()
protected void	unread(int chr)

Methods inherited from class java.io.FilterInputStream

close, mark, markSupported, read, reset

Methods inherited from class java.lang.Object

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

Field Detail

pushback

protected int pushback

Constructor Detail

TextInputStream

public TextInputStream(java.io.InputStream in)

Method Detail

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

read

public int read(byte[] data,
                int offset,
                int length)
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

skip

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

Overrides:

skip in class java.io.FilterInputStream

available

public int available()
              throws java.io.IOException

Overrides:

available in class java.io.FilterInputStream

unread

protected void unread(int chr)
               throws java.io.IOException

skipWhitespace

public void skipWhitespace()
                    throws java.io.IOException

readInt

public int readInt()
            throws java.io.IOException,
                   java.lang.NumberFormatException

readWord

public java.lang.String readWord()
                          throws java.io.IOException