Libraries anvil io File readLines

list readLines()
Reads as many lines as possible from this file
list readLines(int maxLines)
Reads upto given amount of lines from this file
Parameters maxLines -  Maximum number of lines to read
Returns List of strings
Throws IOError -  If an I/O error occurs