~ubuntu-branches/debian/sid/scala/sid

« back to all changes in this revision

Viewing changes to test/files/scalacheck/array-old.scala

  • Committer: Package Import Robot
  • Author(s): Emmanuel Bourg, Mehdi Dogguy, Lucas Satabin, Frank S. Thomas, Emmanuel Bourg
  • Date: 2015-06-05 23:52:59 UTC
  • mfrom: (1.2.11)
  • Revision ID: package-import@ubuntu.com-20150605235259-wk00vgk83dh8o19g
Tags: 2.10.5-1
* Team upload.

[ Mehdi Dogguy ]
* New upstream release (Closes: #744278).

[ Lucas Satabin ]
* Update patches
* Update the clean target
* Update paths of elements to install
* Update watch file

[ Frank S. Thomas ]
* Remove myself from Uploaders.

[ Emmanuel Bourg ]
* The package has been adopted by the Java Team (Closes: #754935)
* Patched the build to avoid downloading libraries from the Internet
* Replaced the minified JavaScript files with unobfuscated ones
* No longer build scala-partest.jar until diffutils is packaged or replaced
* debian/watch: Fixed the versions matched (x.y.z instead of x.y.z..z)
* debian/rules:
  - Added the missing get-orig-source target (Closes: #724704)
  - Improved the clean target
* debian/control:
  - Build depend on scala (>= 2.10) and bnd
  - Use canonical URLs for the Vcs-* fields
  - Standards-Version updated to 3.9.6 (no changes)
* Switch to debhelper level 9

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
import org.scalacheck._
 
2
import Prop._
 
3
import Gen._
 
4
import Arbitrary._
 
5
import util._
 
6
import Buildable._
 
7
import scala.collection.mutable.ArraySeq
 
8
 
 
9
object Test extends Properties("Array") {
 
10
  /** At this moment the authentic scalacheck Array Builder/Arb bits are commented out.
 
11
   */
 
12
  implicit def arbArray[T](implicit a: Arbitrary[T], m: Manifest[T]): Arbitrary[Array[T]] =
 
13
    Arbitrary(containerOf[List,T](arbitrary[T]) map (_.toArray))
 
14
  
 
15
  val arrGen: Gen[Array[_]] = oneOf(
 
16
    arbitrary[Array[Int]],
 
17
    arbitrary[Array[Array[Int]]],
 
18
    arbitrary[Array[List[String]]],
 
19
    arbitrary[Array[String]],
 
20
    arbitrary[Array[Boolean]],
 
21
    arbitrary[Array[AnyVal]]
 
22
  )
 
23
  
 
24
  // inspired by #1857 and #2352
 
25
  property("eq/ne") = forAll(arrGen, arrGen) { (c1, c2) =>
 
26
    (c1 eq c2) || (c1 ne c2)
 
27
  }
 
28
 
 
29
  // inspired by #2299
 
30
  def smallInt = choose(1, 10)
 
31
  property("ofDim") = forAll(smallInt, smallInt, smallInt) { (i1, i2, i3) =>
 
32
    val arr = Array.ofDim[String](i1, i2, i3)
 
33
    val flattened = arr flatMap (x => x) flatMap (x => x)
 
34
    flattened.length == i1 * i2 * i3
 
35
  }                                                                             
 
36
}
 
37