org.specs2.ScalaCheck

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

ScalaCheck
AutoExamples
ScalaCheckMatchers
ApplicableArbitraries
ResultPropertyImplicits
FunctionPropertyImplicits
ScalaCheckParameters
ScalaCheckFunctions
ConsoleOutput
Output
AnyRef
Any

Visibility

Public
All

Type Members

case class ApplicableArbitrary [T] (a: Arbitrary[T]) extends Product with Serializable
case class ApplicableArbitrary2 [T1, T2] (a1: Arbitrary[T1], a2: Arbitrary[T2]) extends Product with Serializable
case class ApplicableArbitrary3 [T1, T2, T3] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]) extends Product with Serializable
case class ApplicableArbitrary4 [T1, T2, T3, T4] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]) extends Product with Serializable
case class ApplicableArbitrary5 [T1, T2, T3, T4, T5] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]) extends Product with Serializable
case class ApplicableArbitrary6 [T1, T2, T3, T4, T5, T6] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]) extends Product with Serializable
case class ApplicableArbitrary7 [T1, T2, T3, T4, T5, T6, T7] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]) extends Product with Serializable
case class ApplicableArbitrary8 [T1, T2, T3, T4, T5, T6, T7, T8] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]) extends Product with Serializable
class FunctionForAll [T] extends AnyRef
class FunctionForAll2 [T1, T2] extends AnyRef
class FunctionForAll3 [T1, T2, T3] extends AnyRef
class SetProperty extends AnyRef

Value Members

def != (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def != (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def ## (): Int

Attributes
final
Definition Classes
AnyRef → Any
def == (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def == (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
implicit def applicableArbitrary [T] (a: Arbitrary[T]): ApplicableArbitrary[T]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary2 [T1, T2] (a: (Arbitrary[T1], Arbitrary[T2])): ApplicableArbitrary2[T1, T2]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary3 [T1, T2, T3] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3])): ApplicableArbitrary3[T1, T2, T3]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary4 [T1, T2, T3, T4] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4])): ApplicableArbitrary4[T1, T2, T3, T4]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary5 [T1, T2, T3, T4, T5] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5])): ApplicableArbitrary5[T1, T2, T3, T4, T5]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary6 [T1, T2, T3, T4, T5, T6] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6])): ApplicableArbitrary6[T1, T2, T3, T4, T5, T6]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary7 [T1, T2, T3, T4, T5, T6, T7] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7])): ApplicableArbitrary7[T1, T2, T3, T4, T5, T6, T7]

Attributes
implicit
Definition Classes
ApplicableArbitraries
implicit def applicableArbitrary8 [T1, T2, T3, T4, T5, T6, T7, T8] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7], Arbitrary[T8])): ApplicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8]

Attributes
implicit
Definition Classes
ApplicableArbitraries
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
implicit def booleanExample (expression: ⇒ Boolean): Example

Attributes
implicit
Definition Classes
AutoExamples
implicit def booleanFragments (expression: ⇒ Boolean): Fragments

this implicit def is necessary when the expression is at the start of the spec
this implicit def is necessary when the expression is at the start of the spec

Attributes
implicit
Definition Classes
AutoExamples
implicit def booleanFragmentsFragment (expression: ⇒ Boolean): BooleanResultFragment

this implicit def is necessary when the expression is at the start of the spec
this implicit def is necessary when the expression is at the start of the spec

Attributes
implicit
Definition Classes
AutoExamples
implicit def booleanToProp (b: ⇒ Boolean): Prop

Attributes
implicit
Definition Classes
ResultPropertyImplicits
implicit def callByNameMatchResultToProp [T] (m: ⇒ MatchResult[T]): Prop

Attributes
implicit
Definition Classes
ResultPropertyImplicits
def check (prop: Prop)(implicit p: Parameters): Result

execute a ScalaCheck property
execute a ScalaCheck property

Definition Classes
ScalaCheckMatchers
def check [T, S] (f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

execute a PartialFunction as a ScalaCheck property
execute a PartialFunction as a ScalaCheck property

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, T4, T5, T6, T7, T8, R] (result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7], a8: Arbitrary[T8], s8: Shrink[T8]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, T4, T5, T6, T7, R] (result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, T4, T5, T6, R] (result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, T4, T5, R] (result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, T4, R] (result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, T3, R] (result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

Definition Classes
ScalaCheckMatchers
def check [T1, T2, R] (result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

Definition Classes
ScalaCheckMatchers
def check [T, R] (result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

transform a Function returning a MatchResult (or anything which can be converted to a Prop) as a ScalaCheck property
transform a Function returning a MatchResult (or anything which can be converted to a Prop) as a ScalaCheck property

Definition Classes
ScalaCheckMatchers
implicit def check1 [T, R] (result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check2 [T1, T2, R] (result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check3 [T1, T2, T3, R] (result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check4 [T1, T2, T3, T4, R] (result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check5 [T1, T2, T3, T4, T5, R] (result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check6 [T1, T2, T3, T4, T5, T6, R] (result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check7 [T1, T2, T3, T4, T5, T6, T7, R] (result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def check8 [T1, T2, T3, T4, T5, T6, T7, T8, R] (result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7], a8: Arbitrary[T8], s8: Shrink[T8]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def checkPartial [T, S] (f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

Attributes
implicit
Definition Classes
ScalaCheckMatchers
implicit def checkProp (prop: Prop)(implicit p: Parameters): Result

Attributes
implicit
Definition Classes
ScalaCheckMatchers
def checkProp (params: Params, prop: ⇒ Prop, callback: TestCallback): Result

Definition Classes
ScalaCheckFunctions
def clone (): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
implicit def defaultParameters : Parameters

default parameters.
default parameters. Uses ScalaCheck default values and doesn't print anything to the console

Attributes
implicit
Definition Classes
ScalaCheckParameters
val defaultPrettyParams : Params

default parameters to display pretty messages
default parameters to display pretty messages

Definition Classes
ScalaCheckParameters
def defaultValues : Map[Symbol, Int]

Default values for ScalaCheck parameters
Default values for ScalaCheck parameters

Definition Classes
ScalaCheckParameters
object display extends Parameters

factory object to create parameters with verbose = true
def eq (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def equals (arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def flush (): Unit

flush the content if necessary
flush the content if necessary

Definition Classes
ConsoleOutput → Output
implicit def functionToForAll [T] (f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): FunctionForAll[T]

Attributes
implicit
Definition Classes
FunctionPropertyImplicits
implicit def functionToProp [T] (f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): Prop

transform a function returning a boolean to a property by appending forAll
transform a function returning a boolean to a property by appending forAll

Attributes
implicit
Definition Classes
FunctionPropertyImplicits
implicit def functionToProp2 [T1, T2] (f: (T1, T2) ⇒ Boolean): FunctionForAll2[T1, T2]

transform a function returning a boolean to a property by appending forAll
transform a function returning a boolean to a property by appending forAll

Attributes
implicit
Definition Classes
FunctionPropertyImplicits
implicit def functionToProp3 [T1, T2, T3] (f: (T1, T2, T3) ⇒ Boolean): FunctionForAll3[T1, T2, T3]

transform a function returning a boolean to a property by appending forAll
transform a function returning a boolean to a property by appending forAll

Attributes
implicit
Definition Classes
FunctionPropertyImplicits
def getClass (): java.lang.Class[_]

Attributes
final
Definition Classes
AnyRef → Any
def hashCode (): Int

Definition Classes
AnyRef → Any
def isInstanceOf [T0] : Boolean

Attributes
final
Definition Classes
Any
implicit def matchExample (expression: ⇒ org.specs2.matcher.MatchResult[_]): Example

Attributes
implicit
Definition Classes
AutoExamples
implicit def matchFragments (expression: ⇒ org.specs2.matcher.MatchResult[_]): Fragments

this implicit def is necessary when the expression is at the start of the spec The startDepth and offsets are special tweakings to make sure we get the right line in that specific case
this implicit def is necessary when the expression is at the start of the spec The startDepth and offsets are special tweakings to make sure we get the right line in that specific case

Attributes
implicit
Definition Classes
AutoExamples
implicit def matchFragmentsFragment (expression: ⇒ org.specs2.matcher.MatchResult[_]): MatchResultFragment

this implicit def is necessary when the expression is at the start of the spec
this implicit def is necessary when the expression is at the start of the spec

Attributes
implicit
Definition Classes
AutoExamples
implicit def matchResultToProp [T] (m: MatchResult[T]): Prop

Attributes
implicit
Definition Classes
ResultPropertyImplicits
val maxDiscarded : Symbol

Values which can be used as Symbol aliases to specify ScalaCheck parameters
The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
Definition Classes ScalaCheckParameters
val maxSize : Symbol Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Definition Classes ScalaCheckParameters
val minSize : Symbol Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Definition Classes ScalaCheckParameters
val minTestsOk : Symbol Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Definition Classes ScalaCheckParameters
def ne (arg0: AnyRef): Boolean Attributes final Definition Classes AnyRef
def notify (): Unit Attributes final Definition Classes AnyRef
def notifyAll (): Unit Attributes final Definition Classes AnyRef
def print (m: Any): Unit print an object with no newline print an object with no newline Definition Classes Output
def printStackTrace (t: Throwable): Unit print stacktraces print stacktraces Definition Classes Output
def printf (s: String, args: Any*): Unit print several objects according to a format string (see Console. print several objects according to a format string (see Console.printf) Definition Classes ConsoleOutput → Output
def println (m: Any): Unit print an object with a newline print an object with a newline Definition Classes Output
implicit def propExample (expression: ⇒ Prop)(implicit p: Parameters): Example Attributes implicit
implicit def propFragments (expression: ⇒ Prop)(implicit p: Parameters): Fragments Attributes implicit
implicit def propFragmentsFragments (expression: ⇒ Prop): FragmentsFragment this implicit def is necessary when the expression is at the start of the spec this implicit def is necessary when the expression is at the start of the spec Attributes implicit
implicit def propToProp (p: ⇒ Prop): Prop Attributes implicit Definition Classes ResultPropertyImplicits
implicit def resultExample (expression: ⇒ Result): Example Attributes implicit Definition Classes AutoExamples
implicit def resultFragments (expression: ⇒ Result): Fragments this implicit def is necessary when the expression is at the start of the spec this implicit def is necessary when the expression is at the start of the spec Attributes implicit Definition Classes AutoExamples
implicit def resultFragmentsFragment (expression: ⇒ Result): ResultFragment this implicit def is necessary when the expression is at the start of the spec this implicit def is necessary when the expression is at the start of the spec Attributes implicit Definition Classes AutoExamples
object set extends Parameters factory object to create parameters with verbose = false
implicit def setProperty (p: Prop): SetProperty set specific execution parameters on a Property set specific execution parameters on a Property Attributes implicit Definition Classes ScalaCheckMatchers
def synchronized [T0] (arg0: ⇒ T0): T0 Attributes final Definition Classes AnyRef
def toString (): String Definition Classes AnyRef → Any
def wait (): Unit Attributes final Definition Classes AnyRef Annotations @throws()
def wait (arg0: Long, arg1: Int): Unit Attributes final Definition Classes AnyRef Annotations @throws()
def wait (arg0: Long): Unit Attributes final Definition Classes AnyRef Annotations @throws()
val workers : Symbol Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Values which can be used as Symbol aliases to specify ScalaCheck parameters The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name Definition Classes ScalaCheckParameters



        

        
              Inherited from AutoExamples
            

              Inherited from ScalaCheckMatchers
            

              Inherited from ApplicableArbitraries
            

              Inherited from ResultPropertyImplicits
            

              Inherited from FunctionPropertyImplicits
            

              Inherited from ScalaCheckParameters
            

              Inherited from ScalaCheckFunctions
            

              Inherited from ConsoleOutput
            

              Inherited from Output
            

              Inherited from AnyRef
            

              Inherited from Any

ScalaCheck

trait ScalaCheck extends ScalaCheckMatchers with AutoExamples

Type Members

case class ApplicableArbitrary [T] (a: Arbitrary[T]) extends Product with Serializable

case class ApplicableArbitrary2 [T1, T2] (a1: Arbitrary[T1], a2: Arbitrary[T2]) extends Product with Serializable

case class ApplicableArbitrary3 [T1, T2, T3] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]) extends Product with Serializable

case class ApplicableArbitrary4 [T1, T2, T3, T4] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]) extends Product with Serializable

case class ApplicableArbitrary5 [T1, T2, T3, T4, T5] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]) extends Product with Serializable

case class ApplicableArbitrary6 [T1, T2, T3, T4, T5, T6] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]) extends Product with Serializable

case class ApplicableArbitrary7 [T1, T2, T3, T4, T5, T6, T7] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]) extends Product with Serializable

case class ApplicableArbitrary8 [T1, T2, T3, T4, T5, T6, T7, T8] (a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]) extends Product with Serializable

class FunctionForAll [T] extends AnyRef

class FunctionForAll2 [T1, T2] extends AnyRef

class FunctionForAll3 [T1, T2, T3] extends AnyRef

class SetProperty extends AnyRef

Value Members

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

implicit def applicableArbitrary [T] (a: Arbitrary[T]): ApplicableArbitrary[T]

implicit def applicableArbitrary2 [T1, T2] (a: (Arbitrary[T1], Arbitrary[T2])): ApplicableArbitrary2[T1, T2]

implicit def applicableArbitrary3 [T1, T2, T3] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3])): ApplicableArbitrary3[T1, T2, T3]

implicit def applicableArbitrary4 [T1, T2, T3, T4] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4])): ApplicableArbitrary4[T1, T2, T3, T4]

implicit def applicableArbitrary5 [T1, T2, T3, T4, T5] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5])): ApplicableArbitrary5[T1, T2, T3, T4, T5]

implicit def applicableArbitrary6 [T1, T2, T3, T4, T5, T6] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6])): ApplicableArbitrary6[T1, T2, T3, T4, T5, T6]

implicit def applicableArbitrary7 [T1, T2, T3, T4, T5, T6, T7] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7])): ApplicableArbitrary7[T1, T2, T3, T4, T5, T6, T7]

implicit def applicableArbitrary8 [T1, T2, T3, T4, T5, T6, T7, T8] (a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7], Arbitrary[T8])): ApplicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8]

def asInstanceOf [T0] : T0

implicit def booleanExample (expression: ⇒ Boolean): Example

implicit def booleanFragments (expression: ⇒ Boolean): Fragments

implicit def booleanFragmentsFragment (expression: ⇒ Boolean): BooleanResultFragment

implicit def booleanToProp (b: ⇒ Boolean): Prop

implicit def callByNameMatchResultToProp [T] (m: ⇒ MatchResult[T]): Prop

def check (prop: Prop)(implicit p: Parameters): Result

def check [T, S] (f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

def check [T1, T2, T3, T4, T5, R] (result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

def check [T1, T2, T3, T4, R] (result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

def check [T1, T2, T3, R] (result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

def check [T1, T2, R] (result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

def check [T, R] (result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

implicit def check1 [T, R] (result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

implicit def check2 [T1, T2, R] (result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

implicit def check3 [T1, T2, T3, R] (result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

implicit def check4 [T1, T2, T3, T4, R] (result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

implicit def check5 [T1, T2, T3, T4, T5, R] (result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

implicit def checkPartial [T, S] (f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

implicit def checkProp (prop: Prop)(implicit p: Parameters): Result

def checkProp (params: Params, prop: ⇒ Prop, callback: TestCallback): Result

def clone (): AnyRef

implicit def defaultParameters : Parameters

val defaultPrettyParams : Params

def defaultValues : Map[Symbol, Int]

object display extends Parameters

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

def flush (): Unit

implicit def functionToForAll [T] (f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): FunctionForAll[T]

implicit def functionToProp [T] (f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): Prop

implicit def functionToProp2 [T1, T2] (f: (T1, T2) ⇒ Boolean): FunctionForAll2[T1, T2]

implicit def functionToProp3 [T1, T2, T3] (f: (T1, T2, T3) ⇒ Boolean): FunctionForAll3[T1, T2, T3]

def getClass (): java.lang.Class[_]

def hashCode (): Int

def isInstanceOf [T0] : Boolean

implicit def matchExample (expression: ⇒ org.specs2.matcher.MatchResult[_]): Example

implicit def matchFragments (expression: ⇒ org.specs2.matcher.MatchResult[_]): Fragments

implicit def matchFragmentsFragment (expression: ⇒ org.specs2.matcher.MatchResult[_]): MatchResultFragment

implicit def matchResultToProp [T] (m: MatchResult[T]): Prop

val maxDiscarded : Symbol

val maxSize : Symbol

val minSize : Symbol

val minTestsOk : Symbol

def ne (arg0: AnyRef): Boolean

def notify (): Unit

def notifyAll (): Unit

def print (m: Any): Unit

def printStackTrace (t: Throwable): Unit

def printf (s: String, args: Any*): Unit