public interface ExceptionCheckerErrorReporter
void
reportError(ExceptionCheckerError e)
void reportError(ExceptionCheckerError e)