public class RandoopSpecificationError
extends java.lang.Error
ExecutableBooleanExpression (usually a syntax error in the
condition text) or an exception thrown when evaluating it. This is a user error, not a bug in
Randoop.| Modifier and Type | Field and Description |
|---|---|
(package private) java.nio.file.Path |
file
Which file was being read when the error occurred.
|
private static long |
serialVersionUID |
(package private) java.lang.String |
thisMessage |
| Constructor and Description |
|---|
RandoopSpecificationError(java.lang.String message)
Create a
RandoopSpecificationError with the given message. |
RandoopSpecificationError(java.lang.String message,
java.lang.Throwable cause)
Create a
RandoopSpecificationError with the given message and cause. |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getMessage() |
java.lang.String |
getThisMessage()
Set the local message (ignoring the message of the cause).
|
void |
setFile(java.nio.file.Path file)
Indicate which file was being read when the error occurred.
|
void |
setThisMessage(java.lang.String message)
Set the local message (ignoring the message of the cause).
|
private static final long serialVersionUID
java.nio.file.Path file
java.lang.String thisMessage
RandoopSpecificationError(java.lang.String message)
RandoopSpecificationError with the given message.message - the error messageRandoopSpecificationError(java.lang.String message,
java.lang.Throwable cause)
RandoopSpecificationError with the given message and cause.message - the error messagecause - the causing exceptionpublic void setFile(java.nio.file.Path file)
file - the filepublic void setThisMessage(java.lang.String message)
message - the string to use as the local message for this Errorpublic java.lang.String getThisMessage()
public java.lang.String getMessage()
getMessage in class java.lang.Throwable