ExploringReporter

dotty.tools.dotc.reporting.ExploringReporter

A re-usable Reporter used in Contexts#test

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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.

Attributes

Definition Classes

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

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

Attributes

Definition Classes
def reset(): Unit

Inherited methods

def addUnreported(key: String, n: Int): Unit

Attributes

Inherited from:
Reporter

All errors reported by this reporter (ignoring outer reporters)

All errors reported by this reporter (ignoring outer reporters)

Attributes

Inherited from:
Reporter

All warnings reported by this reporter (ignoring outer reporters)

All warnings reported by this reporter (ignoring outer reporters)

Attributes

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

Report a diagnostic

Report a diagnostic

Attributes

Inherited from:
StoreReporter

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

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

Attributes

Inherited from:
Reporter
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?

Attributes

Definition Classes
Inherited from:
StoreReporter
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.

Attributes

Inherited from:
Reporter

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

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

Attributes

Inherited from:
Reporter
override def hasStickyErrors: Boolean

Were sticky errors reported? Overridden in StoreReporter.

Were sticky errors reported? Overridden in StoreReporter.

Attributes

Definition Classes
Inherited from:
StoreReporter

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.

Attributes

Inherited from:
Reporter

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

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

Attributes

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

Attributes

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?

Attributes

Inherited from:
Reporter

Attributes

Inherited from:
Reporter

Attributes

Inherited from:
Reporter

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.

Attributes

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

Attributes

Inherited from:
Reporter
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

Attributes

Definition Classes
Inherited from:
StoreReporter
def printSummary()(using Context): Unit

Print the summary of warnings and errors

Print the summary of warnings and errors

Attributes

Inherited from:
Reporter
override def report(dia: Diagnostic)(using Context): Unit

Attributes

Definition Classes
Inherited from:
StoreReporter
def reportNewFeatureUseSite(featureTrait: Symbol): Unit

Attributes

Inherited from:
Reporter

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

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

Attributes

Inherited from:
Reporter

Attributes

Inherited from:
Reporter

Summary of warnings and errors

Summary of warnings and errors

Attributes

Inherited from:
Reporter

Attributes

Inherited from:
Reporter

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

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

Attributes

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

Attributes

Inherited from:
Reporter
def withoutTruncating[T](body: => T): T

Attributes

Inherited from:
Reporter

Inherited fields

Attributes

Inherited from:
Reporter