From fb3de75a5e2b200913784aeb4386effcc907161d Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 12 Jul 2010 11:13:14 +0000
Subject: [PATCH] forgot the sources :D
---
src/multisets-lib/Multiset.scala | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
create mode 100644 src/multisets-lib/Multiset.scala
diff --git a/src/multisets-lib/Multiset.scala b/src/multisets-lib/Multiset.scala
new file mode 100644
index 000000000..91624ed2f
--- /dev/null
+++ b/src/multisets-lib/Multiset.scala
@@ -0,0 +1,17 @@
+package scala.collection.immutable
+
+case class UnimplementedFeatureException() extends Exception
+
+object Multiset {
+ def empty[A] : Multiset[A] = throw UnimplementedFeatureException()
+ def apply[A](elems: A*) : Multiset[A] = throw UnimplementedFeatureException()
+}
+
+trait Multiset[A] {
+ def ** (that: Multiset[A]) : Multiset[A] = throw UnimplementedFeatureException()
+ def ++ (that: Multiset[A]) : Multiset[A] = throw UnimplementedFeatureException()
+ def +++ (that: Multiset[A]) : Multiset[A] = throw UnimplementedFeatureException()
+ def -- (that: Multiset[A]) : Multiset[A] = throw UnimplementedFeatureException()
+ def toSet : scala.collection.immutable.Set[A] = throw UnimplementedFeatureException()
+ def size : Int = throw UnimplementedFeatureException()
+}
--
GitLab