class GeneratorDrivenPropertyCheckFailedException extends PropertyCheckFailedException
Exception that indicates a ScalaCheck property check failed.
- Source
- GeneratorDrivenPropertyCheckFailedException.scala
- Exceptions thrown
NullArgumentException
if any parameter isnull
orSome(null)
.
- Alphabetic
- By Inheritance
- GeneratorDrivenPropertyCheckFailedException
- PropertyCheckFailedException
- TestFailedException
- ModifiablePayload
- PayloadField
- ModifiableMessage
- StackDepthException
- StackDepth
- RuntimeException
- Exception
- Throwable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
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
-
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
-
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 thisGeneratorDrivenPropertyCheckFailedException
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 isnull
orSome(null)
.
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
addSuppressed(arg0: Throwable): Unit
- Definition Classes
- Throwable
-
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 theList[String]
contained in theSome
. 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
-
val
args: List[Any]
- Definition Classes
- PropertyCheckFailedException
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
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
-
val
cause: Option[Throwable]
- Definition Classes
- StackDepthException → StackDepth
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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 equalmessage
,cause
, andfailedCodeStackDepth
fields, as well as equal return values ofgetStackTrace
.- Definition Classes
- TestFailedException → StackDepthException → AnyRef → Any
-
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 byfailedCodeStackDepth
.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 byfailedCodeStackDepth
.This is a
def
instead of aval
because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by theSeveredStackTraces
trait.- returns
a string containing the filename that caused the failed test
- Definition Classes
- StackDepth
-
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
andfailedCodeLineNumber
to get the failing filename and line number.failedCodeFileName
andfailedCodeLineNumber
will fall back to exception stack trace whenPosition
is not avaiable, this is the reason it is adef
instead of aval
, because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by theSeveredStackTraces
trait.- returns
a user-presentable string containing the filename and line number that caused the failed test
- Definition Classes
- StackDepth
-
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
-
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
andfailedCodeLineNumber
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
-
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 byfailedCodeStackDepth
.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 byfailedCodeStackDepth
.This is a
def
instead of aval
because exceptions are mutable: their stack trace can be changed after the exception is created. This is done, for example, by theSeveredStackTraces
trait.- returns
a string containing the line number that caused the failed test
- Definition Classes
- StackDepth
-
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
StackDepthException
s, but whosefailedCodeStackDepth
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
-
def
fillInStackTrace(): Throwable
- Definition Classes
- Throwable
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
getCause(): Throwable
- Definition Classes
- Throwable
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
getLocalizedMessage(): String
- Definition Classes
- Throwable
-
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 benull
).
- Definition Classes
- StackDepthException → Throwable
-
def
getStackTrace(): Array[StackTraceElement]
- Definition Classes
- Throwable
-
final
def
getSuppressed(): Array[Throwable]
- Definition Classes
- Throwable
-
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
-
final
def
initCause(throwable: Throwable): Throwable
- Definition Classes
- StackDepthException → Throwable
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val labels: List[String]
-
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
StackDepthException
s, but whosemessage
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
-
val
messageFun: (StackDepthException) ⇒ Option[String]
- Definition Classes
- StackDepthException
-
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
-
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
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
val
payload: Option[Any]
- Definition Classes
- TestFailedException → PayloadField
-
val
position: Option[Position]
- Definition Classes
- StackDepthException → StackDepth
-
def
printStackTrace(arg0: PrintWriter): Unit
- Definition Classes
- Throwable
-
def
printStackTrace(arg0: PrintStream): Unit
- Definition Classes
- Throwable
-
def
printStackTrace(): Unit
- Definition Classes
- Throwable
-
def
setStackTrace(arg0: Array[StackTraceElement]): Unit
- Definition Classes
- Throwable
-
def
severedAtStackDepth: TestFailedException
Returns an exception of class
TestFailedException
withfailedExceptionStackDepth
set to 0 and all frames above this stack depth severed off.Returns an exception of class
TestFailedException
withfailedExceptionStackDepth
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
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- Throwable → AnyRef → Any
-
val
undecoratedMessage: String
- Definition Classes
- PropertyCheckFailedException
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )