org.scalacheck.Test

class Stats

[source: org/scalacheck/Test.scala]

case class Stats(val result : Result, val succeeded : Int, val discarded : Int)
extends scala.Product
Test statistics
Method Summary
override def equals (arg0 : Any) : Boolean
override def hashCode : Int
override final def productArity : Int
override final def productElement (arg0 : Int) : Any
override final def productPrefix : java.lang.String
override def toString : java.lang.String
Methods inherited from AnyRef
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
override def hashCode : Int

override def toString : java.lang.String

override def equals(arg0 : Any) : Boolean

override final def productPrefix : java.lang.String
Overrides
scala.Product.scala.Product.productPrefix

override final def productArity : Int
Overrides
scala.Product.scala.Product.productArity

override final def productElement(arg0 : Int) : Any
Overrides
scala.Product.scala.Product.productElement