de.learnlib.buildtool.refinement.annotation

Annotation Type GenerateRefinement

@Repeatable(value=GenerateRefinements.class)
 @Retention(value=SOURCE)
 @Target(value=TYPE)
public @interface GenerateRefinement

Annotation to indicate that a subclass with the specified configuration should be generated. Currently only supports narrowing type parameters/constructor parameters/interfaces. Delegates to super constructors.

Author:

frohme

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String	name The name of the to-be-generated refinement.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	generics The type variables the refinement should have.
Interface[]	interfaces An array of additional interfaces the refinement should implement.
Map[]	parameterMapping A mapping of specializations of parameter types for the refinement's constructor parameters.
Generic[]	parentGenerics The values for the generics of the parent (i.e. the class annotated by this annotation) class.

Element Detail

name

public abstract String name

The name of the to-be-generated refinement.

Returns:

the name of the to-be-generated refinement

generics

public abstract String[] generics

The type variables the refinement should have.

Returns:

the type variables the refinement should have

Default:

{}

parentGenerics

public abstract Generic[] parentGenerics

The values for the generics of the parent (i.e. the class annotated by this annotation) class.

Returns:

the values for the generics of the parent class

Default:

{}

parameterMapping

public abstract Map[] parameterMapping

A mapping of specializations of parameter types for the refinement's constructor parameters.

Returns:

a mapping of specializations of parameter types for the refinement's constructor parameters

Default:

{}

interfaces

public abstract Interface[] interfaces

An array of additional interfaces the refinement should implement.

Returns:

an array of additional interfaces the refinement should implement

Default:

{}