checkers.javari.quals

Annotation Type QReadOnly

public @interface QReadOnly

Indicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assigned to it, and it can only be assigned to ReadOnly.

This annotation is part of the Javari language.

See Also:

JavariChecker

See the Checker Framework manual:

Javari Checker