Package de.rwth.swc.coffee4j.junit.engine.annotation.configuration.constraintgenerator.interleaving

Annotation Type EnableInterleavingConstraintGeneration

@Documented
@Target({ANNOTATION_TYPE,METHOD})
@Retention(RUNTIME)
public @interface EnableInterleavingConstraintGeneration

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
Class<? extends InterleavingConfigurationProvider>	getProvider
String	value

Element Detail

value

String value

Returns:

the name of the method providing an InterleavingExecutionConfiguration

Default:

""

getProvider

Class<? extends InterleavingConfigurationProvider> getProvider

Returns:

InterleavingConfigurationProvider providing a constraint-generation configuration. Not needed for sequential combinatorial testing as it currently does not support the dynamic approach. The configuration is provided via the annotation ConfigurationSource

Default:

de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration.MethodBasedGeneratingInterleavingConfigurationProvider.class