Switching to the new build system and to the ne...

Switching to the new build system and to the new build system. This is a
MAJOR commit, so be careful when updating.

1 files changed, 147 insertions, 0 deletions

diff --git a/src/library/scala/collection/mutable/BufferProxy.scala b/src/library/scala/collection/mutable/BufferProxy.scala
new file mode 100644
index 0000000000..c06202024a
--- /dev/null
+++ b/src/library/scala/collection/mutable/BufferProxy.scala
@@ -0,0 +1,147 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2003, LAMP/EPFL                  **
+**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+** $Id$
+\*                                                                      */
+
+package scala.collection.mutable;
+
+
+/** This is a simple proxy class for <code>scala.collection.mutable.Buffer</code>.
+ *  It is most useful for assembling customized set abstractions
+ *  dynamically using object composition and forwarding.
+ *
+ *  @author  Matthias Zenger
+ *  @version 1.0, 16/04/2004
+ */
+trait BufferProxy[A] extends Buffer[A] with Proxy {
+
+    def self: Buffer[A];
+
+    def length: Int = self.length;
+
+    def elements: Iterator[A] = self.elements;
+
+    def apply(n: Int): A = self.apply(n);
+
+    /** Append a single element to this buffer and return
+     *  the identity of the buffer.
+     *
+     *  @param elem  the element to append.
+     */
+    def +(elem: A): Buffer[A] = self.+(elem);
+
+    /** Append a single element to this buffer.
+     *
+     *  @param elem  the element to append.
+     */
+    override def +=(elem: A): Unit = self.+=(elem);
+
+    /** Appends a number of elements provided by an iterable object
+     *  via its <code>elements</code> method. The identity of the
+     *  buffer is returned.
+     *
+     *  @param iter  the iterable object.
+     */
+    override def ++(iter: Iterable[A]): Buffer[A] = self.++(iter);
+
+    /** Appends a number of elements provided by an iterable object
+     *  via its <code>elements</code> method.
+     *
+     *  @param iter  the iterable object.
+     */
+    override def ++=(iter: Iterable[A]): Unit = self.++=(iter);
+
+    /** Appends a sequence of elements to this buffer.
+     *
+     *  @param elems  the elements to append.
+     */
+    override def append(elems: A*): Unit = self.++=(elems);
+
+    /** Appends a number of elements provided by an iterable object
+     *  via its <code>elements</code> method.
+     *
+     *  @param iter  the iterable object.
+     */
+    override def appendAll(iter: Iterable[A]): Unit = self.appendAll(iter);
+
+    /** Prepend a single element to this buffer and return
+     *  the identity of the buffer.
+     *
+     *  @param elem  the element to append.
+     */
+    def +:(elem: A): Buffer[A] = self.+:(elem);
+
+    /** Prepends a number of elements provided by an iterable object
+     *  via its <code>elements</code> method. The identity of the
+     *  buffer is returned.
+     *
+     *  @param iter  the iterable object.
+     */
+    override def ++:(iter: Iterable[A]): Buffer[A] = self.++:(iter);
+
+    /** Prepend an element to this list.
+     *
+     *  @param elem  the element to prepend.
+     */
+    override def prepend(elems: A*): Unit = self.prependAll(elems);
+
+    /** Prepends a number of elements provided by an iterable object
+     *  via its <code>elements</code> method. The identity of the
+     *  buffer is returned.
+     *
+     *  @param iter  the iterable object.
+     */
+    override def prependAll(elems: Iterable[A]): Unit = self.prependAll(elems);
+
+    /** Inserts new elements at the index <code>n</code>. Opposed to method
+     *  <code>update</code>, this method will not replace an element with a
+     *  one. Instead, it will insert the new elements at index <code>n</code>.
+     *
+     *  @param n      the index where a new element will be inserted.
+     *  @param elems  the new elements to insert.
+     */
+    override def insert(n: Int, elems: A*): Unit = self.insertAll(n, elems);
+
+    /** Inserts new elements at the index <code>n</code>. Opposed to method
+     *  <code>update</code>, this method will not replace an element with a
+     *  one. Instead, it will insert a new element at index <code>n</code>.
+     *
+     *  @param n     the index where a new element will be inserted.
+     *  @param iter  the iterable object providing all elements to insert.
+     */
+    def insertAll(n: Int, iter: Iterable[A]): Unit = self.insertAll(n, iter);
+
+    /** Replace element at index <code>n</code> with the new element
+     *  <code>newelem</code>.
+     *
+     *  @param n       the index of the element to replace.
+     *  @param newelem the new element.
+     */
+    def update(n: Int, newelem: A): Unit = self.update(n, newelem);
+
+    /** Removes the element on a given index position.
+     *
+     *  @param n  the index which refers to the element to delete.
+     */
+    def remove(n: Int): A = self.remove(n);
+
+    /** Clears the buffer contents.
+     */
+    def clear: Unit = self.clear;
+
+    /** Send a message to this scriptable object.
+     *
+     *  @param cmd  the message to send.
+     */
+    override def <<(cmd: Message[Pair[Location, A]]): Unit = self << cmd;
+
+    /** Return a clone of this buffer.
+     *
+     *  @return a <code>Buffer</code> with the same elements.
+     */
+    override def clone(): Buffer[A] = new BufferProxy[A] { def self = BufferProxy.this.self.clone() }
+}