randoop.condition

Class RandoopSpecificationError

java.lang.Object

java.lang.Throwable

java.lang.Error

randoop.condition.RandoopSpecificationError

All Implemented Interfaces:

java.io.Serializable

public class RandoopSpecificationError
extends java.lang.Error

Indicates a problem creating 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.

See Also:

Serialized Form

Field Summary

Fields

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 Summary

Constructors

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.

Method Summary

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

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

file

java.nio.file.Path file

Which file was being read when the error occurred.

thisMessage

java.lang.String thisMessage

Constructor Detail

RandoopSpecificationError

RandoopSpecificationError(java.lang.String message)

Create a RandoopSpecificationError with the given message.

Parameters:

message - the error message

RandoopSpecificationError

RandoopSpecificationError(java.lang.String message,
                          java.lang.Throwable cause)

Create a RandoopSpecificationError with the given message and cause.

Parameters:

message - the error message

cause - the causing exception

Method Detail

setFile

public void setFile(java.nio.file.Path file)

Indicate which file was being read when the error occurred.

Parameters:

file - the file

setThisMessage

public void setThisMessage(java.lang.String message)

Set the local message (ignoring the message of the cause).

Parameters:

message - the string to use as the local message for this Error

getThisMessage

public java.lang.String getThisMessage()

Set the local message (ignoring the message of the cause).

Returns:

the local message (ignoring the message of the cause)

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable