org.checkerframework.checker.igj.qual

Annotation Type AssignsFields

@SubtypeOf(value=ReadOnly.class)
 @Documented
 @Retention(value=RUNTIME)
 @Target(value=TYPE_USE)
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 receiver.

See the Checker Framework Manual:

IGJ Checker