Class BasicErrorManager

    • Field Detail

      • errors

        protected final java.util.SortedSet<GssError> errors
      • warnings

        protected final java.util.SortedSet<GssError> warnings
    • Constructor Detail

      • BasicErrorManager

        public BasicErrorManager()
    • Method Detail

      • report

        public void report​(GssError error)
        Description copied from interface: ErrorManager
        Report an error message that makes compilation fail.
        Specified by:
        report in interface ErrorManager
      • reportWarning

        public void reportWarning​(GssError warning)
        Description copied from interface: ErrorManager
        Report an error message that does not make compilation fail.
        Specified by:
        reportWarning in interface ErrorManager
      • getErrorCount

        public int getErrorCount()
      • print

        public abstract void print​(java.lang.String msg)