public class MigrateReporter
extends dotty.tools.dotc.reporting.AbstractReporter
| Constructor and Description |
|---|
MigrateReporter(Logger logger) |
| Modifier and Type | Method and Description |
|---|---|
void |
doReport(dotty.tools.dotc.reporting.Diagnostic dia,
dotty.tools.dotc.core.Contexts.Context ctx) |
dotty$tools$dotc$reporting$UniqueMessagePositions$_setter_$dotty$tools$dotc$reporting$UniqueMessagePositions$$positions_$eq, dotty$tools$dotc$reporting$UniqueMessagePositions$$positionsallErrors, countString, displayPrompt, errorCount, errorsReported, flush, fromSimpleReporter, hasErrors, hasStickyErrors, hasUnreportedErrors, hasWarnings, incomplete, isReportedFeatureUseSite, issueIfNotSuppressed, pendingMessages, printSummary, removeBufferedMessages, report, reportNewFeatureUseSite, reportsErrorsFor, summary, truncationOK, unreportedWarnings_$eq, unreportedWarnings, warningCount, withIncompleteHandler, withoutTruncatingclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitpublic MigrateReporter(Logger logger)