alice.util
Class StringInputStream

java.lang.Object
  extended byjava.io.InputStream
      extended byalice.util.StringInputStream

public class StringInputStream
extends java.io.InputStream

managing a String or other InputStream as a character source


Constructor Summary
StringInputStream(java.lang.String s)
           
 
Method Summary
 int getCurrentLine()
           
 int getCurrentPos()
           
 int read()
          read a char
 void reset()
           
 void seek(int n)
          go to n-th char
 
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
 

Constructor Detail

StringInputStream

public StringInputStream(java.lang.String s)
Method Detail

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