it.unimi.dsi.io
Class FileLinesCollection.FileLinesIterator

java.lang.Object
  extended by it.unimi.dsi.io.FileLinesCollection.FileLinesIterator
All Implemented Interfaces:
SafelyCloseable, java.io.Closeable, java.util.Iterator<MutableString>
Enclosing class:
FileLinesCollection

public static final class FileLinesCollection.FileLinesIterator
extends java.lang.Object
implements java.util.Iterator<MutableString>, SafelyCloseable

An iterator over the lines of a FileLinesCollection.

Instances of this class open an InputStream, and thus should be closed after usage. A “safety-net” finaliser tries to take care of the cases in which closing an instance is impossible. An exhausted iterator, however, will be closed automagically.


Method Summary
 void close()
           
protected  void finalize()
           
 boolean hasNext()
           
 MutableString next()
           
 void remove()
           
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

hasNext

public boolean hasNext()
Specified by:
hasNext in interface java.util.Iterator<MutableString>

next

public MutableString next()
Specified by:
next in interface java.util.Iterator<MutableString>

remove

public void remove()
Specified by:
remove in interface java.util.Iterator<MutableString>

close

public void close()
Specified by:
close in interface java.io.Closeable

finalize

protected void finalize()
                 throws java.lang.Throwable
Overrides:
finalize in class java.lang.Object
Throws:
java.lang.Throwable