Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

83 lines (73 sloc) 2.455 kB
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2013, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.collection
package script
import mutable.ArrayBuffer
/** Class `Message` represents messages that are issued by observable
* collection classes whenever a data structure is changed. Class `Message`
* has several subclasses for the various kinds of events: `Update`
* `Remove`, `Include`, `Reset`, and `Script`.
*
* @author Matthias Zenger
* @version 1.0, 08/07/2003
* @since 2.8
*/
trait Message[+A]
/** This observable update refers to inclusion operations that add new elements
* to collection classes.
*
* @author Matthias Zenger
* @version 1.0, 08/07/2003
*/
case class Include[+A](location: Location, elem: A) extends Message[A] {
def this(elem: A) = this(NoLo, elem)
}
/** This observable update refers to destructive modification operations
* of elements from collection classes.
*
* @author Matthias Zenger
* @version 1.0, 08/07/2003
*/
case class Update[+A](location: Location, elem: A) extends Message[A] {
def this(elem: A) = this(NoLo, elem)
}
/** This observable update refers to removal operations of elements
* from collection classes.
*
* @author Matthias Zenger
* @version 1.0, 08/07/2003
*/
case class Remove[+A](location: Location, elem: A) extends Message[A] {
def this(elem: A) = this(NoLo, elem)
}
/** This command refers to reset operations.
*
* @author Matthias Zenger
* @version 1.0, 08/07/2003
*/
case class Reset[+A]() extends Message[A]
/** Objects of this class represent compound messages consisting
* of a sequence of other messages.
*
* @author Matthias Zenger
* @version 1.0, 10/05/2004
*/
class Script[A] extends ArrayBuffer[Message[A]] with Message[A] {
override def toString(): String = {
var res = "Script("
var it = this.iterator
var i = 1
while (it.hasNext) {
if (i > 1)
res = res + ", "
res = res + "[" + i + "] " + it.next
i += 1
}
res + ")"
}
}
Jump to Line
Something went wrong with that request. Please try again.