Class ErrorReporter

  • Direct Known Subclasses:
    LookaheadErrorReporter

    public abstract class ErrorReporter
    extends java.lang.Object
    A conduit for reporting errors and warnings to the user.
    • Constructor Detail

      • ErrorReporter

        public ErrorReporter()
    • Method Detail

      • reportError

        @FormatMethod
        public final void reportError​(SourcePosition location,
                                      @FormatString
                                      java.lang.String format,
                                      java.lang.Object... arguments)
      • reportError

        protected abstract void reportError​(SourcePosition location,
                                            java.lang.String message)
      • reportWarning

        @FormatMethod
        public final void reportWarning​(SourcePosition location,
                                        @FormatString
                                        java.lang.String format,
                                        java.lang.Object... arguments)
      • reportWarning

        protected abstract void reportWarning​(SourcePosition location,
                                              java.lang.String message)
      • hadError

        public final boolean hadError()