Class ErrorReporter


  • public class ErrorReporter
    extends java.lang.Object
    • Constructor Detail

      • ErrorReporter

        public ErrorReporter​(org.xml.sax.ErrorHandler eh,
                             java.lang.Class<?> cls)
    • Method Detail

      • error

        public void error​(java.lang.String key,
                          SourceLocation loc)
      • error

        public void error​(java.lang.String key,
                          java.lang.String arg,
                          SourceLocation loc)
      • error

        public void error​(java.lang.String key,
                          java.lang.String arg1,
                          java.lang.String arg2,
                          SourceLocation loc)
      • warning

        public void warning​(java.lang.String key,
                            SourceLocation loc)
      • warning

        public void warning​(java.lang.String key,
                            java.lang.String arg,
                            SourceLocation loc)
      • warning

        public void warning​(java.lang.String key,
                            java.lang.String arg1,
                            java.lang.String arg2,
                            SourceLocation loc)
      • getHadError

        public boolean getHadError()
      • getLocalizer

        public Localizer getLocalizer()