org.checkerframework.checker.javari.qual

Annotation Type QReadOnly

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=ReadOnly.class)
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