class Result in org.scalacheck.Prop

org.scalacheck.Prop

class Result

[source: org/scalacheck/Prop.scala]

class Result(val status : Status, val args : scala.List, val collected : scala.collection.immutable.Set[Any], val labels : scala.collection.immutable.Set[java.lang.String]): extends AnyRef

The result of evaluating a property

Method Summary
`def`	&& (r : Result) : Result
`def`	++ (r : Result) : Result
`def`	addArg (a : Arg[Any]) : Result
`def`	collect (x : Any) : Result
`def`	failure : Boolean
`def`	label (l : java.lang.String) : Result
`def`	success : Boolean
`def`	\|\| (r : Result) : Result

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Method Details

def success : Boolean

def failure : Boolean

def addArg(a : Arg[Any]) : Result

def collect(x : Any) : Result

def label(l : java.lang.String) : Result

def &&(r : Result) : Result

def ||(r : Result) : Result

def ++(r : Result) : Result