/**
* Get the line from text of the file.
*
* @param index index of the line
* @return line from text of the file
*/
public String getLine(int index) {
return text.get(index);
}
/**
* Get a single line. For internal use only, as getText().get(lineNo) is just as suitable for
* external use and avoids method duplication.
*
* @param lineNo the number of the line to get
* @return the corresponding line, without terminator
* @throws IndexOutOfBoundsException if lineNo is invalid
*/
private String line(int lineNo) {
return text.get(lineNo);
}
