Class/Object

org.bitbucket.inkytonik.kiama.util

Messaging

Related Docs: object Messaging | package util

Permalink

class Messaging extends AnyRef

General facility for processing messages relative to positioned values.

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

Instance Constructors

  1. new Messaging(positions: Positions)

    Permalink

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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. def finish(message: Message): Option[Position]

    Permalink

    A message's finishing position as determined from the finishing position of the message's value.

    A message's finishing position as determined from the finishing position of the message's value. Will be None if the value has no position.

  10. def finishColumn(message: Message): Option[Int]

    Permalink

    Return the optional finishing column number of a message.

  11. def finishLine(message: Message): Option[Int]

    Permalink

    Return the optional finishing line number of a message.

  12. def formatMessage(message: Message): String

    Permalink

    Format the message for reporting as a line containing the starting position and label, the input text line and line(s) containing the context of the position.

    Format the message for reporting as a line containing the starting position and label, the input text line and line(s) containing the context of the position. If no position is associated with this message just format as a line containing the label.

  13. def formatMessages(messages: Messages): String

    Permalink

    Return a string containing all the given messages sorted and formatted.

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

    Permalink
    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  17. implicit object messageOrdering extends Ordering[Message]

    Permalink

    An ordering on messages that uses starting position and prioritises line over column.

    An ordering on messages that uses starting position and prioritises line over column. The messages are assumed to refer to the same source.

  18. def name(message: Message): Option[String]

    Permalink

    A message's source name as determined from the source of the message's value's position.

    A message's source name as determined from the source of the message's value's position. Will be None if the value has no position.

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

    Permalink
    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. def report(source: Source, messages: Messages, emitter: Emitter = new OutputEmitter): Unit

    Permalink

    Output the messages arising from the given source in order of position using the given emitter, which defaults to terminal output.

  23. def start(message: Message): Option[Position]

    Permalink

    A message's starting position as determined from the starting position of the message's value.

    A message's starting position as determined from the starting position of the message's value. Will be None if the value has no position.

  24. def startColumn(message: Message): Option[Int]

    Permalink

    Return the optional starting column number of a message.

  25. def startLine(message: Message): Option[Int]

    Permalink

    Return the optional starting line number of a message.

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

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit

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

Inherited from AnyRef

Inherited from Any

Ungrouped