Class PrintStreamErrorHandler

src/main/java/wyc/Compiler.java:331–348

A super simplistic error handler which is used for writing error messages to a given output stream (e.g. stdout). @author David J. Pearce

	 *
	 */
	public static class PrintStreamErrorHandler implements MailBox<SyntaxError> {
		private final PrintStream output;

		public PrintStreamErrorHandler(PrintStream output) {
			this.output = output;
		}

		@Override
		public void send(SyntaxError marker) {
			// Identify enclosing source file
			String filename = marker.getSource().toString() + ".whiley";
			// Determine the source-file span for the given syntactic marker.
			Syntactic.Span span = marker.getTarget().getAncestor(AbstractCompilationUnit.Attribute.Span.class);
			// print the error message
			output.println(filename + "|" + span.getStart() + "|" + span.getEnd() + "|" + marker.getErrorCode() + "|"
					+ marker.getMessage().replace("\n", "\\n"));
		}
	}
}