randoop.test

Class ExpectedExceptionGenerator

java.lang.Object

randoop.test.TestCheckGenerator

randoop.test.ExpectedExceptionGenerator

public class ExpectedExceptionGenerator
extends TestCheckGenerator

A TestCheckGenerator that generates checks for exceptions that are expected at the final statement of a sequence. Creates a ExpectedExceptionCheck that is returned in a RegressionChecks collection if the exception occurs, or a ErrorRevealingChecks collection if not.

Note that this generator is distinct from other check generators that either return regression checks or error-revealing checks.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<java.util.List<ThrowsClause>>	exceptionSets The list of lists of throws clauses for which the guard expression was satisfied.

Constructor Summary

Constructors

Constructor and Description
ExpectedExceptionGenerator(java.util.List<java.util.List<ThrowsClause>> exceptionSets) Creates an ExpectedExceptionGenerator for the list of sets of expected exceptions.

Method Summary

Modifier and Type	Method and Description
private static ClassOrInterfaceType	findMatchingExpectedType(ClassOrInterfaceType throwableType, java.util.List<ThrowsClause> throwsClauses) Find the first ThrowsClause whose exception is a supertype of (or equal to) throwableType, and return that exception type.
TestChecks<?>	generateTestChecks(ExecutableSequence eseq) Generate a TestChecks object for the executed sequence eseq based on the criteria of this generator.
java.util.List<java.util.List<ThrowsClause>>	getExpected() Returns the types of the expected exceptions.
private ErrorRevealingChecks	getMissingExceptionTestChecks(int finalIndex) Return an ErrorRevealingChecks that checks for a missing exception at the given index.

Methods inherited from class randoop.test.TestCheckGenerator

hasGenerator

Methods inherited from class java.lang.Object

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

Field Detail

exceptionSets

private final java.util.List<java.util.List<ThrowsClause>> exceptionSets

The list of lists of throws clauses for which the guard expression was satisfied. Each list of throwsclauses represents one specification, and each such list must be satisfied.

Constructor Detail

ExpectedExceptionGenerator

public ExpectedExceptionGenerator(java.util.List<java.util.List<ThrowsClause>> exceptionSets)

Creates an ExpectedExceptionGenerator for the list of sets of expected exceptions.

Parameters:

exceptionSets - a list of lists of expected exceptions to be searched when testing an exception thrown by the operation in the final statement of the sequence. Each list of expected exceptions must be satisfied.

Method Detail

generateTestChecks

public TestChecks<?> generateTestChecks(ExecutableSequence eseq)

Generate a TestChecks object for the executed sequence eseq based on the criteria of this generator.

Adds checks for an expected exception at the final statement of the sequence.

Specified by:

generateTestChecks in class TestCheckGenerator

Parameters:

eseq - the sequence for which checks are generated

Returns:

the generated check set for the sequence

findMatchingExpectedType

private static ClassOrInterfaceType findMatchingExpectedType(ClassOrInterfaceType throwableType,
                                                             java.util.List<ThrowsClause> throwsClauses)

Find the first ThrowsClause whose exception is a supertype of (or equal to) throwableType, and return that exception type.

Parameters:

throwableType - the type to search for

throwsClauses - the ThrowsClauses to search within

Returns:

the type in the first matching ThrowsClause, or null if none match

getMissingExceptionTestChecks

private ErrorRevealingChecks getMissingExceptionTestChecks(int finalIndex)

Return an ErrorRevealingChecks that checks for a missing exception at the given index.

Parameters:

finalIndex - the index

Returns:

the ErrorRevealingChecks object

getExpected

public java.util.List<java.util.List<ThrowsClause>> getExpected()

Returns the types of the expected exceptions. Each list of throwsclauses represents one specification, and each such list must be satisfied.

Returns:

the types of the expected exceptions