checkers.igj.quals
Annotation Type AssignsFields

@Documented
@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD})
@TypeQualifier
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.