de.learnlib.buildtool.refinement.annotation

Annotation Type GenerateRefinements

@Retention(value=SOURCE)
 @Target(value=TYPE)
public @interface GenerateRefinements

Container annotation used in GenerateRefinements Repeatable configuration.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
GenerateRefinement[]	value

Element Detail

value

public abstract GenerateRefinement[] value

Default:

{}