fork download

copy

abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
 
  property("min1") = forAll { (a1: Int, a2: Int) =>
    val h = insert(a2, insert(a1, empty))
    findMin(h) == ord.min(a1, a2)
  }
 
  property("delete") = forAll { a: Int =>
  	val h = insert(a, empty)
  	isEmpty(deleteMin(h))
  }
 
  property("meld1") = forAll { (h1: H, h2: H) =>
  	findMin(meld(h1, h2)) == ord.min(findMin(h1), findMin(h2))
  }
 
  property("deleteAll") = forAll {h: H =>
  	def aux(x: Int, h: H): Boolean =
  	  isEmpty(h) ||
  	  ord.lteq(x, findMin(h)) && aux(findMin(h), deleteMin(h))
  	isEmpty(h) || aux(findMin(h), deleteMin(h))
  }
 
  lazy val genHeap: Gen[H] = for {
    x <- arbitrary[Int]
    h <- oneOf(value(empty), genHeap)
  } yield insert(x, h)
 
  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
 
}

/opt/scala/bin/scalac: line 50: /dev/null: Permission denied
Main.scala:1: error: not found: type Properties
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                                      ^
Main.scala:1: error: not found: type IntHeap
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                                                              ^
Main.scala:1: error: too many arguments for constructor Object: ()Object
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                              ^
Main.scala:3: error: not found: value property
  property("min1") = forAll { (a1: Int, a2: Int) =>
  ^
Main.scala:8: error: not found: value property
  property("delete") = forAll { a: Int =>
  ^
Main.scala:13: error: not found: value property
  property("meld1") = forAll { (h1: H, h2: H) =>
  ^
Main.scala:17: error: not found: value property
  property("deleteAll") = forAll {h: H =>
  ^
Main.scala:24: error: not found: type Gen
  lazy val genHeap: Gen[H] = for {
                    ^
Main.scala:25: error: not found: value arbitrary
    x <- arbitrary[Int]
         ^
Main.scala:29: error: not found: type Arbitrary
  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
                             ^
Main.scala:29: error: not found: value Arbitrary
  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
                                            ^
11 errors found
spoj: The program compiled successfully, but Main.class was not found.
      Class Main should contain method: def main(args: Array[String]).

Standard output is empty