Package de.rwth.swc.coffee4j.algorithmic.interleaving.generator

Class TestInputGenerationConfiguration

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.interleaving.generator.TestInputGenerationConfiguration

public class TestInputGenerationConfiguration
extends Object

Configuration used to create a TestInputGenerationStrategy.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TestInputGenerationConfiguration.Builder	Builder class for a TestInputGenerationConfiguration.

Method Summary

Modifier and Type	Method	Description
static TestInputGenerationConfiguration.Builder	configuration()
ConstraintChecker	getConstraintChecker()
CoverageMap	getCoverageMap()
CompleteTestModel	getTestModel()

Methods inherited from class java.lang.Object

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

Method Detail

configuration

public static TestInputGenerationConfiguration.Builder configuration()

Returns:

returns a TestInputGenerationConfiguration.Builder to build an TestInputGenerationConfiguration.

getTestModel

public CompleteTestModel getTestModel()

getConstraintChecker

public ConstraintChecker getConstraintChecker()

getCoverageMap

public CoverageMap getCoverageMap()