Package de.learnlib.buildtool.refinement.annotation

Annotation Type Generic

@Retention(SOURCE)
@Target({})
public @interface Generic

Definition of a generic parameter.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
Class<?>	clazz	A referential representation of a type parameter.
String[]	generics	Potential nested type parameters of the referenced (cf.
String	value	A literal representation of a type parameter (e.g. defined in GenerateRefinement.generics()).

Element Detail

value

String value

A literal representation of a type parameter (e.g. defined in GenerateRefinement.generics()).

Returns:

a literal representation of a type parameter

Default:

""

clazz

Class<?> clazz

A referential representation of a type parameter.

Returns:

a referential representation of a type parameter

Default:

java.lang.Void.class

generics

String[] generics

Potential nested type parameters of the referenced (cf. clazz()) referential type parameter.

Returns:

potential nested type parameters of the referenced referential type parameter

Default:

{}