Class ExceptionMessage


  • public class ExceptionMessage
    extends Message
    A class for error messages produced by the parser system.
    • Field Detail

      • verbose

        protected boolean verbose
    • Method Detail

      • getCause

        public Exception getCause()
        Returns the underlying Exception.
      • write

        public void write​(PrintWriter output,
                          Janitor janitor)
        Writes out a nicely formatted summary of the exception.
        Specified by:
        write in class Message