Packages

c

inox

Reporter

abstract class Reporter extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
DefaultReporter, PlainTextReporter
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Reporter
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Reporter(debugSections: Set[DebugSection])

Type Members

  1. case class DEBUG (section: DebugSection) extends Severity with Product with Serializable
  2. case class Message (severity: Severity, position: Position, msg: Any) extends Product with Serializable
  3. abstract class Severity extends AnyRef

Abstract Value Members

  1. abstract def emit(msg: Message): Unit

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def account(msg: Message): Message
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def debug(e: Throwable)(implicit section: DebugSection): Unit
  8. final def debug(pos: Position, msg: ⇒ Any, e: Throwable)(implicit section: DebugSection): Unit
  9. final def debug(msg: ⇒ Any)(implicit section: DebugSection): Unit
  10. def debug(pos: Position, msg: ⇒ Any)(implicit section: DebugSection): Unit
  11. val debugSections: Set[DebugSection]
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. final def error(e: Throwable): Unit
  15. final def error(msg: Any): Unit
  16. final def error(pos: Position, msg: Any): Unit
  17. final def errorCount: Int
  18. final def fatalError(msg: Any): Nothing
  19. final def fatalError(pos: Position, msg: Any): Nothing
  20. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  23. final def ifDebug(body: ((Any) ⇒ Unit) ⇒ Any)(implicit section: DebugSection): Unit
  24. def ifDebug(pos: Position, body: ((Any) ⇒ Unit) ⇒ Any)(implicit section: DebugSection): Any
  25. final def info(msg: Any): Unit
  26. final def info(pos: Position, msg: Any): Unit
  27. final def internalAssertion(cond: Boolean, msg: Any): Unit
  28. final def internalAssertion(cond: Boolean, pos: Position, msg: Any): Unit
  29. final def internalError(e: Throwable): Nothing
  30. final def internalError(msg: Any): Nothing
  31. final def internalError(pos: Position, msg: Any): Nothing
  32. def isDebugEnabled(implicit section: DebugSection): Boolean
  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. final def notify(): Unit
    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  37. def onCompilerProgress(current: Int, total: Int): Unit
  38. def onFatal(msg: String = ""): Nothing
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def terminateIfError(): Unit
  41. final def title(msg: Any): Unit
  42. final def title(pos: Position, msg: Any): Unit
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def warning(msg: Any): Unit
  48. final def warning(pos: Position, msg: Any): Unit
  49. final def warningCount: Int
  50. final def whenDebug(section: DebugSection)(body: ((Any) ⇒ Unit) ⇒ Any): Unit
  51. def whenDebug(pos: Position, section: DebugSection)(body: ((Any) ⇒ Unit) ⇒ Any): Unit
  52. object ERROR extends Severity with Product with Serializable
  53. object FATAL extends Severity with Product with Serializable
  54. object INFO extends Severity with Product with Serializable
  55. object INTERNAL extends Severity with Product with Serializable
  56. object WARNING extends Severity with Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped