checkers.igj.quals

Annotation Type AssignsFields

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