Class PrintStreamErrorManager

    • Constructor Detail

      • PrintStreamErrorManager

        public PrintStreamErrorManager​(MessageFormatter formatter,
                                       java.io.PrintStream stream)
        Creates an error manager.
        Parameters:
        formatter - the message formatter used to format the messages
        stream - the stream on which the errors and warnings should be printed. This class does not close the stream
      • PrintStreamErrorManager

        public PrintStreamErrorManager​(java.io.PrintStream stream)
        Creates an instance with a source-less error formatter.