Package 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 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 Details

    • TestCheckGenerator

      public TestCheckGenerator()

  • Method Details

    • 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(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