public void dump(PrintStream out)	{
		int lineNr = input.getReadLine();
		String line = getLineText();
		
		if (lineNr > 1)	{
			String prevLine = input.getPreviousLine();
			out.print((lineNr - 1)+":\t");
			out.println(prevLine);
		}
		
		out.print(lineNr+":\t");
		out.println(line);

		int nrLen = Integer.toString(lineNr).length();
		for (int i = 0; i < nrLen; i++)
			out.print(" ");

		out.print("\t");

		int errPos = input.getReadColumn();

		for (int i = 0; i < errPos && i < line.length(); i++)
			if (line.charAt(i) == '\t')
				out.print("\t");
			else
				out.print(" ");

		out.println("^");
	}