Class DataReader

java.lang.Object
  |
  +--java.io.Reader
        |
        +--DataReader

public class DataReader

extends java.io.Reader

Field Summary

protected static int	DIGITS
protected boolean	eof
protected static int	NON_WHITESPACE
protected java.io.PushbackReader	pushbackReader
protected static int	WHITESPACE
protected static int	ZERO_OR_MORE
protected static int	ZERO_OR_ONE

Fields inherited from class java.io.Reader

lock, maxSkipBufferSize, skipBuffer

Constructor Summary

DataReader(java.io.Reader reader)

Method Summary

void	close()
protected boolean	isMatch(int chr, int type)
int	read()
int	read(char[] data, int offset, int length)
double	readDouble()
protected java.lang.String	readExp(int type, int volume)
long	readLong()
java.lang.String	readWord()
boolean	ready()
long	skip(long amount)
protected void	unread(int chr)

Methods inherited from class java.io.Reader

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

pushbackReader

protected java.io.PushbackReader pushbackReader

eof

protected boolean eof

WHITESPACE

protected static final int WHITESPACE

NON_WHITESPACE

protected static final int NON_WHITESPACE

DIGITS

protected static final int DIGITS

ZERO_OR_MORE

protected static final int ZERO_OR_MORE

ZERO_OR_ONE

protected static final int ZERO_OR_ONE

Constructor Detail

DataReader

public DataReader(java.io.Reader reader)

Method Detail

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.Reader

read

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

Overrides:

read in class java.io.Reader

skip

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

Overrides:

skip in class java.io.Reader

ready

public boolean ready()
              throws java.io.IOException

Overrides:

ready in class java.io.Reader

close

public void close()
           throws java.io.IOException

Overrides:

close in class java.io.Reader

unread

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

readWord

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

readLong

public long readLong()
              throws java.io.IOException,
                     java.lang.NumberFormatException

readDouble

public double readDouble()
                  throws java.io.IOException,
                         java.lang.NumberFormatException

readExp

protected java.lang.String readExp(int type,
                                   int volume)
                            throws java.io.IOException

isMatch

protected boolean isMatch(int chr,
                          int type)