Package it.unimi.dsi.big.io
Class FileLinesCollection.FileLinesIterator
java.lang.Object
it.unimi.dsi.big.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.
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 Details
-
hasNext
public boolean hasNext()Deprecated.- Specified by:
hasNext
in interfaceIterator<MutableString>
-
next
Deprecated.- Specified by:
next
in interfaceIterator<MutableString>
-
close
public void close()Deprecated.- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceCloseable
-
finalize
Deprecated.
-
FileLinesMutableStringIterable.iterator(java.io.InputStream, java.nio.charset.Charset, Class)
; thezipped
option of this class can be simulated by passing aGZIPInputStream
as decompressor.