checkers.igj.quals
Annotation Type AssignsFields

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value=ReadOnly.class)
public @interface AssignsFields

Indicates that the annotated method could assigns (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:

IGJ Checker