org.kiama.util

Messaging

object Messaging extends AnyRef

Facility for buffering of messages associated with positioned values.

Source
Messaging.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Messaging
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. case class Record(pos: Position, message: String) extends Product with Serializable

    A message record consisting of a coordinate position pos and a message string.

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

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

  11. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  13. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  14. def message(value: Positioned, message: String): Unit

    Buffer a new message associated with the given Positioned value.

    Buffer a new message associated with the given Positioned value. The finish position is ignored at present.

  15. def message(value: Positional, message: String): Unit

    Buffer a new message associated with the given Positional value.

  16. def messagecount: Int

    Return the number of messages that are buffered.

  17. val messages: ListBuffer[Record]

    Buffer of messages.

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

    Definition Classes
    AnyRef

  19. final def notify(): Unit

    Definition Classes
    AnyRef

  20. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  21. def report(emitter: Emitter = new Emitter): Unit

    Output the messages in order of position using the given emitter, which defaults to standard output.

  22. def resetmessages(): Unit

    Reset the message buffer to empty.

  23. def sortedmessages: Seq[Record]

    The messages sorted by increasing position.

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

    Definition Classes
    AnyRef

  25. def toString(): String

    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any