summaryrefslogblamecommitdiff
path: root/test/files/scalacheck/parallel-collections/ParallelMapCheck1.scala
blob: b6af8f41bdeeb48ba5ad673be1c6e576203fc7c0 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
















                                                                                                         
                               
  


                                                                    
                                                                         

                                                                          

     







































 
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 ParallelMapCheck[K, V](collname: String) extends ParallelIterableCheck[(K, V)](collname) {
  type CollType <: ParMap[K, V]
  
  property("gets iterated keys") = forAll(collectionPairs) {
    case (t, coll) =>
    val containsT = for ((k, v) <- t) yield (coll.get(k) == Some(v))
    val containsSelf = coll.map { case (k, v) => coll.get(k) == Some(v) }
    ("Par contains elements of seq map" |: containsT.forall(_ == true)) &&
    ("Par contains elements of itself" |: containsSelf.forall(_ == true))
  }  
   
}