Class FileLinesCollection.FileLinesIterator

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

@Deprecated public static final class FileLinesCollection.FileLinesIterator extends Object implements Iterator<MutableString>, SafelyCloseable
Deprecated.
Please use FileLinesMutableStringIterable.iterator(java.io.InputStream, java.nio.charset.Charset, Class); the zipped option of this class can be simulated by passing a GZIPInputStream as decompressor.
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.