class ErrorReporter(object):
def __init__(self, window, error_report, settings):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
def error(self, error):
self._error_report.add_error(error)
self._marker.mark_error(error)
self._marker.update_status()
def finish(self):
self._error_report.cycle()
self._marker.mark_errors()
def clear(self):
self._error_report.clear()
self._marker.clear()
def show_errors(self, filename):
self._marker.mark_errors_in(filename)
def hide_errors(self, filename):
self._error_report.clear_file(filename)
self._marker.hide_errors_in(filename)
def update_status(self):
self._marker.update_status()
def __init__(self, window, error_report, settings):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
def __init__(self, window, error_report, settings):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
class ErrorReporter(object):
def __init__(self, window, error_report, settings):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
def error(self, error):
self._error_report.add_error(error)
self._marker.mark_error(error)
self._marker.update_status()
def finish(self):
self._error_report.cycle()
self._marker.mark_errors()
def clear(self):
self._error_report.clear()
self._marker.clear()
def show_errors(self):
self._marker.mark_errors()
def show_errors_in(self, filename):
self._marker.mark_errors_in(filename)
def hide_errors_in(self, filename):
self._error_report.clear_file(filename)
self._marker.hide_errors_in(filename)
def update_status(self):
self._marker.update_status()
def update_status_now(self):
self._marker.update_status_now()
def __init__(self, window, error_report, settings, expand_filename):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
self._expand_filename = expand_filename
class ErrorReporter(object):
def __init__(self, window, error_report, settings, expand_filename):
self._marker = ErrorMarker(window, error_report, settings)
self._error_report = error_report
self._expand_filename = expand_filename
@delayed(0)
def error(self, filename, line, message):
filename = self._expand_filename(filename)
self._error_report.add_error(filename, line, message)
self._marker.mark_line(filename, line)
self._marker.update_status()
@delayed(0)
def finish(self):
self._error_report.cycle()
self._marker.mark_errors()
def show_errors(self, filename):
self._marker.mark_errors_in(filename)
def hide_errors(self, filename):
self._error_report.clear_file(filename)
self._marker.hide_errors_in(filename)
def update_status(self):
self._marker.update_status()