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

Annotation Type EnableSequentialConstraintGeneration

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

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
Class<? extends FaultCharacterizationAlgorithmFactoryProvider>	getProvider
Class<? extends GeneratingFaultCharacterizationAlgorithm>	value

Element Detail

value

Class<? extends GeneratingFaultCharacterizationAlgorithm> value

Returns:

returns the GeneratingFaultCharacterizationAlgorithm provided by this annotation.

Default:

de.rwth.swc.coffee4j.algorithmic.sequential.characterization.mixtgte.GeneratingMixtgte.class

getProvider

Class<? extends FaultCharacterizationAlgorithmFactoryProvider> getProvider

Returns:

returns a provider that can be used by the factory loader.

Default:

de.rwth.swc.coffee4j.junit.engine.annotation.configuration.constraintgenerator.sequential.ConstructorBasedSequentialConstraintGenerationProvider.class