/** * 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); }