de.rwth.swc.coffee4j.engine.generator.ipog

Class IpogConfiguration.Builder

java.lang.Object

de.rwth.swc.coffee4j.engine.generator.ipog.IpogConfiguration.Builder

Enclosing class:

IpogConfiguration

public static final class IpogConfiguration.Builder
extends Object

A implementation of the Builder patter to create a new IpogConfiguration.

Constructor Summary

Constructors

Constructor and Description
Builder()

Method Summary

Modifier and Type	Method and Description
IpogConfiguration	build()
IpogConfiguration.Builder	checker(ConstraintChecker checker)
IpogConfiguration.Builder	factory(ParameterCombinationFactory factory)
IpogConfiguration.Builder	model(InputParameterModel model)
IpogConfiguration.Builder	order(ParameterOrder order)
IpogConfiguration.Builder	reporter(Reporter reporter)

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

model

public IpogConfiguration.Builder model(InputParameterModel model)

Parameters:

model - used to generate the test suite. As this contains all main information and the algorithm cannot work without it, this parameter is required. If it is not set before build() is called, a NullPointerException will be thrown

Returns:

this

checker

public IpogConfiguration.Builder checker(ConstraintChecker checker)

Parameters:

checker - used to check whether a test input generated by ipog is valid. This is an optional field. If it is not set, the default NoConstraintChecker will be used

Returns:

this

factory

public IpogConfiguration.Builder factory(ParameterCombinationFactory factory)

Parameters:

factory - used to generate all parameter combinations which IPOG needs to cover. This is an optional field. If it is not set, the default TWiseParameterCombinationFactory will be used

Returns:

this

order

public IpogConfiguration.Builder order(ParameterOrder order)

Parameters:

order - used to determine in which order the parameters are included into the test suite during the horizontal expansion of IPOG. This is an optional field. If not set, the default of StrengthBasedParameterOrder is used for a more optimal generation time and test suite size

Returns:

this

reporter

public IpogConfiguration.Builder reporter(Reporter reporter)

Parameters:

reporter - a reporter which should be used to carry important information to the outside. This is an optional field. If not set, the default of a no operation reporter is used

Returns:

this

build

public IpogConfiguration build()

Returns:

a new complete configuration which can be used to construct an instance of Ipog

Throws:

NullPointerException - if any parameter has been set to null or if the model has not been set