Class

org.argus.jawa.compiler.interactive

InteractiveReporter

Related Doc: package interactive

Permalink

abstract class InteractiveReporter extends ReporterImpl

Linear Supertypes
ReporterImpl, Reporter, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InteractiveReporter
  2. ReporterImpl
  3. Reporter
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new InteractiveReporter()

    Permalink

Type Members

  1. class Severity extends AnyRef

    Permalink
    Definition Classes
    ReporterImpl

Abstract Value Members

  1. abstract def compiler: Global

    Permalink

Concrete 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. lazy val ERROR: Severity

    Permalink
    Definition Classes
    ReporterImpl → Reporter

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. var cancelled: Boolean

    Permalink
    Definition Classes
    ReporterImpl

  7. def clone(): AnyRef

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

  8. def comment(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    ReporterImpl

  9. def count(severity: Severity): Int

    Permalink
    Definition Classes
    ReporterImpl → Reporter

  10. def echo(msg: String): Unit

    Permalink
    Definition Classes
    ReporterImpl

  11. def echo(title: String, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

  12. def echo(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

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

    Permalink
    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  15. def error(title: String, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

  16. def error(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

  17. def errorCount: Int

    Permalink
    Definition Classes
    Reporter

  18. def finalize(): Unit

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

  19. def flush(): Unit

    Permalink
    Definition Classes
    Reporter

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

    Permalink
    Definition Classes
    AnyRef → Any

  21. def hasErrors: Boolean

    Permalink
    Definition Classes
    ReporterImpl → Reporter

  22. def hasWarnings: Boolean

    Permalink
    Definition Classes
    Reporter

  23. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  24. final def info(title: String, msg: String, force: Boolean): Unit

    Permalink
    Definition Classes
    ReporterImpl

  25. final def info(pos: Position, msg: String, force: Boolean): Unit

    Permalink
    Definition Classes
    ReporterImpl

  26. def info0(pos: Position, msg: String, severity: Severity, force: Boolean): Unit

    Permalink
    Definition Classes
    InteractiveReporter → Reporter

  27. def info1(title: String, msg: String, severity: Severity, force: Boolean): Unit

    Permalink
    Definition Classes
    InteractiveReporter → Reporter

  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. val otherProblems: MList[Problem]

    Permalink

  33. def reset(): Unit

    Permalink
    Definition Classes
    InteractiveReporter → ReporterImpl → Reporter

  34. def resetCount(severity: Severity): Unit

    Permalink
    Definition Classes
    ReporterImpl → Reporter

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

    Permalink
    Definition Classes
    AnyRef

  36. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  37. final def wait(): Unit

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

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

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

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

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

  40. def warning(title: String, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

  41. def warning(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    Reporter

  42. def warningCount: Int

    Permalink
    Definition Classes
    Reporter

Inherited from ReporterImpl

Inherited from Reporter

Inherited from AnyRef

Inherited from Any

Ungrouped