randoop.condition.specification

Class ThrowsCondition

java.lang.Object

randoop.condition.specification.SpecificationClause

randoop.condition.specification.ThrowsCondition

public class ThrowsCondition
extends SpecificationClause

A specification clause that an exception should be thrown.

The JSON serialization of this class is used to read the specifications for an operation given using the --specifications command-line option. The JSON should include a JSON object labeled by the name of each field of this class, as in

   {
      "exception": "java.lang.IllegalStateException",
      "description": "throws IllegalStateException if the connection is already open",
      "guard": {
         "condition": "receiver.isOpen()",
         "description": "if the connection is already open"
       }
   }
 

See Guard for details on specifying guards.

Field Summary

Fields

Modifier and Type	Field and Description
private @ClassGetName java.lang.String	exceptionType The fully-qualified binary name of the type of the expected exception.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ThrowsCondition() Gson serialization requires a default constructor.
	ThrowsCondition(java.lang.String description, Guard guard, @ClassGetName java.lang.String exceptionType) Creates a ThrowsCondition representing an exception expected when the guard is true.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object object)
@ClassGetName java.lang.String	getExceptionTypeName() Returns the exception type name for this ThrowsCondition.
int	hashCode()
java.lang.String	toString()

Methods inherited from class randoop.condition.specification.SpecificationClause

getDescription, getGuard

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

exceptionType

@SerializedName(value="exception")
private final @ClassGetName java.lang.String exceptionType

The fully-qualified binary name of the type of the expected exception.

Constructor Detail

ThrowsCondition

private ThrowsCondition()

Gson serialization requires a default constructor.

ThrowsCondition

public ThrowsCondition(java.lang.String description,
                       Guard guard,
                       @ClassGetName java.lang.String exceptionType)

Creates a ThrowsCondition representing an exception expected when the guard is true.

Parameters:

description - the description of the condition

guard - the guard for the specification

exceptionType - the expected exception type

Method Detail

getExceptionTypeName

public @ClassGetName java.lang.String getExceptionTypeName()

Returns the exception type name for this ThrowsCondition.

Returns:

the exception type name for this throws specification

equals

public boolean equals(@Nullable java.lang.Object object)

Overrides:

equals in class SpecificationClause

hashCode

public int hashCode()

Overrides:

hashCode in class SpecificationClause

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object