checkers.igj.quals
Annotation Type AssignsFields


@Documented
@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD})
@TypeQualifier
@SubtypeOf(value=ReadOnly.class)
public @interface AssignsFields

Indicates that the annotated method could assigns (but not mutate) the fields of this object. An AssignsFields method may not invoke other mutable or immutable methods on the receiver.

See the checkers manual:
IGJ Checker