randoop.condition.specification

Class SpecificationClause

java.lang.Object

randoop.condition.specification.SpecificationClause

Direct Known Subclasses:

Postcondition, Precondition, ThrowsCondition

public abstract class SpecificationClause
extends java.lang.Object

Abstract class for representations of conditions that can be attached to methods and constructors.

Every specification clause has at least a guard (which this class provides). Some clauses have more parts, so subclasses of this class can add fields.

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	description The description of this SpecificationClause.
private Guard	guard The Guard for this specification.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SpecificationClause() Gson serialization requires a no-argument constructor.
protected	SpecificationClause(java.lang.String description, Guard guard) Creates a SpecificationClause with the given guard.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object object)
java.lang.String	getDescription() Returns the description of this SpecificationClause.
Guard	getGuard() Return the Guard of this SpecificationClause.
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

description

private final java.lang.String description

The description of this SpecificationClause.

guard

private final Guard guard

The Guard for this specification.

Constructor Detail

SpecificationClause

protected SpecificationClause()

Gson serialization requires a no-argument constructor.

SpecificationClause

protected SpecificationClause(java.lang.String description,
                              Guard guard)

Creates a SpecificationClause with the given guard.

Parameters:

description - the description of the created specification

guard - the Guard for the created specification

Method Detail

getDescription

public java.lang.String getDescription()

Returns the description of this SpecificationClause.

Returns:

the description of this specification

getGuard

public Guard getGuard()

Return the Guard of this SpecificationClause.

Returns:

the guard of this specification

equals

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

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object