Packages

object NoReporter extends Reporter

A reporter that ignores reports.

It should probably be called RudeReporter.

Source
NoReporter.scala
Linear Supertypes
Reporter, reflect.internal.Reporter, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NoReporter
  2. Reporter
  3. Reporter
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Severity extends AnyRef
    Definition Classes
    Reporter

Value Members

  1. lazy val ERROR: Severity
    Definition Classes
    Reporter → Reporter
  2. var cancelled: Boolean
    Definition Classes
    Reporter
  3. def comment(pos: Position, msg: String): Unit
    Definition Classes
    Reporter
  4. def count(severity: Severity): Int
    Definition Classes
    Reporter → Reporter
  5. def echo(msg: String): Unit

    For sending a message which should not be labelled as a warning/error, but also shouldn't require -verbose to be visible.

    For sending a message which should not be labelled as a warning/error, but also shouldn't require -verbose to be visible.

    Definition Classes
    Reporter
  6. def echo(pos: Position, msg: String): Unit
    Definition Classes
    Reporter
  7. def error(pos: Position, msg: String): Unit
    Definition Classes
    Reporter
  8. def errorCount: Int
    Definition Classes
    Reporter
  9. def finish(): Unit
    Definition Classes
    Reporter
  10. def flush(): Unit
    Definition Classes
    Reporter
  11. def hasErrors: Boolean
    Definition Classes
    Reporter → Reporter
  12. def hasWarnings: Boolean
    Definition Classes
    Reporter
  13. final def info(pos: Position, msg: String, force: Boolean): Unit

    Informational messages.

    Informational messages. If !force, they may be suppressed.

    Definition Classes
    Reporter
  14. def rerunWithDetails(setting: Setting, name: String): String
    Definition Classes
    Reporter
  15. def reset(): Unit
    Definition Classes
    Reporter → Reporter
  16. def resetCount(severity: Severity): Unit
    Definition Classes
    Reporter → Reporter
  17. def warning(pos: Position, msg: String): Unit
    Definition Classes
    Reporter
  18. def warningCount: Int
    Definition Classes
    Reporter
  19. object INFO extends Severity
    Definition Classes
    Reporter → Reporter
  20. object WARNING extends Severity
    Definition Classes
    Reporter → Reporter