/* ParseErrorStream.java */

import java.io.*;

public class ParseErrorStream extends PrintWriter {
  private String filename;

  public ParseErrorStream(OutputStream out, String fn) {
	super(out);
	filename = fn;
  }
  public ParseErrorStream(String fn) {
	this(System.err, fn);
  }

  public void error(String msg) {
	println(filename + ": " + msg);
	flush();
  }
  public void error(int line, String msg) {
	println(filename + ": line " + line + ": " + msg);
	flush();
  }
}