Class JsonErrorReportGenerator

    • Constructor Detail

      • JsonErrorReportGenerator

        public JsonErrorReportGenerator​(java.io.PrintStream stream,
                                        SourceExcerptProvider sourceExcerptProvider)
        Creates an error manager.
        Parameters:
        stream - the stream on which the errors and warnings should be printed. This class does not close the stream
        sourceExcerptProvider - used to retrieve the source context which generated the error