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

Annotation Type ConfigureIpogNeg

@Documented
@Target({ANNOTATION_TYPE,METHOD})
@Retention(RUNTIME)
@ConfigurationSource(provider=IpogNegConfigurationProvider.class,
                     configurable=IpogNeg.class,
                     configuration=IpogNegConfiguration.class)
public @interface ConfigureIpogNeg

This is an annotation to configure the IpogNeg TestInputGroupGenerator via IpogNegConfiguration. It defines a ConfigurationSource with the IpogNegConfigurationProvider to create new instances of a IpogNegConfiguration.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
Class<? extends ConstraintCheckerFactory>	constraintCheckerFactory	Gets the class of the ConstraintCheckerFactory
int	strengthA

Element Detail

constraintCheckerFactory

Class<? extends ConstraintCheckerFactory> constraintCheckerFactory

Gets the class of the ConstraintCheckerFactory

Returns:

the class used to create a ConstraintChecker for a IpogNeg. Need to have a no-args constructor

Default:

de.rwth.swc.coffee4j.algorithmic.constraint.MinimalForbiddenTuplesCheckerFactory.class

strengthA

int strengthA

Default:

0