checkers.javari.quals
Annotation Type QReadOnly

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@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

checker.framework.manual

#javari-checker Javari Checker