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:
See the Checker Framework manual:
Javari Checker