org.scalatest.exceptions

GeneratorDrivenPropertyCheckFailedException

class GeneratorDrivenPropertyCheckFailedException extends PropertyCheckFailedException

Exception that indicates a ScalaCheck property check failed.

Exceptions thrown
NullArgumentException

if any parameter is null or Some(null).

Linear Supertypes
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
Learn more about member selection
Visibility
  1. Public
  2. All

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

    returns

  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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. val analysis: IndexedSeq[String]

    Definition Classes
    TestFailedException
  7. 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
  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
    TestFailedExceptionStackDepthException
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  12. 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
    TestFailedExceptionStackDepthException → AnyRef → Any
  13. 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
  14. 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
  15. lazy val failedCodeFilePathname: Option[String]

    Definition Classes
    StackDepthExceptionStackDepth
  16. 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
  17. 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
  18. 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
    StackDepthExceptionStackDepth
  19. def fillInStackTrace(): Throwable

    Definition Classes
    Throwable
  20. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. def getCause(): Throwable

    Definition Classes
    Throwable
  22. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  23. def getLocalizedMessage(): String

    Definition Classes
    Throwable
  24. 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
  25. def getStackTrace(): Array[StackTraceElement]

    Definition Classes
    Throwable
  26. def hashCode(): Int

    Returns a hash code value for this object.

    Returns a hash code value for this object.

    Definition Classes
    TestFailedExceptionStackDepthException → AnyRef → Any
  27. final def initCause(throwable: Throwable): Throwable

    Definition Classes
    StackDepthException → Throwable
  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  29. val labels: List[String]

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

  30. 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
    StackDepthExceptionStackDepth
  31. 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
    GeneratorDrivenPropertyCheckFailedExceptionTestFailedExceptionModifiableMessage
  32. 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
    GeneratorDrivenPropertyCheckFailedExceptionTestFailedExceptionModifiablePayload
  33. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  34. final def notify(): Unit

    Definition Classes
    AnyRef
  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  36. 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
    StackDepthExceptionStackDepth
  37. def printStackTrace(arg0: PrintWriter): Unit

    Definition Classes
    Throwable
  38. def printStackTrace(arg0: PrintStream): Unit

    Definition Classes
    Throwable
  39. def printStackTrace(): Unit

    Definition Classes
    Throwable
  40. def setStackTrace(arg0: Array[StackTraceElement]): Unit

    Definition Classes
    Throwable
  41. 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
    TestFailedExceptionStackDepth
  42. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  43. def toString(): String

    Definition Classes
    Throwable → AnyRef → Any
  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TestFailedException

Inherited from PayloadField

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