checkers.javari.quals
Annotation Type ReadOnly

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value={})
public @interface ReadOnly

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

This annotation is part of the Javari language.

See Also:

Mutable, JavariChecker

See the Checker Framework manual:

Javari Checker