Class PrintStreamErrorManager

  • All Implemented Interfaces:
    ErrorHandler, ErrorManager

    @Deprecated
    public class PrintStreamErrorManager
    extends BasicErrorManager
    Deprecated.
    , Please use the {#SortingErrorManger} with a {#PrintStreamErrorReportGenerator} instead.
    An error manager that prints errors and warnings to the print stream provided in addition to the functionality of the BasicErrorManager.

    It collaborates with a SourceExcerptProvider via a MessageFormatter to display error messages with source context.

    • Constructor Detail

      • PrintStreamErrorManager

        public PrintStreamErrorManager​(MessageFormatter formatter,
                                       java.io.PrintStream stream)
        Deprecated.
        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)
        Deprecated.
        Creates an instance with a source-less error formatter.