class Exception in org.scalacheck.Prop

org.scalacheck.Prop

class Exception

[source: org/scalacheck/Prop.scala]

case class Exception(val as : scala.List[Arg], val e : java.lang.Throwable): extends Result with scala.Product

Evaluating the property with the given arguments raised an exception

Values and Variables inherited from Result
args

Method Summary
`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 Result
equals, success, failure, addArg

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 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