Class FileLinesCollection.FileLinesIterator

java.lang.Object
it.unimi.dsi.big.io.FileLinesCollection.FileLinesIterator
All Implemented Interfaces:
SafelyCloseable, Closeable, AutoCloseable, 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.