checkers.javari.quals

Annotation Type Assignable

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