summaryrefslogtreecommitdiff
path: root/test/files/scalacheck/parallel-collections/ParallelSetCheck.scala
diff options
context:
space:
mode:
authorAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:09:49 +0000
committerAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:09:49 +0000
commitf388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7 (patch)
tree2a5770c3ca5f08410dd197035e3bae7a0b52ba23 /test/files/scalacheck/parallel-collections/ParallelSetCheck.scala
parent4ddb4ce1e28afe15f9335a4bd51e07f68161b27c (diff)
downloadscala-f388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7.tar.gz
scala-f388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7.tar.bz2
scala-f388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7.zip
Mostly refactored existing test functionality f...
Mostly refactored existing test functionality for parallel collections. Added immutable hash set tests. No review.
Diffstat (limited to 'test/files/scalacheck/parallel-collections/ParallelSetCheck.scala')
-rw-r--r--test/files/scalacheck/parallel-collections/ParallelSetCheck.scala62
1 files changed, 62 insertions, 0 deletions
diff --git a/test/files/scalacheck/parallel-collections/ParallelSetCheck.scala b/test/files/scalacheck/parallel-collections/ParallelSetCheck.scala
new file mode 100644
index 0000000000..092f4823df
--- /dev/null
+++ b/test/files/scalacheck/parallel-collections/ParallelSetCheck.scala
@@ -0,0 +1,62 @@
+package scala.collection.parallel
+
+
+
+import org.scalacheck._
+import org.scalacheck.Gen
+import org.scalacheck.Gen._
+import org.scalacheck.Prop._
+import org.scalacheck.Properties
+
+import scala.collection._
+import scala.collection.parallel._
+
+
+
+
+abstract class ParallelSetCheck[T](collname: String) extends ParallelIterableCheck[T](collname) {
+ type CollType <: ParSet[T] with Sequentializable[T, Set[T]]
+
+ property("gets iterated keys") = forAll(collectionPairs) {
+ case (t, coll) =>
+ val containsT = for (elem <- t) yield (coll.contains(elem))
+ val containsSelf = for (elem <- coll) yield (coll.contains(elem))
+ ("Par contains elements of seq map" |: containsT.forall(_ == true)) &&
+ ("Par contains elements of itself" |: containsSelf.forall(_ == true))
+ }
+
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+