Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def $cannotMixImmutableAndMutable: Nothing

   Attributes

   protected

   Definition Classes

   Mutable

4.  def $clone: Reporter

   Definition Classes

   Reporter → MutableMarker → Clonable

5.  def $content: Seq[(java.lang.String, Any)]

   Definition Classes

   Reporter → RecordSig

6.  def $hasEquals: Boolean

   Attributes

   protected

   Definition Classes

   Mutable

7.  def $hasString: Boolean

   Attributes

   protected

   Definition Classes

   Mutable

8.  final def $owned: Boolean

   Definition Classes

   RecordSig → MutableMarker

9.  final def $owned_=(b: Boolean): Reporter.this.type

   Definition Classes

   RecordSig → MutableMarker

10.  final def ==(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

11.  def apply(messages: sireum.ISZ[Message] = ...): Reporter
12.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

14.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  def equals(o: Any): Boolean

    Definition Classes

    Reporter → AnyRef → Any

16.  def error(posOpt: Option[Position], kind: String, message: String): Unit
17.  def errors: sireum.ISZ[Message]
18.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

19.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

20.  def getMessages: sireum.ISZ[Message]
21.  def hasError: B
22.  def hasInfo: B
23.  def hasInternalError: B
24.  def hasIssue: B
25.  def hasMessage: B
26.  def hasWarning: B
27.  def hash: Z

    Definition Classes

    RecordSig

28.  def hashCode(): Int

    Definition Classes

    Reporter → AnyRef → Any

29.  var ignore: B
30.  def info(posOpt: Option[Position], kind: String, message: String): Unit
31.  def infos: sireum.ISZ[Message]
32.  def internalError(posOpt: Option[Position], kind: String, message: String): Unit
33.  def internalErrors: sireum.ISZ[Message]
34.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

35.  def issues: sireum.ISZ[Message]
36.  def messages: sireum.ISZ[Message]
37.  def messagesByFileUri: HashSMap[Option[String], sireum.ISZ[Message]]
38.  def messages_=(messages: sireum.ISZ[Message]): Reporter.this.type
39.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

40.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

41.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

42.  def printMessages(): Unit
43.  def report(m: Message): Unit
44.  def reports(ms: sireum.ISZ[Message]): Unit
45.  def setMessages(messages: sireum.ISZ[Message]): Reporter.this.type
46.  def string: String

    Definition Classes

    Reporter → RecordSig → Mutable

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

    Definition Classes

    AnyRef

48.  def toString(): java.lang.String

    Definition Classes

    Reporter → AnyRef → Any

49.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

51.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

52.  def warn(posOpt: Option[Position], kind: String, message: String): Unit
53.  def warnings: sireum.ISZ[Message]