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

ExploringReporter

class ExploringReporter extends StoreReporter

A re-usable Reporter used in Contexts#test

class Reporter
trait ReporterResult
class Object
trait Matchable
class Any

Value members

Concrete methods

override def hasUnreportedErrors: Boolean
Definition Classes
override def removeBufferedMessages(using Context): List[Diagnostic]
Definition Classes
def reset(): Unit

Inherited methods

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 doReport(dia: Diagnostic)(using Context): Unit
Inherited from
StoreReporter
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
override def errorsReported: Boolean
Definition Classes
Inherited from
StoreReporter
def flush(using Context): Unit

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

Issue all error 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
override def hasStickyErrors: Boolean
Definition Classes
Inherited from
StoreReporter
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
override def pendingMessages(using Context): List[Diagnostic]
Definition Classes
Inherited from
StoreReporter
def printSummary(using Context): Unit

Print the summary of warnings and errors

Print the summary of warnings and errors

Inherited from
Reporter
def report(dia: Diagnostic)(using Context): Unit
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