kiama 0.9.0 API
kiama.util

object Messaging
[source: kiama/util/Messaging.scala]
object Messaging
extends AnyRef
Facility for buffering of messages associated with positioned values.
Value Summary
var messages : scala.collection.mutable.ListBuffer[Record]
Buffer of messages.
Method Summary
def message (value : scala.util.parsing.input.Positional, message : java.lang.String) : Unit
Buffer a new message associated with the given positioned value.
def messagecount : Int
Return the number of messages that are buffered.
def report : Unit
Output the messages that have been buffered in order of position.
def resetmessages : Unit
Reset the message buffer to empty.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Class Summary
case class Record (val pos : scala.util.parsing.input.Position, val message : java.lang.String) extends scala.Product
A message record.
Value Details
var messages : scala.collection.mutable.ListBuffer[Record]
Buffer of messages.
Method Details
def message(value : scala.util.parsing.input.Positional, message : java.lang.String) : Unit
Buffer a new message associated with the given positioned value.
def messagecount : Int
Return the number of messages that are buffered.
def report : Unit
Output the messages that have been buffered in order of position.
def resetmessages : Unit
Reset the message buffer to empty.
kiama 0.9.0 API