scalacheck 1.6 API
org.scalacheck

trait Prop
[source: org/scalacheck/Prop.scala]
trait Prop
extends AnyRef
A property is a generator that generates a property result
Direct Known Subclasses:
Commands, Properties
Method Summary
def && (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate false.
def ++ (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate the same result as the other property.
def :| (l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def :| (l : scala.Symbol) : Prop
Put a label on the property to make test reports clearer
def == (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates a result with the exact same status, if the status isn't Undecided. Note that this means that if one of the properties is proved, and the other one passed, then the resulting property will fail.
def === (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates a result with the exact same status. Note that this means that if one of the properties is proved, and the other one passed, then the resulting property will fail.
abstract def apply (prms : Params) : Result
def check (prms : Params) : Unit
def check : Unit
Convenience method that checks this property and reports the result on the console. Calling p.check is equal to calling Test.check(p), but this method does not return the test statistics. If you need to get the results from the test, or if you want more control over the test parameters, use the check methods in Test instead.
def combine (p : Prop)(f : (Result, Result) => Result) : Prop
def flatMap (f : (Result) => Prop) : Prop
def label (l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def main (args : scala.Array[java.lang.String]) : Unit
Convenience method that makes it possible to use a this property as an application that checks itself on execution
def map (f : (Result) => Result) : Prop
override def toString : java.lang.String
Returns a string representation of the object.
def |: (l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def |: (l : scala.Symbol) : Prop
Put a label on the property to make test reports clearer
def || (p : Prop) : Prop
Returns a new property that holds if either this or the given property (or both) hold.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
abstract def apply(prms : Params) : Result
def map(f : (Result) => Result) : Prop
def flatMap(f : (Result) => Prop) : Prop
def combine(p : Prop)(f : (Result, Result) => Result) : Prop
def check(prms : Params) : Unit
def main(args : scala.Array[java.lang.String]) : Unit
Convenience method that makes it possible to use a this property as an application that checks itself on execution
def check : Unit
Convenience method that checks this property and reports the result on the console. Calling p.check is equal to calling Test.check(p), but this method does not return the test statistics. If you need to get the results from the test, or if you want more control over the test parameters, use the check methods in Test instead.
def &&(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate false.
def ||(p : Prop) : Prop
Returns a new property that holds if either this or the given property (or both) hold.
def ++(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate the same result as the other property.
def ==(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates a result with the exact same status, if the status isn't Undecided. Note that this means that if one of the properties is proved, and the other one passed, then the resulting property will fail.
def ===(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates a result with the exact same status. Note that this means that if one of the properties is proved, and the other one passed, then the resulting property will fail.
override def toString : java.lang.String
Returns a string representation of the object.

The default representation is platform dependent.

Returns
a string representation of the object.

def label(l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def :|(l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def |:(l : java.lang.String) : Prop
Put a label on the property to make test reports clearer
def :|(l : scala.Symbol) : Prop
Put a label on the property to make test reports clearer
def |:(l : scala.Symbol) : Prop
Put a label on the property to make test reports clearer
scalacheck 1.6 API