dk.brics.xact.analysis
Class ErrorHandler
java.lang.Object
   dk.brics.xact.analysis.ErrorHandler
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.