Refactored class library.

1 files changed, 28 insertions, 8 deletions

diff --git a/sources/scala/collection/mutable/SynchronizedSet.scala b/sources/scala/collection/mutable/SynchronizedSet.scala
index 7f5f764387..2d4c2d5767 100644
--- a/sources/scala/collection/mutable/SynchronizedSet.scala
+++ b/sources/scala/collection/mutable/SynchronizedSet.scala
@@ -30,28 +30,40 @@ trait SynchronizedSet[A] extends scala.collection.mutable.Set[A] {
         super.contains(elem);
     }
 
+    abstract override def update(elem: A, included: Boolean): Unit = synchronized {
+    	super.update(elem, included);
+    }
+
     abstract override def +=(elem: A): Unit = synchronized {
         super.+=(elem);
     }
 
-    override def incl(elems: A*): Unit = synchronized {
-        super.incl(elems);
+    override def ++=(that: Iterable[A]) = synchronized {
+        super.++=(that);
     }
 
-    override def incl(that: Iterable[A]) = synchronized {
-        super.incl(that);
+    override def ++=(it: Iterator[A]) = synchronized {
+        super.++=(it);
+    }
+
+    override def incl(elems: A*): Unit = synchronized {
+        super.++=(elems);
     }
 
     abstract override def -=(elem: A): Unit = synchronized {
         super.-=(elem);
     }
 
-    override def excl(elems: A*): Unit = synchronized {
-        super.excl(elems);
+    override def --=(that: Iterable[A]) = synchronized {
+        super.--=(that);
     }
 
-    override def excl(that: Iterable[A]) = synchronized {
-        super.excl(that);
+    override def --=(it: Iterator[A]) = synchronized {
+        super.--=(it);
+    }
+
+    override def excl(elems: A*): Unit = synchronized {
+        super.--=(elems);
     }
 
     override def intersect(that: Set[A]) = synchronized {
@@ -81,4 +93,12 @@ trait SynchronizedSet[A] extends scala.collection.mutable.Set[A] {
     override def toString() = synchronized {
         super.toString();
     }
+
+    override def <<(cmd: Message[A]): Unit = synchronized {
+    	super.<<(cmd);
+   	}
+
+    override def clone(): Set[A] = synchronized {
+    	super.clone();
+    }
 }