checkers.javari.quals
Annotation Type Mutable

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value=ThisMutable.class)
public @interface Mutable

Indicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via this reference, except its fields explicitly marked as ReadOnly.

This annotation is part of the Javari language.

See Also:

ReadOnly, JavariChecker

checker.framework.manual

#javari-checker Javari Checker