dk.brics.xact.analysis
Class ErrorHandler

java.lang.Object
  dk.brics.xact.analysis.ErrorHandler

public class ErrorHandler
extends Object

Accepts error reports from the analysis. The errors are collected in a list that can be accessed with getErrors(). This class must be thread-safe.

Constructor Summary

ErrorHandler()

Method Summary

void	error(Origin origin, ErrorType type, String message, Object... args)
void	error(Throwable t)
List<ErrorReport>	getErrors()
void	printMessages(PrintStream out)
void	printMessages(PrintWriter out)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ErrorHandler

public ErrorHandler()

Method Detail

error

public void error(Origin origin,
                  ErrorType type,
                  String message,
                  Object... args)

error

public void error(Throwable t)

getErrors

public List<ErrorReport> getErrors()

printMessages

public void printMessages(PrintStream out)

printMessages

public void printMessages(PrintWriter out)