Class

inox

DefaultReporter

Related Doc: package inox

Permalink

class DefaultReporter extends Reporter

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

Instance Constructors

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

    Permalink

Type Members

  1. case class DEBUG(section: DebugSection) extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  2. case class Message(severity: Severity, position: Position, msg: Any) extends Product with Serializable

    Permalink
    Definition Classes
    Reporter

  3. abstract class Severity extends AnyRef

    Permalink
    Definition Classes
    Reporter

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. object ERROR extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  5. object FATAL extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  6. object INFO extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  7. object INTERNAL extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  8. object WARNING extends Severity with Product with Serializable

    Permalink
    Definition Classes
    Reporter

  9. def account(msg: Message): Message

    Permalink
    Definition Classes
    Reporter

  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  11. val blankPrefix: String

    Permalink

  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  13. final def debug(msg: ⇒ Any)(implicit section: DebugSection): Unit

    Permalink
    Definition Classes
    Reporter

  14. def debug(pos: Position, msg: ⇒ Any)(implicit section: DebugSection): Unit

    Permalink
    Definition Classes
    Reporter

  15. val debugSections: Set[DebugSection]

    Permalink
    Definition Classes
    Reporter

  16. def emit(msg: Message): Unit

    Permalink
    Definition Classes
    DefaultReporter → Reporter

  17. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  19. final def error(msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  20. final def error(pos: Position, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  21. final def errorCount: Int

    Permalink
    Definition Classes
    Reporter

  22. final def fatalError(msg: Any): Nothing

    Permalink
    Definition Classes
    Reporter

  23. final def fatalError(pos: Position, msg: Any): Nothing

    Permalink
    Definition Classes
    Reporter

  24. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  25. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  26. def getLine(pos: Position): Option[String]

    Permalink

  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  28. final def ifDebug(body: ((Any) ⇒ Unit) ⇒ Any)(implicit section: DebugSection): Unit

    Permalink
    Definition Classes
    Reporter

  29. def ifDebug(pos: Position, body: ((Any) ⇒ Unit) ⇒ Any)(implicit section: DebugSection): Any

    Permalink
    Definition Classes
    Reporter

  30. final def info(msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  31. final def info(pos: Position, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  32. final def internalAssertion(cond: Boolean, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  33. final def internalAssertion(cond: Boolean, pos: Position, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  34. final def internalError(msg: Any): Nothing

    Permalink
    Definition Classes
    Reporter

  35. final def internalError(pos: Position, msg: Any): Nothing

    Permalink
    Definition Classes
    Reporter

  36. def isDebugEnabled(implicit section: DebugSection): Boolean

    Permalink
    Definition Classes
    Reporter

  37. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  38. var linesOf: Map[File, List[String]]

    Permalink
    Attributes
    protected

  39. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  40. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  41. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  42. def onCompilerProgress(current: Int, total: Int): Unit

    Permalink
    Definition Classes
    Reporter

  43. def onFatal(msg: String = ""): Nothing

    Permalink
    Definition Classes
    Reporter

  44. val prefixSize: Int

    Permalink

  45. def printLineContent(pos: Position): Unit

    Permalink

  46. def reline(pfx: String, msg: String): String

    Permalink
    Attributes
    protected

  47. def severityToPrefix(sev: Severity): String

    Permalink
    Attributes
    protected

  48. def smartPos(p: Position): String

    Permalink

  49. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  50. def terminateIfError(): Unit

    Permalink
    Definition Classes
    Reporter

  51. final def title(msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  52. final def title(pos: Position, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  53. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  54. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  55. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  56. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  57. final def warning(msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  58. final def warning(pos: Position, msg: Any): Unit

    Permalink
    Definition Classes
    Reporter

  59. final def warningCount: Int

    Permalink
    Definition Classes
    Reporter

  60. final def whenDebug(section: DebugSection)(body: ((Any) ⇒ Unit) ⇒ Any): Unit

    Permalink
    Definition Classes
    Reporter

  61. def whenDebug(pos: Position, section: DebugSection)(body: ((Any) ⇒ Unit) ⇒ Any): Unit

    Permalink
    Definition Classes
    Reporter

Inherited from Reporter

Inherited from AnyRef

Inherited from Any

Ungrouped