org.specs.ScalaCheckVerifications.VerifiableExpectation

class VerifiableExpectation

case class VerifiableExpectation(val e : String)

 extends Product


Class supporting the verification of a function with ScalaCheck, up to 6 parameters.


Source: Scalacheck.scala(70)

 Constructors

def this(e : String)

 Fields

productArity override def productArity Int
productPrefix override def productPrefix String

 Methods

!= final def !=(arg0 : Object) Boolean AnyRef
!= final def !=(arg0 : Any) Boolean Any
== final def ==(arg0 : Any) Boolean Any
== final def ==(arg0 : Object) Boolean AnyRef
asInstanceOf final def asInstanceOf[T0] T0 Any
clone protected def clone Object AnyRef
eq final def eq(arg0 : Object) Boolean AnyRef
equals override def equals(arg0 : Any) Boolean
finalize protected def finalize Unit AnyRef
getClass final def getClass Class[Object] AnyRef
hashCode override def hashCode Int
isInstanceOf final def isInstanceOf[T0] Boolean Any
ne final def ne(arg0 : Object) Boolean AnyRef
notify final def notify Unit AnyRef
notifyAll final def notifyAll Unit AnyRef
productElement override def productElement(arg0 : Int) Any
synchronized final def synchronized[T0](arg0 : T0) T0 AnyRef
toString override def toString String
verifies def verifies[A1, A2, A3, A4, A5, A6, A7, A8, P](f : AnyWithParameters[(A1, A2, A3, A4, A5, A6, A7, A8) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit a7 : Arbitrary[A7], implicit a8 : Arbitrary[A8], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6], implicit s7 : Shrink[A7], implicit s8 : Shrink[A8]) Example
verifies def verifies[A1, A2, A3, A4, P](f : AnyWithParameters[(A1, A2, A3, A4) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4]) Example
verifies def verifies[A1, A2, A3, A4, A5, A6, P](f : AnyWithParameters[(A1, A2, A3, A4, A5, A6) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6]) Example
verifies def verifies[A1, A2, P](f : AnyWithParameters[(A1, A2) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2]) Example
verifies def verifies[A1, A2, A3, A4, A5, A6, A7, P](f : AnyWithParameters[(A1, A2, A3, A4, A5, A6, A7) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit a7 : Arbitrary[A7], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6], implicit s7 : Shrink[A7]) Example
verifies def verifies[A1, A2, A3, P](f : AnyWithParameters[(A1, A2, A3) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3]) Example
verifies def verifies[A1, A2, A3, A4, A5, P](f : AnyWithParameters[(A1, A2, A3, A4, A5) => Boolean])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5]) Example
verifies def verifies[A1, P](f : AnyWithParameters[(A1) => P])(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) Example
verifies def verifies[A1, A2, A3, A4, A5, A6, A7, A8, P](f : (A1, A2, A3, A4, A5, A6, A7, A8) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit a7 : Arbitrary[A7], implicit a8 : Arbitrary[A8], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6], implicit s7 : Shrink[A7], implicit s8 : Shrink[A8]) Example
verifies def verifies[A1, A2, A3, A4, P](f : (A1, A2, A3, A4) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4]) Example
verifies def verifies[A1, A2, A3, A4, A5, A6, P](f : (A1, A2, A3, A4, A5, A6) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6]) Example
verifies def verifies[A1, A2, P](f : (A1, A2) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2]) Example
verifies def verifies[A1, A2, A3, A4, A5, A6, A7, P](f : (A1, A2, A3, A4, A5, A6, A7) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit a6 : Arbitrary[A6], implicit a7 : Arbitrary[A7], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5], implicit s6 : Shrink[A6], implicit s7 : Shrink[A7]) Example
verifies def verifies[A1, A2, A3, P](f : (A1, A2, A3) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3]) Example
verifies def verifies[A1, A2, A3, A4, A5, P](f : (A1, A2, A3, A4, A5) => Boolean)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit a2 : Arbitrary[A2], implicit a3 : Arbitrary[A3], implicit a4 : Arbitrary[A4], implicit a5 : Arbitrary[A5], implicit s1 : Shrink[A1], implicit s2 : Shrink[A2], implicit s3 : Shrink[A3], implicit s4 : Shrink[A4], implicit s5 : Shrink[A5]) Example
verifies def verifies[A1, P](f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) Example
wait final def wait(arg0 : Long, arg1 : Int) Unit AnyRef
wait final def wait Unit AnyRef
wait final def wait(arg0 : Long) Unit AnyRef
Copyright (c) 2007-2009. All Rights Reserved.