diff options
| author | Matthias Zenger <mzenger@gmail.com> | 2004-05-10 13:13:22 +0000 |
|---|---|---|
| committer | Matthias Zenger <mzenger@gmail.com> | 2004-05-10 13:13:22 +0000 |
| commit | c5287e6ce530044e271ea880250476f419e3dece (patch) | |
| tree | f6c3b4a318f1a3d68c888942378bd3dc98a0f19b /sources | |
| parent | 34ae4f9fba6d144aa9ced9ccfb81220bd78e7603 (diff) | |
| download | scala-c5287e6ce530044e271ea880250476f419e3dece.tar.gz scala-c5287e6ce530044e271ea880250476f419e3dece.tar.bz2 scala-c5287e6ce530044e271ea880250476f419e3dece.zip | |
*** empty log message ***
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/collection/mutable/Inclusion.scala | 18 | ||||
| -rw-r--r-- | sources/scala/collection/mutable/Modification.scala | 18 | ||||
| -rw-r--r-- | sources/scala/collection/mutable/ObservableUpdate.scala | 20 | ||||
| -rw-r--r-- | sources/scala/collection/mutable/Removal.scala | 19 | ||||
| -rw-r--r-- | sources/scala/collection/mutable/Reset.scala | 17 | ||||
| -rw-r--r-- | sources/scala/collection/mutable/Undo.scala | 24 |
6 files changed, 0 insertions, 116 deletions
diff --git a/sources/scala/collection/mutable/Inclusion.scala b/sources/scala/collection/mutable/Inclusion.scala deleted file mode 100644 index e93f429095..0000000000 --- a/sources/scala/collection/mutable/Inclusion.scala +++ /dev/null @@ -1,18 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - -/** 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 Inclusion[A](elem: A) extends ObservableUpdate[A]; diff --git a/sources/scala/collection/mutable/Modification.scala b/sources/scala/collection/mutable/Modification.scala deleted file mode 100644 index d83f445bee..0000000000 --- a/sources/scala/collection/mutable/Modification.scala +++ /dev/null @@ -1,18 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - -/** This observable update refers to destructive modification operations - * of elements from collection classes. - * - * @author Matthias Zenger - * @version 1.0, 08/07/2003 - */ -case class Modification[A](old: A, nu: A) extends ObservableUpdate[A]; diff --git a/sources/scala/collection/mutable/ObservableUpdate.scala b/sources/scala/collection/mutable/ObservableUpdate.scala deleted file mode 100644 index f79a53d5a1..0000000000 --- a/sources/scala/collection/mutable/ObservableUpdate.scala +++ /dev/null @@ -1,20 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - -/** Observable update events are issued by observable collection classes - * whenever a data structure is changed. Class <code>ObservableUpdate</code> - * has several subclasses for the various kinds of events: <code>Modification</code> - * <code>Removal</code>, <code>Insertion</code>, and <code>Reset</code>. - * - * @author Matthias Zenger - * @version 1.0, 08/07/2003 - */ -trait ObservableUpdate[+A]; diff --git a/sources/scala/collection/mutable/Removal.scala b/sources/scala/collection/mutable/Removal.scala deleted file mode 100644 index 4e2b9b921d..0000000000 --- a/sources/scala/collection/mutable/Removal.scala +++ /dev/null @@ -1,19 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - - -/** This observable update refers to removal operations of elements - * from collection classes. - * - * @author Matthias Zenger - * @version 1.0, 08/07/2003 - */ -case class Removal[A](elem: A) extends ObservableUpdate[A]; diff --git a/sources/scala/collection/mutable/Reset.scala b/sources/scala/collection/mutable/Reset.scala deleted file mode 100644 index 9caabe73e6..0000000000 --- a/sources/scala/collection/mutable/Reset.scala +++ /dev/null @@ -1,17 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - -/** This observable update refers to reset operations. - * - * @author Matthias Zenger - * @version 1.0, 08/07/2003 - */ -case class Reset[A]() extends ObservableUpdate[A]; diff --git a/sources/scala/collection/mutable/Undo.scala b/sources/scala/collection/mutable/Undo.scala deleted file mode 100644 index f67ba946b8..0000000000 --- a/sources/scala/collection/mutable/Undo.scala +++ /dev/null @@ -1,24 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.collection.mutable; - - -/** Classes that implement the <code>Undo</code> trait provide an operation - * <code>undo</code> which can be used to undo the last operation. - * - * @author Matthias Zenger - * @version 1.0, 08/07/2003 - */ -trait Undo { - - /** Undo the last operation. - */ - def undo: Unit; -} |