org.activemath.omdocjdom.slumb
Class ErrorReporter
java.lang.Object
org.activemath.omdocjdom.slumb.ErrorReporter
public class ErrorReporter
- extends Object
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ErrorReporter
public ErrorReporter(SlumbIndex index,
List accumulator)
ErrorReporter
public ErrorReporter(SlumbIndex index,
List accumulator,
int maxErrors)
hasCurrentReporter
public static boolean hasCurrentReporter()
getCurrentReporter
public static ErrorReporter getCurrentReporter()
getCurrentOrDumbReporter
public static ErrorReporter getCurrentOrDumbReporter()
- Is sure to return a non-null error-reporter though it may be only printing to console.
setCurrentReporter
public static void setCurrentReporter(ErrorReporter rep)
reportError
public void reportError(Throwable ex,
String collectionId)
reportError
public void reportError(OMDocFile file,
Throwable ex)
reportError
public void reportError(String message,
Throwable ex,
Object possibleLoc)