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