diff options
Diffstat (limited to 'sources/scala/Modification.scala')
-rw-r--r-- | sources/scala/Modification.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sources/scala/Modification.scala b/sources/scala/Modification.scala new file mode 100644 index 0000000000..4da13bd61a --- /dev/null +++ b/sources/scala/Modification.scala @@ -0,0 +1,13 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + +package scala; + + +case class Modification[A](old: A, nu: A) extends ObservableUpdate[A]; |