Annotation Type EnsuresInitializedFields
-
@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @PostconditionAnnotation(qualifier=InitializedFields.class) @InheritedAnnotation @Repeatable(List.class) public @interface EnsuresInitializedFields
A method postcondition annotation indicates which fields the method definitely initializes.
-
-
Element Detail
-
fields
@QualifierArgument("value") String[] fields
Fields that this method initializes.- Returns:
- fields that this method initializes
-
-
-
value
String[] value
The object whose fields this method initializes.- Returns:
- object whose fields are initialized
- Default:
- {"this"}
-
-