core :: Reader :: read_lines
# Read all the lines until the eof.
#
# The line terminator '\n' and `\r\n` is removed in each line,
#
# ~~~
# var txt = "Hello\n\nWorld\n"
# var i = new StringReader(txt)
# assert i.read_lines == ["Hello", "", "World"]
# ~~~
#
# This method is more efficient that splitting
# the result of `read_all`.
#
# NOTE: SEE `read_line` for details.
fun read_lines: Array[String]
do
var res = new Array[String]
while not eof do
res.add read_line
end
return res
end
lib/core/stream.nit:285,2--306,4