fork download

package quickcheck
 
import common._
 
import org.scalacheck._
import Arbitrary._
import Gen._
import Prop._
 
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+1, insert(a, empty))
  	isEmpty(deleteMin(deleteMin(h)))
  }
 
  property("meld1") = forAll { (h1: H, h2: H) =>
    (!isEmpty(h1) && !isEmpty(h2)) ==>
      (findMin(meld(h1, h2)) == ord.min(findMin(h1), findMin(h2)))
  }
 
  property("size") = forAll { (h1: H, h2: H) =>
  	def size(h: H): Int =
  	  if (isEmpty(h)) 0
  	  else 1 + size(deleteMin(h))
  	size(h1) + size(h2) == size(meld(h1, 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] = oneOf(genFullHeap, value(empty))
  lazy val genFullHeap: Gen[H] = for {
    x <- arbitrary[Int]
    h <- 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:3: error: not found: object common
import common._
       ^
Main.scala:5: error: object scalacheck is not a member of package org
import org.scalacheck._
           ^
Main.scala:6: error: not found: object Arbitrary
import Arbitrary._
       ^
Main.scala:7: error: not found: object Gen
import Gen._
       ^
Main.scala:8: error: not found: object Prop
import Prop._
       ^
Main.scala:10: error: not found: type Properties
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                                      ^
Main.scala:10: error: not found: type IntHeap
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                                                              ^
Main.scala:10: error: too many arguments for constructor Object: ()Object
abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
                              ^
Main.scala:12: error: not found: value property
  property("min1") = forAll { (a1: Int, a2: Int) =>
  ^
Main.scala:17: error: not found: value property
  property("delete") = forAll { a: Int =>
  ^
Main.scala:22: error: not found: value property
  property("meld1") = forAll { (h1: H, h2: H) =>
  ^
Main.scala:27: error: not found: value property
  property("size") = forAll { (h1: H, h2: H) =>
  ^
Main.scala:34: error: not found: value property
  property("deleteAll") = forAll {h: H =>
  ^
Main.scala:41: error: not found: type Gen
  lazy val genHeap: Gen[H] = oneOf(genFullHeap, value(empty))
                    ^
Main.scala:41: error: not found: value oneOf
  lazy val genHeap: Gen[H] = oneOf(genFullHeap, value(empty))
                             ^
Main.scala:42: error: not found: type Gen
  lazy val genFullHeap: Gen[H] = for {
                        ^
Main.scala:43: error: not found: value arbitrary
    x <- arbitrary[Int]
         ^
Main.scala:47: error: not found: type Arbitrary
  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
                             ^
Main.scala:47: error: not found: value Arbitrary
  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
                                            ^
19 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