checkers.igj.quals
Annotation Type Mutable


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

Indicates that the annotated reference is an immutable reference to an immutable object. An Immutable object cannot be modified. Its fields may be reassigned or mutated only if they are explicitly marked as Mutable or Assignable.

checker.framework.manual
#igj-checker IGJ Checker