Class RandoopGenerationError

  • All Implemented Interfaces:
    Serializable

    public class RandoopGenerationError
    extends Error
    Error class to signal generation errors that should stop Randoop execution.
    See Also:
    Serialized Form
    • Field Detail

      • exception

        private final Throwable exception
        The exception that was thrown.
    • Constructor Detail

      • RandoopGenerationError

        RandoopGenerationError​(TypedOperation operation,
                               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 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 String getInstantiatedOperation()
        Return the String representation of the TypedOperation in this error.
        Returns:
        the String representation of the operation
      • getException

        public Throwable getException()
        Return the Throwable for this error.
        Returns:
        the Throwable for this error