randoop.generation

Class RandoopGenerationError

java.lang.Object

java.lang.Throwable

java.lang.Error

randoop.generation.RandoopGenerationError

All Implemented Interfaces:

java.io.Serializable

public class RandoopGenerationError
extends java.lang.Error

Error class to signal generation errors that should stop Randoop execution.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.Throwable	exception The exception that was thrown.
private TypedOperation	operation The operation.
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
RandoopGenerationError(TypedOperation operation, java.lang.Throwable exception) Create a RandoopGenerationError representing an error that occurs during the generation of a sequence for the given operation.

Method Summary

Modifier and Type	Method and Description
java.lang.Throwable	getException() Return the Throwable for this error.
java.lang.String	getInstantiatedOperation() Return the String representation of the TypedOperation in this error.
java.lang.String	getOperationName() Returns the name of the java.lang.reflect.AccessibleObject underlying the operation in this object.

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

operation

private final TypedOperation operation

The operation.

exception

private final java.lang.Throwable exception

The exception that was thrown.

Constructor Detail

RandoopGenerationError

RandoopGenerationError(TypedOperation operation,
                       java.lang.Throwable exception)

Create a RandoopGenerationError representing an error that occurs during the generation of a sequence for the given operation.

Parameters:

operation - the actual operation

exception - the exception thrown during generation

Method Detail

getOperationName

public java.lang.String getOperationName()

Returns the name of the java.lang.reflect.AccessibleObject underlying the operation in this object.

Returns:

the name of the reflection object for the operation

getInstantiatedOperation

public java.lang.String getInstantiatedOperation()

Return the String representation of the TypedOperation in this error.

Returns:

the String representation of the operation

getException

public java.lang.Throwable getException()

Return the Throwable for this error.

Returns:

the Throwable for this error