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