public class QuietReporter
extends dotty.tools.dotc.reporting.Reporter
| Constructor and Description |
|---|
QuietReporter() |
| Modifier and Type | Method and Description |
|---|---|
void |
doReport(dotty.tools.dotc.reporting.Diagnostic dia,
dotty.tools.dotc.core.Contexts.Context ctx) |
allErrors, countString, displayPrompt, errorCount, errorsReported, flush, fromSimpleReporter, hasErrors, hasStickyErrors, hasUnreportedErrors, hasWarnings, incomplete, isHidden, isReportedFeatureUseSite, issueIfNotSuppressed, pendingMessages, printSummary, removeBufferedMessages, report, reportNewFeatureUseSite, reportsErrorsFor, summary, truncationOK, unreportedWarnings_$eq, unreportedWarnings, warningCount, withIncompleteHandler, withoutTruncating