Annotation Type EnsuresKeyFor.List
-
@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @PostconditionAnnotation(qualifier=KeyFor.class) @InheritedAnnotation public static @interface EnsuresKeyFor.List
A wrapper annotation that makes theEnsuresKeyForannotation repeatable.Programmers generally do not need to write this. It is created by Java when a programmer writes more than one
EnsuresKeyForannotation at the same location.
-
-
Required Element Summary
Required Elements Modifier and Type Required Element Description EnsuresKeyFor[]valueReturns the repeatable annotations.
-
-
-
Element Detail
-
value
EnsuresKeyFor[] value
Returns the repeatable annotations.- Returns:
- the repeatable annotations
-
-