org.checkerframework.checker.oigj.qual

Annotation Type AssignsFields

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=ReadOnly.class)
public @interface AssignsFields

Indicates that the annotated method could assign (but not mutate) the fields of this object. A method with an AssignsFields receiver may not use the receiver to invoke other methods with mutable or immutable reciever.

See the Checker Framework Manual:

OIGJ Checker