savi.alg.sat3
Class IntegerReader

java.lang.Object
  extended by savi.alg.sat3.IntegerReader

public class IntegerReader
extends java.lang.Object

Read integers from a character-input stream.


Constructor Summary
IntegerReader(java.io.Reader r)
          Creates a new instance of IntegerReader
 
Method Summary
 int readInt()
          Read one integer from stream.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IntegerReader

public IntegerReader(java.io.Reader r)
Creates a new instance of IntegerReader

Parameters:
r - reader
Method Detail

readInt

public int readInt()
            throws java.io.IOException
Read one integer from stream.

Returns:
integer
Throws:
java.io.IOException - If an I/O error occurs