it.unimi.dsi.io
Class FileLinesCollection.FileLinesIterator
java.lang.Object
it.unimi.dsi.io.FileLinesCollection.FileLinesIterator
- All Implemented Interfaces:
- SafelyCloseable, Closeable, Iterator<MutableString>
- Enclosing class:
- FileLinesCollection
public static final class FileLinesCollection.FileLinesIterator
- extends Object
- implements 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.
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interface Iterator<MutableString>
next
public MutableString next()
- Specified by:
next
in interface Iterator<MutableString>
remove
public void remove()
- Specified by:
remove
in interface Iterator<MutableString>
close
public void close()
- Specified by:
close
in interface Closeable
finalize
protected void finalize()
throws Throwable
- Overrides:
finalize
in class Object
- Throws:
Throwable