checkers.javari.quals
Annotation Type Assignable

@Documented
@Retention(value=RUNTIME)
@Target(value=FIELD)
public @interface Assignable

Indicates that a field is assignable, even if it is inside a ReadOnly instance.

This annotation is part of the Javari language.

See Also:

JavariChecker

See the Checker Framework manual:

Javari Checker