structure
Class ReadStream

java.lang.Object
  extended by java.io.InputStream
      extended by java.io.FilterInputStream
          extended by structure.ReadStream
All Implemented Interfaces:
Closeable

public class ReadStream
extends FilterInputStream

A ReadStream provides reasonable access to the typewritten data on an input stream. Usually, a ReadStream is constructed with no parameters, causing the ReadStream to open access to System.in. The access methods allow one to read from the stream, much as is done with Pascal.


Constructor Summary
ReadStream()
          Construct an empty ReadStream, obtaining info from System.in.
ReadStream(InputStream strm)
          Construct a ReadStream based on pre-existing input stream.
 
Method Summary
 boolean eof()
          Determine if we've seen end-of-file.
 boolean eoln()
          Return true if the next character to be read is an end-of-line mark.
 char getFirst()
          Read (but don't consume) next char in stream.
 void pushbackChar(char c)
          Return character to input stream for reading at later time.
 boolean readBoolean()
          Read the next word "true" or "false" as a boolean.
 char readChar()
          Read next character, whitespace or not.
 double readDouble()
          Reads the next double value from input stream.
 float readFloat()
          Read floating point value from input (Currently not working).
 void readFully(byte[] b)
          Read an array of bytes from input.
 void readFully(byte[] b, int off, int len)
          Read input into byte array.
 int readInt()
          Reads an integer from input stream.
 String readLine()
          Read the remainder of line, including end-of-line mark.
 void readln()
          Read characters up to and including the end-of-line mark.
 long readLong()
          Read a (potentially long) input.
 short readShort()
          Reads an integer from input stream.
 String readString()
          Skip white space and read in the next non-whitespace word as a string.
 String readUTF()
          Read unicode from input.
 void skipWhite()
          Consume all the white-space characters until EOF or other data.
 
Methods inherited from class java.io.FilterInputStream
available, close, mark, markSupported, read, read, read, reset, skip
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReadStream

public ReadStream()
Construct an empty ReadStream, obtaining info from System.in.


ReadStream

public ReadStream(InputStream strm)
Construct a ReadStream based on pre-existing input stream.

Parameters:
strm - The pre-existing input stream.
Method Detail

eof

public boolean eof()
Determine if we've seen end-of-file.

Returns:
True if the next character to be read is EOF.

getFirst

public char getFirst()
Read (but don't consume) next char in stream.

Returns:
The next character to be read.

eoln

public boolean eoln()
Return true if the next character to be read is an end-of-line mark.

Returns:
True iff the next character is an end-of-line mark.

readln

public void readln()
Read characters up to and including the end-of-line mark.


skipWhite

public void skipWhite()
Consume all the white-space characters until EOF or other data.


readString

public String readString()
Skip white space and read in the next non-whitespace word as a string.

Returns:
The next word on the input.

readBoolean

public boolean readBoolean()
Read the next word "true" or "false" as a boolean.

Returns:
The value true or false, depending on input.

readChar

public char readChar()
Read next character, whitespace or not. Fail on eof.

Returns:
The next character, or the value 0 indicating EOF.

pushbackChar

public void pushbackChar(char c)
Return character to input stream for reading at later time.

Parameters:
c - The character to push back onto input stream.

readDouble

public double readDouble()
Reads the next double value from input stream. Whitespace is skipped beforehand. CURRENTLY NOT WORKING.

Returns:
The next double found on input.

readFloat

public float readFloat()
Read floating point value from input (Currently not working). Skips whitespace before reading.

Returns:
Next floating point number.

readFully

public void readFully(byte[] b)
               throws IOException
Read an array of bytes from input.

Parameters:
b - The array of bytes; holds result.
Throws:
IOException

readFully

public void readFully(byte[] b,
                      int off,
                      int len)
               throws IOException
Read input into byte array.

Parameters:
b - Target array of bytes.
off - Offset into byte array to start reading.
len - Number of bytes to be read.
Throws:
IOException

readShort

public short readShort()
Reads an integer from input stream.

Returns:
The integer read form input.

readInt

public int readInt()
Reads an integer from input stream.

Returns:
The integer read form input.

readLong

public long readLong()
Read a (potentially long) input.

Returns:
The integer read from input.

readLine

public String readLine()
Read the remainder of line, including end-of-line mark.

Returns:
The string containing all the characters to end-of-line.

readUTF

public String readUTF()
               throws IOException
Read unicode from input.

Returns:
String version of UTF character.
Throws:
IOException