Class PersistentReporter

  • All Implemented Interfaces:
    Reporter

    public class PersistentReporter
    extends java.lang.Object
    implements Reporter
    • Constructor Detail

      • PersistentReporter

        public PersistentReporter()
    • Method Detail

      • error

        public void error​(java.lang.String msg)
        Specified by:
        error in interface Reporter
      • warning

        public void warning​(java.lang.String msg)
        Specified by:
        warning in interface Reporter
      • error

        public void error​(Position position,
                          java.lang.String msg)
        Specified by:
        error in interface Reporter
      • warning

        public void warning​(Position position,
                            java.lang.String msg)
        Specified by:
        warning in interface Reporter
      • hasErrors

        public boolean hasErrors()
        Specified by:
        hasErrors in interface Reporter
      • reset

        public void reset()
        Specified by:
        reset in interface Reporter