randoop.test

Class TestCheckGenerator

java.lang.Object

randoop.test.TestCheckGenerator

Direct Known Subclasses:

ContractCheckingGenerator, DummyCheckGenerator, ExpectedExceptionGenerator, ExtendGenerator, InvalidCheckGenerator, PostConditionCheckGenerator, RegressionCaptureGenerator, ValidityCheckingGenerator

public abstract class TestCheckGenerator
extends java.lang.Object

Generates a set of test checks from a test sequence that has been executed.

Note: a generator does not determine which sequences become output. Instead a generator produces the TestChecks objects that, for valid behaviors, represent assertions in error or regression tests.

Constructor Summary

Constructors

Constructor and Description
TestCheckGenerator()

Method Summary

Modifier and Type	Method and Description
abstract TestChecks<?>	generateTestChecks(ExecutableSequence eseq) Generate a TestChecks object for the executed sequence eseq based on the criteria of this generator.
boolean	hasGenerator(java.lang.Class<? extends TestCheckGenerator> genClass) Returns true if this generator contains a generator of the given class.

Methods inherited from class java.lang.Object

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

Constructor Detail

TestCheckGenerator

public TestCheckGenerator()

Method Detail

generateTestChecks

public abstract TestChecks<?> generateTestChecks(ExecutableSequence eseq)

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

Parameters:

eseq - the sequence for which checks are generated

Returns:

the generated check set for the sequence

hasGenerator

public boolean hasGenerator(java.lang.Class<? extends TestCheckGenerator> genClass)

Returns true if this generator contains a generator of the given class.

Parameters:

genClass - the generator class to search for in this

Returns:

true iff this generator contains a generator of the given class