Method replace

src/main/java/wycc/util/TextFile.java:63–78

Replace a number of lines in this text file with some other number of lines. The number being replaced could be smaller, equal or greater than those being replaced with giving different effects. @param start First line to replace (starting from one) @param end Last line to replace (exclusive). @par

(int start, int end, String... newLines)

	 * @return
	 */
	public TextFile replace(int start, int end, String... newLines) {
		start = start - 1;
		end = end - 1;
		int delta = (end - start) - newLines.length;
		String[] nlines = Arrays.copyOf(lines, lines.length - delta);
		// Copy over new lines
		for (int i = 0; i < newLines.length; ++i) {
			nlines[i + start] = newLines[i];
		}
		// Copy over what comes after
		for(int i = end;i < lines.length; ++i) {
			nlines[i - delta] = lines[i];
		}
		// Done
		return new TextFile(nlines);
	}

	public String getLine(int line) {
		return lines[line-1];