scala3-compiler-bootstrapped/dotty.tools.dotc.reporting/StoreReporter

StoreReporter

class StoreReporter(outer: Reporter | Null, fromTyperState: Boolean) extends Reporter

This class implements a Reporter that stores all messages

Beware that this reporter can leak memory, and force messages in two scenarios:

  • During debugging config.Printers.typr is set from noPrinter to new Printer, which forces the message
  • The reporter is not flushed and the message containers capture a Context (about 4MB)
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any

Value members

Concrete methods

def doReport(dia: Diagnostic)(using Context): Unit

Report a diagnostic

Report a diagnostic

override def errorsReported: Boolean

Have errors been reported by this reporter, or in the case where this is a StoreReporter, by an outer reporter?

Have errors been reported by this reporter, or in the case where this is a StoreReporter, by an outer reporter?

Definition Classes
override def hasStickyErrors: Boolean

Were sticky errors reported? Overridden in StoreReporter.

Were sticky errors reported? Overridden in StoreReporter.

Definition Classes
override def hasUnreportedErrors: Boolean

Does this reporter contain errors that have yet to be reported by its outer reporter ? Note: this is always false when there is no outer reporter.

Does this reporter contain errors that have yet to be reported by its outer reporter ? Note: this is always false when there is no outer reporter.

Definition Classes
override def pendingMessages(using Context): List[Diagnostic]

If this reporter buffers messages, all buffered messages, otherwise Nil

If this reporter buffers messages, all buffered messages, otherwise Nil

Definition Classes
override def removeBufferedMessages(using Context): List[Diagnostic]

If this reporter buffers messages, remove and return all buffered messages.

If this reporter buffers messages, remove and return all buffered messages.

Definition Classes
override def report(dia: Diagnostic)(using Context): Unit
Definition Classes

Inherited methods

def addUnreported(key: String, n: Int): Unit
Inherited from:
Reporter
def allErrors: List[Error]

All errors reported by this reporter (ignoring outer reporters)

All errors reported by this reporter (ignoring outer reporters)

Inherited from:
Reporter
def errorCount: Int

The number of errors reported by this reporter (ignoring outer reporters)

The number of errors reported by this reporter (ignoring outer reporters)

Inherited from:
Reporter
def flush()(using Context): Unit

Issue all messages in this reporter to next outer one, or make sure they are written.

Issue all messages in this reporter to next outer one, or make sure they are written.

Inherited from:
Reporter
def hasErrors: Boolean

Have errors been reported by this reporter (ignoring outer reporters)?

Have errors been reported by this reporter (ignoring outer reporters)?

Inherited from:
Reporter
def hasUnreportedMessages(using Context): Boolean

Does this reporter contain any message that have yet to be reported by its outer reporter ? This includes any warning stored in unreportedWarnings which need to be propagated to get an accurate count of unreported warnings in the outer reporter.

Does this reporter contain any message that have yet to be reported by its outer reporter ? This includes any warning stored in unreportedWarnings which need to be propagated to get an accurate count of unreported warnings in the outer reporter.

Inherited from:
Reporter
def hasWarnings: Boolean

Have warnings been reported by this reporter (ignoring outer reporters)?

Have warnings been reported by this reporter (ignoring outer reporters)?

Inherited from:
Reporter
def incomplete(dia: Diagnostic)(using Context): Unit
Inherited from:
Reporter
def isHidden(dia: Diagnostic)(using Context): Boolean

Should this diagnostic not be reported at all?

Should this diagnostic not be reported at all?

Inherited from:
Reporter
def isReportedFeatureUseSite(featureTrait: Symbol): Boolean
Inherited from:
Reporter
def issueIfNotSuppressed(dia: Diagnostic)(using Context): Unit
Inherited from:
Reporter
def issueUnconfigured(dia: Diagnostic)(using Context): Unit

Issue the diagnostic, ignoring -Wconf and @nowarn configurations, but still honouring -nowarn, -Werror, and conditional warnings.

Issue the diagnostic, ignoring -Wconf and @nowarn configurations, but still honouring -nowarn, -Werror, and conditional warnings.

Inherited from:
Reporter
def markReported(dia: Diagnostic)(using Context): Unit
Inherited from:
Reporter
def printSummary(using Context): Unit

Print the summary of warnings and errors

Print the summary of warnings and errors

Inherited from:
Reporter
def reportNewFeatureUseSite(featureTrait: Symbol): Unit
Inherited from:
Reporter
def reportsErrorsFor(op: Context ?=> Unit)(using Context): Boolean

Run op and return true if errors were reported by this reporter.

Run op and return true if errors were reported by this reporter.

Inherited from:
Reporter
def summary: String

Summary of warnings and errors

Summary of warnings and errors

Inherited from:
Reporter
def truncationOK: Boolean
Inherited from:
Reporter
def warningCount: Int

The number of warnings reported by this reporter (ignoring outer reporters)

The number of warnings reported by this reporter (ignoring outer reporters)

Inherited from:
Reporter
def withIncompleteHandler[T](handler: ErrorHandler)(op: => T): T
Inherited from:
Reporter
def withoutTruncating[T](body: => T): T
Inherited from:
Reporter

Inherited fields