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

Annotation Type ConfigureIpog

@Documented
@Target({ANNOTATION_TYPE,METHOD})
@Retention(RUNTIME)
@ConfigurationSource(provider=IpogConfigurationProvider.class,
                     configurable=Ipog.class,
                     configuration=IpogConfiguration.class)
public @interface ConfigureIpog

This is an annotation to configure the Ipog TestInputGroupGenerator via IpogConfiguration. It defines a ConfigurationSource with the IpogConfigurationProvider to create new instances of a IpogConfiguration.

Optional Element Summary

Optional Elements

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

Element Detail

constraintCheckerFactory

Class<? extends ConstraintCheckerFactory> constraintCheckerFactory

Gets the class of the ConstraintCheckerFactory

Returns:

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

Default:

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