BufferingReporter

dotty.tools.io.FileWriters.BufferingReporter
final class BufferingReporter extends DelayedReporter

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def error(message: Context ?=> Message, position: SourcePosition): Unit
def log(message: String): Unit

atomically extract and clear the buffered reports, must only be called at a synchronization point.

atomically extract and clear the buffered reports, must only be called at a synchronization point.

Attributes

def warning(message: Context ?=> Message, position: SourcePosition): Unit

Inherited methods

def error(message: Context ?=> Message): Unit

Attributes

Inherited from:
DelayedReporter
final def exception(reason: Context ?=> Message, throwable: Throwable): Unit

Attributes

Inherited from:
DelayedReporter

Attributes

Inherited from:
DelayedReporter
def warning(message: Context ?=> Message): Unit

Attributes

Inherited from:
DelayedReporter