Package randoop.test

Class ExtendGenerator

java.lang.Object
randoop.test.TestCheckGenerator
randoop.test.ExtendGenerator
public class ExtendGenerator extends TestCheckGenerator
This TestCheckGenerator combines two generators, using the invalid and failure checks from the first, and, if none of those, then returning the output of the second.

  • Field Details

  • Constructor Details

    • ExtendGenerator

      public ExtendGenerator(TestCheckGenerator firstGenerator, TestCheckGenerator secondGenerator)
      Creates a check generator that generates TestChecks for ExecutableSequence objects using the two TestCheckGenerator objects. Returns checks produced by the second, unless the first produces checks that either have error or invalid behavior.
      Parameters:
      firstGenerator - the visitor to identify error and invalid behaviors in the sequence
      secondGenerator - the visitor to identify other checks for the sequence

  • Method Details

    • generateTestChecks

      public TestChecks<?> generateTestChecks(ExecutableSequence eseq)
      Generate a TestChecks object for the executed sequence eseq based on the criteria of this generator.

      Returns checks generated by the two TestCheckGenerator objects.

      Specified by:
      generateTestChecks in class TestCheckGenerator
      Parameters:
      eseq - the sequence for which checks are generated
      Returns:
      if the first generator generated invalid or error checks, return those; otherwise, return the checks object produced by the second generator

    • hasGenerator

      public boolean hasGenerator(Class<? extends TestCheckGenerator> genClass)
      Description copied from class: TestCheckGenerator
      Returns true if this generator contains a generator of the given class.
      Overrides:
      hasGenerator in class TestCheckGenerator
      Parameters:
      genClass - the generator class to search for in this
      Returns:
      true iff this generator contains a generator of the given class