diff options
author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-10-28 12:09:49 +0000 |
---|---|---|
committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-10-28 12:09:49 +0000 |
commit | f388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7 (patch) | |
tree | 2a5770c3ca5f08410dd197035e3bae7a0b52ba23 /test/files/scalacheck/parallel-collections/ParallelSetCheck.scala | |
parent | 4ddb4ce1e28afe15f9335a4bd51e07f68161b27c (diff) | |
download | scala-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.scala | 62 |
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)) + } + +} + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + |