alice.util
Class StringInputStream
java.lang.Object
java.io.InputStream
alice.util.StringInputStream
- public class StringInputStream
- extends java.io.InputStream
managing a String or other InputStream as
a character source
| Methods inherited from class java.io.InputStream |
available, close, mark, markSupported, read, read, skip |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
StringInputStream
public StringInputStream(java.lang.String s)
read
public int read()
throws java.io.IOException
- read a char
- Throws:
java.io.IOException
reset
public void reset()
throws java.io.IOException
- Throws:
java.io.IOException
seek
public void seek(int n)
- go to n-th char
getCurrentPos
public int getCurrentPos()
getCurrentLine
public int getCurrentLine()
DEIS, Universita' di Bologna, Sede di Cesena