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