Package de.learnlib.buildtool.refinement.annotation

Annotation Types Summary

Annotation Type	Description
GenerateRefinement	Annotation to indicate that a subclass with the specified configuration should be generated.
GenerateRefinements	Container annotation used in GenerateRefinements Repeatable configuration.
Generic	Definition of a generic parameter.
Interface	Definition of an additional inferface.
Map	A refinement mapping of (constructor) parameters for the to-be-generated refinement.