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.
ErrorHandler
public ErrorHandler()
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)
Copyright © 2005-2011 Aarhus University.