it.unimi.dsi.io
Class FileLinesCollection.FileLinesIterator
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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