Packages

c

org.scalatest.exceptions

GeneratorDrivenPropertyCheckFailedException

class GeneratorDrivenPropertyCheckFailedException extends PropertyCheckFailedException

Exception that indicates a ScalaCheck property check failed.

Source
GeneratorDrivenPropertyCheckFailedException.scala
Exceptions thrown

NullArgumentException if any parameter is null or Some(null).

Linear Supertypes
PropertyCheckFailedException, TestFailedException, ModifiablePayload[TestFailedException], PayloadField, ModifiableMessage[TestFailedException], StackDepthException, StackDepth, RuntimeException, Exception, Throwable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GeneratorDrivenPropertyCheckFailedException
  2. PropertyCheckFailedException
  3. TestFailedException
  4. ModifiablePayload
  5. PayloadField
  6. ModifiableMessage
  7. StackDepthException
  8. StackDepth
  9. RuntimeException
  10. Exception
  11. Throwable
  12. Serializable
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new GeneratorDrivenPropertyCheckFailedException(messageFun: (StackDepthException) => String, cause: Option[Throwable], failedCodeStackDepthFun: (StackDepthException) => Int, payload: Option[Any], undecoratedMessage: String, args: List[Any], namesOfArgs: Option[List[String]], labels: List[String])

    Constructs a GeneratorDrivenPropertyCheckFailedException with the given message function, cause exception, stack depth function, payload, undecorated message, argument values, names and labels.

    Constructs a GeneratorDrivenPropertyCheckFailedException with the given message function, cause exception, stack depth function, payload, undecorated message, argument values, names and labels.

    messageFun

    the message function

    cause

    the optional cause

    failedCodeStackDepthFun

    the function that returns the depth in the stack trace of this exception at which the line of test code that failed resides

    payload

    the payload

    undecoratedMessage

    the undecorated message

    args

    the argument values

    namesOfArgs

    the argument names

    labels

    the argument labels

  2. new GeneratorDrivenPropertyCheckFailedException(messageFun: (StackDepthException) => String, cause: Option[Throwable], pos: Position, payload: Option[Any], undecoratedMessage: String, args: List[Any], namesOfArgs: Option[List[String]], labels: List[String])

    Constructs a GeneratorDrivenPropertyCheckFailedException with the given message function, cause exception, source position, payload, undecorated message, argument values, names and labels.

    Constructs a GeneratorDrivenPropertyCheckFailedException with the given message function, cause exception, source position, payload, undecorated message, argument values, names and labels.

    messageFun

    the message function

    cause

    the optional cause

    pos

    the source position

    payload

    the payload

    undecoratedMessage

    the undecorated message

    args

    the argument values

    namesOfArgs

    the argument names

    labels

    the argument labels

  3. new GeneratorDrivenPropertyCheckFailedException(messageFun: (StackDepthException) => String, cause: Option[Throwable], posOrStackDepthFun: Either[Position, (StackDepthException) => Int], payload: Option[Any], undecoratedMessage: String, args: List[Any], namesOfArgs: Option[List[String]], labels: List[String])

    messageFun

    a function that returns a detail message (not optional) for this GeneratorDrivenPropertyCheckFailedException.

    cause

    an optional cause, the Throwable that caused this GeneratorDrivenPropertyCheckFailedException to be thrown.

    posOrStackDepthFun

    either a source position or a function that returns the depth in the stack trace of this exception at which the line of test code that failed resides.

    payload

    an optional payload, which ScalaTest will include in a resulting TestFailed event

    undecoratedMessage

    just a short message that has no redundancy with args, labels, etc. The regular "message" has everything in it.

    args

    the argument values, if any, that caused the property check to fail.

    namesOfArgs

    an optional list of string names for the arguments.

    labels

    the labels, if any (see the ScalaCheck user guide for information on labels)

    Exceptions thrown

    NullArgumentException if any parameter is null or Some(null).

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def addSuppressed(arg0: Throwable): Unit
    Definition Classes
    Throwable
  5. val analysis: IndexedSeq[String]
    Definition Classes
    TestFailedException
  6. def argNames: List[String]

    A list of names for the arguments that caused the property check to fail.

    A list of names for the arguments that caused the property check to fail.

    If the optionalArgNames class parameter is defined, this method returns the List[String] contained in the Some. Otherwise, it returns a list that gives "arg0" for the zeroeth argument, "arg1" for the first argument, "arg2" for the second argument, and so on.

    Definition Classes
    PropertyCheckFailedException
  7. val args: List[Any]
    Definition Classes
    PropertyCheckFailedException
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def canEqual(other: Any): Boolean

    Indicates whether this object can be equal to the passed object.

    Indicates whether this object can be equal to the passed object.

    Definition Classes
    TestFailedException → StackDepthException
  10. val cause: Option[Throwable]

    An optional cause, the Throwable that caused this StackDepth exception to be thrown.

    An optional cause, the Throwable that caused this StackDepth exception to be thrown.

    Definition Classes
    StackDepthException → StackDepth
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(other: Any): Boolean

    Indicates whether this object is equal to the passed object.

    Indicates whether this object is equal to the passed object. If the passed object is a TestFailedException, equality requires equal message, cause, and failedCodeStackDepth fields, as well as equal return values of getStackTrace.

    Definition Classes
    TestFailedException → StackDepthException → AnyRef → Any
  14. def failedCodeFileName: Option[String]

    A string that provides the filename of the line of code that failed, suitable for presenting to a user, which is taken from this exception's StackTraceElement at the depth specified by failedCodeStackDepth.

    A string that provides the filename of the line of code that failed, suitable for presenting to a user, which is taken from this exception's StackTraceElement at the depth specified by failedCodeStackDepth.

    This is a def instead of a val because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by the SeveredStackTraces trait.

    returns

    a string containing the filename that caused the failed test

    Definition Classes
    StackDepth
  15. def failedCodeFileNameAndLineNumberString: Option[String]

    A string that provides the filename and line number of the line of code that failed, suitable for presenting to a user of the failing line.

    A string that provides the filename and line number of the line of code that failed, suitable for presenting to a user of the failing line. It calls failedCodeFileName and failedCodeLineNumber to get the failing filename and line number.

    failedCodeFileName and failedCodeLineNumber will fall back to exception stack trace when Position is not avaiable, this is the reason it is a def instead of a val, because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by the SeveredStackTraces trait.

    returns

    a user-presentable string containing the filename and line number that caused the failed test

    Definition Classes
    StackDepth
  16. lazy val failedCodeFilePathname: Option[String]

    A string that provides the full pathname of the source file containing the line of code that failed, suitable for presenting to a user.

    A string that provides the full pathname of the source file containing the line of code that failed, suitable for presenting to a user.

    returns

    a string containing the full pathname of the source file containing the line of code that caused this exception

    Definition Classes
    StackDepthException → StackDepth
  17. lazy val failedCodeFilePathnameAndLineNumberString: Option[String]

    A string that provides the absolute filename and line number of the line of code that failed, suitable for presenting to a user of the failing line.

    A string that provides the absolute filename and line number of the line of code that failed, suitable for presenting to a user of the failing line. It calls failedCodeFilePathname and failedCodeLineNumber to get the failing absolute filename and line number.

    returns

    a user-presentable string containing the absolute filename and line number that caused the failed test

    Definition Classes
    StackDepth
  18. def failedCodeLineNumber: Option[Int]

    A string that provides the line number of the line of code that failed, suitable for presenting to a user, which is taken from this exception's StackTraceElement at the depth specified by failedCodeStackDepth.

    A string that provides the line number of the line of code that failed, suitable for presenting to a user, which is taken from this exception's StackTraceElement at the depth specified by failedCodeStackDepth.

    This is a def instead of a val because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by the SeveredStackTraces trait.

    returns

    a string containing the line number that caused the failed test

    Definition Classes
    StackDepth
  19. lazy val failedCodeStackDepth: Int

    The depth in the stack trace of this exception at which the line of test code that failed resides.

    The depth in the stack trace of this exception at which the line of test code that failed resides.

    One reason this is lazy is to delay any searching of the stack trace until it is actually needed. It will usually be needed, but not always. For example, exceptions thrown during a shrink phase of a failed property will often be StackDepthExceptions, but whose failedCodeStackDepth will never be used. Another reason is to remove the need to create a different exception before creating this one just for the purpose of searching through its stack trace for the proper stack depth. Still one more reason is to allow the message to contain information about the stack depth, such as the failed file name and line number.

    Definition Classes
    StackDepthException → StackDepth
  20. def fillInStackTrace(): Throwable
    Definition Classes
    Throwable
  21. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  22. def getCause(): Throwable
    Definition Classes
    Throwable
  23. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. def getLocalizedMessage(): String
    Definition Classes
    Throwable
  25. def getMessage(): String

    Returns the detail message string of this StackDepthException.

    Returns the detail message string of this StackDepthException.

    returns

    the detail message string of this StackDepthException instance (which may be null).

    Definition Classes
    StackDepthException → Throwable
  26. def getStackTrace(): Array[StackTraceElement]
    Definition Classes
    Throwable
  27. final def getSuppressed(): Array[Throwable]
    Definition Classes
    Throwable
  28. def hashCode(): Int

    Returns a hash code value for this object.

    Returns a hash code value for this object.

    Definition Classes
    TestFailedException → StackDepthException → AnyRef → Any
  29. final def initCause(throwable: Throwable): Throwable
    Definition Classes
    StackDepthException → Throwable
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. val labels: List[String]
  32. lazy val message: Option[String]

    An optional detail message for this StackDepth exception.

    An optional detail message for this StackDepth exception.

    One reason this is lazy is to delay any searching of the stack trace until it is actually needed. It will usually be needed, but not always. For example, exceptions thrown during a shrink phase of a failed property will often be StackDepthExceptions, but whose message will never be used. Another related reason is to remove the need to create a different exception before creating this one just for the purpose of searching through its stack trace for the proper stack depth. Still one more reason is to allow the message to contain information about the stack depth, such as the failed file name and line number.

    Definition Classes
    StackDepthException → StackDepth
  33. val messageFun: (StackDepthException) => Option[String]
    Definition Classes
    StackDepthException
  34. def modifyMessage(fun: (Option[String]) => Option[String]): GeneratorDrivenPropertyCheckFailedException

    Returns an instance of this exception's class, identical to this exception, except with the detail message option string replaced with the result of passing the current detail message to the passed function, fun.

    Returns an instance of this exception's class, identical to this exception, except with the detail message option string replaced with the result of passing the current detail message to the passed function, fun.

    fun

    A function that, given the current optional detail message, will produce the modified optional detail message for the result instance of GeneratorDrivenPropertyCheckFailedException.

    Definition Classes
    GeneratorDrivenPropertyCheckFailedException → TestFailedException → ModifiableMessage
  35. def modifyPayload(fun: (Option[Any]) => Option[Any]): GeneratorDrivenPropertyCheckFailedException

    Returns an instance of this exception's class, identical to this exception, except with the payload option replaced with the result of passing the current payload option to the passed function, fun.

    Returns an instance of this exception's class, identical to this exception, except with the payload option replaced with the result of passing the current payload option to the passed function, fun.

    fun

    A function that, given the current optional payload, will produce the modified optional payload for the result instance of TableDrivenPropertyCheckFailedException.

    Definition Classes
    GeneratorDrivenPropertyCheckFailedException → TestFailedException → ModifiablePayload
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. val payload: Option[Any]

    The optional payload.

    The optional payload.

    Definition Classes
    TestFailedException → PayloadField
  40. val position: Option[Position]

    An optional source position describing the line of test code that caused this exception.

    An optional source position describing the line of test code that caused this exception.

    Definition Classes
    StackDepthException → StackDepth
  41. def printStackTrace(arg0: PrintWriter): Unit
    Definition Classes
    Throwable
  42. def printStackTrace(arg0: PrintStream): Unit
    Definition Classes
    Throwable
  43. def printStackTrace(): Unit
    Definition Classes
    Throwable
  44. def setStackTrace(arg0: Array[StackTraceElement]): Unit
    Definition Classes
    Throwable
  45. def severedAtStackDepth: TestFailedException

    Returns an exception of class TestFailedException with failedExceptionStackDepth set to 0 and all frames above this stack depth severed off.

    Returns an exception of class TestFailedException with failedExceptionStackDepth set to 0 and all frames above this stack depth severed off. This can be useful when working with tools (such as IDEs) that do not directly support ScalaTest. (Tools that directly support ScalaTest can use the stack depth information delivered in the StackDepth exceptions.)

    Definition Classes
    TestFailedException → StackDepth
  46. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  47. def toString(): String
    Definition Classes
    Throwable → AnyRef → Any
  48. val undecoratedMessage: String
    Definition Classes
    PropertyCheckFailedException
  49. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  50. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  51. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from PropertyCheckFailedException

Inherited from TestFailedException

Inherited from ModifiablePayload[TestFailedException]

Inherited from PayloadField

Inherited from ModifiableMessage[TestFailedException]

Inherited from StackDepthException

Inherited from StackDepth

Inherited from RuntimeException

Inherited from Exception

Inherited from Throwable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped