randoop.test

Class InvalidCheckGenerator

java.lang.Object

randoop.test.TestCheckGenerator

randoop.test.InvalidCheckGenerator

public class InvalidCheckGenerator
extends TestCheckGenerator

Generates invalid checks.

Constructor Summary

Constructors

Constructor and Description
InvalidCheckGenerator()

Method Summary

Modifier and Type	Method and Description
InvalidChecks	generateTestChecks(ExecutableSequence eseq) Generate a TestChecks object for the executed sequence eseq based on the criteria of this generator.

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

Constructor Detail

InvalidCheckGenerator

public InvalidCheckGenerator()

Method Detail

generateTestChecks

public InvalidChecks generateTestChecks(ExecutableSequence eseq)

Description copied from class: TestCheckGenerator

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

Specified by:

generateTestChecks in class TestCheckGenerator

Parameters:

eseq - the sequence for which checks are generated

Returns:

the generated check set for the sequence