|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.InputStream | +--java.io.FilterInputStream | +--ReadStream
A stream for reading basic types from input.
Field Summary | |
protected boolean |
absorbNL
|
protected boolean |
atEOF
|
protected char[] |
buffer
|
protected int |
buffersize
|
protected int |
buffertop
|
protected java.io.DataInputStream |
strm
|
Fields inherited from class java.io.FilterInputStream |
in |
Constructor Summary | |
ReadStream()
post: constructs a pascal-like stream based on System.in |
|
ReadStream(java.io.InputStream strm)
pre: strm is a valid input stream. |
Method Summary | |
boolean |
eof()
test if the end-of-file is reached |
boolean |
eoln()
returns true if next stream char is a eoln char |
char |
peek()
returns next character in stream, without consuming it |
void |
pushbackChar(char c)
pushes back character, possibly clearing EOF; if c == 0, does nothing |
boolean |
readBoolean()
returns next boolean value read from input |
char |
readChar()
returns next character, or 0 for eof |
double |
readDouble()
post: reads in double value |
float |
readFloat()
reads floating point value and returns value |
void |
readFully(byte[] b)
reads an array of bytes from stream |
void |
readFully(byte[] b,
int off,
int len)
reads a portion of an array of bytes from stream |
int |
readInt()
reads an integer from stream |
java.lang.String |
readLine()
reads remainder of line, returns as string |
void |
readln()
reads input stream until end-of-line (\r or \n or \n\r) |
long |
readLong()
reads a long integer from stream |
short |
readShort()
reads a short integer from stream |
java.lang.String |
readString()
reads next word as string |
java.lang.String |
readUTF()
|
void |
skipWhite()
post: input pointer is at EOF, or non-whitespace char |
Methods inherited from class java.io.FilterInputStream |
available, close, mark, markSupported, read, read, read, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected java.io.DataInputStream strm
protected boolean atEOF
protected char[] buffer
protected int buffersize
protected int buffertop
protected boolean absorbNL
Constructor Detail |
public ReadStream()
public ReadStream(java.io.InputStream strm)
Method Detail |
public boolean eof()
public char peek()
public boolean eoln()
public void readln()
public void skipWhite()
public java.lang.String readString()
public boolean readBoolean()
public char readChar()
public void pushbackChar(char c)
public double readDouble()
public float readFloat()
public void readFully(byte[] b) throws java.io.IOException
java.io.IOException
public void readFully(byte[] b, int off, int len) throws java.io.IOException
java.io.IOException
public short readShort()
public int readInt()
public long readLong()
public java.lang.String readLine()
public java.lang.String readUTF() throws java.io.IOException
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |