randoop.test

Class InvalidChecks

java.lang.Object

randoop.test.InvalidChecks

All Implemented Interfaces:

TestChecks<InvalidChecks>

public class InvalidChecks
extends java.lang.Object
implements TestChecks<InvalidChecks>

An empty or singleton set. It contains at most one InvalidExceptionCheck or InvalidValueCheck, which captures invalid behavior in a sequence.

Field Summary

Fields

Modifier and Type	Field and Description
private Check	check
static InvalidChecks	EMPTY An empty, immutable set of invalid checks.

Constructor Summary

Constructors

Constructor and Description
InvalidChecks() Create an empty, mutable set of invalid checks.
InvalidChecks(Check check) Create a singleton set of invalid checks.

Method Summary

Modifier and Type	Method and Description
void	add(Check check) Add a check to this set.
java.util.Set<Check>	checks() Get all non-exception checks and whether they are passing for this object.
InvalidChecks	commonChecks(InvalidChecks other) Returns the intersection of checks in this set and another set.
int	count() Return the number of checks in this test.
ExceptionCheck	getExceptionCheck() Return the exception check in this object if there is one.
boolean	hasChecks() Indicates whether this object has checks.
boolean	hasErrorBehavior() Indicate whether this object has any failing checks.
boolean	hasInvalidBehavior() Indicates whether this set of checks contains any invalid behaviors.

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final InvalidChecks EMPTY

An empty, immutable set of invalid checks.

check

private Check check

Constructor Detail

InvalidChecks

public InvalidChecks()

Create an empty, mutable set of invalid checks.

InvalidChecks

public InvalidChecks(Check check)

Create a singleton set of invalid checks.

Parameters:

check - the sole member of the newly-created singleton set

Method Detail

count

public int count()

Description copied from interface: TestChecks

Return the number of checks in this test.

Specified by:

count in interface TestChecks<InvalidChecks>

Returns:

the count of checks in this object

checks

public java.util.Set<Check> checks()

Description copied from interface: TestChecks

Get all non-exception checks and whether they are passing for this object.

Specified by:

checks in interface TestChecks<InvalidChecks>

Returns:

all checks with passing status

hasChecks

public boolean hasChecks()

Description copied from interface: TestChecks

Indicates whether this object has checks.

Specified by:

hasChecks in interface TestChecks<InvalidChecks>

Returns:

true if this object has checks, false otherwise

hasErrorBehavior

public boolean hasErrorBehavior()

Description copied from interface: TestChecks

Indicate whether this object has any failing checks. (This is essentially asking whether this is an error revealing test.)

Specified by:

hasErrorBehavior in interface TestChecks<InvalidChecks>

Returns:

true if this object has failing checks, false otherwise

getExceptionCheck

public ExceptionCheck getExceptionCheck()

Description copied from interface: TestChecks

Return the exception check in this object if there is one.

Specified by:

getExceptionCheck in interface TestChecks<InvalidChecks>

Returns:

the expected exception check, null otherwise

add

public void add(Check check)

Description copied from interface: TestChecks

Add a check to this set.

Specified by:

add in interface TestChecks<InvalidChecks>

Parameters:

check - the check object to add to this set of checks

commonChecks

public InvalidChecks commonChecks(InvalidChecks other)

Description copied from interface: TestChecks

Returns the intersection of checks in this set and another set.

Specified by:

commonChecks in interface TestChecks<InvalidChecks>

Parameters:

other - the TestChecks to compare with

Returns:

the checks common to this set of checks and those in other

hasInvalidBehavior

public boolean hasInvalidBehavior()

Description copied from interface: TestChecks

Indicates whether this set of checks contains any invalid behaviors.

Specified by:

hasInvalidBehavior in interface TestChecks<InvalidChecks>

Returns:

true when this contains checks for invalid behavior, false otherwise