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

Class TestInputGenerationConfiguration.Builder

java.lang.Object

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

Enclosing class:

TestInputGenerationConfiguration

public static class TestInputGenerationConfiguration.Builder
extends Object

Builder class for a TestInputGenerationConfiguration.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
TestInputGenerationConfiguration	build()
TestInputGenerationConfiguration.Builder	constraintChecker(ConstraintChecker constraintChecker)
TestInputGenerationConfiguration.Builder	coverageMap(CoverageMap coverageMap)
TestInputGenerationConfiguration.Builder	testModel(CompleteTestModel testModel)

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

testModel

public TestInputGenerationConfiguration.Builder testModel(CompleteTestModel testModel)

constraintChecker

public TestInputGenerationConfiguration.Builder constraintChecker(ConstraintChecker constraintChecker)

coverageMap

public TestInputGenerationConfiguration.Builder coverageMap(CoverageMap coverageMap)

build

public TestInputGenerationConfiguration build()