manifold.io.extensions.java.io.BufferedReader

Class ManBufferedReaderExt

java.lang.Object

manifold.io.extensions.java.io.BufferedReader.ManBufferedReaderExt

public class ManBufferedReaderExt
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ManBufferedReaderExt()

Method Summary

Modifier and Type	Method and Description
static java.lang.Iterable<java.lang.String>	lineSequence(java.io.BufferedReader thiz) Returns a sequence of corresponding file lines.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, jailbreak, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ManBufferedReaderExt

public ManBufferedReaderExt()

Method Detail

lineSequence

public static java.lang.Iterable<java.lang.String> lineSequence(java.io.BufferedReader thiz)

Returns a sequence of corresponding file lines.

*Note*: the caller must close the underlying BufferedReader when the iteration is finished

Returns:

a sequence of corresponding file lines. The sequence returned can be iterated only once.